--- title: To check "if a card has a vowel on one side, it has an even number o… — Olympiad: logic traps and if-then ★★★ · tree and pragmatics description: To check "if a card has a vowel on one side, it has an even number on the other" with cards showing A, K, 4 and 7, you must turn over A and 7, and no others. Who acts: you, card, cards. A sentence of the lesson «Olympiad: logic traps and if-then ★★★» of the world course of Mova's primary school with --- [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/10/) [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/) / 10 # Olympiad: logic traps and if-then ★★★, sentence 10 To check "if a card has a vowel on one side, it has an even number on the other" with cards showing A, K, 4 and 7, you must turn over A and 7, and no others. **Who acts:** you, card, cards · **What happens:** check, have, show, turn over · **To what, where:** vowel, one side, even number, other, A 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 (you, card, cards), 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:10 # text = To check "if a card has a vowel on one side, it has an even number on the other" with cards showing A, K, 4 and 7, you must turn over A and 7, and no others. # 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 ×4, R6-punct-agree ×1, R7-rel-agree ×3 1 To to PART TO _ 2 mark _ _ 2 check check VERB VB VerbForm=Inf 36 advcl _ Agree=R5-strong|Haiku=0:root 3 " " PUNCT `` _ 2 punct _ _ 4 if if SCONJ IN _ 7 mark _ _ 5 a a DET DT Definite=Ind|PronType=Art 6 det _ _ 6 card card NOUN NN Number=Sing 7 nsubj _ _ 7 has have VERB VBZ Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin 15 advcl _ Agree=R5-strong|Haiku=2:advcl 8 a a DET DT Definite=Ind|PronType=Art 9 det _ _ 9 vowel vowel NOUN NN Number=Sing 7 obj _ _ 10 on on ADP IN _ 12 case _ _ 11 one one NUM CD NumForm=Word|NumType=Card 12 nummod _ _ 12 side side NOUN NN Number=Sing 9 nmod _ _ 13 , , PUNCT , _ 15 punct _ _ 14 it it PRON PRP Case=Nom|Gender=Neut|Number=Sing|Person=3|PronType=Prs 15 nsubj _ _ 15 has have VERB VBZ Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin 2 advcl _ _ 16 an a DET DT Definite=Ind|PronType=Art 18 det _ _ 17 even even ADJ JJ Degree=Pos 18 amod _ Agree=R7-rel-agree|Haiku=18:advmod|HaikuPos=ADV:RB:_ 18 number number NOUN NN Number=Sing 15 obj _ _ 19 on on ADP IN _ 21 case _ _ 20 the the DET DT Definite=Def|PronType=Art 21 det _ _ 21 other other ADJ JJ Degree=Pos 15 obl _ _ 22 " " PUNCT '' _ 21 punct _ _ 23 with with ADP IN _ 24 case _ _ 24 cards card NOUN NNS Number=Plur 36 obl _ _ 25 showing show VERB VBG Tense=Pres|VerbForm=Part 24 acl _ _ 26 A A PROPN NNP Number=Sing 25 obj _ _ 27 , , PUNCT , _ 28 punct _ _ 28 K K PROPN NNP Number=Sing 26 conj _ Agree=R7-rel-agree|Haiku=26:nmod:unmarked 29 , , PUNCT , _ 30 punct _ _ 30 4 4 NUM CD NumForm=Digit|NumType=Card 26 conj _ Agree=R7-rel-agree|Haiku=26:nmod 31 and and CCONJ CC _ 32 cc _ _ 32 7 7 NUM CD NumForm=Digit|NumType=Card 30 conj _ _ 33 , , PUNCT , _ 36 punct _ _ 34 you you PRON PRP Case=Nom|Person=2|PronType=Prs 36 nsubj _ _ 35 must must AUX MD VerbForm=Fin 36 aux _ _ 36 turn turn VERB VB VerbForm=Inf 0 root _ Agree=R5-strong|Haiku=2:advcl 37 over over ADP RP _ 36 compound:prt _ _ 38 A a PROPN NNP Number=Sing 36 obj _ _ 39 and and CCONJ CC _ 40 cc _ _ 40 7 7 NUM CD NumForm=Digit|NumType=Card 38 conj _ _ 41 , , PUNCT , _ 44 punct _ _ 42 and and CCONJ CC _ 44 cc _ _ 43 no no DET DT PronType=Neg 44 det _ _ 44 others other NOUN NNS Number=Plur 38 conj _ Agree=R5-strong|Haiku=36:obl 45 . . PUNCT . _ 36 punct _ Agree=R6-punct-agree|Haiku=2:punct ``` ## Pragmatics {#pragmatics} No stored speech act for this sentence. | # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by | | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | | 1 | **check** | to-infinitive | you *not said here* | | | | | | vn assessment-34.1 «NP V NP»: agent=Agent | | 2 | **have** *a condition, not said to happen, in a quote* | present | a card | a vowel | | one side | | | vn birth-28.2-1 «NP V NP»: agent=Agent vowel=Patient | | 3 | **have** *in a quote* | present | card | a even number | | the other | | | vn birth-28.2-1 «NP V NP»: agent=Agent number=Patient | | 4 | **show** | gerund | cards *not said here* | | A and K | | | | vn transfer\_mesg-37.1.1-1-1 «NP V NP.recipient»: agent=Agent a=Recipient | | 5 | **turn over** | must | you | A and no others | | | | with cards | vn contribute-13.2 «NP V NP.theme (PP)»: agent=Agent a=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:10`. **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 ×4, R6-punct-agree ×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: [Olympiad: logic traps and if-then ★★★, 8](https://md.mova.elamur.ai/free/en/corpora/school/world/193-olympiad-logic-traps-and-if-then/8/) - next →: [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/) - ↑ back to [the lesson](https://md.mova.elamur.ai/free/en/corpora/school/world/193-olympiad-logic-traps-and-if-then/)