--- title: In strict logic "if A, then B" says nothing about what happens when… — "If... then..." and its traps · tree and pragmatics description: 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. A sentence of the lesson «"If... then..." and its traps» of the world course of Mova's primary school with it --- [Mova](https://md.mova.elamur.ai/free/en/) · [this page in HTML](https://mova.elamur.ai/free/en/corpora/school/world/184-if-then-and-its-traps/17/) [home](https://md.mova.elamur.ai/free/en/) / [corpora](https://md.mova.elamur.ai/free/en/corpora/) / [school](https://md.mova.elamur.ai/free/en/corpora/school/) / [World](https://md.mova.elamur.ai/free/en/corpora/school/world/) / ["If... then..." and its traps](https://md.mova.elamur.ai/free/en/corpora/school/world/184-if-then-and-its-traps/) / 17 # "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 {#tree} ```conllu # sent_id = school:world:184-if-then-and-its-traps.lesson:17 # text = 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". # source = school lesson (ours) # course = world # lesson = 184-if-then-and-its-traps.lesson # annotation = 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 1 In in ADP IN _ 3 case _ _ 2 strict strict ADJ JJ Degree=Pos 3 amod _ _ 3 logic logic NOUN NN Number=Sing 11 obl _ _ 4 " " PUNCT `` _ 3 punct _ _ 5 if if SCONJ IN _ 11 mark _ _ 6 A A PROPN NNP Number=Sing 11 nsubj _ _ 7 , , PUNCT , _ 6 punct _ Agree=R6-punct-agree|Haiku=9:punct 8 then then ADV RB PronType=Dem 9 advmod _ _ 9 B B PROPN NNP Number=Sing 6 flat _ _ 10 " " PUNCT '' _ 6 punct _ _ 11 says say VERB VBZ Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin 0 root _ _ 12 nothing nothing PRON NN Number=Sing|PronType=Neg 11 obj _ _ 13 about about SCONJ IN _ 14 mark _ _ 14 what what PRON WP PronType=Int 12 nmod _ _ 15 happens happen VERB VBZ Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin 14 acl:relcl _ _ 16 when when SCONJ WRB _ 19 mark _ _ 17 A A PROPN NNP Number=Sing 19 nsubj _ _ 18 is be AUX VBZ Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin 19 cop _ _ 19 false false ADJ JJ Degree=Pos 15 advcl _ _ 20 ; ; PUNCT : _ 37 punct _ _ 21 in in ADP IN _ 23 case _ _ 22 everyday everyday ADJ JJ Degree=Pos 23 amod _ Agree=R7-rel-agree|Haiku=23:compound|HaikuPos=NOUN:NN:Number=Sing 23 deals deal NOUN NNS Number=Plur 37 obl _ _ 24 like like SCONJ IN _ 32 mark _ Agree=R7-rel-agree|Haiku=32:case 25 " " PUNCT `` _ 32 punct _ _ 26 if if SCONJ IN _ 28 mark _ _ 27 you you PRON PRP Case=Nom|Person=2|PronType=Prs 28 nsubj _ _ 28 finish finish VERB VBP Mood=Ind|Number=Sing|Person=2|Tense=Pres|VerbForm=Fin 32 advcl _ _ 29 , , PUNCT , _ 28 punct _ _ 30 you you PRON PRP Case=Nom|Person=2|PronType=Prs 32 nsubj _ _ 31 can can AUX MD VerbForm=Fin 32 aux _ _ 32 play play VERB VB VerbForm=Inf 37 advcl _ _ 33 " " PUNCT '' _ 32 punct _ _ 34 , , PUNCT , _ 37 punct _ _ 35 people people NOUN NNS Number=Plur 37 nsubj _ _ 36 usually usually ADV RB _ 37 advmod _ _ 37 mean mean VERB VBP Mood=Ind|Number=Plur|Person=3|Tense=Pres|VerbForm=Fin 11 parataxis _ _ 38 " " PUNCT `` _ 41 punct _ _ 39 only only ADV RB _ 40 advmod _ Agree=R5-strong|Haiku=41:advmod 40 if if SCONJ IN _ 41 mark _ _ 41 " " PUNCT '' _ 37 punct _ _ 42 . . PUNCT . _ 11 punct _ _ ``` ## Pragmatics {#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](https://creativecommons.org/licenses/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](https://md.mova.elamur.ai/free/en/releases/0.4/). - ← previous: ["If... then..." and its traps, 16](https://md.mova.elamur.ai/free/en/corpora/school/world/184-if-then-and-its-traps/16/) - next →: ["If... then..." and its traps, 18](https://md.mova.elamur.ai/free/en/corpora/school/world/184-if-then-and-its-traps/18/) - ↑ back to [the lesson](https://md.mova.elamur.ai/free/en/corpora/school/world/184-if-then-and-its-traps/)