---
title: Of four cards showing A, K, 4 and 7, identify those which must be tu… — Olympiad: logic traps and if-then ★★★ · tree and pragmatics
description: 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. Exam question 2 of lesson 193 «Olympiad: logic traps and if-then ★★★» of the world course of Mova's primary school, with the dependency tre
---

<!-- md -->
[Mova](https://md.mova.elamur.ai/free/en/) · [this page in HTML](https://mova.elamur.ai/free/en/corpora/questions/world/193-olympiad-logic-traps-and-if-then/e2/)

<!-- crumbs -->
[home](https://md.mova.elamur.ai/free/en/) / [corpora](https://md.mova.elamur.ai/free/en/corpora/) / [questions](https://md.mova.elamur.ai/free/en/corpora/questions/) / [World](https://md.mova.elamur.ai/free/en/corpora/questions/world/) / [Olympiad: logic traps and if-then ★★★](https://md.mova.elamur.ai/free/en/corpora/questions/world/193-olympiad-logic-traps-and-if-then/) / e2

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

<!-- .ven lang=en -->
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.

<!-- .vintro -->
**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

<!-- .vabout -->
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](https://md.mova.elamur.ai/free/en/school-run/world/193-olympiad-logic-traps-and-if-then/#e2).

## The question {#question}

```conllu
# sent_id = question:world:193-olympiad-logic-traps-and-if-then:e2:1
# text = 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.
1	Of	of	ADP	IN	_	3	case	_	_
2	four	four	NUM	CD	NumForm=Word|NumType=Card	3	nummod	_	_
3	cards	card	NOUN	NNS	Number=Plur	13	obl	_	_
4	showing	show	VERB	VBG	VerbForm=Ger	3	acl	_	_
5	A	a	DET	DT	Definite=Ind|PronType=Art	7	det	_	SpaceAfter=No
6	,	,	PUNCT	,	_	7	punct	_	_
7	K	K	PROPN	NNP	Number=Sing	4	obj	_	SpaceAfter=No
8	,	,	PUNCT	,	_	9	punct	_	_
9	4	4	NUM	CD	NumForm=Digit|NumType=Card	7	flat	_	_
10	and	and	CCONJ	CC	_	11	cc	_	_
11	7	7	NUM	CD	NumForm=Digit|NumType=Card	9	conj	_	SpaceAfter=No
12	,	,	PUNCT	,	_	3	punct	_	_
13	identify	identify	VERB	VB	Mood=Imp|VerbForm=Fin	0	root	_	_
14	those	that	PRON	DT	Number=Plur|PronType=Dem	13	obj	_	_
15	which	which	PRON	WDT	PronType=Rel	18	nsubj:pass	_	_
16	must	must	AUX	MD	VerbForm=Fin	18	aux	_	_
17	be	be	AUX	VB	VerbForm=Inf	18	aux:pass	_	_
18	turned	turn	VERB	VBN	Tense=Past|VerbForm=Part|Voice=Pass	14	acl:relcl	_	_
19	in	in	SCONJ	IN	ExtPos=SCONJ	22	mark	_	_
20	order	order	NOUN	NN	Number=Sing	19	fixed	_	_
21	to	to	PART	TO	_	22	mark	_	_
22	test	test	VERB	VB	VerbForm=Inf	13	advcl	_	_
23	the	the	DET	DT	Definite=Def|PronType=Art	24	det	_	_
24	rule	rule	NOUN	NN	Number=Sing	22	obj	_	_
25	that	that	SCONJ	IN	_	31	mark	_	_
26	a	a	DET	DT	Definite=Ind|PronType=Art	27	det	_	_
27	vowel	vowel	NOUN	NN	Number=Sing	31	nsubj	_	_
28	on	on	ADP	IN	_	30	case	_	_
29	one	one	NUM	CD	NumForm=Word|NumType=Card	30	nummod	_	_
30	face	face	NOUN	NN	Number=Sing	27	nmod	_	_
31	implies	imply	VERB	VBZ	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	22	advcl	_	_
32	an	a	DET	DT	Definite=Ind|PronType=Art	34	det	_	_
33	even	even	ADV	RB	_	34	advmod	_	_
34	number	number	NOUN	NN	Number=Sing	31	obj	_	_
35	on	on	ADP	IN	_	37	case	_	_
36	the	the	DET	DT	Definite=Def|PronType=Art	37	det	_	_
37	other	other	ADJ	JJ	Degree=Pos	34	nmod	_	SpaceAfter=No
38	.	.	PUNCT	.	_	13	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | 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 |

<!-- .note -->
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 {#options}

### Option 1 · ← Mova's choice {#o1}

<!-- .ven lang=en -->
A alone

```conllu
# sent_id = question:world:193-olympiad-logic-traps-and-if-then:e2:o1:1
# text = A alone
1	A	a	DET	DT	Definite=Ind|PronType=Art	2	det	_	_
2	alone	alone	ADJ	JJ	Degree=Pos	0	root	_	_
```

<!-- .note -->
The frames reader finds no event or fact in this sentence.

### Option 2 {#o2}

<!-- .ven lang=en -->
A and 4

```conllu
# sent_id = question:world:193-olympiad-logic-traps-and-if-then:e2:o2:1
# text = A and 4
1	A	a	DET	DT	Definite=Ind|PronType=Art	3	det	_	_
2	and	and	CCONJ	CC	_	3	cc	_	_
3	4	4	NUM	CD	NumForm=Digit|NumType=Card	0	root	_	_
```

<!-- .note -->
The frames reader finds no event or fact in this sentence.

### Option 3 {#o3}

<!-- .ven lang=en -->
A, 4 and 7

```conllu
# sent_id = question:world:193-olympiad-logic-traps-and-if-then:e2:o3:1
# text = A, 4 and 7
1	A	a	DET	DT	Definite=Ind|PronType=Art	3	det	_	SpaceAfter=No
2	,	,	PUNCT	,	_	3	punct	_	_
3	4	4	NUM	CD	NumForm=Digit|NumType=Card	0	root	_	_
4	and	and	CCONJ	CC	_	5	cc	_	_
5	7	7	NUM	CD	NumForm=Digit|NumType=Card	3	conj	_	_
```

<!-- .note -->
The frames reader finds no event or fact in this sentence.

### Option 4 · ✓ the right answer {#o4}

<!-- .ven lang=en -->
A and 7

```conllu
# sent_id = question:world:193-olympiad-logic-traps-and-if-then:e2:o4:1
# text = A and 7
1	A	a	DET	DT	Definite=Ind|PronType=Art	3	det	_	_
2	and	and	CCONJ	CC	_	3	cc	_	_
3	7	7	NUM	CD	NumForm=Digit|NumType=Card	0	root	_	_
```

<!-- .note -->
The frames reader finds no event or fact in this sentence.

<!-- div src -->

**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.

<!-- /div -->

<!-- pn -->
- ← previous: [Olympiad: logic traps and if-then ★★★, exam 1](https://md.mova.elamur.ai/free/en/corpora/questions/world/193-olympiad-logic-traps-and-if-then/e1/)
- next →: [Olympiad: logic traps and if-then ★★★, exam 3](https://md.mova.elamur.ai/free/en/corpora/questions/world/193-olympiad-logic-traps-and-if-then/e3/)
- ↑ back to [Olympiad: logic traps and if-then ★★★](https://md.mova.elamur.ai/free/en/corpora/questions/world/193-olympiad-logic-traps-and-if-then/)