---
title: Spiders are arachnids, not insects: spiders have 8 legs and 2 body p… — One counterexample is enough · tree and pragmatics
description: Spiders are arachnids, not insects: spiders have 8 legs and 2 body parts, insects have 6 legs and 3 body parts. Who acts: Spiders, insects. 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/16/)

<!-- 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/) / 16

# One counterexample is enough, sentence 16

<!-- .ven lang=en -->
Spiders are arachnids, not insects: spiders have 8 legs and 2 body parts, insects have 6 legs and 3 body parts.

<!-- .vintro -->
**Who acts:** Spiders, insects · **What happens:** be, have · **To what, where:** arachnids, 8 legs, 6 legs

<!-- .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 (Spiders, insects), 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:16
# text = Spiders are arachnids, not insects: spiders have 8 legs and 2 body parts, insects have 6 legs and 3 body parts.
# 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): R7-rel-agree ×1
1	Spiders	spider	NOUN	NNS	Number=Plur	3	nsubj	_	_
2	are	be	AUX	VBP	Mood=Ind|Number=Plur|Person=3|Tense=Pres|VerbForm=Fin	3	cop	_	_
3	arachnids	arachnid	NOUN	NNS	Number=Plur	0	root	_	_
4	,	,	PUNCT	,	_	6	punct	_	_
5	not	not	PART	RB	Polarity=Neg	6	advmod	_	_
6	insects	insect	NOUN	NNS	Number=Plur	3	conj	_	Agree=R7-rel-agree|Haiku=3:parataxis
7	:	:	PUNCT	:	_	9	punct	_	_
8	spiders	spider	NOUN	NNS	Number=Plur	9	nsubj	_	_
9	have	have	VERB	VBP	Mood=Ind|Number=Plur|Person=3|Tense=Pres|VerbForm=Fin	6	parataxis	_	_
10	8	8	NUM	CD	NumForm=Digit|NumType=Card	11	nummod	_	_
11	legs	leg	NOUN	NNS	Number=Plur	9	obj	_	_
12	and	and	CCONJ	CC	_	15	cc	_	_
13	2	2	NUM	CD	NumForm=Digit|NumType=Card	15	nummod	_	_
14	body	body	NOUN	NN	Number=Sing	15	compound	_	_
15	parts	part	NOUN	NNS	Number=Plur	11	conj	_	_
16	,	,	PUNCT	,	_	17	punct	_	_
17	insects	insect	NOUN	NNS	Number=Plur	18	nsubj	_	_
18	have	have	VERB	VBP	Mood=Ind|Number=Plur|Person=3|Tense=Pres|VerbForm=Fin	3	parataxis	_	_
19	6	6	NUM	CD	NumForm=Digit|NumType=Card	20	nummod	_	_
20	legs	leg	NOUN	NNS	Number=Plur	18	obj	_	_
21	and	and	CCONJ	CC	_	24	cc	_	_
22	3	3	NUM	CD	NumForm=Digit|NumType=Card	24	nummod	_	_
23	body	body	NOUN	NN	Number=Sing	24	compound	_	_
24	parts	part	NOUN	NNS	Number=Plur	20	conj	_	_
25	.	.	PUNCT	.	_	3	punct	_	_
```

## Pragmatics {#pragmatics}

<!-- sa -->
- form: statement
- act: assert
- voice: narrator
- polarity: none
- teacher: kept the draft

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **is a** | present | Spiders | arachnids and insects |  |  |  |  | tree rules |
| 2 | **have** | present | spiders | 8 legs and 2 body parts |  |  |  |  | vn birth-28.2-1 «NP V NP»: agent=Agent leg=Patient |
| 3 | **have** | present | insects | 6 legs and 3 body parts |  |  |  |  | vn birth-28.2-1 «NP V NP»: agent=Agent leg=Patient |

<!-- .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:16`.

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

<!-- /div -->

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