Olympiad: logic traps and if-then ★★★, sentence 0
Logic puzzles are built from small, safe moves: if A always brings B and there is no B, then there was no A.
Who acts: A, B, A. · What happens: build, bring, be · To what, where: Logic puzzles, small safe moves, B
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 (A, B, A.), 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 | Logic | logic | NOUN | Number=Sing | 2 puzzles | compound |
| 2 | puzzles | puzzle | NOUN | Number=Plur | 4 built | nsubj:pass |
| 3 | are | be | AUX | Mood=Ind Number=Plur Person=3 Tense=Pres VerbForm=Fin | 4 built | aux:pass |
| 4 | built | build | VERB | Tense=Past VerbForm=Part Voice=Pass | root | root |
| 5 | from | from | ADP | _ | 9 moves | case |
| 6 | small | small | ADJ | Degree=Pos | 9 moves | amod |
| 7 | , | , | PUNCT | _ | 6 small | punct |
| 8 | safe | safe | ADJ | Degree=Pos | 9 moves | amod |
| 9 | moves | move | NOUN | Number=Plur | 4 built | obl |
| 10 | : | : | PUNCT | _ | 14 brings | punct |
| 11 | if | if | SCONJ | _ | 14 brings | mark |
| 12 | A | a | DET | Definite=Ind PronType=Art | 14 brings | nsubj |
| 13 | always | always | ADV | PronType=Tot | 14 brings | advmod |
| 14 | brings | bring | VERB | Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin | 9 moves | parataxis |
| 15 | B | B | NOUN | Number=Sing | 14 brings | obj |
| 16 | and | and | CCONJ | _ | 18 is | cc |
| 17 | there | there | PRON | PronType=Dem | 18 is | expl |
| 18 | is | be | VERB | Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin | 14 brings | conj |
| 19 | no | no | DET | PronType=Neg | 20 B | det |
| 20 | B | B | NOUN | Number=Sing | 18 is | nsubj |
| 21 | , | , | PUNCT | _ | 24 was | punct |
| 22 | then | then | ADV | PronType=Dem | 24 was | advmod |
| 23 | there | there | PRON | PronType=Dem | 24 was | expl |
| 24 | was | be | VERB | Mood=Ind Number=Sing Person=3 Tense=Past VerbForm=Fin | 14 brings | conj |
| 25 | no | no | DET | PronType=Neg | 26 A. | det |
| 26 | A. | A. | PROPN | Number=Sing | 24 was | nsubj |
Pragmatics
No stored speech act for this sentence.
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
|---|---|---|---|---|---|---|---|---|---|
| 1 | build | present · passive | Logic puzzles | small safe moves | vn build-26.1-1 «NP.asset V PP»: subject=Product from move=Material | ||||
| 2 | bring a condition, not said to happen | present | A | B | always property | vn bring-11.3-1 «NP V NP together»: agent=Agent b=Theme | |||
| 3 | be | present | no B | there | vn exist-47.1 «NP V»: agent=Theme | ||||
| 4 | be | past | no A. | there | then | vn exist-47.1 «NP V»: 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, 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:0.
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): R2-punct-next ×1, R7-rel-agree ×1, R8-pos-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/0/