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

"Ann is taller than Ben and Cal is taller than Ben" shows Ben is the shortest but doesn't say whether Ann or Cal is taller.

Who acts: Ann, Cal, Ben · What happens: be, show, not say · 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 (Ann, Cal, Ben), 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	"	"	PUNCT	_	4 taller	punct
2	Ann	Ann	PROPN	Number=Sing	4 taller	nsubj
3	is	be	AUX	Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin	4 taller	cop
4	taller	tall	ADJ	Degree=Cmp	14 shows	ccomp
5	than	than	ADP	_	6 Ben	case
6	Ben	Ben	PROPN	Number=Sing	4 taller	obl
7	and	and	CCONJ	_	10 taller	cc
8	Cal	Cal	PROPN	Number=Sing	10 taller	nsubj
9	is	be	AUX	Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin	10 taller	cop
10	taller	tall	ADJ	Degree=Cmp	4 taller	conj
11	than	than	ADP	_	12 Ben	case
12	Ben	Ben	PROPN	Number=Sing	10 taller	obl
13	"	"	PUNCT	_	4 taller	punct
14	shows	show	VERB	Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin	root	root
15	Ben	Ben	PROPN	Number=Sing	18 shortest	nsubj
16	is	be	AUX	Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin	18 shortest	cop
17	the	the	DET	Definite=Def PronType=Art	18 shortest	det
18	shortest	short	ADJ	Degree=Sup	14 shows	ccomp
19	but	but	CCONJ	_	22 say	cc
20	does	do	AUX	Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin	22 say	aux
21	n't	not	PART	Polarity=Neg	22 say	advmod
22	say	say	VERB	VerbForm=Inf	14 shows	conj
23	whether	whether	SCONJ	_	24 Ann	case
24	Ann	Ann	PROPN	Number=Sing	22 say	obl
25	or	or	CCONJ	_	28 taller	cc
26	Cal	Cal	PROPN	Number=Sing	24 Ann	conj
27	is	be	AUX	Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin	28 taller	cop
28	taller	tall	ADJ	Degree=Cmp	24 Ann	conj
29	.	.	PUNCT	_	14 shows	punct

Pragmatics

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

#	verb	tense, mood	who	other	roles by
1	is in a quote	present	Ann	than Ben; tall property	tree rules
2	is in a quote	present	Cal	than Ben; tall property	tree rules
3	show	present			vn transfer_mesg-37.1.1-1-1 «NP V»: agent=Agent
4	is	present	Ben	short property	tree rules
5	not say speech: assert	present · do-support		whether Ann and Cal	vn say-37.7-1-1 «NP V that S»: agent=Agent
6	is	present		tall property	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:12.

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): R5-strong ×1, R6-punct-agree ×2, 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/12/