--- title: Words people use: "W" means a win; "cheat code" means a secret way r… — One counterexample is enough · tree and pragmatics description: Words people use: "W" means a win; "cheat code" means a secret way round a game's rules; "that's a vibe" means "that's cool"; "dinnae" (Scotland) means don't; "hen" (Glasgow) means dear; "chuckin' it doon" (Scotland) means pouring with rain. Who acts: people, W, cheat code, that. A sentence of the l --- [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/20/) [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/) / 20 # One counterexample is enough, sentence 20 Words people use: "W" means a win; "cheat code" means a secret way round a game's rules; "that's a vibe" means "that's cool"; "dinnae" (Scotland) means don't; "hen" (Glasgow) means dear; "chuckin' it doon" (Scotland) means pouring with rain. **Who acts:** people, W, cheat code, that, vibe, dinnae · **What happens:** use, mean, be, not do, doon, pour · **To what, where:** Words, win, secret way, vibe · **Speech:** someone speaks here 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 (people, W, cheat code, that), 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:20 # text = Words people use: "W" means a win; "cheat code" means a secret way round a game's rules; "that's a vibe" means "that's cool"; "dinnae" (Scotland) means don't; "hen" (Glasgow) means dear; "chuckin' it doon" (Scotland) means pouring with rain. # 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 ×3, R7-rel-agree ×1, R8-pos-agree ×2 1 Words word NOUN NNS Number=Plur 3 obj _ _ 2 people people NOUN NNS Number=Plur 3 nsubj _ _ 3 use use VERB VBP Mood=Ind|Number=Plur|Person=3|Tense=Pres|VerbForm=Fin 0 root _ _ 4 : : PUNCT : _ 8 punct _ _ 5 " " PUNCT `` _ 6 punct _ _ 6 W W PROPN NNP Number=Sing 8 nsubj _ _ 7 " " PUNCT '' _ 6 punct _ _ 8 means mean VERB VBZ Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin 3 parataxis _ _ 9 a a DET DT Definite=Ind|PronType=Art 10 det _ _ 10 win win NOUN NN Number=Sing 8 obj _ _ 11 ; ; PUNCT , _ 16 punct _ _ 12 " " PUNCT `` _ 14 punct _ Agree=R8-pos-agree|Haiku=14:punct|HaikuPos=PUNCT:'':_ 13 cheat cheat NOUN NN Number=Sing 14 compound _ _ 14 code code NOUN NN Number=Sing 16 nsubj _ _ 15 " " PUNCT '' _ 14 punct _ _ 16 means mean VERB VBZ Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin 3 parataxis _ _ 17 a a DET DT Definite=Ind|PronType=Art 19 det _ _ 18 secret secret ADJ JJ Degree=Pos 19 amod _ _ 19 way way NOUN NN Number=Sing 16 obj _ _ 20 round round ADV RB _ 19 advmod _ _ 21 a a DET DT Definite=Ind|PronType=Art 22 det _ _ 22 game game NOUN NN Number=Sing 24 nmod:poss _ _ 23 's 's PART POS _ 22 case _ _ 24 rules rule NOUN NNS Number=Plur 19 nmod _ _ 25 ; ; PUNCT , _ 3 punct _ _ 26 " " PUNCT `` _ 30 punct _ Agree=R6-punct-agree|Haiku=3:punct|HaikuPos=PUNCT:'':_ 27 that that PRON DT Number=Sing|PronType=Dem 30 nsubj _ _ 28 's be AUX VBZ Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin 30 cop _ _ 29 a a DET DT Definite=Ind|PronType=Art 30 det _ _ 30 vibe vibe NOUN NN Number=Sing 32 nsubj _ _ 31 " " PUNCT '' _ 30 punct _ _ 32 means mean VERB VBZ Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin 3 parataxis _ _ 33 " " PUNCT `` _ 36 punct _ _ 34 that that PRON DT Number=Sing|PronType=Dem 36 nsubj _ _ 35 's be AUX VBZ Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin 36 cop _ _ 36 cool cool ADJ JJ Degree=Pos 32 ccomp _ _ 37 " " PUNCT '' _ 36 punct _ Agree=R8-pos-agree|Haiku=36:punct|HaikuPos=PUNCT:``:_ 38 ; ; PUNCT , _ 36 punct _ _ 39 " " PUNCT `` _ 40 punct _ Agree=R6-punct-agree|Haiku=36:punct|HaikuPos=PUNCT:'':_ 40 dinnae dinnae X FW Foreign=Yes 45 nsubj _ _ 41 " " PUNCT '' _ 40 punct _ Agree=R6-punct-agree|Haiku=36:punct 42 ( ( PUNCT -LRB- _ 43 punct _ _ 43 Scotland Scotland PROPN NNP Number=Sing 45 compound _ _ 44 ) ) PUNCT -RRB- _ 43 punct _ _ 45 means mean VERB VBZ Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin 32 conj _ _ 46 do do VERB VBP Mood=Ind|Number=Plur|Person=3|Tense=Pres|VerbForm=Fin 45 ccomp _ _ 47 n't not PART RB Polarity=Neg 46 advmod _ _ 48 ; ; PUNCT , _ 55 punct _ _ 49 " " PUNCT `` _ 50 punct _ _ 50 hen hen NOUN NN Number=Sing 55 nsubj _ _ 51 " " PUNCT '' _ 50 punct _ _ 52 ( ( PUNCT -LRB- _ 53 punct _ _ 53 Glasgow Glasgow PROPN NNP Number=Sing 50 appos _ _ 54 ) ) PUNCT -RRB- _ 53 punct _ _ 55 means mean VERB VBZ Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin 32 parataxis _ _ 56 dear dear ADJ JJ Degree=Pos 55 xcomp _ _ 57 ; ; PUNCT , _ 62 punct _ _ 58 " " PUNCT `` _ 59 punct _ _ 59 chuckin chuckin NOUN NN Number=Sing 62 compound _ _ 60 ' ' PUNCT '' _ 59 punct _ _ 61 it it PRON PRP Case=Nom|Gender=Neut|Number=Sing|Person=3|PronType=Prs 62 nsubj _ _ 62 doon doon NOUN NN Number=Sing 67 nsubj _ _ 63 " " PUNCT '' _ 62 punct _ _ 64 ( ( PUNCT -LRB- _ 65 punct _ _ 65 Scotland Scotland PROPN NNP Number=Sing 62 dep _ _ 66 ) ) PUNCT -RRB- _ 65 punct _ _ 67 means mean VERB VBZ Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin 55 conj _ _ 68 pouring pour VERB VBG VerbForm=Ger 67 xcomp _ Agree=R7-rel-agree|Haiku=67:ccomp 69 with with ADP IN _ 70 case _ _ 70 rain rain NOUN NN Number=Sing 68 obl _ _ 71 . . PUNCT . _ 32 punct _ _ ``` ## Pragmatics {#pragmatics} No stored speech act for this sentence. | # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by | | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | | 1 | **use** | present | people | Words | | | | | vn eat-39.1 «NP V NP»: agent=Agent word=Patient | | 2 | **mean** | present | W | a win | | | | | vn intend-61.2-1 «NP V NP»: agent=Agent win=Topic | | 3 | **mean** | present | cheat code | a secret way a game's rules | | | | | vn intend-61.2-1 «NP V NP»: agent=Agent way=Topic | | 4 | **is a** *in a quote* | present | that | a vibe | | | | | tree rules | | 5 | **mean** | present | a vibe | | | | | | vn intend-61.2-1 «NP V S»: agent=Agent | | 6 | **is** *in a quote* | present | that | | | | | cool *property* | tree rules | | 7 | **mean** | present | dinnae | | | | | | vn intend-61.2-1 «NP V S»: agent=Agent clause=Topic | | 8 | **not** **do** | present | | | | | | | vn act-114-1 «NP V»: agent=Agent | | 9 | **mean** | present | hen | | | | | dear *property* | vn intend-61.2-1 «NP V S»: agent=Agent | | 10 | **doon** *in a quote* | | vibe | | | | | | tree rules | | 11 | **mean** | present | chuckin doon | | | | | | vn intend-61.2-1 «NP V S»: agent=Agent clause=Topic | | 12 | **pour** *not said to happen* | gerund | chuckin doon *not said here* | | | | | with rain | vn substance\_emission-43.4-1 «NP.location V PP.theme»: agent=Location with rain=Theme | | 13 | **rule** | | a game | | | | | | nom rule «cognition intransitive»: poss=agent | 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](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:20`. **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 ×3, R7-rel-agree ×1, R8-pos-agree ×2. **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/). - ← previous: [One counterexample is enough, 19](https://md.mova.elamur.ai/free/en/corpora/school/world/187-one-counterexample-is-enough/19/) - next →: [Check the claim, not the person, 0](https://md.mova.elamur.ai/free/en/corpora/school/world/188-check-the-claim-not-the-person/0/) - ↑ back to [the lesson](https://md.mova.elamur.ai/free/en/corpora/school/world/187-one-counterexample-is-enough/)