---
title: "Some cats are black and some black things are bats" does not mean s… — Olympiad: logic traps and if-then ★★★ · tree and pragmatics
description: "Some cats are black and some black things are bats" does not mean some cats are bats; the black cats and the black bats can be different animals. Who acts: cats, black things. A sentence of the lesson «Olympiad: logic traps and if-then ★★★» of the world course of Mova's primary school with its depe
---

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

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

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

<!-- .ven lang=en -->
"Some cats are black and some black things are bats" does not mean some cats are bats; the black cats and the black bats can be different animals.

<!-- .vintro -->
**Who acts:** cats, black things · **What happens:** be, not mean · **To what, where:** bats, different animals · **Speech:** someone speaks here

<!-- .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 (cats, black things), 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:14
# text = "Some cats are black and some black things are bats" does not mean some cats are bats; the black cats and the black bats can be different animals.
# 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, R7-rel-agree ×1
1	"	"	PUNCT	``	_	5	punct	_	_
2	Some	some	DET	DT	PronType=Ind	3	det	_	_
3	cats	cat	NOUN	NNS	Number=Plur	5	nsubj	_	_
4	are	be	AUX	VBP	Mood=Ind|Number=Plur|Person=3|Tense=Pres|VerbForm=Fin	5	cop	_	_
5	black	black	ADJ	JJ	Degree=Pos	15	csubj	_	_
6	and	and	CCONJ	CC	_	11	cc	_	_
7	some	some	DET	DT	PronType=Ind	9	det	_	_
8	black	black	ADJ	JJ	Degree=Pos	9	amod	_	_
9	things	thing	NOUN	NNS	Number=Plur	11	nsubj	_	_
10	are	be	AUX	VBP	Mood=Ind|Number=Plur|Person=3|Tense=Pres|VerbForm=Fin	11	cop	_	_
11	bats	bat	NOUN	NNS	Number=Plur	5	conj	_	_
12	"	"	PUNCT	''	_	5	punct	_	_
13	does	do	AUX	VBZ	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	15	aux	_	_
14	not	not	PART	RB	Polarity=Neg	15	advmod	_	_
15	mean	mean	VERB	VB	Mood=Imp|VerbForm=Fin	0	root	_	_
16	some	some	DET	DT	PronType=Ind	17	det	_	_
17	cats	cat	NOUN	NNS	Number=Plur	19	nsubj	_	_
18	are	be	AUX	VBP	Mood=Ind|Number=Plur|Person=3|Tense=Pres|VerbForm=Fin	19	cop	_	_
19	bats	bat	NOUN	NNS	Number=Plur	15	ccomp	_	Agree=R7-rel-agree|Haiku=15:obj
20	;	;	PUNCT	,	_	23	punct	_	_
21	the	the	DET	DT	Definite=Def|PronType=Art	23	det	_	_
22	black	black	ADJ	JJ	Degree=Pos	23	amod	_	_
23	cats	cat	NOUN	NNS	Number=Plur	19	conj	_	_
24	and	and	CCONJ	CC	_	27	cc	_	_
25	the	the	DET	DT	Definite=Def|PronType=Art	27	det	_	_
26	black	black	ADJ	JJ	Degree=Pos	27	amod	_	_
27	bats	bat	NOUN	NNS	Number=Plur	23	conj	_	Agree=R5-strong|Haiku=19:conj
28	can	can	AUX	MD	VerbForm=Fin	31	aux	_	_
29	be	be	AUX	VB	VerbForm=Inf	31	cop	_	_
30	different	different	ADJ	JJ	Degree=Pos	31	amod	_	_
31	animals	animal	NOUN	NNS	Number=Plur	19	conj	_	_
32	.	.	PUNCT	.	_	15	punct	_	_
```

## Pragmatics {#pragmatics}

<!-- sa -->
- form: statement
- act: assert
- voice: narrator
- polarity: none
- teacher: changed voice=narrator

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **is** *in a quote* | present | some cats |  |  |  |  | black *property* | tree rules |
| 2 | **is a** *in a quote* | present | some black things | bats |  |  |  |  | tree rules |
| 3 | **not** **mean** | present · do-support |  |  |  |  |  |  | vn intend-61.2-1 «NP V S»: agent=Agent |
| 4 | **is a** | present | some cats | bats and the black cats and the black bats and different animals |  |  |  |  | tree rules |
| 5 | **is a** | can | some cats *not said here* | different animals |  |  |  |  | tree rules |

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

**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, 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: [Olympiad: logic traps and if-then ★★★, 13](https://md.mova.elamur.ai/free/en/corpora/school/world/193-olympiad-logic-traps-and-if-then/13/)
- next →: [Olympiad: logic traps and if-then ★★★, 15](https://md.mova.elamur.ai/free/en/corpora/school/world/193-olympiad-logic-traps-and-if-then/15/)
- ↑ back to [the lesson](https://md.mova.elamur.ai/free/en/corpora/school/world/193-olympiad-logic-traps-and-if-then/)

