--- title: Ruby from London: "There's no swimming today, bruv, so it's defo Tue… — Olympiad: logic traps and if-then ★★★ · tree and pragmatics description: Ruby from London: "There's no swimming today, bruv, so it's defo Tuesday, innit?" The rule "if Tuesday, then swimming" is always kept. What's true? Test 2 · ★★★ of lesson 193 «Olympiad: logic traps and if-then ★★★» of the world course of Mova's primary school, with the dependency tree and pragmatics --- [Mova](https://md.mova.elamur.ai/free/en/) · [this page in HTML](https://mova.elamur.ai/free/en/corpora/questions/world/193-olympiad-logic-traps-and-if-then/t2/) [home](https://md.mova.elamur.ai/free/en/) / [corpora](https://md.mova.elamur.ai/free/en/corpora/) / [questions](https://md.mova.elamur.ai/free/en/corpora/questions/) / [World](https://md.mova.elamur.ai/free/en/corpora/questions/world/) / [Olympiad: logic traps and if-then ★★★](https://md.mova.elamur.ai/free/en/corpora/questions/world/193-olympiad-logic-traps-and-if-then/) / t2 # Test 2 · ★★★ · Olympiad: logic traps and if-then ★★★ Ruby from London: "There's no swimming today, bruv, so it's defo Tuesday, innit?" The rule "if Tuesday, then swimming" is always kept. What's true? **Mova's choice:** option 1 · **The right answer:** option 3 · wrong ✗ · **Who acts:** swimming, bruv, Ruby, rule · **What happens:** be, innit, swim, keep · **To what, where:** rule This is test 2 · ★★★ of lesson 193 «Olympiad: logic traps and if-then ★★★» of the world course of Mova's primary school. The page gives the question's syntax tree — a dependency tree in the style of Universal Dependencies — and its pragmatics clause by clause, then the 4 options as the student saw them, each with its tree and pragmatics. Every text is parsed by Mova itself. How the student answered it, with the score of every option and why: [the test at school](https://md.mova.elamur.ai/free/en/school-run/world/193-olympiad-logic-traps-and-if-then/#t2). ## The question {#question} *Sentence 1:* Ruby from London: "There's no swimming today, bruv, so it's defo Tuesday, innit?" ```conllu # sent_id = question:world:193-olympiad-logic-traps-and-if-then:t2:1 # text = Ruby from London: "There's no swimming today, bruv, so it's defo Tuesday, innit?" 1 Ruby Ruby PROPN NNP Number=Sing 20 nsubj _ _ 2 from from ADP IN _ 3 case _ _ 3 London London PROPN NNP Number=Sing 1 nmod _ SpaceAfter=No 4 : : PUNCT : _ 7 punct _ _ 5 " " PUNCT `` _ 7 punct _ SpaceAfter=No 6 There there PRON EX PronType=Dem 7 expl _ SpaceAfter=No 7 's be VERB VBZ Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin 20 advcl _ _ 8 no no DET DT PronType=Neg 9 det _ _ 9 swimming swimming NOUN NN Number=Sing 7 nsubj _ _ 10 today today NOUN NN Number=Sing 9 nmod:unmarked _ SpaceAfter=No 11 , , PUNCT , _ 12 punct _ _ 12 bruv bruv NOUN NN Number=Sing 9 conj _ SpaceAfter=No 13 , , PUNCT , _ 18 punct _ _ 14 so so ADV RB _ 18 advmod _ _ 15 it it PRON PRP Case=Nom|Gender=Neut|Number=Sing|Person=3|PronType=Prs 18 nsubj _ SpaceAfter=No 16 's be AUX VBZ Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin 18 cop _ _ 17 defo defo ADP IN _ 18 case _ _ 18 Tuesday Tuesday PROPN NNP Number=Sing 7 obl _ SpaceAfter=No 19 , , PUNCT , _ 20 punct _ _ 20 innit innit VERB VB Mood=Imp|VerbForm=Fin 0 root _ SpaceAfter=No 21 ? ? PUNCT . _ 20 punct _ SpaceAfter=No 22 " " PUNCT '' _ 20 punct _ _ ``` | # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by | | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | | 1 | **does** *in a quote* | present | no swimming today and bruv | | | there | | | vn exist-47.1 «NP V»: agent=Theme | | 2 | **is** *in a quote* | present | bruv | | | | | defo Tuesday | tree rules | | 3 | **innit** *in a quote* | infinitive | Ruby from London | | | | | | 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. *Sentence 2:* The rule "if Tuesday, then swimming" is always kept. ```conllu # sent_id = question:world:193-olympiad-logic-traps-and-if-then:t2:2 # text = The rule "if Tuesday, then swimming" is always kept. 1 The the DET DT Definite=Def|PronType=Art 2 det _ _ 2 rule rule NOUN NN Number=Sing 12 nsubj:pass _ _ 3 " " PUNCT `` _ 5 punct _ SpaceAfter=No 4 if if SCONJ IN _ 5 mark _ _ 5 Tuesday Tuesday PROPN NNP Number=Sing 2 appos _ SpaceAfter=No 6 , , PUNCT , _ 8 punct _ _ 7 then then ADV RB PronType=Dem 8 advmod _ _ 8 swimming swim VERB VBG VerbForm=Ger 2 acl _ SpaceAfter=No 9 " " PUNCT '' _ 8 punct _ _ 10 is be AUX VBZ Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin 12 aux:pass _ _ 11 always always ADV RB PronType=Tot 12 advmod _ _ 12 kept keep VERB VBN Tense=Past|VerbForm=Part|Voice=Pass 0 root _ SpaceAfter=No 13 . . PUNCT . _ 12 punct _ _ ``` | # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by | | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | | 1 | **swim** *in a quote* | gerund | the rule *not said here* | | | | then | | vn run-51.3.2-1 «NP V»: agent=Theme | | 2 | **keep** | present · passive | | the rule | | | | always *property* | vn keep-15.2 «NP V NP»: subject=Theme | *Sentence 3:* What's true? ```conllu # sent_id = question:world:193-olympiad-logic-traps-and-if-then:t2:3 # text = What's true? 1 What what PRON WP PronType=Int 3 nsubj _ SpaceAfter=No 2 's be AUX VBZ Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin 3 cop _ _ 3 true true ADJ JJ Degree=Pos 0 root _ SpaceAfter=No 4 ? ? PUNCT . _ 3 punct _ _ ``` | # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by | | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | | 1 | **is** | present | | | | | | true *property* | tree rules | ## The options {#options} ### Option 1 · ← Mova's choice {#o1} Every day is a swimming day ```conllu # sent_id = question:world:193-olympiad-logic-traps-and-if-then:t2:o1:1 # text = Every day is a swimming day 1 Every every DET DT PronType=Tot 2 det _ _ 2 day day NOUN NN Number=Sing 6 nsubj _ _ 3 is be AUX VBZ Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin 6 cop _ _ 4 a a DET DT Definite=Ind|PronType=Art 6 det _ _ 5 swimming swimming NOUN NN Number=Sing 6 compound _ _ 6 day day NOUN NN Number=Sing 0 root _ _ ``` | # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by | | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | | 1 | **is a** | present | every day | a swimming day | | | | | tree rules | ### Option 2 {#o2} It is Tuesday ```conllu # sent_id = question:world:193-olympiad-logic-traps-and-if-then:t2:o2:1 # text = It is Tuesday 1 It it PRON PRP Case=Nom|Gender=Neut|Number=Sing|Person=3|PronType=Prs 3 nsubj _ _ 2 is be AUX VBZ Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin 3 cop _ _ 3 Tuesday Tuesday PROPN NNP Number=Sing 0 root _ _ ``` | # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by | | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | | 1 | **is a** | present | It | Tuesday | | | | | tree rules | ### Option 3 · ✓ the right answer {#o3} It is not Tuesday ```conllu # sent_id = question:world:193-olympiad-logic-traps-and-if-then:t2:o3:1 # text = It is not Tuesday 1 It it PRON PRP Case=Nom|Gender=Neut|Number=Sing|Person=3|PronType=Prs 4 nsubj _ _ 2 is be AUX VBZ Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin 4 cop _ _ 3 not not PART RB Polarity=Neg 4 advmod _ _ 4 Tuesday Tuesday PROPN NNP Number=Sing 0 root _ _ ``` | # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by | | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | | 1 | **not** **is a** | present | It | Tuesday | | | | | tree rules | ### Option 4 {#o4} It might be Tuesday ```conllu # sent_id = question:world:193-olympiad-logic-traps-and-if-then:t2:o4:1 # text = It might be Tuesday 1 It it PRON PRP Case=Nom|Gender=Neut|Number=Sing|Person=3|PronType=Prs 4 nsubj _ _ 2 might might AUX MD VerbForm=Fin 4 aux _ _ 3 be be AUX VB VerbForm=Inf 4 cop _ _ 4 Tuesday Tuesday PROPN NNP Number=Sing 0 root _ _ ``` | # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by | | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | | 1 | **is a** | might | It | Tuesday | | | | | tree rules | **Text:** the tests of Mova's primary school, written for Mova (`world/data/school/`), as the course runner gave them to the student. **Trees:** Mova's own parse — the `en` model on the CPU, when the site is built — not checked by a teacher; they may be wrong. **Frames:** Mova's frames reader (`prag`), each text read on its own. Elamur Cosmic License. - ← previous: [Olympiad: logic traps and if-then ★★★, test 1](https://md.mova.elamur.ai/free/en/corpora/questions/world/193-olympiad-logic-traps-and-if-then/t1/) - next →: [Olympiad: logic traps and if-then ★★★, test 3](https://md.mova.elamur.ai/free/en/corpora/questions/world/193-olympiad-logic-traps-and-if-then/t3/) - ↑ back to [Olympiad: logic traps and if-then ★★★](https://md.mova.elamur.ai/free/en/corpora/questions/world/193-olympiad-logic-traps-and-if-then/)