Mova0.5 pre-release⌕
☰
home / corpora / questions / World / One counterexample is enough / e1

Exam question 1 · One counterexample is enough

Identify the minimum number of counterexamples required to demonstrate that a claim concerning all members of a group is false.

Mova's choice: option 1 · The right answer: option 1 · right ✓ · Who acts: you, claim · What happens: identify, require, demonstrate, concern, be · To what, where: minimum number, counterexamples, members

This is exam question 1 of lesson 187 «One counterexample is enough» of the world course of Mova's primary school, asked in stiff, formal language. 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

detamodobjcasenmodaclmarkxcompmarkdetnsubjacldetobjcasedetnmodcopadvclpunctrootIdentifyVERBtheDETminimumADJnumberNOUNofADPcounterexamplesNOUNrequiredVERBtoPARTdemonstrateVERBthatSCONJaDETclaimNOUNconcerningVERBallDETmembersNOUNofADPaDETgroupNOUNisAUXfalseADJ.PUNCT
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1IdentifyidentifyVERBMood=Imp VerbForm=Finrootroot
2thetheDETDefinite=Def PronType=Art4 numberdet
3minimumminimumADJDegree=Pos4 numberamod
4numbernumberNOUNNumber=Sing1 Identifyobj
5ofofADP_6 counterexamplescase
6counterexamplescounterexampleNOUNNumber=Plur4 numbernmod
7requiredrequireVERBTense=Past VerbForm=Part Voice=Pass6 counterexamplesacl
8totoPART_9 demonstratemark
9demonstratedemonstrateVERBVerbForm=Inf7 requiredxcomp
10thatthatSCONJ_20 falsemark
11aaDETDefinite=Ind PronType=Art12 claimdet
12claimclaimNOUNNumber=Sing20 falsensubj
13concerningconcernVERBVerbForm=Ger12 claimacl
14allallDETPronType=Tot15 membersdet
15membersmemberNOUNNumber=Plur13 concerningobj
16ofofADP_18 groupcase
17aaDETDefinite=Ind PronType=Art18 groupdet
18groupgroupNOUNNumber=Sing15 membersnmod
19isbeAUXMood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin20 falsecop
20falsefalseADJDegree=Pos9 demonstrateadvcl
21..PUNCT_1 Identifypunct
#verbtense, moodwhowhat, whomto whomwherewhenotherroles by
1identifyimperativeyou not said herethe minimum number of counterexamplesvn characterize-29.2-1-1 «NP V NP S_ING»: agent=Agent number=Theme
2requireparticiplecounterexamples not said herevn require-103-1 «NP V NP S_INF»: agent=Theme clause=Precondition
3demonstrateto-infinitivevn transfer_mesg-37.1.1 «NP V»: agent=Agent
4concerngerunda claim not said hereall members of a groupvn amuse-31.1 «NP V NP»: agent=Stimulus member=Experiencer
5ispresenta claimfalse propertytree 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.

The options

Option 1 · ← Mova's choice · ✓ the right answer

One

rootOneNUM
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1OneoneNUMNumForm=Word NumType=Cardrootroot

The frames reader finds no event or fact in this sentence.

Option 2

Two

rootTwoNUM
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1TwotwoNUMNumForm=Word NumType=Cardrootroot

The frames reader finds no event or fact in this sentence.

Option 3

All members of the group

detcasedetnmodrootAllDETmembersNOUNofADPtheDETgroupNOUN
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1AllallDETPronType=Tot2 membersdet
2membersmemberNOUNNumber=Plurrootroot
3ofofADP_5 groupcase
4thetheDETDefinite=Def PronType=Art5 groupdet
5groupgroupNOUNNumber=Sing2 membersnmod

The frames reader finds no event or fact in this sentence.

Option 4

Ten

rootTenNUM
The words, one row each (CoNLL-U)
#wordlemmaUPOSfeaturesheadrelation
1TentenNUMNumForm=Word NumType=Cardrootroot

The frames reader finds no event or fact in this sentence.

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/187-one-counterexample-is-enough/e1/