Mova0.5 pre-release⌕
☰
home / corpora / questions / World / Olympiad: logic traps and if-then ★★★ / t7

Test 7 · ★★★ · Olympiad: logic traps and if-then ★★★

Mason: "I've got a ticket and they still didn't let me in! The sign said only ticket holders get in!" What did the sign promise?

Mova's choice: option 4 · The right answer: option 1 · wrong ✗ · Who acts: Mason, they, sign, holders · What happens: get, not let in, say, get in, do · To what, where: ticket, me, sign promise · Speech: someone speaks here

This is test 7 · ★★★ 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: Mason: "I've got a ticket and they still didn't let me in!

nsubjpunctpunctnsubjauxdetobjccnsubjadvmodauxadvmodconjobjcompound:prtpunctrootMasonNOUN:PUNCT"PUNCTIPRON'veAUXgotVERBaDETticketNOUNandCCONJtheyPRONstillADVdidAUXn'tPARTletVERBmePRONinADP!PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1MasonmasonNOUNNumber=Sing6 gotnsubj
2::PUNCT_6 gotpunct
3""PUNCT_6 gotpunct
4IIPRONCase=Nom Number=Sing Person=1 PronType=Prs6 gotnsubj
5'vehaveAUXMood=Ind Number=Plur Person=3 Tense=Pres VerbForm=Fin6 gotaux
6gotgetVERBTense=Past VerbForm=Partrootroot
7aaDETDefinite=Ind PronType=Art8 ticketdet
8ticketticketNOUNNumber=Sing6 gotobj
9andandCCONJ_14 letcc
10theytheyPRONCase=Nom Number=Plur Person=3 PronType=Prs14 letnsubj
11stillstillADV_14 letadvmod
12diddoAUXMood=Ind Number=Plur Person=3 Tense=Past VerbForm=Fin14 letaux
13n'tnotPARTPolarity=Neg14 letadvmod
14letletVERBVerbForm=Inf6 gotconj
15meIPRONCase=Acc Number=Sing Person=1 PronType=Prs14 letobj
16ininADP_14 letcompound:prt
17!!PUNCT_6 gotpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1get in a quotepresent · perfectMasona ticketvn comprehend-87.2-1 «NP V NP»: agent=Experiencer ticket=Stimulus
2not let in in a quotepast · do-supporttheymestillvn give-13.1-1 «NP V NP»: agent=Agent i=Theme

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 sign said only ticket holders get in!"

detnsubjadvmodccompnsubjacl:relcladvmodpunctpunctrootTheDETsignNOUNsaidVERBonlyADVticketNOUNholdersNOUNgetVERBinADV!PUNCT"PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1ThetheDETDefinite=Def PronType=Art2 signdet
2signsignNOUNNumber=Sing3 saidnsubj
3saidsayVERBMood=Ind Number=Sing Person=3 Tense=Past VerbForm=Finrootroot
4onlyonlyADV_5 ticketadvmod
5ticketticketNOUNNumber=Sing3 saidccomp
6holdersholderNOUNNumber=Plur7 getnsubj
7getgetVERBMood=Ind Number=Plur Person=3 Tense=Pres VerbForm=Fin5 ticketacl:relcl
8ininADV_7 getadvmod
9!!PUNCT_5 ticketpunct
10""PUNCT_5 ticketpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1say speech: assertpastthe signvn say-37.7-1-1 «NP V that S»: agent=Agent
2get inpresentholdersticket not said herevn comprehend-87.2-1 «NP V NP»: agent=Experiencer ticket=Stimulus

Sentence 3: What did the sign promise?

nsubjdetcompoundobjpunctrootWhatPRONdidVERBtheDETsignNOUNpromiseNOUN?PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1WhatwhatPRONPronType=Int2 didnsubj
2diddoVERBMood=Ind Number=Sing Person=3 Tense=Past VerbForm=Finrootroot
3thetheDETDefinite=Def PronType=Art5 promisedet
4signsignNOUNNumber=Sing5 promisecompound
5promisepromiseNOUNNumber=Sing2 didobj
6??PUNCT_2 didpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1dopastthe sign promisevn act-114-1 «NP V NP»: agent=Agent promise=Eventuality

The options

Option 1 · ✓ the right answer

Only that nobody without a ticket gets in

advmoddetnsubjcasedetnmodcompound:prtrootOnlyADVthatDETnobodyPRONwithoutADPaDETticketNOUNgetsVERBinADP
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1OnlyonlyADV_3 nobodyadvmod
2thatthatDETNumber=Sing PronType=Dem3 nobodydet
3nobodynobodyPRONNumber=Sing PronType=Neg7 getsnsubj
4withoutwithoutADP_6 ticketcase
5aaDETDefinite=Ind PronType=Art6 ticketdet
6ticketticketNOUNNumber=Sing3 nobodynmod
7getsgetVERBMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Finrootroot
8ininADP_7 getscompound:prt
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1get inpresentnobodyvn comprehend-87.2-1 «NP V S_ING»: agent=Experiencer

Option 2

That ticket holders always go to the front

detcompoundnsubjadvmodcasedetoblrootThatDETticketNOUNholdersNOUNalwaysADVgoVERBtoADPtheDETfrontNOUN
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1ThatthatDETNumber=Sing PronType=Dem2 ticketdet
2ticketticketNOUNNumber=Sing3 holderscompound
3holdersholderNOUNNumber=Plur5 gonsubj
4alwaysalwaysADVPronType=Tot5 goadvmod
5gogoVERBMood=Ind Number=Plur Person=3 Tense=Pres VerbForm=Finrootroot
6totoADP_8 frontcase
7thetheDETDefinite=Def PronType=Art8 frontdet
8frontfrontNOUNNumber=Sing5 goobl
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1gopresentticket holdersthe frontalways propertyvn escape-51.1-1 «NP V PP.initial_location»: agent=Theme to front=Initial_Location

Option 3

That tickets are free

detnsubjcoprootThatDETticketsNOUNareAUXfreeADJ
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1ThatthatDETNumber=Sing PronType=Dem2 ticketsdet
2ticketsticketNOUNNumber=Plur4 freensubj
3arebeAUXMood=Ind Number=Plur Person=3 Tense=Pres VerbForm=Fin4 freecop
4freefreeADJDegree=Posrootroot
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1ispresentthat ticketsfree propertytree rules

Option 4 · ← Mova's choice

That everyone with a ticket gets in

detnsubjcasedetnmodcompound:prtrootThatDETeveryonePRONwithADPaDETticketNOUNgetsVERBinADP
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1ThatthatDETNumber=Sing PronType=Dem2 everyonedet
2everyoneeveryonePRONNumber=Sing PronType=Tot6 getsnsubj
3withwithADP_5 ticketcase
4aaDETDefinite=Ind PronType=Art5 ticketdet
5ticketticketNOUNNumber=Sing2 everyonenmod
6getsgetVERBMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Finrootroot
7ininADP_6 getscompound:prt
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1get inpresenteveryonevn comprehend-87.2-1 «NP V S_ING»: agent=Experiencer

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/t7/