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
The words, one row each (CoNLL-U)
| # | word | lemma | UPOS | features | head | relation |
|---|---|---|---|---|---|---|
| 1 | To | to | PART | _ | 2 check | mark |
| 2 | check | check | VERB | VerbForm=Inf | 36 turn | advcl |
| 3 | " | " | PUNCT | _ | 2 check | punct |
| 4 | if | if | SCONJ | _ | 7 has | mark |
| 5 | a | a | DET | Definite=Ind PronType=Art | 6 card | det |
| 6 | card | card | NOUN | Number=Sing | 7 has | nsubj |
| 7 | has | have | VERB | Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin | 15 has | advcl |
| 8 | a | a | DET | Definite=Ind PronType=Art | 9 vowel | det |
| 9 | vowel | vowel | NOUN | Number=Sing | 7 has | obj |
| 10 | on | on | ADP | _ | 12 side | case |
| 11 | one | one | NUM | NumForm=Word NumType=Card | 12 side | nummod |
| 12 | side | side | NOUN | Number=Sing | 9 vowel | nmod |
| 13 | , | , | PUNCT | _ | 15 has | punct |
| 14 | it | it | PRON | Case=Nom Gender=Neut Number=Sing Person=3 PronType=Prs | 15 has | nsubj |
| 15 | has | have | VERB | Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin | 2 check | advcl |
| 16 | an | a | DET | Definite=Ind PronType=Art | 18 number | det |
| 17 | even | even | ADJ | Degree=Pos | 18 number | amod |
| 18 | number | number | NOUN | Number=Sing | 15 has | obj |
| 19 | on | on | ADP | _ | 21 other | case |
| 20 | the | the | DET | Definite=Def PronType=Art | 21 other | det |
| 21 | other | other | ADJ | Degree=Pos | 15 has | obl |
| 22 | " | " | PUNCT | _ | 21 other | punct |
| 23 | with | with | ADP | _ | 24 cards | case |
| 24 | cards | card | NOUN | Number=Plur | 36 turn | obl |
| 25 | showing | show | VERB | Tense=Pres VerbForm=Part | 24 cards | acl |
| 26 | A | A | PROPN | Number=Sing | 25 showing | obj |
| 27 | , | , | PUNCT | _ | 28 K | punct |
| 28 | K | K | PROPN | Number=Sing | 26 A | conj |
| 29 | , | , | PUNCT | _ | 30 4 | punct |
| 30 | 4 | 4 | NUM | NumForm=Digit NumType=Card | 26 A | conj |
| 31 | and | and | CCONJ | _ | 32 7 | cc |
| 32 | 7 | 7 | NUM | NumForm=Digit NumType=Card | 30 4 | conj |
| 33 | , | , | PUNCT | _ | 36 turn | punct |
| 34 | you | you | PRON | Case=Nom Person=2 PronType=Prs | 36 turn | nsubj |
| 35 | must | must | AUX | VerbForm=Fin | 36 turn | aux |
| 36 | turn | turn | VERB | VerbForm=Inf | root | root |
| 37 | over | over | ADP | _ | 36 turn | compound:prt |
| 38 | A | a | PROPN | Number=Sing | 36 turn | obj |
| 39 | and | and | CCONJ | _ | 40 7 | cc |
| 40 | 7 | 7 | NUM | NumForm=Digit NumType=Card | 38 A | conj |
| 41 | , | , | PUNCT | _ | 44 others | punct |
| 42 | and | and | CCONJ | _ | 44 others | cc |
| 43 | no | no | DET | PronType=Neg | 44 others | det |
| 44 | others | other | NOUN | Number=Plur | 38 A | conj |
| 45 | . | . | PUNCT | _ | 36 turn | punct |
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, 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.
This page in Markdown → https://md.mova.elamur.ai/free/en/corpora/school/world/193-olympiad-logic-traps-and-if-then/10/