Test 4 · ★ · One counterexample is enough
Ollie lands his backflip. Ava: "OK, fine, nobody except you." What is Ava doing?
Mova's choice: option 1 · The right answer: option 2 · wrong ✗ · Who acts: Ollie, Ava · What happens: land, do · To what, where: backflip
This is test 4 · ★ of lesson 187 «One counterexample is enough» 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: Ollie lands his backflip.
The words, one row each (CoNLL-U)
| # | word | lemma | UPOS | features | head | relation |
|---|---|---|---|---|---|---|
| 1 | Ollie | Ollie | PROPN | Number=Sing | 2 lands | nsubj |
| 2 | lands | land | VERB | Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin | root | root |
| 3 | his | his | PRON | Case=Gen Gender=Masc Number=Sing Person=3 Poss=Yes PronType=Prs | 4 backflip | nmod:poss |
| 4 | backflip | backflip | NOUN | Number=Sing | 2 lands | obj |
| 5 | . | . | PUNCT | _ | 2 lands | punct |
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
|---|---|---|---|---|---|---|---|---|---|
| 1 | land | present | Ollie | Ollie's backflip | vn pocket-9.10-1 «NP V NP.theme»: agent=Agent backflip=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: Ava: "OK, fine, nobody except you."
The words, one row each (CoNLL-U)
| # | word | lemma | UPOS | features | head | relation |
|---|---|---|---|---|---|---|
| 1 | Ava | Ava | PROPN | Number=Sing | root | root |
| 2 | : | : | PUNCT | _ | 6 fine | punct |
| 3 | " | " | PUNCT | _ | 6 fine | punct |
| 4 | OK | ok | INTJ | _ | 6 fine | discourse |
| 5 | , | , | PUNCT | _ | 6 fine | punct |
| 6 | fine | fine | INTJ | _ | 1 Ava | appos |
| 7 | , | , | PUNCT | _ | 8 nobody | punct |
| 8 | nobody | nobody | PRON | Number=Sing PronType=Neg | 6 fine | appos |
| 9 | except | except | ADP | _ | 10 you | case |
| 10 | you | you | PRON | Case=Acc Person=2 PronType=Prs | 8 nobody | nmod |
| 11 | . | . | PUNCT | _ | 1 Ava | punct |
| 12 | " | " | PUNCT | _ | 1 Ava | punct |
The frames reader finds no event or fact in this sentence.
Sentence 3: What is Ava doing?
The words, one row each (CoNLL-U)
| # | word | lemma | UPOS | features | head | relation |
|---|---|---|---|---|---|---|
| 1 | What | what | PRON | PronType=Int | 4 doing | obj |
| 2 | is | be | AUX | Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin | 4 doing | aux |
| 3 | Ava | Ava | PROPN | Number=Sing | 4 doing | nsubj |
| 4 | doing | do | VERB | Tense=Pres VerbForm=Part | root | root |
| 5 | ? | ? | PUNCT | _ | 4 doing | punct |
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
|---|---|---|---|---|---|---|---|---|---|
| 1 | do | present · progressive | Ava | vn act-114-1 «NP V NP»: agent=Agent what=Eventuality |
The options
Option 1 · ← Mova's choice
Attacking Ollie for showing off
The words, one row each (CoNLL-U)
| # | word | lemma | UPOS | features | head | relation |
|---|---|---|---|---|---|---|
| 1 | Attacking | attack | VERB | Tense=Pres VerbForm=Part | root | root |
| 2 | Ollie | Ollie | PROPN | Number=Sing | 1 Attacking | obj |
| 3 | for | for | SCONJ | _ | 4 showing | mark |
| 4 | showing | show | VERB | Tense=Pres VerbForm=Part | 1 Attacking | advcl |
| 5 | off | off | ADP | _ | 4 showing | compound:prt |
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
|---|---|---|---|---|---|---|---|---|---|
| 1 | attack | gerund | Ollie | vn attack-60.1-1 «NP V NP»: agent=Agent ollie=Patient | |||||
| 2 | show off | gerund | vn transfer_mesg-37.1.1-1-1 «NP V»: agent=Agent |
Option 2 · ✓ the right answer
Admitting her claim was broken
The words, one row each (CoNLL-U)
| # | word | lemma | UPOS | features | head | relation |
|---|---|---|---|---|---|---|
| 1 | Admitting | admit | VERB | Tense=Pres VerbForm=Part | root | root |
| 2 | her | her | PRON | Case=Gen Gender=Fem Number=Sing Person=3 Poss=Yes PronType=Prs | 3 claim | nmod:poss |
| 3 | claim | claim | NOUN | Number=Sing | 5 broken | nsubj:pass |
| 4 | was | be | AUX | Mood=Ind Number=Sing Person=3 Tense=Past VerbForm=Fin | 5 broken | aux:pass |
| 5 | broken | break | VERB | Tense=Past VerbForm=Part Voice=Pass | 1 Admitting | ccomp |
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
|---|---|---|---|---|---|---|---|---|---|
| 1 | admit speech: other | gerund | vn confess-37.10 «NP V how S»: agent=Agent clause=Topic | ||||||
| 2 | break | past · passive | her claim | vn hurt-40.8.3-1-1 «NP V NP»: subject=Patient | |||||
| 3 | claim | her = she | nom claim «communication transitive»: poss=agent |
Option 3
Changing the rules so she can win
The words, one row each (CoNLL-U)
| # | word | lemma | UPOS | features | head | relation |
|---|---|---|---|---|---|---|
| 1 | Changing | change | VERB | VerbForm=Ger | 7 win | csubj |
| 2 | the | the | DET | Definite=Def PronType=Art | 3 rules | det |
| 3 | rules | rule | NOUN | Number=Plur | 1 Changing | obj |
| 4 | so | so | ADV | _ | 7 win | advmod |
| 5 | she | she | PRON | Case=Nom Gender=Fem Number=Sing Person=3 PronType=Prs | 7 win | nsubj |
| 6 | can | can | AUX | VerbForm=Fin | 7 win | aux |
| 7 | win | win | VERB | VerbForm=Inf | root | root |
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
|---|---|---|---|---|---|---|---|---|---|
| 1 | change | gerund | the rules | vn dress-41.1.1-1-1 «NP V NP»: agent=Agent rule=Patient | |||||
| 2 | win | can | she | vn succeed-74-2 «NP V»: agent=Agent |
Option 4
Proving her claim was right all along
The words, one row each (CoNLL-U)
| # | word | lemma | UPOS | features | head | relation |
|---|---|---|---|---|---|---|
| 1 | Proving | prove | VERB | VerbForm=Ger | 5 right | csubj |
| 2 | her | her | PRON | Case=Gen Gender=Fem Number=Sing Person=3 Poss=Yes PronType=Prs | 3 claim | nmod:poss |
| 3 | claim | claim | NOUN | Number=Sing | 1 Proving | obj |
| 4 | was | be | AUX | Mood=Ind Number=Sing Person=3 Tense=Past VerbForm=Fin | 5 right | cop |
| 5 | right | right | ADJ | Degree=Pos | root | root |
| 6 | all | all | ADV | _ | 7 along | advmod |
| 7 | along | along | ADV | _ | 5 right | advmod |
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
|---|---|---|---|---|---|---|---|---|---|
| 1 | prove | gerund | her claim | vn deduce-97.2 «NP V NP»: agent=Agent claim=Theme | |||||
| 2 | is | past | Proving | along, right property | tree rules | ||||
| 3 | claim | her = she | nom claim «communication transitive»: poss=agent |
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/t4/