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

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 · What happens: say, be, lie, tell · To what, where: liar, truth · Speech: someone speaks here

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

The words, one row each (CoNLL-U)

#	word	lemma	UPOS	features	head	relation
1	Nobody	nobody	PRON	Number=Sing PronType=Neg	5 say	nsubj
2	there	there	ADV	PronType=Dem	1 Nobody	advmod
3	can	can	AUX	VerbForm=Fin	5 say	aux
4	ever	ever	ADV	PronType=Ind	5 say	advmod
5	say	say	VERB	VerbForm=Inf	root	root
6	"	"	PUNCT	_	10 liar	punct
7	I	I	PRON	Case=Nom Number=Sing Person=1 PronType=Prs	10 liar	nsubj
8	am	be	AUX	Mood=Ind Number=Sing Person=1 Tense=Pres VerbForm=Fin	10 liar	cop
9	a	a	DET	Definite=Ind PronType=Art	10 liar	det
10	liar	liar	NOUN	Number=Sing	5 say	ccomp
11	"	"	PUNCT	_	10 liar	punct
12	:	:	PUNCT	_	19 lying	punct
13	a	a	DET	Definite=Ind PronType=Art	16 teller	det
14	truth	truth	NOUN	Number=Sing	16 teller	compound
15	-	-	PUNCT	_	14 truth	punct
16	teller	teller	NOUN	Number=Sing	19 lying	nsubj
17	would	would	AUX	VerbForm=Fin	19 lying	aux
18	be	be	AUX	VerbForm=Inf	19 lying	aux
19	lying	lie	VERB	Tense=Pres VerbForm=Part	5 say	parataxis
20	and	and	CCONJ	_	25 telling	cc
21	a	a	DET	Definite=Ind PronType=Art	22 liar	det
22	liar	liar	NOUN	Number=Sing	25 telling	nsubj
23	would	would	AUX	VerbForm=Fin	25 telling	aux
24	be	be	AUX	VerbForm=Inf	25 telling	aux
25	telling	tell	VERB	Tense=Pres VerbForm=Part	19 lying	conj
26	the	the	DET	Definite=Def PronType=Art	27 truth	det
27	truth	truth	NOUN	Number=Sing	25 telling	obj
28	.	.	PUNCT	_	5 say	punct

Pragmatics

No stored speech act for this sentence.

#	verb	tense, mood	who	what, whom	when	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

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.

Licence: CC 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.

This page in Markdown → https://md.mova.elamur.ai/free/en/corpora/school/world/193-olympiad-logic-traps-and-if-then/5/