Olympiad: thinking like a machine, Bebras puzzles ★★★, sentence 15
A number rule such as "double it and add 1" turns 1 into 3, 3 into 7, 7 into 15 and 15 into 31.
Who acts: number rule · What happens: double, add, turn · To what, where: rule, 1, 3
This is a sentence of the lesson «Olympiad: thinking like a machine, Bebras puzzles ★★★» of the ai 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 (number rule), 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 | A | a | DET | Definite=Ind PronType=Art | 3 rule | det |
| 2 | number | number | NOUN | Number=Sing | 3 rule | compound |
| 3 | rule | rule | NOUN | Number=Sing | 13 turns | nsubj |
| 4 | such | such | ADJ | Degree=Pos | 3 rule | amod |
| 5 | as | as | ADP | _ | 4 such | fixed |
| 6 | " | " | PUNCT | _ | 7 double | punct |
| 7 | double | double | VERB | Mood=Imp VerbForm=Fin | 3 rule | appos |
| 8 | it | it | PRON | Case=Nom Gender=Neut Number=Sing Person=3 PronType=Prs | 7 double | obj |
| 9 | and | and | CCONJ | _ | 10 add | cc |
| 10 | add | add | VERB | VerbForm=Inf | 7 double | conj |
| 11 | 1 | 1 | NUM | NumForm=Digit NumType=Card | 10 add | obj |
| 12 | " | " | PUNCT | _ | 7 double | punct |
| 13 | turns | turn | VERB | Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin | root | root |
| 14 | 1 | 1 | NUM | NumForm=Digit NumType=Card | 13 turns | obj |
| 15 | into | into | ADP | _ | 16 3 | case |
| 16 | 3 | 3 | NUM | NumForm=Digit NumType=Card | 13 turns | obl |
| 17 | , | , | PUNCT | _ | 18 3 | punct |
| 18 | 3 | 3 | NUM | NumForm=Digit NumType=Card | 16 3 | conj |
| 19 | into | into | ADP | _ | 20 7 | case |
| 20 | 7 | 7 | NUM | NumForm=Digit NumType=Card | 18 3 | nmod |
| 21 | , | , | PUNCT | _ | 22 7 | punct |
| 22 | 7 | 7 | NUM | NumForm=Digit NumType=Card | 18 3 | flat |
| 23 | into | into | ADP | _ | 24 15 | case |
| 24 | 15 | 15 | NUM | NumForm=Digit NumType=Card | 13 turns | obl |
| 25 | and | and | CCONJ | _ | 26 15 | cc |
| 26 | 15 | 15 | NUM | NumForm=Digit NumType=Card | 24 15 | conj |
| 27 | into | into | ADP | _ | 28 31 | case |
| 28 | 31 | 31 | NUM | NumForm=Digit NumType=Card | 13 turns | obl |
| 29 | . | . | PUNCT | _ | 13 turns | punct |
Pragmatics
- form
- statement
- act
- assert
- voice
- narrator
- polarity
- none
- teacher
- changed act=assert
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
|---|---|---|---|---|---|---|---|---|---|
| 1 | double in a quote | infinitive | rule | vn other_cos-45.4 «NP V NP.patient»: agent=Agent it=Patient | |||||
| 2 | add speech: assert in a quote | infinitive | 1 | vn mix-22.1-2 «NP V NP»: agent=Agent 1=Patient | |||||
| 3 | turn | present | a number rule | 1 | 3 | into 15; into 31 | vn roll-51.3.1 «NP.agent V NP.theme PP.source PP.trajectory PP.destination»: agent=Agent 1=Theme into 3=Source into 15=Trajectory into 31=Destination |
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:ai:031-olympiad-thinking-like-a-machine.lesson:15.
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/ai/31-olympiad-thinking-like-a-machine/15/