Olympiad: logic traps and if-then ★★★, sentence 3
"If a card has a vowel on one side, it has an even number on the other": a card showing A could break it, and so could a card showing 7, but a card showing 4 can't, whatever is on its back.
Who acts: card, whatever · What happens: have, show, break, be · To what, where: vowel, one side, even number, other, A, 7 · 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 (card, whatever), 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 | " | " | PUNCT | _ | 13 has | punct |
| 2 | If | if | SCONJ | _ | 5 has | mark |
| 3 | a | a | DET | Definite=Ind PronType=Art | 4 card | det |
| 4 | card | card | NOUN | Number=Sing | 5 has | nsubj |
| 5 | has | have | VERB | Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin | 13 has | advcl |
| 6 | a | a | DET | Definite=Ind PronType=Art | 7 vowel | det |
| 7 | vowel | vowel | NOUN | Number=Sing | 5 has | obj |
| 8 | on | on | ADP | _ | 10 side | case |
| 9 | one | one | NUM | NumForm=Word NumType=Card | 10 side | nummod |
| 10 | side | side | NOUN | Number=Sing | 5 has | obl |
| 11 | , | , | PUNCT | _ | 5 has | punct |
| 12 | it | it | PRON | Case=Nom Gender=Neut Number=Sing Person=3 PronType=Prs | 13 has | nsubj |
| 13 | has | have | VERB | Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin | root | root |
| 14 | an | a | DET | Definite=Ind PronType=Art | 16 number | det |
| 15 | even | even | ADJ | Degree=Pos | 16 number | amod |
| 16 | number | number | NOUN | Number=Sing | 13 has | obj |
| 17 | on | on | ADP | _ | 19 other | case |
| 18 | the | the | DET | Definite=Def PronType=Art | 19 other | det |
| 19 | other | other | ADJ | Degree=Pos | 16 number | nmod |
| 20 | " | " | PUNCT | _ | 13 has | punct |
| 21 | : | : | PUNCT | _ | 27 break | punct |
| 22 | a | a | DET | Definite=Ind PronType=Art | 23 card | det |
| 23 | card | card | NOUN | Number=Sing | 27 break | nsubj |
| 24 | showing | show | VERB | VerbForm=Ger | 23 card | acl |
| 25 | A | A | NOUN | Number=Sing | 24 showing | obj |
| 26 | could | could | AUX | VerbForm=Fin | 27 break | aux |
| 27 | break | break | VERB | VerbForm=Inf | 13 has | parataxis |
| 28 | it | it | PRON | Case=Acc Gender=Neut Number=Sing Person=3 PronType=Prs | 27 break | obj |
| 29 | , | , | PUNCT | _ | 34 card | punct |
| 30 | and | and | CCONJ | _ | 34 card | cc |
| 31 | so | so | ADV | _ | 34 card | advmod |
| 32 | could | could | AUX | VerbForm=Fin | 34 card | aux |
| 33 | a | a | DET | Definite=Ind PronType=Art | 34 card | det |
| 34 | card | card | NOUN | Number=Sing | 27 break | obl |
| 35 | showing | show | VERB | VerbForm=Ger | 34 card | acl |
| 36 | 7 | 7 | NUM | NumForm=Digit NumType=Card | 35 showing | obj |
| 37 | , | , | PUNCT | _ | 41 showing | punct |
| 38 | but | but | CCONJ | _ | 41 showing | cc |
| 39 | a | a | DET | Definite=Ind PronType=Art | 40 card | det |
| 40 | card | card | NOUN | Number=Sing | 41 showing | nsubj |
| 41 | showing | show | VERB | VerbForm=Ger | 13 has | conj |
| 42 | 4 | 4 | NUM | NumForm=Digit NumType=Card | 41 showing | obj |
| 43 | ca | can | AUX | VerbForm=Fin | 41 showing | aux |
| 44 | n't | not | PART | Polarity=Neg | 43 ca | advmod |
| 45 | , | , | PUNCT | _ | 41 showing | punct |
| 46 | whatever | whatever | PRON | PronType=Rel | 50 back | nsubj |
| 47 | is | be | AUX | Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin | 50 back | cop |
| 48 | on | on | ADP | _ | 50 back | case |
| 49 | its | its | PRON | Case=Gen Gender=Neut Number=Sing Person=3 Poss=Yes PronType=Prs | 50 back | nmod:poss |
| 50 | back | back | NOUN | Number=Sing | 41 showing | obl |
| 51 | . | . | PUNCT | _ | 13 has | punct |
Pragmatics
No stored speech act for this sentence.
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
|---|---|---|---|---|---|---|---|---|---|
| 1 | 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 | |||
| 2 | have in a quote | present | card | a even number | the other | tree rules | |||
| 3 | show | gerund | a card not said here | A | vn transfer_mesg-37.1.1-1-1 «NP V NP.recipient»: agent=Agent a=Recipient | ||||
| 4 | break | could | a card | A | a card obl | vn hurt-40.8.3-1-1 «NP V NP»: agent=Experiencer it=Patient | |||
| 5 | show | gerund | a card not said here | 7 | vn transfer_mesg-37.1.1-1-1 «NP V NP.recipient»: agent=Agent 7=Recipient | ||||
| 6 | show | can | a card | 4 | vn transfer_mesg-37.1.1-1-1 «NP V NP.recipient»: agent=Agent 4=Recipient | ||||
| 7 | is | present | whatever | card's back | 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, 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:3.
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 ×2, R6-punct-agree ×1, R7-rel-agree ×2. 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/3/