---
title: "Most dogs can't climb trees" is true; "dogs can't climb trees" is n… — One counterexample is enough · tree and pragmatics
description: "Most dogs can't climb trees" is true; "dogs can't climb trees" is not. Who acts: Most dogs, dogs. A sentence of the lesson «One counterexample is enough» of the world course of Mova's primary school with its dependency tree and the pragmatics of every clause.
---

<!-- md -->
[Mova](https://md.mova.elamur.ai/free/en/) · [this page in HTML](https://mova.elamur.ai/free/en/corpora/school/world/187-one-counterexample-is-enough/6/)

<!-- 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/) / [One counterexample is enough](https://md.mova.elamur.ai/free/en/corpora/school/world/187-one-counterexample-is-enough/) / 6

# One counterexample is enough, sentence 6

<!-- .ven lang=en -->
"Most dogs can't climb trees" is true; "dogs can't climb trees" is not.

<!-- .vintro -->
**Who acts:** Most dogs, dogs · **What happens:** not climb, be · **To what, where:** trees · **Speech:** someone speaks here

<!-- .vabout -->
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 (Most dogs, dogs), what happens, when and where, as Mova's frames read it from the tree.

## The tree {#tree}

```conllu
# sent_id = school:world:187-one-counterexample-is-enough.lesson:6
# text = "Most dogs can't climb trees" is true; "dogs can't climb trees" is not.
# source = school lesson (ours)
# course = world
# lesson = 187-one-counterexample-is-enough.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): R6-punct-agree ×2, R7-rel-agree ×1
1	"	"	PUNCT	``	_	6	punct	_	_
2	Most	most	ADJ	JJS	Degree=Sup	3	amod	_	Agree=R7-rel-agree|Haiku=3:advmod|HaikuPos=ADV:RBS:Degree=Sup
3	dogs	dog	NOUN	NNS	Number=Plur	6	nsubj	_	_
4	ca	can	AUX	MD	VerbForm=Fin	6	aux	_	_
5	n't	not	PART	RB	Polarity=Neg	6	advmod	_	_
6	climb	climb	VERB	VB	VerbForm=Inf	10	csubj	_	_
7	trees	tree	NOUN	NNS	Number=Plur	6	obj	_	_
8	"	"	PUNCT	''	_	6	punct	_	_
9	is	be	AUX	VBZ	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	10	cop	_	_
10	true	true	ADJ	JJ	Degree=Pos	0	root	_	_
11	;	;	PUNCT	,	_	10	punct	_	_
12	"	"	PUNCT	``	_	16	punct	_	Agree=R6-punct-agree|Haiku=13:punct|HaikuPos=PUNCT:'':_
13	dogs	dog	NOUN	NNS	Number=Plur	16	nsubj	_	_
14	ca	can	AUX	MD	VerbForm=Fin	16	aux	_	_
15	n't	not	PART	RB	Polarity=Neg	16	advmod	_	_
16	climb	climb	VERB	VB	VerbForm=Inf	20	csubj	_	_
17	trees	tree	NOUN	NNS	Number=Plur	16	obj	_	_
18	"	"	PUNCT	''	_	16	punct	_	Agree=R6-punct-agree|Haiku=17:punct
19	is	be	AUX	VBZ	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	20	cop	_	_
20	not	not	PART	RB	Polarity=Neg	10	conj	_	_
21	.	.	PUNCT	.	_	10	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 | **not** **climb** *in a quote* | can | Most dogs | trees |  |  |  |  | vn run-51.3.2 «PP.location V NP»: agent=Initial\_Location tree=Theme |
| 2 | **is** | present |  |  |  |  |  | true *property* | tree rules |
| 3 | **not** **climb** *in a quote* | can | dogs | trees |  |  |  |  | vn run-51.3.2 «PP.location V NP»: agent=Initial\_Location tree=Theme |

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

**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): 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](https://md.mova.elamur.ai/free/en/releases/0.4/).

<!-- /div -->

<!-- pn -->
- ← previous: [One counterexample is enough, 5](https://md.mova.elamur.ai/free/en/corpora/school/world/187-one-counterexample-is-enough/5/)
- next →: [One counterexample is enough, 7](https://md.mova.elamur.ai/free/en/corpora/school/world/187-one-counterexample-is-enough/7/)
- ↑ back to [the lesson](https://md.mova.elamur.ai/free/en/corpora/school/world/187-one-counterexample-is-enough/)

