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

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

Grandpa from Pittsburgh: "Yinz know some cats are black and some black things are bats, so some cats are bats." What's the best reply?

Mova's choice: option 2 · The right answer: option 4 · wrong ✗ · Who acts: Yinz, cats, black things, best reply · What happens: know, be · To what, where: bats · Speech: someone speaks here

This is test 6 · ★★★ 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: Grandpa from Pittsburgh: "Yinz know some cats are black and some black things are bats, so some cats are bats."

casenmodpunctpunctnsubjapposdetnsubjcopccompccdetamodnsubjcopconjpunctadvmoddetnsubjcopconjpunctpunctrootGrandpaNOUNfromADPPittsburghPROPN:PUNCT"PUNCTYinzPROPNknowVERBsomeDETcatsNOUNareAUXblackADJandCCONJsomeDETblackADJthingsNOUNareAUXbatsNOUN,PUNCTsoADVsomeDETcatsNOUNareAUXbatsNOUN.PUNCT"PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1GrandpagrandpaNOUNNumber=Singrootroot
2fromfromADP_3 Pittsburghcase
3PittsburghPittsburghPROPNNumber=Sing1 Grandpanmod
4::PUNCT_7 knowpunct
5""PUNCT_7 knowpunct
6YinzYinzPROPNNumber=Sing7 knownsubj
7knowknowVERBMood=Ind Number=Sing Person=2 Tense=Pres VerbForm=Fin1 Grandpaappos
8somesomeDETPronType=Ind9 catsdet
9catscatNOUNNumber=Plur11 blacknsubj
10arebeAUXMood=Ind Number=Plur Person=3 Tense=Pres VerbForm=Fin11 blackcop
11blackblackADJDegree=Pos7 knowccomp
12andandCCONJ_17 batscc
13somesomeDETPronType=Ind15 thingsdet
14blackblackADJDegree=Pos15 thingsamod
15thingsthingNOUNNumber=Plur17 batsnsubj
16arebeAUXMood=Ind Number=Plur Person=3 Tense=Pres VerbForm=Fin17 batscop
17batsbatNOUNNumber=Plur11 blackconj
18,,PUNCT_23 batspunct
19sosoADV_23 batsadvmod
20somesomeDETPronType=Ind21 catsdet
21catscatNOUNNumber=Plur23 batsnsubj
22arebeAUXMood=Ind Number=Plur Person=3 Tense=Pres VerbForm=Fin23 batscop
23batsbatNOUNNumber=Plur1 Grandpaconj
24..PUNCT_1 Grandpapunct
25""PUNCT_1 Grandpapunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1know in a quotepresentYinzvn comprehend-87.2-1-1-1 «NP V»: agent=Experiencer
2is in a quotepresentsome catsblack propertytree rules
3is a in a quotepresentsome black thingsbatstree rules
4is a in a quotepresentsome catsbatstree 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: What's the best reply?

copdetamodnsubjpunctrootWhatPRON'sAUXtheDETbestADJreplyNOUN?PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1WhatwhatPRONPronType=Introotroot
2'sbeAUXMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin1 Whatcop
3thetheDETDefinite=Def PronType=Art5 replydet
4bestgoodADJDegree=Sup5 replyamod
5replyreplyNOUNNumber=Sing1 Whatnsubj
6??PUNCT_1 Whatpunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1is apresentthe best replytree rules

The options

Option 1

He's right; it follows straight from the two facts given

nsubjcoppunctnsubjparataxisadvmodcasedetnummodobjaclrootHePRON'sAUXrightADJ;PUNCTitPRONfollowsVERBstraightADVfromADPtheDETtwoNUMfactsNOUNgivenVERB
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1HehePRONCase=Nom Gender=Masc Number=Sing Person=3 PronType=Prs3 rightnsubj
2'sbeAUXMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin3 rightcop
3rightrightADJDegree=Posrootroot
4;;PUNCT_6 followspunct
5ititPRONCase=Nom Gender=Neut Number=Sing Person=3 PronType=Prs6 followsnsubj
6followsfollowVERBMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin3 rightparataxis
7straightstraightADV_11 factsadvmod
8fromfromADP_11 factscase
9thetheDETDefinite=Def PronType=Art11 factsdet
10twotwoNUMNumForm=Word NumType=Card11 factsnummod
11factsfactNOUNNumber=Plur6 followsobj
12givengiveVERBTense=Past VerbForm=Part Voice=Pass11 factsacl
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1ispresentHeright propertytree rules
2followpresentitthe two factsvn chase-51.6 «NP V NP»: agent=Agent fact=Theme
3giveparticiplethe two facts not said herevn break_down-45.8 «NP V»: agent=Patient

Option 2 · ← Mova's choice

Only black cats can be bats

advmodamodnsubjauxcoprootOnlyADVblackADJcatsNOUNcanAUXbeAUXbatsNOUN
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1OnlyonlyADV_3 catsadvmod
2blackblackADJDegree=Pos3 catsamod
3catscatNOUNNumber=Plur6 batsnsubj
4cancanAUXVerbForm=Fin6 batsaux
5bebeAUXVerbForm=Inf6 batscop
6batsbatNOUNNumber=Plurrootroot
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1is acanblack catsbatstree rules

Option 3

Bats can be cats at night only

nsubjauxcopcasenmodadvmodrootBatsNOUNcanAUXbeAUXcatsNOUNatADPnightNOUNonlyADV
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1BatsbatNOUNNumber=Plur4 catsnsubj
2cancanAUXVerbForm=Fin4 catsaux
3bebeAUXVerbForm=Inf4 catscop
4catscatNOUNNumber=Plurrootroot
5atatADP_6 nightcase
6nightnightNOUNNumber=Sing4 catsnmod
7onlyonlyADV_4 catsadvmod
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1is acanBatscatsnighttree rules

Option 4 · ✓ the right answer

That doesn't follow; they can be different animals

nsubjauxadvmodpunctnsubjauxcopamodoblrootThatPRONdoesAUXn'tPARTfollowVERB;PUNCTtheyPRONcanAUXbeAUXdifferentADJanimalsNOUN
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1ThatthatPRONNumber=Sing PronType=Dem4 follownsubj
2doesdoAUXMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin4 followaux
3n'tnotPARTPolarity=Neg4 followadvmod
4followfollowVERBVerbForm=Infrootroot
5;;PUNCT_10 animalspunct
6theytheyPRONCase=Nom Number=Plur Person=3 PronType=Prs10 animalsnsubj
7cancanAUXVerbForm=Fin10 animalsaux
8bebeAUXVerbForm=Inf10 animalscop
9differentdifferentADJDegree=Pos10 animalsamod
10animalsanimalNOUNNumber=Plur4 followobl
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1not followpresent · do-supportThatvn occur-48.3-1 «NP V»: agent=Theme
2is acantheydifferent animalstree 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/t6/