Mova0.5 pre-release⌕
☰
home / corpora / questions / World / 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.

The question

Sentence 1: Ruby from London: "There's no swimming today, bruv, so it's defo Tuesday, innit?"

nsubjcasenmodpunctpunctexpladvcldetnsubjnmod:unmarkedpunctconjpunctadvmodnsubjcopcaseoblpunctpunctpunctrootRubyPROPNfromADPLondonPROPN:PUNCT"PUNCTTherePRON'sVERBnoDETswimmingNOUNtodayNOUN,PUNCTbruvNOUN,PUNCTsoADVitPRON'sAUXdefoADPTuesdayPROPN,PUNCTinnitVERB?PUNCT"PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1RubyRubyPROPNNumber=Sing20 innitnsubj
2fromfromADP_3 Londoncase
3LondonLondonPROPNNumber=Sing1 Rubynmod
4::PUNCT_7 'spunct
5""PUNCT_7 'spunct
6TheretherePRONPronType=Dem7 'sexpl
7'sbeVERBMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin20 innitadvcl
8nonoDETPronType=Neg9 swimmingdet
9swimmingswimmingNOUNNumber=Sing7 'snsubj
10todaytodayNOUNNumber=Sing9 swimmingnmod:unmarked
11,,PUNCT_12 bruvpunct
12bruvbruvNOUNNumber=Sing9 swimmingconj
13,,PUNCT_18 Tuesdaypunct
14sosoADV_18 Tuesdayadvmod
15ititPRONCase=Nom Gender=Neut Number=Sing Person=3 PronType=Prs18 Tuesdaynsubj
16'sbeAUXMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin18 Tuesdaycop
17defodefoADP_18 Tuesdaycase
18TuesdayTuesdayPROPNNumber=Sing7 'sobl
19,,PUNCT_20 innitpunct
20innitinnitVERBMood=Imp VerbForm=Finrootroot
21??PUNCT_20 innitpunct
22""PUNCT_20 innitpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1does in a quotepresentno swimming today and bruvtherevn exist-47.1 «NP V»: agent=Theme
2is in a quotepresentbruvdefo Tuesdaytree rules
3innit in a quoteinfinitiveRuby from Londontree 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.

detnsubj:passpunctmarkappospunctadvmodaclpunctaux:passadvmodpunctrootTheDETruleNOUN"PUNCTifSCONJTuesdayPROPN,PUNCTthenADVswimmingVERB"PUNCTisAUXalwaysADVkeptVERB.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1ThetheDETDefinite=Def PronType=Art2 ruledet
2ruleruleNOUNNumber=Sing12 keptnsubj:pass
3""PUNCT_5 Tuesdaypunct
4ififSCONJ_5 Tuesdaymark
5TuesdayTuesdayPROPNNumber=Sing2 ruleappos
6,,PUNCT_8 swimmingpunct
7thenthenADVPronType=Dem8 swimmingadvmod
8swimmingswimVERBVerbForm=Ger2 ruleacl
9""PUNCT_8 swimmingpunct
10isbeAUXMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin12 keptaux:pass
11alwaysalwaysADVPronType=Tot12 keptadvmod
12keptkeepVERBTense=Past VerbForm=Part Voice=Passrootroot
13..PUNCT_12 keptpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1swim in a quotegerundthe rule not said herethenvn run-51.3.2-1 «NP V»: agent=Theme
2keeppresent · passivethe rulealways propertyvn keep-15.2 «NP V NP»: subject=Theme

Sentence 3: What's true?

nsubjcoppunctrootWhatPRON'sAUXtrueADJ?PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1WhatwhatPRONPronType=Int3 truensubj
2'sbeAUXMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin3 truecop
3truetrueADJDegree=Posrootroot
4??PUNCT_3 truepunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1ispresenttrue propertytree rules

The options

Option 1 · ← Mova's choice

Every day is a swimming day

detnsubjcopdetcompoundrootEveryDETdayNOUNisAUXaDETswimmingNOUNdayNOUN
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1EveryeveryDETPronType=Tot2 daydet
2daydayNOUNNumber=Sing6 daynsubj
3isbeAUXMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin6 daycop
4aaDETDefinite=Ind PronType=Art6 daydet
5swimmingswimmingNOUNNumber=Sing6 daycompound
6daydayNOUNNumber=Singrootroot
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1is apresentevery daya swimming daytree rules

Option 2

It is Tuesday

nsubjcoprootItPRONisAUXTuesdayPROPN
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1ItitPRONCase=Nom Gender=Neut Number=Sing Person=3 PronType=Prs3 Tuesdaynsubj
2isbeAUXMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin3 Tuesdaycop
3TuesdayTuesdayPROPNNumber=Singrootroot
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1is apresentItTuesdaytree rules

Option 3 · ✓ the right answer

It is not Tuesday

nsubjcopadvmodrootItPRONisAUXnotPARTTuesdayPROPN
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1ItitPRONCase=Nom Gender=Neut Number=Sing Person=3 PronType=Prs4 Tuesdaynsubj
2isbeAUXMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin4 Tuesdaycop
3notnotPARTPolarity=Neg4 Tuesdayadvmod
4TuesdayTuesdayPROPNNumber=Singrootroot
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1not is apresentItTuesdaytree rules

Option 4

It might be Tuesday

nsubjauxcoprootItPRONmightAUXbeAUXTuesdayPROPN
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1ItitPRONCase=Nom Gender=Neut Number=Sing Person=3 PronType=Prs4 Tuesdaynsubj
2mightmightAUXVerbForm=Fin4 Tuesdayaux
3bebeAUXVerbForm=Inf4 Tuesdaycop
4TuesdayTuesdayPROPNNumber=Singrootroot
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1is amightItTuesdaytree 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.

This page in Markdown → https://md.mova.elamur.ai/free/en/corpora/questions/world/193-olympiad-logic-traps-and-if-then/t2/