One counterexample is enough, sentence 4

It's lopsided in a funny way: ONE example breaks "nobody can", but to PROVE "nobody can" you would have to check everybody.

Who acts: trick, ONE example, you · What happens: be, break, prove, have, check · To what, where: funny way, nobody, everybody

This is a sentence of the lesson «One counterexample is enough» 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 (trick, ONE example, you), 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	It	it	PRON	Case=Nom Gender=Neut Number=Sing Person=3 PronType=Prs	3 lopsided	nsubj
2	's	be	AUX	Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin	3 lopsided	cop
3	lopsided	lopsided	ADJ	Degree=Pos	root	root
4	in	in	ADP	_	7 way	case
5	a	a	DET	Definite=Ind PronType=Art	7 way	det
6	funny	funny	ADJ	Degree=Pos	7 way	amod
7	way	way	NOUN	Number=Sing	3 lopsided	obl
8	:	:	PUNCT	_	3 lopsided	punct
9	ONE	one	NUM	NumForm=Word NumType=Card	10 example	nummod
10	example	example	NOUN	Number=Sing	11 breaks	nsubj
11	breaks	break	VERB	Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin	3 lopsided	parataxis
12	"	"	PUNCT	_	11 breaks	punct
13	nobody	nobody	PRON	Number=Sing PronType=Neg	14 can	nsubj
14	can	can	AUX	VerbForm=Fin	11 breaks	ccomp
15	"	"	PUNCT	_	14 can	punct
16	,	,	PUNCT	_	26 have	punct
17	but	but	CCONJ	_	26 have	cc
18	to	to	PART	_	19 PROVE	mark
19	PROVE	prove	VERB	VerbForm=Inf	26 have	advcl
20	"	"	PUNCT	_	26 have	punct
21	nobody	nobody	PRON	Number=Sing PronType=Neg	19 PROVE	obj
22	can	can	AUX	VerbForm=Fin	21 nobody	aux
23	"	"	PUNCT	_	22 can	punct
24	you	you	PRON	Case=Nom Person=2 PronType=Prs	26 have	nsubj
25	would	would	AUX	VerbForm=Fin	26 have	aux
26	have	have	VERB	VerbForm=Inf	11 breaks	conj
27	to	to	PART	_	28 check	mark
28	check	check	VERB	VerbForm=Inf	26 have	xcomp
29	everybody	everybody	PRON	Number=Sing PronType=Tot	28 check	obj
30	.	.	PUNCT	_	3 lopsided	punct

Pragmatics

form: statement
act: assert
voice: narrator
polarity: none
teacher: kept the draft

#	verb	tense, mood	who	what, whom	where	other	roles by
1	is	present	trick		a funny way	lopsided property	tree rules
2	break	present	ONE example				vn hurt-40.8.3-1-1 «NP V»: agent=Patient
3	prove	to-infinitive	you not said here	nobody			vn deduce-97.2 «NP V NP»: agent=Agent nobody=Theme
4	have	would	you				tree rules
5	check	to-infinitive	you not said here	everybody			vn assessment-34.1 «NP V NP»: agent=Agent everybody=Theme

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:187-one-counterexample-is-enough.lesson:4.

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 ×2, R6-punct-agree ×2, R8-pos-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/187-one-counterexample-is-enough/4/