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 .
The question Sentence 1: Ruby from London: "There's no swimming today, bruv, so it's defo Tuesday, innit?"
nsubj case nmod punct punct expl advcl det nsubj nmod:unmarked punct conj punct advmod nsubj cop case obl punct punct punct root Ruby PROPN from ADP London PROPN : PUNCT " PUNCT There PRON 's VERB no DET swimming NOUN today NOUN , PUNCT bruv NOUN , PUNCT so ADV it PRON 's AUX defo ADP Tuesday PROPN , PUNCT innit VERB ? PUNCT " PUNCT The words, one row each (CoNLL-U) # word lemma UPOS features head relation 1 Ruby Ruby PROPN Number=Sing 20 innit nsubj 2 from from ADP _ 3 London case 3 London London PROPN Number=Sing 1 Ruby nmod 4 : : PUNCT _ 7 's punct 5 " " PUNCT _ 7 's punct 6 There there PRON PronType=Dem 7 's expl 7 's be VERB Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin 20 innit advcl 8 no no DET PronType=Neg 9 swimming det 9 swimming swimming NOUN Number=Sing 7 's nsubj 10 today today NOUN Number=Sing 9 swimming nmod:unmarked 11 , , PUNCT _ 12 bruv punct 12 bruv bruv NOUN Number=Sing 9 swimming conj 13 , , PUNCT _ 18 Tuesday punct 14 so so ADV _ 18 Tuesday advmod 15 it it PRON Case=Nom Gender=Neut Number=Sing Person=3 PronType=Prs 18 Tuesday nsubj 16 's be AUX Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin 18 Tuesday cop 17 defo defo ADP _ 18 Tuesday case 18 Tuesday Tuesday PROPN Number=Sing 7 's obl 19 , , PUNCT _ 20 innit punct 20 innit innit VERB Mood=Imp VerbForm=Fin root root 21 ? ? PUNCT _ 20 innit punct 22 " " PUNCT _ 20 innit 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.
det nsubj:pass punct mark appos punct advmod acl punct aux:pass advmod punct root The DET rule NOUN " PUNCT if SCONJ Tuesday PROPN , PUNCT then ADV swimming VERB " PUNCT is AUX always ADV kept VERB . PUNCT The words, one row each (CoNLL-U) # word lemma UPOS features head relation 1 The the DET Definite=Def PronType=Art 2 rule det 2 rule rule NOUN Number=Sing 12 kept nsubj:pass 3 " " PUNCT _ 5 Tuesday punct 4 if if SCONJ _ 5 Tuesday mark 5 Tuesday Tuesday PROPN Number=Sing 2 rule appos 6 , , PUNCT _ 8 swimming punct 7 then then ADV PronType=Dem 8 swimming advmod 8 swimming swim VERB VerbForm=Ger 2 rule acl 9 " " PUNCT _ 8 swimming punct 10 is be AUX Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin 12 kept aux:pass 11 always always ADV PronType=Tot 12 kept advmod 12 kept keep VERB Tense=Past VerbForm=Part Voice=Pass root root 13 . . PUNCT _ 12 kept 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?
nsubj cop punct root What PRON 's AUX true ADJ ? PUNCT The words, one row each (CoNLL-U) # word lemma UPOS features head relation 1 What what PRON PronType=Int 3 true nsubj 2 's be AUX Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin 3 true cop 3 true true ADJ Degree=Pos root root 4 ? ? PUNCT _ 3 true punct
# verb tense, mood who what, whom to whom where when other roles by
1 is present true property tree rules
The options Option 1 · ← Mova's choice Every day is a swimming day
det nsubj cop det compound root Every DET day NOUN is AUX a DET swimming NOUN day NOUN The words, one row each (CoNLL-U) # word lemma UPOS features head relation 1 Every every DET PronType=Tot 2 day det 2 day day NOUN Number=Sing 6 day nsubj 3 is be AUX Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin 6 day cop 4 a a DET Definite=Ind PronType=Art 6 day det 5 swimming swimming NOUN Number=Sing 6 day compound 6 day day NOUN Number=Sing root 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 It is Tuesday
nsubj cop root It PRON is AUX Tuesday PROPN The words, one row each (CoNLL-U) # word lemma UPOS features head relation 1 It it PRON Case=Nom Gender=Neut Number=Sing Person=3 PronType=Prs 3 Tuesday nsubj 2 is be AUX Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin 3 Tuesday cop 3 Tuesday Tuesday PROPN Number=Sing root 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 It is not Tuesday
nsubj cop advmod root It PRON is AUX not PART Tuesday PROPN The words, one row each (CoNLL-U) # word lemma UPOS features head relation 1 It it PRON Case=Nom Gender=Neut Number=Sing Person=3 PronType=Prs 4 Tuesday nsubj 2 is be AUX Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin 4 Tuesday cop 3 not not PART Polarity=Neg 4 Tuesday advmod 4 Tuesday Tuesday PROPN Number=Sing root 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 It might be Tuesday
nsubj aux cop root It PRON might AUX be AUX Tuesday PROPN The words, one row each (CoNLL-U) # word lemma UPOS features head relation 1 It it PRON Case=Nom Gender=Neut Number=Sing Person=3 PronType=Prs 4 Tuesday nsubj 2 might might AUX VerbForm=Fin 4 Tuesday aux 3 be be AUX VerbForm=Inf 4 Tuesday cop 4 Tuesday Tuesday PROPN Number=Sing root 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 1next → Olympiad: logic traps and if-then ★★★, test 3↑ back to Olympiad: logic traps and if-then ★★★ This page in Markdown → https://md.mova.elamur.ai/free/en/corpora/questions/world/193-olympiad-logic-traps-and-if-then/t2/