--- title: A number rule such as "double it and add 1" turns 1 into 3, 3 into 7… — Olympiad: thinking like a machine, Bebras puzzle… · tree and pragmatics description: 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. A sentence of the lesson «Olympiad: thinking like a machine, Bebras puzzles ★★★» of the ai course of Mova's primary school with its dependency tree and the pragmatics of every claus --- [Mova](https://md.mova.elamur.ai/free/en/) · [this page in HTML](https://mova.elamur.ai/free/en/corpora/school/ai/31-olympiad-thinking-like-a-machine/15/) [home](https://md.mova.elamur.ai/free/en/) / [corpora](https://md.mova.elamur.ai/free/en/corpora/) / [school](https://md.mova.elamur.ai/free/en/corpora/school/) / [AI](https://md.mova.elamur.ai/free/en/corpora/school/ai/) / [Olympiad: thinking like a machine, Beb…](https://md.mova.elamur.ai/free/en/corpora/school/ai/31-olympiad-thinking-like-a-machine/) / 15 # 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 {#tree} ```conllu # sent_id = school:ai:031-olympiad-thinking-like-a-machine.lesson:15 # text = A number rule such as "double it and add 1" turns 1 into 3, 3 into 7, 7 into 15 and 15 into 31. # source = school lesson (ours) # course = ai # lesson = 031-olympiad-thinking-like-a-machine.lesson # annotation = 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 1 A a DET DT Definite=Ind|PronType=Art 3 det _ _ 2 number number NOUN NN Number=Sing 3 compound _ _ 3 rule rule NOUN NN Number=Sing 13 nsubj _ _ 4 such such ADJ JJ Degree=Pos 3 amod _ _ 5 as as ADP IN _ 4 fixed _ _ 6 " " PUNCT `` _ 7 punct _ _ 7 double double VERB VB Mood=Imp|VerbForm=Fin 3 appos _ _ 8 it it PRON PRP Case=Nom|Gender=Neut|Number=Sing|Person=3|PronType=Prs 7 obj _ _ 9 and and CCONJ CC _ 10 cc _ _ 10 add add VERB VB VerbForm=Inf 7 conj _ _ 11 1 1 NUM CD NumForm=Digit|NumType=Card 10 obj _ _ 12 " " PUNCT '' _ 7 punct _ Agree=R6-punct-agree|Haiku=13:punct|HaikuPos=PUNCT:``:_ 13 turns turn VERB VBZ Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin 0 root _ _ 14 1 1 NUM CD NumForm=Digit|NumType=Card 13 obj _ _ 15 into into ADP IN _ 16 case _ _ 16 3 3 NUM CD NumForm=Digit|NumType=Card 13 obl _ _ 17 , , PUNCT , _ 18 punct _ _ 18 3 3 NUM CD NumForm=Digit|NumType=Card 16 conj _ _ 19 into into ADP IN _ 20 case _ _ 20 7 7 NUM CD NumForm=Digit|NumType=Card 18 nmod _ _ 21 , , PUNCT , _ 22 punct _ _ 22 7 7 NUM CD NumForm=Digit|NumType=Card 18 flat _ _ 23 into into ADP IN _ 24 case _ _ 24 15 15 NUM CD NumForm=Digit|NumType=Card 13 obl _ _ 25 and and CCONJ CC _ 26 cc _ _ 26 15 15 NUM CD NumForm=Digit|NumType=Card 24 conj _ _ 27 into into ADP IN _ 28 case _ _ 28 31 31 NUM CD NumForm=Digit|NumType=Card 13 obl _ _ 29 . . PUNCT . _ 13 punct _ _ ``` ## Pragmatics {#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](https://creativecommons.org/licenses/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](https://md.mova.elamur.ai/free/en/releases/0.4/). - ← previous: [Olympiad: thinking like a machine, Beb…, 14](https://md.mova.elamur.ai/free/en/corpora/school/ai/31-olympiad-thinking-like-a-machine/14/) - next →: [Olympiad: thinking like a machine, Beb…, 16](https://md.mova.elamur.ai/free/en/corpora/school/ai/31-olympiad-thinking-like-a-machine/16/) - ↑ back to [the lesson](https://md.mova.elamur.ai/free/en/corpora/school/ai/31-olympiad-thinking-like-a-machine/)