--- title: "Ann is taller than Ben and Cal is taller than Ben" shows Ben is the… — Olympiad: logic traps and if-then ★★★ · tree and pragmatics description: "Ann is taller than Ben and Cal is taller than Ben" shows Ben is the shortest but doesn't say whether Ann or Cal is taller. Who acts: Ann, Cal, Ben. A sentence of the lesson «Olympiad: logic traps and if-then ★★★» of the world course of Mova's primary school with its dependency tree and the pragmati --- [Mova](https://md.mova.elamur.ai/free/en/) · [this page in HTML](https://mova.elamur.ai/free/en/corpora/school/world/193-olympiad-logic-traps-and-if-then/12/) [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/) / [Olympiad: logic traps and if-then ★★★](https://md.mova.elamur.ai/free/en/corpora/school/world/193-olympiad-logic-traps-and-if-then/) / 12 # Olympiad: logic traps and if-then ★★★, sentence 12 "Ann is taller than Ben and Cal is taller than Ben" shows Ben is the shortest but doesn't say whether Ann or Cal is taller. **Who acts:** Ann, Cal, Ben · **What happens:** be, show, not say · **Speech:** someone speaks here This is a sentence of the lesson «Olympiad: logic traps and if-then ★★★» 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 (Ann, Cal, Ben), what happens, when and where, as Mova's frames read it from the tree. ## The tree {#tree} ```conllu # sent_id = school:world:193-olympiad-logic-traps-and-if-then.lesson:12 # text = "Ann is taller than Ben and Cal is taller than Ben" shows Ben is the shortest but doesn't say whether Ann or Cal is taller. # source = school lesson (ours) # course = world # lesson = 193-olympiad-logic-traps-and-if-then.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 ×2, R7-rel-agree ×1 1 " " PUNCT `` _ 4 punct _ _ 2 Ann Ann PROPN NNP Number=Sing 4 nsubj _ _ 3 is be AUX VBZ Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin 4 cop _ _ 4 taller tall ADJ JJR Degree=Cmp 14 ccomp _ Agree=R7-rel-agree|Haiku=14:nsubj 5 than than ADP IN _ 6 case _ _ 6 Ben Ben PROPN NNP Number=Sing 4 obl _ _ 7 and and CCONJ CC _ 10 cc _ _ 8 Cal Cal PROPN NNP Number=Sing 10 nsubj _ _ 9 is be AUX VBZ Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin 10 cop _ _ 10 taller tall ADJ JJR Degree=Cmp 4 conj _ _ 11 than than ADP IN _ 12 case _ _ 12 Ben Ben PROPN NNP Number=Sing 10 obl _ _ 13 " " PUNCT '' _ 4 punct _ Agree=R6-punct-agree|Haiku=12:punct 14 shows show VERB VBZ Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin 0 root _ _ 15 Ben Ben PROPN NNP Number=Sing 18 nsubj _ _ 16 is be AUX VBZ Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin 18 cop _ _ 17 the the DET DT Definite=Def|PronType=Art 18 det _ _ 18 shortest short ADJ JJS Degree=Sup 14 ccomp _ _ 19 but but CCONJ CC _ 22 cc _ _ 20 does do AUX VBZ Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin 22 aux _ _ 21 n't not PART RB Polarity=Neg 22 advmod _ _ 22 say say VERB VB VerbForm=Inf 14 conj _ _ 23 whether whether SCONJ IN _ 24 case _ _ 24 Ann Ann PROPN NNP Number=Sing 22 obl _ _ 25 or or CCONJ CC _ 28 cc _ _ 26 Cal Cal PROPN NNP Number=Sing 24 conj _ Agree=R5-strong|Haiku=28:nsubj 27 is be AUX VBZ Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin 28 cop _ _ 28 taller tall ADJ JJR Degree=Cmp 24 conj _ _ 29 . . PUNCT . _ 14 punct _ Agree=R6-punct-agree|Haiku=4:punct ``` ## Pragmatics {#pragmatics} - form: statement - act: assert - voice: narrator - polarity: none - teacher: changed voice=narrator | # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by | | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | | 1 | **is** *in a quote* | present | Ann | | | | | than Ben; tall *property* | tree rules | | 2 | **is** *in a quote* | present | Cal | | | | | than Ben; tall *property* | tree rules | | 3 | **show** | present | | | | | | | vn transfer\_mesg-37.1.1-1-1 «NP V»: agent=Agent | | 4 | **is** | present | Ben | | | | | short *property* | tree rules | | 5 | **not** **say** *speech: assert* | present · do-support | | | | | | whether Ann and Cal | vn say-37.7-1-1 «NP V that S»: agent=Agent | | 6 | **is** | present | | | | | | tall *property* | tree rules | 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:193-olympiad-logic-traps-and-if-then.lesson:12`. **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 ×2, R7-rel-agree ×1. **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: [Olympiad: logic traps and if-then ★★★, 11](https://md.mova.elamur.ai/free/en/corpora/school/world/193-olympiad-logic-traps-and-if-then/11/) - next →: [Olympiad: logic traps and if-then ★★★, 13](https://md.mova.elamur.ai/free/en/corpora/school/world/193-olympiad-logic-traps-and-if-then/13/) - ↑ back to [the lesson](https://md.mova.elamur.ai/free/en/corpora/school/world/193-olympiad-logic-traps-and-if-then/)