--- title: The opposite of "all the kids came" is not "no kids came" but "at le… — Olympiad: logic traps and if-then ★★★ · tree and pragmatics description: The opposite of "all the kids came" is not "no kids came" but "at least one kid didn't come". Who acts: kids, one kid. 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 pragmatics of every clause. --- [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/8/) [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/) / 8 # Olympiad: logic traps and if-then ★★★, sentence 8 The opposite of "all the kids came" is not "no kids came" but "at least one kid didn't come". **Who acts:** kids, one kid · **What happens:** come, not come · **To what, where:** opposite 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 (kids, one kid), 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:8 # text = The opposite of "all the kids came" is not "no kids came" but "at least one kid didn't come". # 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 The the DET DT Definite=Def|PronType=Art 2 det _ _ 2 opposite opposite NOUN NN Number=Sing 10 nsubj _ _ 3 of of ADP IN _ 7 case _ _ 4 " " PUNCT `` _ 7 punct _ _ 5 all all DET PDT PronType=Tot 7 det:predet _ _ 6 the the DET DT Definite=Def|PronType=Art 7 det _ _ 7 kids kid NOUN NNS Number=Plur 8 nsubj _ Agree=R5-strong|Haiku=2:nmod 8 came come VERB VBD Mood=Ind|Number=Sing|Person=3|Tense=Past|VerbForm=Fin 2 acl _ _ 9 " " PUNCT '' _ 8 punct _ Agree=R6-punct-agree|Haiku=15:punct|HaikuPos=PUNCT:``:_ 10 is be AUX VBZ Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin 0 root _ _ 11 not not PART RB Polarity=Neg 15 advmod _ _ 12 " " PUNCT `` _ 15 punct _ _ 13 no no DET DT PronType=Neg 14 det _ _ 14 kids kid NOUN NNS Number=Plur 15 nsubj _ _ 15 came come VERB VBD Mood=Ind|Number=Plur|Person=3|Tense=Past|VerbForm=Fin 10 conj _ _ 16 " " PUNCT '' _ 15 punct _ Agree=R6-punct-agree|Haiku=25:punct|HaikuPos=PUNCT:``:_ 17 but but CCONJ CC _ 25 cc _ _ 18 " " PUNCT `` _ 25 punct _ _ 19 at at ADP IN _ 20 case _ _ 20 least least ADJ JJS Degree=Sup 21 nmod _ _ 21 one one NUM CD NumForm=Word|NumType=Card 22 nummod _ _ 22 kid kid NOUN NN Number=Sing 25 nsubj _ _ 23 did do AUX VBD Mood=Ind|Number=Sing|Person=3|Tense=Past|VerbForm=Fin 25 aux _ _ 24 n't not PART RB Polarity=Neg 25 advmod _ _ 25 come come VERB VB VerbForm=Inf 15 conj _ Agree=R7-rel-agree|Haiku=15:parataxis 26 " " PUNCT '' _ 25 punct _ _ 27 . . PUNCT . _ 10 punct _ _ ``` ## Pragmatics {#pragmatics} No stored speech act for this sentence. | # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by | | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | | 1 | **come** *in a quote* | past | all kids | the opposite *not said here* | | | | | vn appear-48.1.1 «PP.location V NP»: agent=Location opposite=Theme | | 2 | **not** **come** *in a quote* | past | no kids | | | | | | vn escape-51.1-1 «NP V»: agent=Theme | | 3 | **not** **come** *in a quote* | past · do-support | one kid | | | | | | vn escape-51.1-1 «NP V»: agent=Theme | 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:8`. **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 ★★★, 7](https://md.mova.elamur.ai/free/en/corpora/school/world/193-olympiad-logic-traps-and-if-then/7/) - next →: [Olympiad: logic traps and if-then ★★★, 10](https://md.mova.elamur.ai/free/en/corpora/school/world/193-olympiad-logic-traps-and-if-then/10/) - ↑ back to [the lesson](https://md.mova.elamur.ai/free/en/corpora/school/world/193-olympiad-logic-traps-and-if-then/)