---
title: Mason: "I've got a ticket and they still didn't let me in! The sign… — Olympiad: logic traps and if-then ★★★ · tree and pragmatics
description: Mason: "I've got a ticket and they still didn't let me in! The sign said only ticket holders get in!" What did the sign promise? Test 7 · ★★★ of lesson 193 «Olympiad: logic traps and if-then ★★★» of the world course of Mova's primary school, with the dependency tree and pragmatics of the question an
---

<!-- 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/t7/)

<!-- 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/) / t7

# Test 7 · ★★★ · Olympiad: logic traps and if-then ★★★

<!-- .ven lang=en -->
Mason: "I've got a ticket and they still didn't let me in! The sign said only ticket holders get in!" What did the sign promise?

<!-- .vintro -->
**Mova's choice:** option 4 · **The right answer:** option 1 · wrong ✗ · **Who acts:** Mason, they, sign, holders · **What happens:** get, not let in, say, get in, do · **To what, where:** ticket, me, sign promise · **Speech:** someone speaks here

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

## The question {#question}

<!-- .note -->
*Sentence 1:* Mason: "I've got a ticket and they still didn't let me in!

```conllu
# sent_id = question:world:193-olympiad-logic-traps-and-if-then:t7:1
# text = Mason: "I've got a ticket and they still didn't let me in!
1	Mason	mason	NOUN	NN	Number=Sing	6	nsubj	_	SpaceAfter=No
2	:	:	PUNCT	:	_	6	punct	_	_
3	"	"	PUNCT	``	_	6	punct	_	SpaceAfter=No
4	I	I	PRON	PRP	Case=Nom|Number=Sing|Person=1|PronType=Prs	6	nsubj	_	SpaceAfter=No
5	've	have	AUX	VBP	Mood=Ind|Number=Plur|Person=3|Tense=Pres|VerbForm=Fin	6	aux	_	_
6	got	get	VERB	VBN	Tense=Past|VerbForm=Part	0	root	_	_
7	a	a	DET	DT	Definite=Ind|PronType=Art	8	det	_	_
8	ticket	ticket	NOUN	NN	Number=Sing	6	obj	_	_
9	and	and	CCONJ	CC	_	14	cc	_	_
10	they	they	PRON	PRP	Case=Nom|Number=Plur|Person=3|PronType=Prs	14	nsubj	_	_
11	still	still	ADV	RB	_	14	advmod	_	_
12	did	do	AUX	VBD	Mood=Ind|Number=Plur|Person=3|Tense=Past|VerbForm=Fin	14	aux	_	SpaceAfter=No
13	n't	not	PART	RB	Polarity=Neg	14	advmod	_	_
14	let	let	VERB	VB	VerbForm=Inf	6	conj	_	_
15	me	I	PRON	PRP	Case=Acc|Number=Sing|Person=1|PronType=Prs	14	obj	_	_
16	in	in	ADP	RP	_	14	compound:prt	_	SpaceAfter=No
17	!	!	PUNCT	.	_	6	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **get** *in a quote* | present · perfect | Mason | a ticket |  |  |  |  | vn comprehend-87.2-1 «NP V NP»: agent=Experiencer ticket=Stimulus |
| 2 | **not** **let in** *in a quote* | past · do-support | they | me |  |  | still |  | vn give-13.1-1 «NP V NP»: agent=Agent i=Theme |

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

<!-- .note -->
*Sentence 2:* The sign said only ticket holders get in!"

```conllu
# sent_id = question:world:193-olympiad-logic-traps-and-if-then:t7:2
# text = The sign said only ticket holders get in!"
1	The	the	DET	DT	Definite=Def|PronType=Art	2	det	_	_
2	sign	sign	NOUN	NN	Number=Sing	3	nsubj	_	_
3	said	say	VERB	VBD	Mood=Ind|Number=Sing|Person=3|Tense=Past|VerbForm=Fin	0	root	_	_
4	only	only	ADV	RB	_	5	advmod	_	_
5	ticket	ticket	NOUN	NN	Number=Sing	3	ccomp	_	_
6	holders	holder	NOUN	NNS	Number=Plur	7	nsubj	_	_
7	get	get	VERB	VBP	Mood=Ind|Number=Plur|Person=3|Tense=Pres|VerbForm=Fin	5	acl:relcl	_	_
8	in	in	ADV	RB	_	7	advmod	_	SpaceAfter=No
9	!	!	PUNCT	.	_	5	punct	_	SpaceAfter=No
10	"	"	PUNCT	''	_	5	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **say** *speech: assert* | past | the sign |  |  |  |  |  | vn say-37.7-1-1 «NP V that S»: agent=Agent |
| 2 | **get in** | present | holders | ticket *not said here* |  |  |  |  | vn comprehend-87.2-1 «NP V NP»: agent=Experiencer ticket=Stimulus |

<!-- .note -->
*Sentence 3:* What did the sign promise?

