One counterexample is enough, sentence 5
The fix is easy and honest: swap "all" for "most".
Who acts: fix · What happens: be, swap · To what, where: all
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 (fix), 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 | The | the | DET | Definite=Def PronType=Art | 2 fix | det |
| 2 | fix | fix | NOUN | Number=Sing | 4 easy | nsubj |
| 3 | is | be | AUX | Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin | 4 easy | cop |
| 4 | easy | easy | ADJ | Degree=Pos | root | root |
| 5 | and | and | CCONJ | _ | 6 honest | cc |
| 6 | honest | honest | ADJ | Degree=Pos | 4 easy | conj |
| 7 | : | : | PUNCT | _ | 8 swap | punct |
| 8 | swap | swap | VERB | VerbForm=Inf | 4 easy | parataxis |
| 9 | " | " | PUNCT | _ | 10 all | punct |
| 10 | all | all | DET | PronType=Tot | 8 swap | obj |
| 11 | " | " | PUNCT | _ | 10 all | punct |
| 12 | for | for | ADP | _ | 14 most | case |
| 13 | " | " | PUNCT | _ | 14 most | punct |
| 14 | most | most | ADJ | Degree=Sup | 8 swap | obl |
| 15 | " | " | PUNCT | _ | 14 most | punct |
| 16 | . | . | PUNCT | _ | 4 easy | punct |
Pragmatics
- form
- statement
- act
- suggest
- voice
- narrator
- polarity
- pos
- teacher
- changed act=suggest
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
|---|---|---|---|---|---|---|---|---|---|
| 1 | is | present | the fix | easy property | tree rules | ||||
| 2 | be | the fix not said here | tree rules | ||||||
| 3 | swap | infinitive | all | for most | vn exchange-13.6.1 «NP V NP PP.co-theme»: agent=Agent all=Theme for most=Co-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:5.
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 ×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/5/