"If... then..." and its traps, sentence 17
In strict logic "if A, then B" says nothing about what happens when A is false; in everyday deals like "if you finish, you can play", people usually mean "only if".
Who acts: A, you, people · What happens: say, happen, be, finish, play, mean · To what, where: nothing, strict logic · Speech: someone speaks here
This is a sentence of the lesson «"If... then..." and its traps» of the world course of Mova's primary school. The page gives its syntax tree — a dependency tree in the style of Universal Dependencies — and its pragmatics clause by clause: who acts (A, you, people), what happens, when and where, as Mova's frames read it from the tree.
The tree
The words, one row each (CoNLL-U)
| # | word | lemma | UPOS | features | head | relation |
|---|---|---|---|---|---|---|
| 1 | In | in | ADP | _ | 3 logic | case |
| 2 | strict | strict | ADJ | Degree=Pos | 3 logic | amod |
| 3 | logic | logic | NOUN | Number=Sing | 11 says | obl |
| 4 | " | " | PUNCT | _ | 3 logic | punct |
| 5 | if | if | SCONJ | _ | 11 says | mark |
| 6 | A | A | PROPN | Number=Sing | 11 says | nsubj |
| 7 | , | , | PUNCT | _ | 6 A | punct |
| 8 | then | then | ADV | PronType=Dem | 9 B | advmod |
| 9 | B | B | PROPN | Number=Sing | 6 A | flat |
| 10 | " | " | PUNCT | _ | 6 A | punct |
| 11 | says | say | VERB | Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin | root | root |
| 12 | nothing | nothing | PRON | Number=Sing PronType=Neg | 11 says | obj |
| 13 | about | about | SCONJ | _ | 14 what | mark |
| 14 | what | what | PRON | PronType=Int | 12 nothing | nmod |
| 15 | happens | happen | VERB | Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin | 14 what | acl:relcl |
| 16 | when | when | SCONJ | _ | 19 false | mark |
| 17 | A | A | PROPN | Number=Sing | 19 false | nsubj |
| 18 | is | be | AUX | Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin | 19 false | cop |
| 19 | false | false | ADJ | Degree=Pos | 15 happens | advcl |
| 20 | ; | ; | PUNCT | _ | 37 mean | punct |
| 21 | in | in | ADP | _ | 23 deals | case |
| 22 | everyday | everyday | ADJ | Degree=Pos | 23 deals | amod |
| 23 | deals | deal | NOUN | Number=Plur | 37 mean | obl |
| 24 | like | like | SCONJ | _ | 32 play | mark |
| 25 | " | " | PUNCT | _ | 32 play | punct |
| 26 | if | if | SCONJ | _ | 28 finish | mark |
| 27 | you | you | PRON | Case=Nom Person=2 PronType=Prs | 28 finish | nsubj |
| 28 | finish | finish | VERB | Mood=Ind Number=Sing Person=2 Tense=Pres VerbForm=Fin | 32 play | advcl |
| 29 | , | , | PUNCT | _ | 28 finish | punct |
| 30 | you | you | PRON | Case=Nom Person=2 PronType=Prs | 32 play | nsubj |
| 31 | can | can | AUX | VerbForm=Fin | 32 play | aux |
| 32 | play | play | VERB | VerbForm=Inf | 37 mean | advcl |
| 33 | " | " | PUNCT | _ | 32 play | punct |
| 34 | , | , | PUNCT | _ | 37 mean | punct |
| 35 | people | people | NOUN | Number=Plur | 37 mean | nsubj |
| 36 | usually | usually | ADV | _ | 37 mean | advmod |
| 37 | mean | mean | VERB | Mood=Ind Number=Plur Person=3 Tense=Pres VerbForm=Fin | 11 says | parataxis |
| 38 | " | " | PUNCT | _ | 41 " | punct |
| 39 | only | only | ADV | _ | 40 if | advmod |
| 40 | if | if | SCONJ | _ | 41 " | mark |
| 41 | " | " | PUNCT | _ | 37 mean | punct |
| 42 | . | . | PUNCT | _ | 11 says | punct |
Pragmatics
No stored speech act for this sentence.
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
|---|---|---|---|---|---|---|---|---|---|
| 1 | say speech: assert | present | A | nothing | strict logic | vn pronounce-29.3.1 «NP V NP PP.manner»: agent=Agent nothing=Theme in logic=Manner | |||
| 2 | happen | present | vn occur-48.3-1 «NP V»: agent=Theme | ||||||
| 3 | is | present | A | false property | tree rules | ||||
| 4 | finish a condition, not said to happen, in a quote | present | you | vn stop-55.4-1-1 «NP.eventuality V»: agent=Eventuality | |||||
| 5 | play in a quote | can | you | vn performance-26.7-1 «NP V»: agent=Agent | |||||
| 6 | mean | present | people | in everyday deals; usually property | vn representation-110.1 «NP V NP PP.attribute»: agent=Pivot in deal=Attribute |
One row per clause the reader finds. «not said here»: a role filled from the clause above. «roles by»: a VerbNet class and frame when one fits the verb, else the reader's rules on the tree.
Licence: CC BY-SA 4.0, as the whole of Mova corpus 0.4, of which this treebank (the agreed school, mova-school-agreed-en.conllu) is part. The lessons were written for Mova's primary school. Sentence school:world:184-if-then-and-its-traps.lesson:17.
The tree: Mova annot: Rust (en) → Haiku 5.5 (medium, Batches API) patches; gates UD 2.18; agreed by treeagree rules (Stanza, Trankit, spaCy trf): R5-strong ×1, R6-punct-agree ×1, R7-rel-agree ×2. The frames are read from the tree by Mova's frames reader (prag) when this page is built, the lesson read in order, so a pronoun may be resolved from an earlier sentence.
See the release 0.4.
This page in Markdown → https://md.mova.elamur.ai/free/en/corpora/school/world/184-if-then-and-its-traps/17/