invariant

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

«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.

Meaning 1

Something that stays the same whatever changes around it; a rule a program must always keep true.

The tree, 17 words

The words, one row each (CoNLL-U)

#	word	lemma	UPOS	features	head	relation
1	Something	something	PRON	Number=Sing PronType=Ind	root	root
2	that	that	PRON	PronType=Rel	3 stays	nsubj
3	stays	stay	VERB	Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin	1 Something	acl:relcl
4	the	the	DET	Definite=Def PronType=Art	5 same	det
5	same	same	ADJ	Degree=Pos	3 stays	xcomp
6	whatever	whatever	DET	PronType=Int	7 changes	nsubj
7	changes	change	VERB	Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin	5 same	parataxis
8	around	around	ADP	_	9 it	case
9	it	it	PRON	Case=Acc Gender=Neut Number=Sing Person=3 PronType=Prs	7 changes	obl
10	;	;	PUNCT	_	12 rule	punct
11	a	a	DET	Definite=Ind PronType=Art	12 rule	det
12	rule	rule	NOUN	Number=Sing	1 Something	appos
13	a	a	DET	Definite=Ind PronType=Art	14 program	det
14	program	program	NOUN	Number=Sing	17 keep	nsubj
15	must	must	AUX	VerbForm=Fin	17 keep	aux
16	always	always	ADV	PronType=Tot	17 keep	advmod
17	keep	keep	VERB	VerbForm=Inf	12 rule	acl:relcl
18	true	true	ADJ	Degree=Pos	17 keep	xcomp
19	.	.	PUNCT	_	1 Something	punct

#	verb	tense, mood	who	what, whom	where	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

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

Is the claimed invariant actually invariant? (note 06)

Sentence 1: Is the claimed invariant actually invariant?

The words, one row each (CoNLL-U)

#	word	lemma	UPOS	features	head	relation
1	Is	be	AUX	Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin	4 invariant	cop
2	the	the	DET	Definite=Def PronType=Art	4 invariant	det
3	claimed	claim	VERB	Tense=Past VerbForm=Part Voice=Pass	4 invariant	amod
4	invariant	invariant	NOUN	Number=Sing	root	root
5	actually	actually	ADV	_	6 invariant	advmod
6	invariant	invariant	NOUN	Number=Sing	4 invariant	nmod
7	?	?	PUNCT	_	4 invariant	punct

#	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

Sentence 2: (note 06)

The words, one row each (CoNLL-U)

#	word	lemma	UPOS	features	head	relation
1	(	(	PUNCT	_	2 note	punct
2	note	note	NOUN	Number=Sing	root	root
3	06	06	NUM	NumForm=Digit NumType=Card	2 note	flat
4	)	)	PUNCT	_	2 note	punct

The frames reader finds no event or fact in this sentence.

Example 2

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)

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.

The tree, 23 words

The words, one row each (CoNLL-U)

#	word	lemma	UPOS	features	head	relation
1	He	he	PRON	Case=Nom Gender=Masc Number=Sing Person=3 PronType=Prs	4 burn	nsubj
2	would	would	AUX	VerbForm=Fin	4 burn	aux
3	not	not	PART	Polarity=Neg	4 burn	advmod
4	burn	burn	VERB	VerbForm=Inf	root	root
5	a	a	DET	Definite=Ind PronType=Art	6 soul	det
6	soul	soul	NOUN	Number=Sing	4 burn	obj
7	without	without	SCONJ	_	9 writing	mark
8	first	first	ADV	NumForm=Word NumType=Ord	9 writing	advmod
9	writing	write	VERB	Tense=Pres VerbForm=Part	4 burn	advcl
10	down	down	ADP	_	9 writing	compound:prt
11	which	which	DET	PronType=Int	12 invariant	det
12	invariant	invariant	NOUN	Number=Sing	9 writing	obj
13	it	it	PRON	Case=Nom Gender=Neut Number=Sing Person=3 PronType=Prs	15 meant	nsubj:pass
14	was	be	AUX	Mood=Ind Number=Sing Person=3 Tense=Past VerbForm=Fin	15 meant	aux:pass
15	meant	mean	VERB	Tense=Past VerbForm=Part Voice=Pass	12 invariant	acl:relcl
16	to	to	PART	_	17 check	mark
17	check	check	VERB	VerbForm=Inf	15 meant	xcomp
18	,	,	PUNCT	_	22 filed	punct
19	and	and	CCONJ	_	22 filed	cc
20	afterwards	afterwards	ADV	_	22 filed	advmod
21	he	he	PRON	Case=Nom Gender=Masc Number=Sing Person=3 PronType=Prs	22 filed	nsubj
22	filed	file	VERB	Mood=Ind Number=Sing Person=3 Tense=Past VerbForm=Fin	4 burn	parataxis
23	a	a	DET	Definite=Ind PronType=Art	24 report	det
24	report	report	NOUN	Number=Sing	22 filed	obj
25	.	.	PUNCT	_	4 burn	punct

