Exam question 2 · Olympiad: logic traps and if-then ★★★

Of four cards showing A, K, 4 and 7, identify those which must be turned in order to test the rule that a vowel on one face implies an even number on the other.

Mova's choice: option 1 · The right answer: option 4 · wrong ✗ · Who acts: four cards, you, vowel · What happens: show, identify, turn, test, imply · To what, where: K, those, rule, number, other

This is exam question 2 of lesson 193 «Olympiad: logic traps and if-then ★★★» 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

The words, one row each (CoNLL-U)

#	word	lemma	UPOS	features	head	relation
1	Of	of	ADP	_	3 cards	case
2	four	four	NUM	NumForm=Word NumType=Card	3 cards	nummod
3	cards	card	NOUN	Number=Plur	13 identify	obl
4	showing	show	VERB	VerbForm=Ger	3 cards	acl
5	A	a	DET	Definite=Ind PronType=Art	7 K	det
6	,	,	PUNCT	_	7 K	punct
7	K	K	PROPN	Number=Sing	4 showing	obj
8	,	,	PUNCT	_	9 4	punct
9	4	4	NUM	NumForm=Digit NumType=Card	7 K	flat
10	and	and	CCONJ	_	11 7	cc
11	7	7	NUM	NumForm=Digit NumType=Card	9 4	conj
12	,	,	PUNCT	_	3 cards	punct
13	identify	identify	VERB	Mood=Imp VerbForm=Fin	root	root
14	those	that	PRON	Number=Plur PronType=Dem	13 identify	obj
15	which	which	PRON	PronType=Rel	18 turned	nsubj:pass
16	must	must	AUX	VerbForm=Fin	18 turned	aux
17	be	be	AUX	VerbForm=Inf	18 turned	aux:pass
18	turned	turn	VERB	Tense=Past VerbForm=Part Voice=Pass	14 those	acl:relcl
19	in	in	SCONJ	ExtPos=SCONJ	22 test	mark
20	order	order	NOUN	Number=Sing	19 in	fixed
21	to	to	PART	_	22 test	mark
22	test	test	VERB	VerbForm=Inf	13 identify	advcl
23	the	the	DET	Definite=Def PronType=Art	24 rule	det
24	rule	rule	NOUN	Number=Sing	22 test	obj
25	that	that	SCONJ	_	31 implies	mark
26	a	a	DET	Definite=Ind PronType=Art	27 vowel	det
27	vowel	vowel	NOUN	Number=Sing	31 implies	nsubj
28	on	on	ADP	_	30 face	case
29	one	one	NUM	NumForm=Word NumType=Card	30 face	nummod
30	face	face	NOUN	Number=Sing	27 vowel	nmod
31	implies	imply	VERB	Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin	22 test	advcl
32	an	a	DET	Definite=Ind PronType=Art	34 number	det
33	even	even	ADV	_	34 number	advmod
34	number	number	NOUN	Number=Sing	31 implies	obj
35	on	on	ADP	_	37 other	case
36	the	the	DET	Definite=Def PronType=Art	37 other	det
37	other	other	ADJ	Degree=Pos	34 number	nmod
38	.	.	PUNCT	_	13 identify	punct

#	verb	tense, mood	who	what, whom	to whom	where	other	roles by
1	show	gerund	four cards not said here		a K			vn transfer_mesg-37.1.1-1-1 «NP V NP.recipient»: agent=Agent k=Recipient
2	identify	imperative	you not said here	those			of four cards	vn characterize-29.2-1-1 «NP V NP S_ING»: agent=Agent that=Theme
3	turn	must · passive						vn roll-51.3.1 «NP V NP.theme»: subject=Theme
4	test	to-infinitive	you not said here	the rule				vn assessment-34.1 «NP V NP»: agent=Agent rule=Theme
5	imply	present	a vowel on one face	a number		the other		vn indicate-78 «NP V NP»: agent=Pivot number=Topic

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

A alone

The words, one row each (CoNLL-U)

#	word	lemma	UPOS	features	head	relation
1	A	a	DET	Definite=Ind PronType=Art	2 alone	det
2	alone	alone	ADJ	Degree=Pos	root	root

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

Option 2

A and 4

The words, one row each (CoNLL-U)

#	word	lemma	UPOS	features	head	relation
1	A	a	DET	Definite=Ind PronType=Art	3 4	det
2	and	and	CCONJ	_	3 4	cc
3	4	4	NUM	NumForm=Digit NumType=Card	root	root

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

Option 3

A, 4 and 7

The words, one row each (CoNLL-U)

#	word	lemma	UPOS	features	head	relation
1	A	a	DET	Definite=Ind PronType=Art	3 4	det
2	,	,	PUNCT	_	3 4	punct
3	4	4	NUM	NumForm=Digit NumType=Card	root	root
4	and	and	CCONJ	_	5 7	cc
5	7	7	NUM	NumForm=Digit NumType=Card	3 4	conj

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

Option 4 · ✓ the right answer

A and 7

The words, one row each (CoNLL-U)

#	word	lemma	UPOS	features	head	relation
1	A	a	DET	Definite=Ind PronType=Art	3 7	det
2	and	and	CCONJ	_	3 7	cc
3	7	7	NUM	NumForm=Digit NumType=Card	root	root

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/193-olympiad-logic-traps-and-if-then/e2/