id	sid	tid	token	lemma	pos
9306sx63f5x	1	1	simple	simple	ADJ
9306sx63f5x	1	2	theories	theory	NOUN
9306sx63f5x	1	3	are	be	AUX
9306sx63f5x	1	4	a	a	DET
9306sx63f5x	1	5	strict	strict	ADJ
9306sx63f5x	1	6	extension	extension	NOUN
9306sx63f5x	1	7	of	of	ADP
9306sx63f5x	1	8	stable	stable	ADJ
9306sx63f5x	1	9	theories	theory	NOUN
9306sx63f5x	1	10	for	for	ADP
9306sx63f5x	1	11	which	which	PRON
9306sx63f5x	1	12	non	non	ADJ
9306sx63f5x	1	13	-	-	ADJ
9306sx63f5x	1	14	forking	forking	ADJ
9306sx63f5x	1	15	independence	independence	NOUN
9306sx63f5x	1	16	is	be	AUX
9306sx63f5x	1	17	a	a	DET
9306sx63f5x	1	18	nice	nice	ADJ
9306sx63f5x	1	19	independence	independence	NOUN
9306sx63f5x	1	20	relation	relation	NOUN
9306sx63f5x	1	21	.	.	PUNCT
9306sx63f5x	2	1	however	however	ADV
9306sx63f5x	2	2	,	,	PUNCT
9306sx63f5x	2	3	not	not	PART
9306sx63f5x	2	4	much	much	ADJ
9306sx63f5x	2	5	is	be	AUX
9306sx63f5x	2	6	known	know	VERB
9306sx63f5x	2	7	about	about	ADP
9306sx63f5x	2	8	how	how	SCONJ
9306sx63f5x	2	9	the	the	DET
9306sx63f5x	2	10	simple	simple	ADJ
9306sx63f5x	2	11	unstable	unstable	ADJ
9306sx63f5x	2	12	theories	theory	NOUN
9306sx63f5x	2	13	differ	differ	VERB
9306sx63f5x	2	14	from	from	ADP
9306sx63f5x	2	15	the	the	DET
9306sx63f5x	2	16	strictly	strictly	ADV
9306sx63f5x	2	17	stable	stable	ADJ
9306sx63f5x	2	18	ones	one	NOUN
9306sx63f5x	2	19	.	.	PUNCT
9306sx63f5x	3	1	this	this	DET
9306sx63f5x	3	2	work	work	NOUN
9306sx63f5x	3	3	looks	look	VERB
9306sx63f5x	3	4	at	at	ADP
9306sx63f5x	3	5	three	three	NUM
9306sx63f5x	3	6	aspects	aspect	NOUN
9306sx63f5x	3	7	of	of	ADP
9306sx63f5x	3	8	simple	simple	ADJ
9306sx63f5x	3	9	theories	theory	NOUN
9306sx63f5x	3	10	and	and	CCONJ
9306sx63f5x	3	11	uses	use	VERB
9306sx63f5x	3	12	them	they	PRON
9306sx63f5x	3	13	to	to	PART
9306sx63f5x	3	14	give	give	VERB
9306sx63f5x	3	15	a	a	DET
9306sx63f5x	3	16	better	well	ADJ
9306sx63f5x	3	17	picture	picture	NOUN
9306sx63f5x	3	18	of	of	ADP
9306sx63f5x	3	19	the	the	DET
9306sx63f5x	3	20	differences	difference	NOUN
9306sx63f5x	3	21	between	between	ADP
9306sx63f5x	3	22	the	the	DET
9306sx63f5x	3	23	two	two	NUM
9306sx63f5x	3	24	classes	class	NOUN
9306sx63f5x	3	25	.	.	PUNCT
9306sx63f5x	4	1	first	first	ADV
9306sx63f5x	4	2	,	,	PUNCT
9306sx63f5x	4	3	we	we	PRON
9306sx63f5x	4	4	look	look	VERB
9306sx63f5x	4	5	at	at	ADP
9306sx63f5x	4	6	the	the	DET
9306sx63f5x	4	7	property	property	NOUN
9306sx63f5x	4	8	of	of	ADP
9306sx63f5x	4	9	weakly	weakly	ADV
9306sx63f5x	4	10	eliminating	eliminate	VERB
9306sx63f5x	4	11	hyperimaginaries	hyperimaginarie	NOUN
9306sx63f5x	4	12	and	and	CCONJ
9306sx63f5x	4	13	show	show	VERB
9306sx63f5x	4	14	that	that	SCONJ
9306sx63f5x	4	15	it	it	PRON
9306sx63f5x	4	16	is	be	AUX
9306sx63f5x	4	17	equivalent	equivalent	ADJ
9306sx63f5x	4	18	to	to	ADP
9306sx63f5x	4	19	forking	fork	VERB
9306sx63f5x	4	20	and	and	CCONJ
9306sx63f5x	4	21	thorn	thorn	NOUN
9306sx63f5x	4	22	-	-	PUNCT
9306sx63f5x	4	23	forking	fork	VERB
9306sx63f5x	4	24	independence	independence	NOUN
9306sx63f5x	4	25	coinciding	coincide	VERB
9306sx63f5x	4	26	.	.	PUNCT
9306sx63f5x	5	1	second	second	ADV
9306sx63f5x	5	2	,	,	PUNCT
9306sx63f5x	5	3	we	we	PRON
9306sx63f5x	5	4	look	look	VERB
9306sx63f5x	5	5	at	at	ADP
9306sx63f5x	5	6	the	the	DET
9306sx63f5x	5	7	stable	stable	ADJ
9306sx63f5x	5	8	forking	fork	VERB
9306sx63f5x	5	9	conjecture	conjecture	NOUN
9306sx63f5x	5	10	}	}	PUNCT
9306sx63f5x	5	11	,	,	PUNCT
9306sx63f5x	5	12	a	a	DET
9306sx63f5x	5	13	strong	strong	ADJ
9306sx63f5x	5	14	statement	statement	NOUN
9306sx63f5x	5	15	asserting	assert	VERB
9306sx63f5x	5	16	that	that	SCONJ
9306sx63f5x	5	17	simple	simple	ADJ
9306sx63f5x	5	18	unstable	unstable	ADJ
9306sx63f5x	5	19	theories	theory	NOUN
9306sx63f5x	5	20	have	have	VERB
9306sx63f5x	5	21	an	an	DET
9306sx63f5x	5	22	essentially	essentially	ADV
9306sx63f5x	5	23	stable	stable	ADJ
9306sx63f5x	5	24	'	'	PUNCT
9306sx63f5x	5	25	core	core	NOUN
9306sx63f5x	5	26	,	,	PUNCT
9306sx63f5x	5	27	'	'	PUNCT
9306sx63f5x	5	28	and	and	CCONJ
9306sx63f5x	5	29	prove	prove	VERB
9306sx63f5x	5	30	that	that	SCONJ
9306sx63f5x	5	31	it	it	PRON
9306sx63f5x	5	32	holds	hold	VERB
9306sx63f5x	5	33	between	between	ADP
9306sx63f5x	5	34	elements	element	NOUN
9306sx63f5x	5	35	having	have	VERB
9306sx63f5x	5	36	su	su	NOUN
9306sx63f5x	5	37	-	-	PUNCT
9306sx63f5x	5	38	rank	rank	NOUN
9306sx63f5x	5	39	2	2	NUM
9306sx63f5x	5	40	and	and	CCONJ
9306sx63f5x	5	41	finite	finite	PROPN
9306sx63f5x	5	42	su	su	PROPN
9306sx63f5x	5	43	-	-	PUNCT
9306sx63f5x	5	44	rank	rank	NOUN
9306sx63f5x	5	45	.	.	PUNCT
9306sx63f5x	6	1	third	third	ADJ
9306sx63f5x	6	2	,	,	PUNCT
9306sx63f5x	6	3	we	we	PRON
9306sx63f5x	6	4	consider	consider	VERB
9306sx63f5x	6	5	a	a	DET
9306sx63f5x	6	6	property	property	NOUN
9306sx63f5x	6	7	on	on	ADP
9306sx63f5x	6	8	indiscernible	indiscernible	ADJ
9306sx63f5x	6	9	sequences	sequence	NOUN
9306sx63f5x	6	10	that	that	PRON
9306sx63f5x	6	11	is	be	AUX
9306sx63f5x	6	12	known	know	VERB
9306sx63f5x	6	13	to	to	PART
9306sx63f5x	6	14	hold	hold	VERB
9306sx63f5x	6	15	in	in	ADP
9306sx63f5x	6	16	every	every	DET
9306sx63f5x	6	17	stable	stable	ADJ
9306sx63f5x	6	18	theory	theory	NOUN
9306sx63f5x	6	19	,	,	PUNCT
9306sx63f5x	6	20	and	and	CCONJ
9306sx63f5x	6	21	show	show	VERB
9306sx63f5x	6	22	it	it	PRON
9306sx63f5x	6	23	holds	hold	VERB
9306sx63f5x	6	24	on	on	ADP
9306sx63f5x	6	25	,	,	PUNCT
9306sx63f5x	6	26	at	at	ADP
9306sx63f5x	6	27	most	most	ADJ
9306sx63f5x	6	28	,	,	PUNCT
9306sx63f5x	6	29	a	a	DET
9306sx63f5x	6	30	subset	subset	NOUN
9306sx63f5x	6	31	of	of	ADP
9306sx63f5x	6	32	simple	simple	ADJ
9306sx63f5x	6	33	theories	theory	NOUN
9306sx63f5x	6	34	out	out	ADP
9306sx63f5x	6	35	of	of	ADP
9306sx63f5x	6	36	all	all	DET
9306sx63f5x	6	37	possible	possible	ADJ
9306sx63f5x	6	38	first	first	ADJ
9306sx63f5x	6	39	order	order	NOUN
9306sx63f5x	6	40	theories	theory	NOUN
9306sx63f5x	6	41	.	.	PUNCT