---
title: The opposite of "all the kids came" is "at least one kid didn't come". — Olympiad: logic traps and if-then ★★★ · tree and pragmatics
description: The opposite of "all the kids came" is "at least one kid didn't come". Who acts: kids, one kid. A sentence of the lesson «Olympiad: logic traps and if-then ★★★» 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/193-olympiad-logic-traps-and-if-then/13/)

<!-- 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/) / [Olympiad: logic traps and if-then ★★★](https://md.mova.elamur.ai/free/en/corpora/school/world/193-olympiad-logic-traps-and-if-then/) / 13

# Olympiad: logic traps and if-then ★★★, sentence 13

<!-- .ven lang=en -->
The opposite of "all the kids came" is "at least one kid didn't come".

<!-- .vintro -->
**Who acts:** kids, one kid · **What happens:** come, not come

<!-- .vabout -->
This is a sentence of the lesson «Olympiad: logic traps and if-then ★★★» 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 (kids, one kid), what happens, when and where, as Mova's frames read it from the tree.

## The tree {#tree}

```conllu
# sent_id = school:world:193-olympiad-logic-traps-and-if-then.lesson:13
# text = The opposite of "all the kids came" is "at least one kid didn't come".
# source = school lesson (ours)
# course = world
# lesson = 193-olympiad-logic-traps-and-if-then.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): R5-strong ×1, R6-punct-agree ×1, R8-pos-agree ×1
1	The	the	DET	DT	Definite=Def|PronType=Art	2	det	_	_
2	opposite	opposite	NOUN	NN	Number=Sing	10	nsubj	_	_
3	of	of	ADP	IN	_	7	case	_	_
4	"	"	PUNCT	``	_	7	punct	_	_
5	all	all	DET	PDT	PronType=Tot	7	det:predet	_	_
6	the	the	DET	DT	Definite=Def|PronType=Art	7	det	_	_
7	kids	kid	NOUN	NNS	Number=Plur	8	nsubj	_	Agree=R5-strong|Haiku=2:nmod
8	came	come	VERB	VBD	Mood=Ind|Number=Sing|Person=3|Tense=Past|VerbForm=Fin	10	parataxis	_	_
9	"	"	PUNCT	''	_	8	punct	_	Agree=R6-punct-agree|Haiku=18:punct|HaikuPos=PUNCT:``:_
10	is	be	AUX	VBZ	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	0	root	_	_
11	"	"	PUNCT	``	_	18	punct	_	Agree=R8-pos-agree|Haiku=18:punct|HaikuPos=PUNCT:'':_
12	at	at	ADP	IN	_	13	case	_	_
13	least	least	ADJ	JJS	Degree=Sup	14	nmod	_	_
14	one	one	NUM	CD	NumForm=Word|NumType=Card	15	nummod	_	_
15	kid	kid	NOUN	NN	Number=Sing	18	nsubj	_	_
16	did	do	AUX	VBD	Mood=Ind|Number=Sing|Person=3|Tense=Past|VerbForm=Fin	18	aux	_	_
17	n't	not	PART	RB	Polarity=Neg	18	advmod	_	_
18	come	come	VERB	VB	VerbForm=Inf	10	ccomp	_	_
19	"	"	PUNCT	''	_	18	punct	_	_
20	.	.	PUNCT	.	_	8	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 | **come** *in a quote* | past | all kids |  |  |  |  |  | vn escape-51.1-1 «NP V»: agent=Theme |
| 2 | **not** **come** *in a quote* | past · do-support | one kid |  |  |  |  |  | vn escape-51.1-1 «NP V»: agent=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:193-olympiad-logic-traps-and-if-then.lesson:13`.

**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): R5-strong ×1, R6-punct-agree ×1, R8-pos-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: [Olympiad: logic traps and if-then ★★★, 12](https://md.mova.elamur.ai/free/en/corpora/school/world/193-olympiad-logic-traps-and-if-then/12/)
- next →: [Olympiad: logic traps and if-then ★★★, 14](https://md.mova.elamur.ai/free/en/corpora/school/world/193-olympiad-logic-traps-and-if-then/14/)
- ↑ back to [the lesson](https://md.mova.elamur.ai/free/en/corpora/school/world/193-olympiad-logic-traps-and-if-then/)