One counterexample is enough, sentence 16
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 · What happens: be, have · To what, where: arachnids, 8 legs, 6 legs
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
The words, one row each (CoNLL-U)
| # | word | lemma | UPOS | features | head | relation |
|---|---|---|---|---|---|---|
| 1 | Spiders | spider | NOUN | Number=Plur | 3 arachnids | nsubj |
| 2 | are | be | AUX | Mood=Ind Number=Plur Person=3 Tense=Pres VerbForm=Fin | 3 arachnids | cop |
| 3 | arachnids | arachnid | NOUN | Number=Plur | root | root |
| 4 | , | , | PUNCT | _ | 6 insects | punct |
| 5 | not | not | PART | Polarity=Neg | 6 insects | advmod |
| 6 | insects | insect | NOUN | Number=Plur | 3 arachnids | conj |
| 7 | : | : | PUNCT | _ | 9 have | punct |
| 8 | spiders | spider | NOUN | Number=Plur | 9 have | nsubj |
| 9 | have | have | VERB | Mood=Ind Number=Plur Person=3 Tense=Pres VerbForm=Fin | 6 insects | parataxis |
| 10 | 8 | 8 | NUM | NumForm=Digit NumType=Card | 11 legs | nummod |
| 11 | legs | leg | NOUN | Number=Plur | 9 have | obj |
| 12 | and | and | CCONJ | _ | 15 parts | cc |
| 13 | 2 | 2 | NUM | NumForm=Digit NumType=Card | 15 parts | nummod |
| 14 | body | body | NOUN | Number=Sing | 15 parts | compound |
| 15 | parts | part | NOUN | Number=Plur | 11 legs | conj |
| 16 | , | , | PUNCT | _ | 17 insects | punct |
| 17 | insects | insect | NOUN | Number=Plur | 18 have | nsubj |
| 18 | have | have | VERB | Mood=Ind Number=Plur Person=3 Tense=Pres VerbForm=Fin | 3 arachnids | parataxis |
| 19 | 6 | 6 | NUM | NumForm=Digit NumType=Card | 20 legs | nummod |
| 20 | legs | leg | NOUN | Number=Plur | 18 have | obj |
| 21 | and | and | CCONJ | _ | 24 parts | cc |
| 22 | 3 | 3 | NUM | NumForm=Digit NumType=Card | 24 parts | nummod |
| 23 | body | body | NOUN | Number=Sing | 24 parts | compound |
| 24 | parts | part | NOUN | Number=Plur | 20 legs | conj |
| 25 | . | . | PUNCT | _ | 3 arachnids | punct |
Pragmatics
- form
- statement
- act
- assert
- voice
- narrator
- polarity
- none
- teacher
- kept the draft
| # | 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 |
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: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.
This page in Markdown → https://md.mova.elamur.ai/free/en/corpora/school/world/187-one-counterexample-is-enough/16/