id	sid	tid	token	lemma	pos
3t945q50s14	1	1	the	the	DET
3t945q50s14	1	2	logic	logic	NOUN
3t945q50s14	1	3	lω1ω	lω1ω	PROPN
3t945q50s14	1	4	admits	admit	VERB
3t945q50s14	1	5	sentences	sentence	NOUN
3t945q50s14	1	6	that	that	PRON
3t945q50s14	1	7	are	be	AUX
3t945q50s14	1	8	infinitely	infinitely	ADV
3t945q50s14	1	9	long	long	ADJ
3t945q50s14	1	10	by	by	ADP
3t945q50s14	1	11	allowing	allow	VERB
3t945q50s14	1	12	countably	countably	ADV
3t945q50s14	1	13	many	many	ADJ
3t945q50s14	1	14	conjunctions	conjunction	NOUN
3t945q50s14	1	15	and	and	CCONJ
3t945q50s14	1	16	disjunctions	disjunction	NOUN
3t945q50s14	1	17	.	.	PUNCT
3t945q50s14	2	1	in	in	ADP
3t945q50s14	2	2	this	this	DET
3t945q50s14	2	3	logic	logic	NOUN
3t945q50s14	2	4	,	,	PUNCT
3t945q50s14	2	5	we	we	PRON
3t945q50s14	2	6	can	can	AUX
3t945q50s14	2	7	describe	describe	VERB
3t945q50s14	2	8	countable	countable	ADJ
3t945q50s14	2	9	structures	structure	NOUN
3t945q50s14	2	10	such	such	ADJ
3t945q50s14	2	11	as	as	ADP
3t945q50s14	2	12	the	the	DET
3t945q50s14	2	13	natural	natural	ADJ
3t945q50s14	2	14	numbers	number	NOUN
3t945q50s14	2	15	up	up	ADP
3t945q50s14	2	16	to	to	ADP
3t945q50s14	2	17	isomorphism	isomorphism	NOUN
3t945q50s14	2	18	among	among	ADP
3t945q50s14	2	19	countable	countable	ADJ
3t945q50s14	2	20	structures	structure	NOUN
3t945q50s14	2	21	via	via	ADP
3t945q50s14	2	22	a	a	DET
3t945q50s14	2	23	single	single	ADJ
3t945q50s14	2	24	sentence	sentence	NOUN
3t945q50s14	2	25	φ	φ	X
3t945q50s14	2	26	known	know	VERB
3t945q50s14	2	27	as	as	ADP
3t945q50s14	2	28	the	the	DET
3t945q50s14	2	29	scott	scott	PROPN
3t945q50s14	2	30	sentence	sentence	NOUN
3t945q50s14	2	31	of	of	ADP
3t945q50s14	2	32	that	that	DET
3t945q50s14	2	33	structure	structure	NOUN
3t945q50s14	2	34	.	.	PUNCT
3t945q50s14	3	1	the	the	DET
3t945q50s14	3	2	syntactic	syntactic	ADJ
3t945q50s14	3	3	complexity	complexity	NOUN
3t945q50s14	3	4	of	of	ADP
3t945q50s14	3	5	a	a	DET
3t945q50s14	3	6	scott	scott	PROPN
3t945q50s14	3	7	sentence	sentence	NOUN
3t945q50s14	3	8	for	for	ADP
3t945q50s14	3	9	a	a	DET
3t945q50s14	3	10	structure	structure	NOUN
3t945q50s14	3	11	tells	tell	VERB
3t945q50s14	3	12	us	we	PRON
3t945q50s14	3	13	a	a	DET
3t945q50s14	3	14	host	host	NOUN
3t945q50s14	3	15	of	of	ADP
3t945q50s14	3	16	information	information	NOUN
3t945q50s14	3	17	about	about	ADP
3t945q50s14	3	18	the	the	DET
3t945q50s14	3	19	structure	structure	NOUN
3t945q50s14	3	20	.	.	PUNCT
3t945q50s14	4	1	we	we	PRON
3t945q50s14	4	2	consider	consider	VERB
3t945q50s14	4	3	a	a	DET
3t945q50s14	4	4	finer	fine	ADJ
3t945q50s14	4	5	notion	notion	NOUN
3t945q50s14	4	6	of	of	ADP
3t945q50s14	4	7	this	this	DET
3t945q50s14	4	8	complexity	complexity	NOUN
3t945q50s14	4	9	than	than	ADP
3t945q50s14	4	10	that	that	PRON
3t945q50s14	4	11	historically	historically	ADV
3t945q50s14	4	12	considered	consider	VERB
3t945q50s14	4	13	in	in	ADP
3t945q50s14	4	14	the	the	DET
3t945q50s14	4	15	literature	literature	NOUN
3t945q50s14	4	16	known	know	VERB
3t945q50s14	4	17	as	as	ADP
3t945q50s14	4	18	the	the	DET
3t945q50s14	4	19	scott	scott	PROPN
3t945q50s14	4	20	complexity	complexity	NOUN
3t945q50s14	4	21	.	.	PUNCT
3t945q50s14	5	1	we	we	PRON
3t945q50s14	5	2	also	also	ADV
3t945q50s14	5	3	consider	consider	VERB
3t945q50s14	5	4	an	an	DET
3t945q50s14	5	5	effective	effective	ADJ
3t945q50s14	5	6	analogue	analogue	NOUN
3t945q50s14	5	7	of	of	ADP
3t945q50s14	5	8	this	this	DET
3t945q50s14	5	9	concept	concept	NOUN
3t945q50s14	5	10	,	,	PUNCT
3t945q50s14	5	11	and	and	CCONJ
3t945q50s14	5	12	prove	prove	VERB
3t945q50s14	5	13	analogues	analogue	NOUN
3t945q50s14	5	14	of	of	ADP
3t945q50s14	5	15	known	know	VERB
3t945q50s14	5	16	results	result	NOUN
3t945q50s14	5	17	about	about	ADP
3t945q50s14	5	18	scott	scott	PROPN
3t945q50s14	5	19	complexity.next	complexity.next	PROPN
3t945q50s14	5	20	,	,	PUNCT
3t945q50s14	5	21	we	we	PRON
3t945q50s14	5	22	compute	compute	VERB
3t945q50s14	5	23	the	the	DET
3t945q50s14	5	24	scott	scott	PROPN
3t945q50s14	5	25	complexity	complexity	NOUN
3t945q50s14	5	26	for	for	ADP
3t945q50s14	5	27	some	some	DET
3t945q50s14	5	28	well	well	ADV
3t945q50s14	5	29	-	-	PUNCT
3t945q50s14	5	30	behaved	behave	VERB
3t945q50s14	5	31	classes	class	NOUN
3t945q50s14	5	32	of	of	ADP
3t945q50s14	5	33	structures	structure	NOUN
3t945q50s14	5	34	.	.	PUNCT
3t945q50s14	6	1	a	a	DET
3t945q50s14	6	2	linear	linear	ADJ
3t945q50s14	6	3	order	order	NOUN
3t945q50s14	6	4	l	l	PRON
3t945q50s14	6	5	is	be	AUX
3t945q50s14	6	6	said	say	VERB
3t945q50s14	6	7	to	to	PART
3t945q50s14	6	8	be	be	AUX
3t945q50s14	6	9	scattered	scatter	VERB
3t945q50s14	6	10	if	if	SCONJ
3t945q50s14	6	11	there	there	PRON
3t945q50s14	6	12	is	be	VERB
3t945q50s14	6	13	no	no	DET
3t945q50s14	6	14	embedding	embedding	NOUN
3t945q50s14	6	15	from	from	ADP
3t945q50s14	6	16	the	the	DET
3t945q50s14	6	17	order	order	NOUN
3t945q50s14	6	18	type	type	NOUN
3t945q50s14	6	19	of	of	ADP
3t945q50s14	6	20	the	the	DET
3t945q50s14	6	21	rationals	rational	NOUN
3t945q50s14	6	22	into	into	ADP
3t945q50s14	6	23	l.	l.	PROPN
3t945q50s14	6	24	we	we	PRON
3t945q50s14	6	25	give	give	VERB
3t945q50s14	6	26	sharp	sharp	ADJ
3t945q50s14	6	27	upper	upper	ADJ
3t945q50s14	6	28	bounds	bound	NOUN
3t945q50s14	6	29	on	on	ADP
3t945q50s14	6	30	the	the	DET
3t945q50s14	6	31	scott	scott	PROPN
3t945q50s14	6	32	complexity	complexity	NOUN
3t945q50s14	6	33	of	of	ADP
3t945q50s14	6	34	an	an	DET
3t945q50s14	6	35	arbitrary	arbitrary	ADJ
3t945q50s14	6	36	scattered	scatter	VERB
3t945q50s14	6	37	linear	linear	ADJ
3t945q50s14	6	38	order	order	NOUN
3t945q50s14	6	39	in	in	ADP
3t945q50s14	6	40	terms	term	NOUN
3t945q50s14	6	41	of	of	ADP
3t945q50s14	6	42	an	an	DET
3t945q50s14	6	43	invariant	invariant	NOUN
3t945q50s14	6	44	known	know	VERB
3t945q50s14	6	45	as	as	ADP
3t945q50s14	6	46	its	its	PRON
3t945q50s14	6	47	hausdorff	hausdorff	PROPN
3t945q50s14	6	48	rank	rank	NOUN
3t945q50s14	6	49	.	.	PUNCT
3t945q50s14	7	1	finally	finally	ADV
3t945q50s14	7	2	,	,	PUNCT
3t945q50s14	7	3	we	we	PRON
3t945q50s14	7	4	consider	consider	VERB
3t945q50s14	7	5	the	the	DET
3t945q50s14	7	6	case	case	NOUN
3t945q50s14	7	7	when	when	SCONJ
3t945q50s14	7	8	the	the	DET
3t945q50s14	7	9	scott	scott	PROPN
3t945q50s14	7	10	complexity	complexity	NOUN
3t945q50s14	7	11	of	of	ADP
3t945q50s14	7	12	a	a	DET
3t945q50s14	7	13	structure	structure	NOUN
3t945q50s14	7	14	is	be	AUX
3t945q50s14	7	15	d	d	PROPN
3t945q50s14	7	16	−	−	PROPN
3t945q50s14	7	17	σα	σα	PROPN
3t945q50s14	7	18	or	or	CCONJ
3t945q50s14	7	19	σα	σα	PROPN
3t945q50s14	7	20	.	.	PUNCT
3t945q50s14	8	1	such	such	ADJ
3t945q50s14	8	2	structures	structure	NOUN
3t945q50s14	8	3	are	be	AUX
3t945q50s14	8	4	controlled	control	VERB
3t945q50s14	8	5	by	by	ADP
3t945q50s14	8	6	a	a	DET
3t945q50s14	8	7	special	special	ADJ
3t945q50s14	8	8	finite	finite	NOUN
3t945q50s14	8	9	tuple	tuple	NOUN
3t945q50s14	8	10	inside	inside	ADP
3t945q50s14	8	11	the	the	DET
3t945q50s14	8	12	structure	structure	NOUN
3t945q50s14	8	13	similar	similar	ADJ
3t945q50s14	8	14	to	to	ADP
3t945q50s14	8	15	the	the	DET
3t945q50s14	8	16	way	way	NOUN
3t945q50s14	8	17	in	in	ADP
3t945q50s14	8	18	which	which	PRON
3t945q50s14	8	19	a	a	DET
3t945q50s14	8	20	finitely	finitely	ADV
3t945q50s14	8	21	generated	generate	VERB
3t945q50s14	8	22	structure	structure	NOUN
3t945q50s14	8	23	is	be	AUX
3t945q50s14	8	24	controlled	control	VERB
3t945q50s14	8	25	by	by	ADP
3t945q50s14	8	26	its	its	PRON
3t945q50s14	8	27	generating	generating	NOUN
3t945q50s14	8	28	tuple	tuple	NOUN
3t945q50s14	8	29	.	.	PUNCT
3t945q50s14	9	1	we	we	PRON
3t945q50s14	9	2	call	call	VERB
3t945q50s14	9	3	such	such	ADJ
3t945q50s14	9	4	structures	structure	NOUN
3t945q50s14	9	5	finitely	finitely	ADV
3t945q50s14	9	6	α	α	ADV
3t945q50s14	9	7	-	-	PUNCT
3t945q50s14	9	8	generated	generate	VERB
3t945q50s14	9	9	and	and	CCONJ
3t945q50s14	9	10	show	show	VERB
3t945q50s14	9	11	that	that	SCONJ
3t945q50s14	9	12	several	several	ADJ
3t945q50s14	9	13	previously	previously	ADV
3t945q50s14	9	14	known	know	VERB
3t945q50s14	9	15	results	result	NOUN
3t945q50s14	9	16	about	about	ADP
3t945q50s14	9	17	the	the	DET
3t945q50s14	9	18	scott	scott	PROPN
3t945q50s14	9	19	sentences	sentence	NOUN
3t945q50s14	9	20	of	of	ADP
3t945q50s14	9	21	finitely	finitely	ADV
3t945q50s14	9	22	generated	generate	VERB
3t945q50s14	9	23	structures	structure	NOUN
3t945q50s14	9	24	can	can	AUX
3t945q50s14	9	25	be	be	AUX
3t945q50s14	9	26	lifted	lift	VERB
3t945q50s14	9	27	.	.	PUNCT