```conllu
# sent_id = question:world:193-olympiad-logic-traps-and-if-then:t7:3
# text = What did the sign promise?
1	What	what	PRON	WP	PronType=Int	2	nsubj	_	_
2	did	do	VERB	VBD	Mood=Ind|Number=Sing|Person=3|Tense=Past|VerbForm=Fin	0	root	_	_
3	the	the	DET	DT	Definite=Def|PronType=Art	5	det	_	_
4	sign	sign	NOUN	NN	Number=Sing	5	compound	_	_
5	promise	promise	NOUN	NN	Number=Sing	2	obj	_	SpaceAfter=No
6	?	?	PUNCT	.	_	2	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **do** | past |  | the sign promise |  |  |  |  | vn act-114-1 «NP V NP»: agent=Agent promise=Eventuality |

## The options {#options}

### Option 1 · ✓ the right answer {#o1}

<!-- .ven lang=en -->
Only that nobody without a ticket gets in

```conllu
# sent_id = question:world:193-olympiad-logic-traps-and-if-then:t7:o1:1
# text = Only that nobody without a ticket gets in
1	Only	only	ADV	RB	_	3	advmod	_	_
2	that	that	DET	DT	Number=Sing|PronType=Dem	3	det	_	_
3	nobody	nobody	PRON	NN	Number=Sing|PronType=Neg	7	nsubj	_	_
4	without	without	ADP	IN	_	6	case	_	_
5	a	a	DET	DT	Definite=Ind|PronType=Art	6	det	_	_
6	ticket	ticket	NOUN	NN	Number=Sing	3	nmod	_	_
7	gets	get	VERB	VBZ	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	0	root	_	_
8	in	in	ADP	IN	_	7	compound:prt	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **get in** | present | nobody |  |  |  |  |  | vn comprehend-87.2-1 «NP V S\_ING»: agent=Experiencer |

### Option 2 {#o2}

<!-- .ven lang=en -->
That ticket holders always go to the front

```conllu
# sent_id = question:world:193-olympiad-logic-traps-and-if-then:t7:o2:1
# text = That ticket holders always go to the front
1	That	that	DET	DT	Number=Sing|PronType=Dem	2	det	_	_
2	ticket	ticket	NOUN	NN	Number=Sing	3	compound	_	_
3	holders	holder	NOUN	NNS	Number=Plur	5	nsubj	_	_
4	always	always	ADV	RB	PronType=Tot	5	advmod	_	_
5	go	go	VERB	VBP	Mood=Ind|Number=Plur|Person=3|Tense=Pres|VerbForm=Fin	0	root	_	_
6	to	to	ADP	IN	_	8	case	_	_
7	the	the	DET	DT	Definite=Def|PronType=Art	8	det	_	_
8	front	front	NOUN	NN	Number=Sing	5	obl	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **go** | present | ticket holders |  |  | the front |  | always *property* | vn escape-51.1-1 «NP V PP.initial\_location»: agent=Theme to front=Initial\_Location |

### Option 3 {#o3}

<!-- .ven lang=en -->
That tickets are free

```conllu
# sent_id = question:world:193-olympiad-logic-traps-and-if-then:t7:o3:1
# text = That tickets are free
1	That	that	DET	DT	Number=Sing|PronType=Dem	2	det	_	_
2	tickets	ticket	NOUN	NNS	Number=Plur	4	nsubj	_	_
3	are	be	AUX	VBP	Mood=Ind|Number=Plur|Person=3|Tense=Pres|VerbForm=Fin	4	cop	_	_
4	free	free	ADJ	JJ	Degree=Pos	0	root	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **is** | present | that tickets |  |  |  |  | free *property* | tree rules |

### Option 4 · ← Mova's choice {#o4}

<!-- .ven lang=en -->
That everyone with a ticket gets in

```conllu
# sent_id = question:world:193-olympiad-logic-traps-and-if-then:t7:o4:1
# text = That everyone with a ticket gets in
1	That	that	DET	DT	Number=Sing|PronType=Dem	2	det	_	_
2	everyone	everyone	PRON	NN	Number=Sing|PronType=Tot	6	nsubj	_	_
3	with	with	ADP	IN	_	5	case	_	_
4	a	a	DET	DT	Definite=Ind|PronType=Art	5	det	_	_
5	ticket	ticket	NOUN	NN	Number=Sing	2	nmod	_	_
6	gets	get	VERB	VBZ	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	0	root	_	_
7	in	in	ADP	IN	_	6	compound:prt	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **get in** | present | everyone |  |  |  |  |  | vn comprehend-87.2-1 «NP V S\_ING»: agent=Experiencer |

<!-- 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 ★★★, test 6](https://md.mova.elamur.ai/free/en/corpora/questions/world/193-olympiad-logic-traps-and-if-then/t6/)
- next →: [Olympiad: logic traps and if-then ★★★, test 8](https://md.mova.elamur.ai/free/en/corpora/questions/world/193-olympiad-logic-traps-and-if-then/t8/)
- ↑ 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/)