---
title: Nobody there can ever say "I am a liar": a truth-teller would be lyi… — Olympiad: logic traps and if-then ★★★ · tree and pragmatics
description: Nobody there can ever say "I am a liar": a truth-teller would be lying and a liar would be telling the truth. Who acts: Nobody, truth teller, liar. A sentence of the lesson «Olympiad: logic traps and if-then ★★★» of the world course of Mova's primary school with its dependency tree and the pragmatic
---

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

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

# Olympiad: logic traps and if-then ★★★, sentence 5

<!-- .ven lang=en -->
Nobody there can ever say "I am a liar": a truth-teller would be lying and a liar would be telling the truth.

<!-- .vintro -->
**Who acts:** Nobody, truth teller, liar · **What happens:** say, be, lie, tell · **To what, where:** liar, truth · **Speech:** someone speaks here

<!-- .vabout -->
This is a sentence of the lesson «Olympiad: logic traps and if-then ★★★» of the world course of Mova's primary school. The page gives its syntax tree — a dependency tree in the style of Universal Dependencies — and its pragmatics clause by clause: who acts (Nobody, truth teller, liar), what happens, when and where, as Mova's frames read it from the tree.

## The tree {#tree}

```conllu
# sent_id = school:world:193-olympiad-logic-traps-and-if-then.lesson:5
# text = Nobody there can ever say "I am a liar": a truth-teller would be lying and a liar would be telling the truth.
# source = school lesson (ours)
# course = world
# lesson = 193-olympiad-logic-traps-and-if-then.lesson
# annotation = Mova annot: Rust (en) → Haiku 5.5 (medium, Batches API) patches; gates UD 2.18; agreed by treeagree rules (Stanza, Trankit, spaCy trf): R7-rel-agree ×1
1	Nobody	nobody	PRON	NN	Number=Sing|PronType=Neg	5	nsubj	_	_
2	there	there	ADV	RB	PronType=Dem	1	advmod	_	_
3	can	can	AUX	MD	VerbForm=Fin	5	aux	_	_
4	ever	ever	ADV	RB	PronType=Ind	5	advmod	_	_
5	say	say	VERB	VB	VerbForm=Inf	0	root	_	_
6	"	"	PUNCT	``	_	10	punct	_	_
7	I	I	PRON	PRP	Case=Nom|Number=Sing|Person=1|PronType=Prs	10	nsubj	_	_
8	am	be	AUX	VBP	Mood=Ind|Number=Sing|Person=1|Tense=Pres|VerbForm=Fin	10	cop	_	_
9	a	a	DET	DT	Definite=Ind|PronType=Art	10	det	_	_
10	liar	liar	NOUN	NN	Number=Sing	5	ccomp	_	Agree=R7-rel-agree|Haiku=5:parataxis
11	"	"	PUNCT	''	_	10	punct	_	_
12	:	:	PUNCT	:	_	19	punct	_	_
13	a	a	DET	DT	Definite=Ind|PronType=Art	16	det	_	_
14	truth	truth	NOUN	NN	Number=Sing	16	compound	_	_
15	-	-	PUNCT	HYPH	_	14	punct	_	_
16	teller	teller	NOUN	NN	Number=Sing	19	nsubj	_	_
17	would	would	AUX	MD	VerbForm=Fin	19	aux	_	_
18	be	be	AUX	VB	VerbForm=Inf	19	aux	_	_
19	lying	lie	VERB	VBG	Tense=Pres|VerbForm=Part	5	parataxis	_	_
20	and	and	CCONJ	CC	_	25	cc	_	_
21	a	a	DET	DT	Definite=Ind|PronType=Art	22	det	_	_
22	liar	liar	NOUN	NN	Number=Sing	25	nsubj	_	_
23	would	would	AUX	MD	VerbForm=Fin	25	aux	_	_
24	be	be	AUX	VB	VerbForm=Inf	25	aux	_	_
25	telling	tell	VERB	VBG	Tense=Pres|VerbForm=Part	19	conj	_	_
26	the	the	DET	DT	Definite=Def|PronType=Art	27	det	_	_
27	truth	truth	NOUN	NN	Number=Sing	25	obj	_	_
28	.	.	PUNCT	.	_	5	punct	_	_
```

## Pragmatics {#pragmatics}

<!-- .note -->
No stored speech act for this sentence.

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **say** *speech: assert* | can | Nobody |  |  |  | ever |  | vn say-37.7-1-1 «NP V that S»: agent=Agent |
| 2 | **is a** *in a quote* | present | Nobody | a liar |  |  |  |  | tree rules |
| 3 | **lie** | would · progressive | a truth teller |  |  |  |  |  | vn assuming\_position-50 «NP V»: agent=Agent |
| 4 | **tell** *speech: assert* | would · progressive | a liar | the truth |  |  |  |  | vn transfer\_mesg-37.1.1-1-1 «NP V NP.recipient»: agent=Agent truth=Recipient |

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

<!-- div src -->

**Licence: [CC BY-SA 4.0](https://creativecommons.org/licenses/by-sa/4.0/)**, as the whole of Mova corpus 0.4, of which this treebank (the agreed school, `mova-school-agreed-en.conllu`) is part. The lessons were written for Mova's primary school. Sentence `school:world:193-olympiad-logic-traps-and-if-then.lesson:5`.

**The tree:** Mova annot: Rust (en) → Haiku 5.5 (medium, Batches API) patches; gates UD 2.18; agreed by treeagree rules (Stanza, Trankit, spaCy trf): R7-rel-agree ×1. **The frames** are read from the tree by Mova's frames reader (`prag`) when this page is built, the lesson read in order, so a pronoun may be resolved from an earlier sentence.

See the [release 0.4](https://md.mova.elamur.ai/free/en/releases/0.4/).

<!-- /div -->

<!-- pn -->
- ← previous: [Olympiad: logic traps and if-then ★★★, 4](https://md.mova.elamur.ai/free/en/corpora/school/world/193-olympiad-logic-traps-and-if-then/4/)
- next →: [Olympiad: logic traps and if-then ★★★, 6](https://md.mova.elamur.ai/free/en/corpora/school/world/193-olympiad-logic-traps-and-if-then/6/)
- ↑ back to [the lesson](https://md.mova.elamur.ai/free/en/corpora/school/world/193-olympiad-logic-traps-and-if-then/)