id	sid	tid	token	lemma	pos
7h149p3100m	1	1	we	we	PRON
7h149p3100m	1	2	consider	consider	VERB
7h149p3100m	1	3	the	the	DET
7h149p3100m	1	4	class	class	NOUN
7h149p3100m	1	5	of	of	ADP
7h149p3100m	1	6	vc	vc	NOUN
7h149p3100m	1	7	-	-	PUNCT
7h149p3100m	1	8	minimal	minimal	ADJ
7h149p3100m	1	9	theories	theory	NOUN
7h149p3100m	1	10	,	,	PUNCT
7h149p3100m	1	11	as	as	SCONJ
7h149p3100m	1	12	introduced	introduce	VERB
7h149p3100m	1	13	by	by	ADP
7h149p3100m	1	14	adler	adler	NOUN
7h149p3100m	1	15	in	in	ADP
7h149p3100m	1	16	[	[	X
7h149p3100m	1	17	2	2	NUM
7h149p3100m	1	18	]	]	X
7h149p3100m	1	19	.	.	PUNCT
7h149p3100m	2	1	after	after	ADP
7h149p3100m	2	2	covering	cover	VERB
7h149p3100m	2	3	some	some	DET
7h149p3100m	2	4	basic	basic	ADJ
7h149p3100m	2	5	results	result	NOUN
7h149p3100m	2	6	,	,	PUNCT
7h149p3100m	2	7	including	include	VERB
7h149p3100m	2	8	a	a	DET
7h149p3100m	2	9	notion	notion	NOUN
7h149p3100m	2	10	of	of	ADP
7h149p3100m	2	11	generic	generic	ADJ
7h149p3100m	2	12	types	type	NOUN
7h149p3100m	2	13	,	,	PUNCT
7h149p3100m	2	14	we	we	PRON
7h149p3100m	2	15	consider	consider	VERB
7h149p3100m	2	16	two	two	NUM
7h149p3100m	2	17	kinds	kind	NOUN
7h149p3100m	2	18	of	of	ADP
7h149p3100m	2	19	vc	vc	NOUN
7h149p3100m	2	20	-	-	PUNCT
7h149p3100m	2	21	minimal	minimal	ADJ
7h149p3100m	2	22	theories	theory	NOUN
7h149p3100m	2	23	:	:	PUNCT
7h149p3100m	2	24	those	those	PRON
7h149p3100m	2	25	whose	whose	DET
7h149p3100m	2	26	generating	generating	NOUN
7h149p3100m	2	27	directed	direct	VERB
7h149p3100m	2	28	families	family	NOUN
7h149p3100m	2	29	are	be	AUX
7h149p3100m	2	30	unpackable	unpackable	ADJ
7h149p3100m	2	31	and	and	CCONJ
7h149p3100m	2	32	almost	almost	ADV
7h149p3100m	2	33	unpackable	unpackable	ADJ
7h149p3100m	2	34	.	.	PUNCT
7h149p3100m	3	1	we	we	PRON
7h149p3100m	3	2	introduce	introduce	VERB
7h149p3100m	3	3	two	two	NUM
7h149p3100m	3	4	new	new	ADJ
7h149p3100m	3	5	decompositions	decomposition	NOUN
7h149p3100m	3	6	of	of	ADP
7h149p3100m	3	7	definable	definable	ADJ
7h149p3100m	3	8	sets	set	NOUN
7h149p3100m	3	9	in	in	ADP
7h149p3100m	3	10	vc	vc	PROPN
7h149p3100m	3	11	-	-	PUNCT
7h149p3100m	3	12	minimal	minimal	ADJ
7h149p3100m	3	13	theories	theory	NOUN
7h149p3100m	3	14	,	,	PUNCT
7h149p3100m	3	15	the	the	DET
7h149p3100m	3	16	layer	layer	NOUN
7h149p3100m	3	17	decomposition	decomposition	NOUN
7h149p3100m	3	18	and	and	CCONJ
7h149p3100m	3	19	the	the	DET
7h149p3100m	3	20	irreducible	irreducible	ADJ
7h149p3100m	3	21	decomposition	decomposition	NOUN
7h149p3100m	3	22	,	,	PUNCT
7h149p3100m	3	23	which	which	PRON
7h149p3100m	3	24	allow	allow	VERB
7h149p3100m	3	25	for	for	ADP
7h149p3100m	3	26	more	more	ADJ
7h149p3100m	3	27	precision	precision	NOUN
7h149p3100m	3	28	than	than	ADP
7h149p3100m	3	29	the	the	DET
7h149p3100m	3	30	standard	standard	ADJ
7h149p3100m	3	31	swiss	swiss	ADJ
7h149p3100m	3	32	cheese	cheese	NOUN
7h149p3100m	3	33	decompositon	decompositon	PROPN
7h149p3100m	3	34	with	with	ADP
7h149p3100m	3	35	regard	regard	NOUN
7h149p3100m	3	36	to	to	ADP
7h149p3100m	3	37	parameters	parameter	NOUN
7h149p3100m	3	38	.	.	PUNCT
7h149p3100m	4	1	finally	finally	ADV
7h149p3100m	4	2	,	,	PUNCT
7h149p3100m	4	3	after	after	ADP
7h149p3100m	4	4	introducing	introduce	VERB
7h149p3100m	4	5	a	a	DET
7h149p3100m	4	6	slight	slight	ADJ
7h149p3100m	4	7	generalization	generalization	NOUN
7h149p3100m	4	8	of	of	ADP
7h149p3100m	4	9	the	the	DET
7h149p3100m	4	10	classical	classical	ADJ
7h149p3100m	4	11	notions	notion	NOUN
7h149p3100m	4	12	of	of	ADP
7h149p3100m	4	13	forking	fork	VERB
7h149p3100m	4	14	and	and	CCONJ
7h149p3100m	4	15	dividing	divide	VERB
7h149p3100m	4	16	,	,	PUNCT
7h149p3100m	4	17	we	we	PRON
7h149p3100m	4	18	prove	prove	VERB
7h149p3100m	4	19	that	that	SCONJ
7h149p3100m	4	20	in	in	ADP
7h149p3100m	4	21	any	any	DET
7h149p3100m	4	22	vc	vc	NOUN
7h149p3100m	4	23	-	-	PUNCT
7h149p3100m	4	24	minimal	minimal	ADJ
7h149p3100m	4	25	or	or	CCONJ
7h149p3100m	4	26	quasi	quasi	ADJ
7h149p3100m	4	27	-	-	ADJ
7h149p3100m	4	28	vc	vc	ADJ
7h149p3100m	4	29	-	-	PUNCT
7h149p3100m	4	30	minimal	minimal	ADJ
7h149p3100m	4	31	theory	theory	NOUN
7h149p3100m	4	32	whose	whose	DET
7h149p3100m	4	33	generating	generating	NOUN
7h149p3100m	4	34	family	family	NOUN
7h149p3100m	4	35	is	be	AUX
7h149p3100m	4	36	unpackable	unpackable	ADJ
7h149p3100m	4	37	or	or	CCONJ
7h149p3100m	4	38	almost	almost	ADV
7h149p3100m	4	39	unpackable	unpackable	ADJ
7h149p3100m	4	40	,	,	PUNCT
7h149p3100m	4	41	forking	fork	VERB
7h149p3100m	4	42	of	of	ADP
7h149p3100m	4	43	formulae	formulae	NOUN
7h149p3100m	4	44	over	over	ADP
7h149p3100m	4	45	a	a	DET
7h149p3100m	4	46	model	model	NOUN
7h149p3100m	4	47	m	m	VERB
7h149p3100m	4	48	is	be	AUX
7h149p3100m	4	49	equivalent	equivalent	ADJ
7h149p3100m	4	50	to	to	ADP
7h149p3100m	4	51	containment	containment	NOUN
7h149p3100m	4	52	in	in	ADP
7h149p3100m	4	53	a	a	DET
7h149p3100m	4	54	global	global	ADJ
7h149p3100m	4	55	m	m	NOUN
7h149p3100m	4	56	-definable	-definable	ADJ
7h149p3100m	4	57	type	type	NOUN
7h149p3100m	4	58	,	,	PUNCT
7h149p3100m	4	59	generalizing	generalize	VERB
7h149p3100m	4	60	a	a	DET
7h149p3100m	4	61	result	result	NOUN
7h149p3100m	4	62	of	of	ADP
7h149p3100m	4	63	dolich	dolich	PROPN
7h149p3100m	4	64	on	on	ADP
7h149p3100m	4	65	o	o	ADJ
7h149p3100m	4	66	-	-	ADJ
7h149p3100m	4	67	minimal	minimal	ADJ
7h149p3100m	4	68	theories	theory	NOUN
7h149p3100m	4	69	in	in	ADP
7h149p3100m	4	70	[	[	PUNCT
7h149p3100m	4	71	8	8	NUM
7h149p3100m	4	72	]	]	PUNCT
7h149p3100m	4	73	.	.	PUNCT