#	verb	tense, mood	who	what, whom	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

Sentence 2: (note 06)

The words, one row each (CoNLL-U)

#	word	lemma	UPOS	features	head	relation
1	(	(	PUNCT	_	2 note	punct
2	note	note	NOUN	Number=Sing	root	root
3	06	06	NUM	NumForm=Digit NumType=Card	2 note	flat
4	)	)	PUNCT	_	2 note	punct

The frames reader finds no event or fact in this sentence.

Example 3

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)

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.

The tree, 32 words

The words, one row each (CoNLL-U)

#	word	lemma	UPOS	features	head	relation
1	The	the	DET	Definite=Def PronType=Art	2 categories	det
2	categories	category	NOUN	Number=Plur	4 valid	nsubj
3	were	be	AUX	Mood=Ind Number=Plur Person=3 Tense=Past VerbForm=Fin	4 valid	cop
4	valid	valid	ADJ	Degree=Pos	root	root
5	,	,	PUNCT	_	9 forgot	punct
6	but	but	CCONJ	_	9 forgot	cc
7	the	the	DET	Definite=Def PronType=Art	8 tester	det
8	tester	tester	NOUN	Number=Sing	9 forgot	nsubj
9	forgot	forget	VERB	Mood=Ind Number=Sing Person=3 Tense=Past VerbForm=Fin	4 valid	conj
10	the	the	DET	Definite=Def PronType=Art	11 subject	det
11	subject	subject	NOUN	Number=Sing	16 target	nsubj
12	is	be	AUX	Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin	16 target	cop
13	not	not	PART	Polarity=Neg	16 target	advmod
14	just	just	ADV	_	16 target	advmod
15	a	a	DET	Definite=Ind PronType=Art	16 target	det
16	target	target	NOUN	Number=Sing	9 forgot	obj
17	;	;	PUNCT	_	19 verify	punct
18	"	"	PUNCT	_	19 verify	punct
19	verify	verify	VERB	Mood=Imp VerbForm=Fin	9 forgot	parataxis
20	the	the	DET	Definite=Def PronType=Art	21 invariant	det
21	invariant	invariant	NOUN	Number=Sing	19 verify	obj
22	"	"	PUNCT	_	23 became	punct
23	became	become	VERB	Mood=Ind Number=Sing Person=3 Tense=Past VerbForm=Fin	21 invariant	acl:relcl
24	"	"	PUNCT	_	23 became	punct
25	why	why	ADV	PronType=Int	29 running	advmod
26	are	be	AUX	Mood=Ind Number=Sing Person=2 Tense=Pres VerbForm=Fin	29 running	aux
27	you	you	PRON	Case=Nom Person=2 PronType=Prs	29 running	nsubj
28	still	still	ADV	_	29 running	advmod
29	running	run	VERB	Tense=Pres VerbForm=Part	19 verify	advcl
30	this	this	PRON	Number=Sing PronType=Dem	29 running	obj
31	?	?	PUNCT	_	29 running	punct
32	"	"	PUNCT	_	29 running	punct
33	—	-	PUNCT	_	35 understood	punct
34	he	he	PRON	Case=Nom Gender=Masc Number=Sing Person=3 PronType=Prs	35 understood	nsubj
35	understood	understand	VERB	Mood=Ind Number=Sing Person=3 Tense=Past VerbForm=Fin	4 valid	conj
36	testing	test	VERB	VerbForm=Ger	35 understood	xcomp
37	well	well	ADV	Degree=Pos	36 testing	advmod
38	and	and	CCONJ	_	39 boundaries	cc
39	boundaries	boundary	NOUN	Number=Plur	36 testing	conj
40	poorly	poorly	ADV	_	36 testing	advmod
41	.	.	PUNCT	_	4 valid	punct

#	verb	tense, mood	who	what, whom	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

Sentence 2: (lesson 014)

The words, one row each (CoNLL-U)

#	word	lemma	UPOS	features	head	relation
1	(	(	PUNCT	_	2 lesson	punct
2	lesson	lesson	NOUN	Number=Sing	root	root
3	014	014	NUM	NumForm=Digit NumType=Card	2 lesson	flat
4	)	)	PUNCT	_	2 lesson	punct

The frames reader finds no event or fact in this sentence.

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.

This page in Markdown → https://md.mova.elamur.ai/free/en/corpora/dictionaries/mysticism/I/invariant/