---
title: invariant — mysticism dictionary · trees and pragmatics
description: «invariant» in the mysticism dictionary: Something that stays the same whatever changes around it; a rule a program must always keep true. Every meaning for a pupil with its dependency tree and pragmatics.
---

<!-- md -->
[Mova](https://md.mova.elamur.ai/free/en/) · [this page in HTML](https://mova.elamur.ai/free/en/corpora/dictionaries/mysticism/I/invariant/)

<!-- crumbs -->
[home](https://md.mova.elamur.ai/free/en/) / [corpora](https://md.mova.elamur.ai/free/en/corpora/) / [dictionaries](https://md.mova.elamur.ai/free/en/corpora/dictionaries/) / [mysticism dictionary](https://md.mova.elamur.ai/free/en/corpora/dictionaries/mysticism/) / [I](https://md.mova.elamur.ai/free/en/corpora/dictionaries/mysticism/I/) / invariant

# invariant

<!-- .vintro -->
**Who acts:** whatever, program, He, invariant, categories, tester · **What happens:** stay, change, keep, claim, be, not burn · **To what, where:** it, rule, claimed invariant, soul, invariant, report · **Speech:** someone speaks here

<!-- .vabout -->
«invariant» in the mysticism dictionary: its meaning for a pupil and its 3 examples, every sentence parsed by Mova itself — its syntax tree, a dependency tree in the style of Universal Dependencies, and its pragmatics clause by clause. The word in the dictionary, with its sense in the lessons: [invariant in the mysticism dictionary](https://md.mova.elamur.ai/free/en/dictionaries/mysticism/w/invariant.md).

## Meaning 1 {#m1}

<!-- .ven lang=en -->
Something that stays the same whatever changes around it; a rule a program must always keep true.

<!-- fold The tree, 17 words -->
```conllu
# sent_id = dict:mysticism:invariant:m1:1
# text = Something that stays the same whatever changes around it; a rule a program must always keep true.
1	Something	something	PRON	NN	Number=Sing|PronType=Ind	0	root	_	_
2	that	that	PRON	WDT	PronType=Rel	3	nsubj	_	_
3	stays	stay	VERB	VBZ	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	1	acl:relcl	_	_
4	the	the	DET	DT	Definite=Def|PronType=Art	5	det	_	_
5	same	same	ADJ	JJ	Degree=Pos	3	xcomp	_	_
6	whatever	whatever	DET	WDT	PronType=Int	7	nsubj	_	_
7	changes	change	VERB	VBZ	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	5	parataxis	_	_
8	around	around	ADP	IN	_	9	case	_	_
9	it	it	PRON	PRP	Case=Acc|Gender=Neut|Number=Sing|Person=3|PronType=Prs	7	obl	_	SpaceAfter=No
10	;	;	PUNCT	,	_	12	punct	_	_
11	a	a	DET	DT	Definite=Ind|PronType=Art	12	det	_	_
12	rule	rule	NOUN	NN	Number=Sing	1	appos	_	_
13	a	a	DET	DT	Definite=Ind|PronType=Art	14	det	_	_
14	program	program	NOUN	NN	Number=Sing	17	nsubj	_	_
15	must	must	AUX	MD	VerbForm=Fin	17	aux	_	_
16	always	always	ADV	RB	PronType=Tot	17	advmod	_	_
17	keep	keep	VERB	VB	VerbForm=Inf	12	acl:relcl	_	_
18	true	true	ADJ	JJ	Degree=Pos	17	xcomp	_	SpaceAfter=No
19	.	.	PUNCT	.	_	1	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **stay** | present |  |  |  |  |  | same *property* | vn exist-47.1 «NP V»: agent=Theme |
| 2 | **change** | present | whatever |  |  | it |  |  | vn dress-41.1.1-1-1 «NP V»: agent=Agent |
| 3 | **keep** | must | a program | a rule *not said here* |  |  |  | always, true *property* | vn keep-15.2 «NP V NP»: agent=Agent rule=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.

## Example 1 {#x1}

<!-- .ven lang=en -->
Is the claimed invariant actually invariant? (note 06)

<!-- .note -->
*Sentence 1:* Is the claimed invariant actually invariant?

```conllu
# sent_id = dict:mysticism:invariant:x1:1
# text = Is the claimed invariant actually invariant?
1	Is	be	AUX	VBZ	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	4	cop	_	_
2	the	the	DET	DT	Definite=Def|PronType=Art	4	det	_	_
3	claimed	claim	VERB	VBN	Tense=Past|VerbForm=Part|Voice=Pass	4	amod	_	_
4	invariant	invariant	NOUN	NN	Number=Sing	0	root	_	_
5	actually	actually	ADV	RB	_	6	advmod	_	_
6	invariant	invariant	NOUN	NN	Number=Sing	4	nmod	_	SpaceAfter=No
7	?	?	PUNCT	.	_	4	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **claim** *speech: other* | participle |  |  |  |  |  |  | vn say-37.7-1-1 «NP V that S»: agent=Agent |
| 2 | **is a** | present |  | the claimed invariant |  |  |  | invariant *nmod* | tree rules |

<!-- .note -->
*Sentence 2:* (note 06)

```conllu
# sent_id = dict:mysticism:invariant:x1:2
# text = (note 06)
1	(	(	PUNCT	-LRB-	_	2	punct	_	SpaceAfter=No
2	note	note	NOUN	NN	Number=Sing	0	root	_	_
3	06	06	NUM	CD	NumForm=Digit|NumType=Card	2	flat	_	SpaceAfter=No
4	)	)	PUNCT	-RRB-	_	2	punct	_	_
```

<!-- .note -->
The frames reader finds no event or fact in this sentence.

## Example 2 {#x2}

<!-- .ven lang=en -->
He would not burn a soul without first writing down which invariant it was meant to check, and afterwards he filed a report. (note 06)

<!-- .note -->
*Sentence 1:* He would not burn a soul without first writing down which invariant it was meant to check, and afterwards he filed a report.

<!-- fold The tree, 23 words -->
```conllu
# sent_id = dict:mysticism:invariant:x2:1
# text = He would not burn a soul without first writing down which invariant it was meant to check, and afterwards he filed a report.
1	He	he	PRON	PRP	Case=Nom|Gender=Masc|Number=Sing|Person=3|PronType=Prs	4	nsubj	_	_
2	would	would	AUX	MD	VerbForm=Fin	4	aux	_	_
3	not	not	PART	RB	Polarity=Neg	4	advmod	_	_
4	burn	burn	VERB	VB	VerbForm=Inf	0	root	_	_
5	a	a	DET	DT	Definite=Ind|PronType=Art	6	det	_	_
6	soul	soul	NOUN	NN	Number=Sing	4	obj	_	_
7	without	without	SCONJ	IN	_	9	mark	_	_
8	first	first	ADV	RB	NumForm=Word|NumType=Ord	9	advmod	_	_
9	writing	write	VERB	VBG	Tense=Pres|VerbForm=Part	4	advcl	_	_
10	down	down	ADP	RP	_	9	compound:prt	_	_
11	which	which	DET	WDT	PronType=Int	12	det	_	_
12	invariant	invariant	NOUN	NN	Number=Sing	9	obj	_	_
13	it	it	PRON	PRP	Case=Nom|Gender=Neut|Number=Sing|Person=3|PronType=Prs	15	nsubj:pass	_	_
14	was	be	AUX	VBD	Mood=Ind|Number=Sing|Person=3|Tense=Past|VerbForm=Fin	15	aux:pass	_	_
15	meant	mean	VERB	VBN	Tense=Past|VerbForm=Part|Voice=Pass	12	acl:relcl	_	_
16	to	to	PART	TO	_	17	mark	_	_
17	check	check	VERB	VB	VerbForm=Inf	15	xcomp	_	SpaceAfter=No
18	,	,	PUNCT	,	_	22	punct	_	_
19	and	and	CCONJ	CC	_	22	cc	_	_
20	afterwards	afterwards	ADV	RB	_	22	advmod	_	_
21	he	he	PRON	PRP	Case=Nom|Gender=Masc|Number=Sing|Person=3|PronType=Prs	22	nsubj	_	_
22	filed	file	VERB	VBD	Mood=Ind|Number=Sing|Person=3|Tense=Past|VerbForm=Fin	4	parataxis	_	_
23	a	a	DET	DT	Definite=Ind|PronType=Art	24	det	_	_
24	report	report	NOUN	NN	Number=Sing	22	obj	_	SpaceAfter=No
25	.	.	PUNCT	.	_	4	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **not** **burn** | would | He | a soul |  |  |  |  | vn light\_emission-43.1 «NP V NP.theme»: agent=Agent soul=Theme |
| 2 | **write down** | gerund | He *not said here* | which invariant |  |  |  | first *property* | vn scribble-25.2-1 «NP V NP»: agent=Agent invariant=Theme |
| 3 | **mean** | past · passive | which invariant *not said here* | invariant |  |  |  |  | tree rules |
| 4 | **check** *not said to happen* | to-infinitive | which invariant *not said here* |  |  |  |  |  | vn assessment-34.1 «NP V NP»: agent=Agent |
| 5 | **file** | past | he | a report |  |  |  | afterwards *property* | vn braid-41.2.2 «NP V NP»: agent=Agent report=Patient |

<!-- .note -->
*Sentence 2:* (note 06)

```conllu
# sent_id = dict:mysticism:invariant:x2:2
# text = (note 06)
1	(	(	PUNCT	-LRB-	_	2	punct	_	SpaceAfter=No
2	note	note	NOUN	NN	Number=Sing	0	root	_	_
3	06	06	NUM	CD	NumForm=Digit|NumType=Card	2	flat	_	SpaceAfter=No
4	)	)	PUNCT	-RRB-	_	2	punct	_	_
```

<!-- .note -->
The frames reader finds no event or fact in this sentence.

## Example 3 {#x3}

<!-- .ven lang=en -->
The categories were valid, but the tester forgot the subject is not just a target; "verify the invariant" became "why are you still running this?" — he understood testing well and boundaries poorly. (lesson 014)

<!-- .note -->
*Sentence 1:* The categories were valid, but the tester forgot the subject is not just a target; "verify the invariant" became "why are you still running this?" — he understood testing well and boundaries poorly.

<!-- fold The tree, 32 words -->
```conllu
# sent_id = dict:mysticism:invariant:x3:1
# text = The categories were valid, but the tester forgot the subject is not just a target; "verify the invariant" became "why are you still running this?" — he understood testing well and boundaries poorly.
1	The	the	DET	DT	Definite=Def|PronType=Art	2	det	_	_
2	categories	category	NOUN	NNS	Number=Plur	4	nsubj	_	_
3	were	be	AUX	VBD	Mood=Ind|Number=Plur|Person=3|Tense=Past|VerbForm=Fin	4	cop	_	_
4	valid	valid	ADJ	JJ	Degree=Pos	0	root	_	SpaceAfter=No
5	,	,	PUNCT	,	_	9	punct	_	_
6	but	but	CCONJ	CC	_	9	cc	_	_
7	the	the	DET	DT	Definite=Def|PronType=Art	8	det	_	_
8	tester	tester	NOUN	NN	Number=Sing	9	nsubj	_	_
9	forgot	forget	VERB	VBD	Mood=Ind|Number=Sing|Person=3|Tense=Past|VerbForm=Fin	4	conj	_	_
10	the	the	DET	DT	Definite=Def|PronType=Art	11	det	_	_
11	subject	subject	NOUN	NN	Number=Sing	16	nsubj	_	_
12	is	be	AUX	VBZ	Mood=Ind|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	16	cop	_	_
13	not	not	PART	RB	Polarity=Neg	16	advmod	_	_
14	just	just	ADV	RB	_	16	advmod	_	_
15	a	a	DET	DT	Definite=Ind|PronType=Art	16	det	_	_
16	target	target	NOUN	NN	Number=Sing	9	obj	_	SpaceAfter=No
17	;	;	PUNCT	,	_	19	punct	_	_
18	"	"	PUNCT	``	_	19	punct	_	SpaceAfter=No
19	verify	verify	VERB	VB	Mood=Imp|VerbForm=Fin	9	parataxis	_	_
20	the	the	DET	DT	Definite=Def|PronType=Art	21	det	_	_
21	invariant	invariant	NOUN	NN	Number=Sing	19	obj	_	SpaceAfter=No
22	"	"	PUNCT	``	_	23	punct	_	_
23	became	become	VERB	VBD	Mood=Ind|Number=Sing|Person=3|Tense=Past|VerbForm=Fin	21	acl:relcl	_	_
24	"	"	PUNCT	''	_	23	punct	_	SpaceAfter=No
25	why	why	ADV	WRB	PronType=Int	29	advmod	_	_
26	are	be	AUX	VBP	Mood=Ind|Number=Sing|Person=2|Tense=Pres|VerbForm=Fin	29	aux	_	_
27	you	you	PRON	PRP	Case=Nom|Person=2|PronType=Prs	29	nsubj	_	_
28	still	still	ADV	RB	_	29	advmod	_	_
29	running	run	VERB	VBG	Tense=Pres|VerbForm=Part	19	advcl	_	_
30	this	this	PRON	DT	Number=Sing|PronType=Dem	29	obj	_	SpaceAfter=No
31	?	?	PUNCT	.	_	29	punct	_	SpaceAfter=No
32	"	"	PUNCT	''	_	29	punct	_	_
33	—	-	PUNCT	:	_	35	punct	_	_
34	he	he	PRON	PRP	Case=Nom|Gender=Masc|Number=Sing|Person=3|PronType=Prs	35	nsubj	_	_
35	understood	understand	VERB	VBD	Mood=Ind|Number=Sing|Person=3|Tense=Past|VerbForm=Fin	4	conj	_	_
36	testing	test	VERB	VBG	VerbForm=Ger	35	xcomp	_	_
37	well	well	ADV	RB	Degree=Pos	36	advmod	_	_
38	and	and	CCONJ	CC	_	39	cc	_	_
39	boundaries	boundary	NOUN	NNS	Number=Plur	36	conj	_	_
40	poorly	poorly	ADV	RB	_	36	advmod	_	SpaceAfter=No
41	.	.	PUNCT	.	_	4	punct	_	_
```

<!-- .fr -->
| # | verb | tense, mood | who | what, whom | to whom | where | when | other | roles by |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | **is** | past | the categories |  |  |  |  | valid *property* | tree rules |
| 2 | **forget** | past | the tester |  |  |  |  |  | tree rules |
| 3 | **not** **is a** | present | the subject | a target |  |  |  |  | tree rules |
| 4 | **verify** *in a quote* | infinitive |  | the invariant |  |  |  |  | vn indicate-78-1-1 «NP V NP»: agent=Pivot invariant=Topic |
| 5 | **become** | past | the invariant *not said here* |  |  |  |  |  | vn become-109.1-1-1 «NP V PP.attribute»: agent=Patient |
| 6 | **run** *in a quote* | present · progressive | you | this |  |  | still |  | vn run-51.3.2-2-1 «NP V NP»: agent=Theme this=Trajectory |
| 7 | **understand** | past | tester |  |  |  |  |  | vn comprehend-87.2-1-1-1 «NP V S\_ING»: agent=Experiencer clause=Stimulus |
| 8 | **test** | gerund | tester *not said here* |  |  |  |  | poorly, well *property* | vn assessment-34.1 «NP V NP»: agent=Agent |

<!-- .note -->
*Sentence 2:* (lesson 014)

```conllu
# sent_id = dict:mysticism:invariant:x3:2
# text = (lesson 014)
1	(	(	PUNCT	-LRB-	_	2	punct	_	SpaceAfter=No
2	lesson	lesson	NOUN	NN	Number=Sing	0	root	_	_
3	014	014	NUM	CD	NumForm=Digit|NumType=Card	2	flat	_	SpaceAfter=No
4	)	)	PUNCT	-RRB-	_	2	punct	_	_
```

<!-- .note -->
The frames reader finds no event or fact in this sentence.

<!-- div src -->

**Text:** the mysticism dictionary of Mova's schools (`world/data/dictionary-schools/`), written for Mova. **Trees:** Mova's own parse — the `en` model on the CPU, when the site is built — not checked by a teacher; they may be wrong. **Frames:** Mova's frames reader (`prag`), each meaning and example read on its own. Elamur Cosmic License.

<!-- /div -->

<!-- pn -->
- ← previous: [interpretation](https://md.mova.elamur.ai/free/en/corpora/dictionaries/mysticism/I/interpretation/)
- next →: [latent](https://md.mova.elamur.ai/free/en/corpora/dictionaries/mysticism/L/latent/)
- ↑ back to [I in mysticism dictionary](https://md.mova.elamur.ai/free/en/corpora/dictionaries/mysticism/I/)