--- title: If all A are B and all B are C, then all A are C; it works even with… — Some, all, none and "not all" · tree and pragmatics description: If all A are B and all B are C, then all A are C; it works even with made-up words, like circles inside circles. Who acts: A. A sentence of the lesson «Some, all, none and "not all"» 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/185-some-all-none-and-not-all/11/) [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/) / [Some, all, none and "not all"](https://md.mova.elamur.ai/free/en/corpora/school/world/185-some-all-none-and-not-all/) / 11 # Some, all, none and "not all", sentence 11 If all A are B and all B are C, then all A are C; it works even with made-up words, like circles inside circles. **Who acts:** A · **What happens:** be, work, make up · **To what, where:** C This is a sentence of the lesson «Some, all, none and "not all"» 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), what happens, when and where, as Mova's frames read it from the tree. ## The tree {#tree} ```conllu # sent_id = school:world:185-some-all-none-and-not-all.lesson:11 # text = If all A are B and all B are C, then all A are C; it works even with made-up words, like circles inside circles. # source = school lesson (ours) # course = world # lesson = 185-some-all-none-and-not-all.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): R4-particle ×1, R5-strong ×1, R7-rel-agree ×3 1 If if SCONJ IN _ 5 mark _ _ 2 all all DET DT PronType=Tot 3 det:predet _ Agree=R5-strong|Haiku=5:det:predet|HaikuPos=DET:PDT:PronType=Tot 3 A A NOUN NN Number=Sing 5 nsubj _ Agree=R7-rel-agree|Haiku=5:det|HaikuPos=DET:DT:Definite=Ind|PronType=Art 4 are be AUX VBP Mood=Ind|Number=Plur|Person=3|Tense=Pres|VerbForm=Fin 5 cop _ _ 5 B B ADJ JJ Degree=Pos 0 root _ _ 6 and and CCONJ CC _ 10 cc _ _ 7 all all DET DT PronType=Tot 10 det _ _ 8 B B NOUN NN Number=Sing 7 flat _ _ 9 are be AUX VBP Mood=Ind|Number=Plur|Person=3|Tense=Pres|VerbForm=Fin 10 cop _ _ 10 C C PROPN NNP Number=Sing 5 conj _ _ 11 , , PUNCT , _ 5 punct _ _ 12 then then ADV RB PronType=Dem 13 advmod _ _ 13 all all DET DT PronType=Tot 5 conj _ _ 14 A a DET DT Definite=Ind|PronType=Art 16 nsubj _ Agree=R7-rel-agree|Haiku=16:det 15 are be AUX VBP Mood=Ind|Number=Plur|Person=3|Tense=Pres|VerbForm=Fin 16 cop _ _ 16 C C PROPN NNP Number=Sing 13 nmod _ _ 17 ; ; PUNCT , _ 19 punct _ _ 18 it it PRON PRP Case=Nom|Gender=Neut|Number=Sing|Person=3|PronType=Prs 19 nsubj _ _ 19 works work VERB VBZ Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin 5 conj _ _ 20 even even ADV RB _ 25 advmod _ _ 21 with with ADP IN _ 25 case _ _ 22 made make VERB VBN Tense=Past|VerbForm=Part|Voice=Pass 25 amod _ _ 23 - - PUNCT HYPH _ 24 punct _ _ 24 up up ADP RP _ 22 compound:prt _ Agree=R4-particle|Haiku=22:compound 25 words word NOUN NNS Number=Plur 19 obl _ _ 26 , , PUNCT , _ 28 punct _ _ 27 like like ADP IN _ 28 case _ _ 28 circles circle NOUN NNS Number=Plur 25 nmod _ Agree=R7-rel-agree|Haiku=25:conj 29 inside inside ADP IN _ 30 case _ _ 30 circles circle NOUN NNS Number=Plur 28 nmod _ _ 31 . . PUNCT . _ 5 punct _ _ ``` ## Pragmatics {#pragmatics} - form: statement - act: assert - voice: narrator - polarity: pos - teacher: changed act=assert | # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by | | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | | 1 | **is** | present | all A | | | | | b *property* | tree rules | | 2 | **is a** | present | all A *not said here* | all C | | | | | tree rules | | 3 | **is a** | present | A | C | | | | | tree rules | | 4 | **work** | present | A | | | | | with made words like circles inside circles | vn cooperate-73.1-3 «NP V PP.co-agent PP.theme»: agent=Agent with word=Co-Agent | | 5 | **make up** | participle | | | | | | | vn comprise-107.2-1 «NP V NP»: 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:185-some-all-none-and-not-all.lesson:11`. **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): R4-particle ×1, R5-strong ×1, R7-rel-agree ×3. **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: [Some, all, none and "not all", 10](https://md.mova.elamur.ai/free/en/corpora/school/world/185-some-all-none-and-not-all/10/) - next →: [Some, all, none and "not all", 12](https://md.mova.elamur.ai/free/en/corpora/school/world/185-some-all-none-and-not-all/12/) - ↑ back to [the lesson](https://md.mova.elamur.ai/free/en/corpora/school/world/185-some-all-none-and-not-all/)