Olympiad: logic traps and if-then ★★★, sentence 18
"It's not untrue" means "it's true": two "nots" cancel.
Who acts: coin, two nots · What happens: not be, mean, be, cancel · 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 (coin, two nots), 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 | _ | 5 untrue | punct |
| 2 | It | it | PRON | Case=Nom Gender=Neut Number=Sing Person=3 PronType=Prs | 5 untrue | nsubj |
| 3 | 's | be | AUX | Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin | 5 untrue | cop |
| 4 | not | not | PART | Polarity=Neg | 5 untrue | advmod |
| 5 | untrue | untrue | ADJ | Degree=Pos | root | root |
| 6 | " | " | PUNCT | _ | 5 untrue | punct |
| 7 | means | mean | VERB | Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin | 5 untrue | parataxis |
| 8 | " | " | PUNCT | _ | 11 true | punct |
| 9 | it | it | PRON | Case=Nom Gender=Neut Number=Sing Person=3 PronType=Prs | 11 true | nsubj |
| 10 | 's | be | AUX | Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin | 11 true | cop |
| 11 | true | true | ADJ | Degree=Pos | 7 means | ccomp |
| 12 | " | " | PUNCT | _ | 11 true | punct |
| 13 | : | : | PUNCT | _ | 14 two | punct |
| 14 | two | two | NUM | NumForm=Word NumType=Card | 16 nots | nummod |
| 15 | " | " | PUNCT | _ | 16 nots | punct |
| 16 | nots | not | NOUN | Number=Plur | 18 cancel | nsubj |
| 17 | " | " | PUNCT | _ | 16 nots | punct |
| 18 | cancel | cancel | VERB | Mood=Ind Number=Plur Person=3 Tense=Pres VerbForm=Fin | 5 untrue | parataxis |
| 19 | . | . | PUNCT | _ | 5 untrue | punct |
Pragmatics
No stored speech act for this sentence.
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
|---|---|---|---|---|---|---|---|---|---|
| 1 | not is in a quote | present | coin | untrue property | tree rules | ||||
| 2 | mean | present | vn intend-61.2-1 «NP V S»: agent=Agent | ||||||
| 3 | is in a quote | present | coin | true property | tree rules | ||||
| 4 | cancel | present | two nots | 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:18.
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): R6-punct-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.
This page in Markdown → https://md.mova.elamur.ai/free/en/corpora/school/world/193-olympiad-logic-traps-and-if-then/18/