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

On an island of truth-tellers and liars, nobody can say "I am a liar"; if two people there say "the other one is a liar" and "we both tell the truth", the first is a truth-teller and the second a liar.

Who acts: nobody, two people, other one, we, first, second · What happens: say, be, tell, liar · To what, where: island, liar, truth, truth teller · 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, two people, other one, we), 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	On	on	ADP	_	3 island	case
2	an	a	DET	Definite=Ind PronType=Art	3 island	det
3	island	island	NOUN	Number=Sing	13 say	obl
4	of	of	ADP	_	7 tellers	case
5	truth	truth	NOUN	Number=Sing	7 tellers	compound
6	-	-	PUNCT	_	5 truth	punct
7	tellers	teller	NOUN	Number=Plur	3 island	nmod
8	and	and	CCONJ	_	9 liars	cc
9	liars	liar	NOUN	Number=Plur	7 tellers	conj
10	,	,	PUNCT	_	3 island	punct
11	nobody	nobody	PRON	Number=Sing PronType=Neg	13 say	nsubj
12	can	can	AUX	VerbForm=Fin	13 say	aux
13	say	say	VERB	VerbForm=Inf	root	root
14	"	"	PUNCT	_	18 liar	punct
15	I	I	PRON	Case=Nom Number=Sing Person=1 PronType=Prs	18 liar	nsubj
16	am	be	AUX	Mood=Ind Number=Sing Person=1 Tense=Pres VerbForm=Fin	18 liar	cop
17	a	a	DET	Definite=Ind PronType=Art	18 liar	det
18	liar	liar	NOUN	Number=Sing	13 say	ccomp
19	"	"	PUNCT	_	18 liar	punct
20	;	;	PUNCT	_	25 say	punct
21	if	if	SCONJ	_	25 say	mark
22	two	two	NUM	NumForm=Word NumType=Card	23 people	nummod
23	people	people	NOUN	Number=Plur	25 say	nsubj
24	there	there	ADV	PronType=Dem	23 people	advmod
25	say	say	VERB	Mood=Ind Number=Plur Person=3 Tense=Pres VerbForm=Fin	13 say	parataxis
26	"	"	PUNCT	_	32 liar	punct
27	the	the	DET	Definite=Def PronType=Art	29 one	det
28	other	other	ADJ	Degree=Pos	29 one	amod
29	one	one	NOUN	Number=Sing	32 liar	nsubj
30	is	be	AUX	Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin	32 liar	cop
31	a	a	DET	Definite=Ind PronType=Art	32 liar	det
32	liar	liar	NOUN	Number=Sing	25 say	ccomp
33	"	"	PUNCT	_	32 liar	punct
34	and	and	CCONJ	_	38 tell	cc
35	"	"	PUNCT	_	38 tell	punct
36	we	we	PRON	Case=Nom Number=Plur Person=1 PronType=Prs	38 tell	nsubj
37	both	both	ADV	PronType=Tot	38 tell	advmod
38	tell	tell	VERB	Mood=Ind Number=Plur Person=3 Tense=Pres VerbForm=Fin	32 liar	conj
39	the	the	DET	Definite=Def PronType=Art	40 truth	det
40	truth	truth	NOUN	Number=Sing	38 tell	obj
41	"	"	PUNCT	_	38 tell	punct
42	,	,	PUNCT	_	38 tell	punct
43	the	the	DET	Definite=Def PronType=Art	44 first	det
44	first	first	ADJ	Degree=Pos NumForm=Word NumType=Ord	49 teller	nsubj
45	is	be	AUX	Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin	49 teller	cop
46	a	a	DET	Definite=Ind PronType=Art	49 teller	det
47	truth	truth	NOUN	Number=Sing	49 teller	compound
48	-	-	PUNCT	_	47 truth	punct
49	teller	teller	NOUN	Number=Sing	32 liar	conj
50	and	and	CCONJ	_	54 liar	cc
51	the	the	DET	Definite=Def PronType=Art	52 second	det
52	second	second	ADJ	Degree=Pos NumForm=Word NumType=Ord	54 liar	nsubj
53	a	a	DET	Definite=Ind PronType=Art	54 liar	det
54	liar	liar	NOUN	Number=Sing	49 teller	conj
55	.	.	PUNCT	_	13 say	punct

Pragmatics

form: statement
act: assert
voice: narrator
polarity: none
teacher: changed voice=narrator

#	verb	tense, mood	who	what, whom	where	other	roles by
1	say speech: assert	can	nobody		a island of truth tellers and liars		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	say speech: assert a condition, not said to happen	present	two people				vn say-37.7-1-1 «NP V that S»: agent=Agent
4	is a in a quote	present	the other one	a liar and a truth teller and a liar			tree rules
5	tell speech: assert in a quote	present	we	the truth		both property	vn transfer_mesg-37.1.1-1-1 «NP V NP.recipient»: agent=Agent truth=Recipient
6	is a	present	the first	a truth teller and a liar			tree rules
7	liar		the second				tree rules

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:11.

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): R1-cc-next ×3, R6-punct-agree ×1, R7-rel-agree ×1, R8-pos-agree ×2. 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/11/