---
title: If all squares have 4 sides, then any shape without 4 sides is not a… — "If... then..." and its traps · tree and pragmatics
description: If all squares have 4 sides, then any shape without 4 sides is not a square; this move is always right. Who acts: squares, shape, move. A sentence of the lesson «"If... then..." and its traps» 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/184-if-then-and-its-traps/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/) / ["If... then..." and its traps](https://md.mova.elamur.ai/free/en/corpora/school/world/184-if-then-and-its-traps/) / 13

# "If... then..." and its traps, sentence 13

<!-- .ven lang=en -->
If all squares have 4 sides, then any shape without 4 sides is not a square; this move is always right.

<!-- .vintro -->
**Who acts:** squares, shape, move · **What happens:** have, not be, be · **To what, where:** 4 sides, square

<!-- .vabout -->
This is a sentence of the lesson «"If... then..." and its traps» 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 (squares, shape, move), what happens, when and where, as Mova's frames read it from the tree.

## The tree {#tree}

```conllu
# sent_id = school:world:184-if-then-and-its-traps.lesson:13
# text = If all squares have 4 sides, then any shape without 4 sides is not a square; this move is always right.
# source = school lesson (ours)
# course = world
# lesson = 184-if-then-and-its-traps.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): no change
1	If	if	SCONJ	IN	_	4	mark	_	_
2	all	all	DET	DT	PronType=Tot	3	det	_	_
3	squares	square	NOUN	NNS	Number=Plur	4	nsubj	_	_
4	have	have	VERB	VBP	Mood=Ind|Number=Plur|Person=3|Tense=Pres|VerbForm=Fin	17	advcl	_	_
5	4	4	NUM	CD	NumForm=Digit|NumType=Card	6	nummod	_	_
6	sides	side	NOUN	NNS	Number=Plur	4	obj	_	_
7	,	,	PUNCT	,	_	4	punct	_	_
8	then	then	ADV	RB	PronType=Dem	17	advmod	_	_
9	any	any	DET	DT	PronType=Ind	10	det	_	_
10	shape	shape	NOUN	NN	Number=Sing	17	nsubj	_	_
11	without	without	ADP	IN	_	13	case	_	_
12	4	4	NUM	CD	NumForm=Digit|NumType=Card	13	nummod	_	_
13	sides	side	NOUN	NNS	Number=Plur	10	nmod	_	_
14	is	be	AUX	VBZ	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	17	cop	_	_
15	not	not	PART	RB	Polarity=Neg	17	advmod	_	_
16	a	a	DET	DT	Definite=Ind|PronType=Art	17	det	_	_
17	square	square	NOUN	NN	Number=Sing	0	root	_	_
18	;	;	PUNCT	:	_	23	punct	_	_
19	this	this	DET	DT	Number=Sing|PronType=Dem	20	det	_	_
20	move	move	NOUN	NN	Number=Sing	23	nsubj	_	_
21	is	be	AUX	VBZ	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	23	cop	_	_
22	always	always	ADV	RB	PronType=Tot	23	advmod	_	_
23	right	right	ADJ	JJ	Degree=Pos	17	parataxis	_	_
24	.	.	PUNCT	.	_	17	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 | **have** *a condition, not said to happen* | present | all squares | 4 sides |  |  |  |  | vn birth-28.2-1 «NP V NP»: agent=Agent side=Patient |
| 2 | **not** **is a** | present | any shape without 4 sides | a square |  |  | then |  | tree rules |
| 3 | **is** | present | this move |  |  |  |  | always, right *property* | 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:184-if-then-and-its-traps.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): no change. **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: ["If... then..." and its traps, 12](https://md.mova.elamur.ai/free/en/corpora/school/world/184-if-then-and-its-traps/12/)
- next →: ["If... then..." and its traps, 14](https://md.mova.elamur.ai/free/en/corpora/school/world/184-if-then-and-its-traps/14/)
- ↑ back to [the lesson](https://md.mova.elamur.ai/free/en/corpora/school/world/184-if-then-and-its-traps/)