id	sid	tid	token	lemma	pos
bc386h4758v	1	1	the	the	DET
bc386h4758v	1	2	syllogistic	syllogistic	NOUN
bc386h4758v	1	3	of	of	ADP
bc386h4758v	1	4	aristotle	aristotle	PROPN
bc386h4758v	1	5	's	's	PART
bc386h4758v	1	6	analytics	analytic	NOUN
bc386h4758v	1	7	is	be	AUX
bc386h4758v	1	8	widely	widely	ADV
bc386h4758v	1	9	interpreted	interpret	VERB
bc386h4758v	1	10	either	either	CCONJ
bc386h4758v	1	11	as	as	ADP
bc386h4758v	1	12	a	a	DET
bc386h4758v	1	13	theory	theory	NOUN
bc386h4758v	1	14	of	of	ADP
bc386h4758v	1	15	deduction	deduction	NOUN
bc386h4758v	1	16	or	or	CCONJ
bc386h4758v	1	17	as	as	ADP
bc386h4758v	1	18	a	a	DET
bc386h4758v	1	19	specialized	specialized	ADJ
bc386h4758v	1	20	logic	logic	NOUN
bc386h4758v	1	21	of	of	ADP
bc386h4758v	1	22	the	the	DET
bc386h4758v	1	23	a	a	DET
bc386h4758v	1	24	-	-	PUNCT
bc386h4758v	1	25	e	e	NOUN
bc386h4758v	1	26	-	-	PUNCT
bc386h4758v	1	27	i	i	NOUN
bc386h4758v	1	28	-	-	PUNCT
bc386h4758v	1	29	o	o	NOUN
bc386h4758v	1	30	predication	predication	NOUN
bc386h4758v	1	31	relations	relation	NOUN
bc386h4758v	1	32	.	.	PUNCT
bc386h4758v	2	1	i	i	PRON
bc386h4758v	2	2	argue	argue	VERB
bc386h4758v	2	3	that	that	SCONJ
bc386h4758v	2	4	it	it	PRON
bc386h4758v	2	5	should	should	AUX
bc386h4758v	2	6	instead	instead	ADV
bc386h4758v	2	7	be	be	AUX
bc386h4758v	2	8	understood	understand	VERB
bc386h4758v	2	9	as	as	ADP
bc386h4758v	2	10	a	a	DET
bc386h4758v	2	11	computationalist	computationalist	ADJ
bc386h4758v	2	12	epistemology	epistemology	NOUN
bc386h4758v	2	13	:	:	PUNCT
bc386h4758v	2	14	an	an	DET
bc386h4758v	2	15	algorithmic	algorithmic	ADJ
bc386h4758v	2	16	treatment	treatment	NOUN
bc386h4758v	2	17	of	of	ADP
bc386h4758v	2	18	evident	evident	ADJ
bc386h4758v	2	19	validity	validity	NOUN
bc386h4758v	2	20	,	,	PUNCT
bc386h4758v	2	21	or	or	CCONJ
bc386h4758v	2	22	what	what	PRON
bc386h4758v	2	23	aristotle	aristotle	PROPN
bc386h4758v	2	24	calls	call	VERB
bc386h4758v	2	25	'	'	PUNCT
bc386h4758v	2	26	perfection	perfection	NOUN
bc386h4758v	2	27	'	'	PUNCT
bc386h4758v	2	28	.	.	PUNCT
bc386h4758v	3	1	against	against	ADP
bc386h4758v	3	2	the	the	DET
bc386h4758v	3	3	prevailing	prevail	VERB
bc386h4758v	3	4	opinion	opinion	NOUN
bc386h4758v	3	5	that	that	PRON
bc386h4758v	3	6	aristotle	aristotle	PROPN
bc386h4758v	3	7	meant	mean	VERB
bc386h4758v	3	8	for	for	ADP
bc386h4758v	3	9	the	the	DET
bc386h4758v	3	10	class	class	NOUN
bc386h4758v	3	11	of	of	ADP
bc386h4758v	3	12	syllogisms	syllogism	NOUN
bc386h4758v	3	13	to	to	PART
bc386h4758v	3	14	be	be	AUX
bc386h4758v	3	15	coextensive	coextensive	ADJ
bc386h4758v	3	16	with	with	ADP
bc386h4758v	3	17	the	the	DET
bc386h4758v	3	18	class	class	NOUN
bc386h4758v	3	19	of	of	ADP
bc386h4758v	3	20	deductions	deduction	NOUN
bc386h4758v	3	21	,	,	PUNCT
bc386h4758v	3	22	i	i	PRON
bc386h4758v	3	23	suggest	suggest	VERB
bc386h4758v	3	24	that	that	SCONJ
bc386h4758v	3	25	he	he	PRON
bc386h4758v	3	26	understood	understand	VERB
bc386h4758v	3	27	syllogisms	syllogism	NOUN
bc386h4758v	3	28	to	to	PART
bc386h4758v	3	29	constitute	constitute	VERB
bc386h4758v	3	30	a	a	DET
bc386h4758v	3	31	particular	particular	ADJ
bc386h4758v	3	32	kind	kind	NOUN
bc386h4758v	3	33	of	of	ADP
bc386h4758v	3	34	deduction	deduction	NOUN
bc386h4758v	3	35	.	.	PUNCT
bc386h4758v	4	1	roughly	roughly	ADV
bc386h4758v	4	2	,	,	PUNCT
bc386h4758v	4	3	he	he	PRON
bc386h4758v	4	4	took	take	VERB
bc386h4758v	4	5	them	they	PRON
bc386h4758v	4	6	to	to	PART
bc386h4758v	4	7	be	be	AUX
bc386h4758v	4	8	either	either	CCONJ
bc386h4758v	4	9	computational	computational	ADJ
bc386h4758v	4	10	deductive	deductive	ADJ
bc386h4758v	4	11	procedures	procedure	NOUN
bc386h4758v	4	12	,	,	PUNCT
bc386h4758v	4	13	or	or	CCONJ
bc386h4758v	4	14	data	data	NOUN
bc386h4758v	4	15	structures	structure	NOUN
bc386h4758v	4	16	susceptible	susceptible	ADJ
bc386h4758v	4	17	to	to	ADP
bc386h4758v	4	18	such	such	ADJ
bc386h4758v	4	19	procedures	procedure	NOUN
bc386h4758v	4	20	,	,	PUNCT
bc386h4758v	4	21	where	where	SCONJ
bc386h4758v	4	22	both	both	PRON
bc386h4758v	4	23	are	be	AUX
bc386h4758v	4	24	dependably	dependably	ADV
bc386h4758v	4	25	linked	link	VERB
bc386h4758v	4	26	to	to	ADP
bc386h4758v	4	27	the	the	DET
bc386h4758v	4	28	epistemic	epistemic	ADJ
bc386h4758v	4	29	feature	feature	NOUN
bc386h4758v	4	30	of	of	ADP
bc386h4758v	4	31	evident	evident	ADJ
bc386h4758v	4	32	validity.using	validity.use	VERB
bc386h4758v	4	33	contemporary	contemporary	ADJ
bc386h4758v	4	34	techniques	technique	NOUN
bc386h4758v	4	35	in	in	ADP
bc386h4758v	4	36	the	the	DET
bc386h4758v	4	37	theory	theory	NOUN
bc386h4758v	4	38	of	of	ADP
bc386h4758v	4	39	computation	computation	NOUN
bc386h4758v	4	40	,	,	PUNCT
bc386h4758v	4	41	i	i	PRON
bc386h4758v	4	42	show	show	VERB
bc386h4758v	4	43	how	how	SCONJ
bc386h4758v	4	44	the	the	DET
bc386h4758v	4	45	underlying	underlying	ADJ
bc386h4758v	4	46	data	datum	NOUN
bc386h4758v	4	47	structure	structure	NOUN
bc386h4758v	4	48	of	of	ADP
bc386h4758v	4	49	syllogisms	syllogism	NOUN
bc386h4758v	4	50	can	can	AUX
bc386h4758v	4	51	be	be	AUX
bc386h4758v	4	52	represented	represent	VERB
bc386h4758v	4	53	as	as	ADP
bc386h4758v	4	54	full	full	ADJ
bc386h4758v	4	55	binary	binary	ADJ
bc386h4758v	4	56	trees	tree	NOUN
bc386h4758v	4	57	.	.	PUNCT
bc386h4758v	5	1	further	far	ADV
bc386h4758v	5	2	,	,	PUNCT
bc386h4758v	5	3	i	i	PRON
bc386h4758v	5	4	elucidate	elucidate	VERB
bc386h4758v	5	5	several	several	ADJ
bc386h4758v	5	6	mechanical	mechanical	ADJ
bc386h4758v	5	7	procedures	procedure	NOUN
bc386h4758v	5	8	that	that	PRON
bc386h4758v	5	9	are	be	AUX
bc386h4758v	5	10	found	find	VERB
bc386h4758v	5	11	in	in	ADP
bc386h4758v	5	12	the	the	DET
bc386h4758v	5	13	analytics	analytic	NOUN
bc386h4758v	5	14	,	,	PUNCT
bc386h4758v	5	15	most	most	ADV
bc386h4758v	5	16	notably	notably	ADV
bc386h4758v	5	17	,	,	PUNCT
bc386h4758v	5	18	the	the	DET
bc386h4758v	5	19	procedure	procedure	NOUN
bc386h4758v	5	20	of	of	ADP
bc386h4758v	5	21	perfecting	perfect	VERB
bc386h4758v	5	22	imperfect	imperfect	ADJ
bc386h4758v	5	23	syllogisms.the	syllogisms.the	DET
bc386h4758v	5	24	exposure	exposure	NOUN
bc386h4758v	5	25	of	of	ADP
bc386h4758v	5	26	these	these	DET
bc386h4758v	5	27	computational	computational	ADJ
bc386h4758v	5	28	features	feature	NOUN
bc386h4758v	5	29	is	be	AUX
bc386h4758v	5	30	found	find	VERB
bc386h4758v	5	31	to	to	PART
bc386h4758v	5	32	raise	raise	VERB
bc386h4758v	5	33	an	an	DET
bc386h4758v	5	34	interesting	interesting	ADJ
bc386h4758v	5	35	combinatorial	combinatorial	ADJ
bc386h4758v	5	36	problem	problem	NOUN
bc386h4758v	5	37	for	for	ADP
bc386h4758v	5	38	syllogisms	syllogism	NOUN
bc386h4758v	5	39	with	with	ADP
bc386h4758v	5	40	more	more	ADJ
bc386h4758v	5	41	than	than	ADP
bc386h4758v	5	42	two	two	NUM
bc386h4758v	5	43	premises	premise	NOUN
bc386h4758v	5	44	.	.	PUNCT
bc386h4758v	6	1	informally	informally	ADV
bc386h4758v	6	2	,	,	PUNCT
bc386h4758v	6	3	the	the	DET
bc386h4758v	6	4	problem	problem	NOUN
bc386h4758v	6	5	may	may	AUX
bc386h4758v	6	6	be	be	AUX
bc386h4758v	6	7	posed	pose	VERB
bc386h4758v	6	8	as	as	ADP
bc386h4758v	6	9	a	a	DET
bc386h4758v	6	10	question	question	NOUN
bc386h4758v	6	11	:	:	PUNCT
bc386h4758v	6	12	for	for	ADP
bc386h4758v	6	13	such	such	DET
bc386h4758v	6	14	a	a	DET
bc386h4758v	6	15	syllogism	syllogism	NOUN
bc386h4758v	6	16	,	,	PUNCT
bc386h4758v	6	17	what	what	PRON
bc386h4758v	6	18	are	be	AUX
bc386h4758v	6	19	all	all	DET
bc386h4758v	6	20	the	the	DET
bc386h4758v	6	21	distinct	distinct	ADJ
bc386h4758v	6	22	ways	way	NOUN
bc386h4758v	6	23	in	in	ADP
bc386h4758v	6	24	which	which	PRON
bc386h4758v	6	25	its	its	PRON
bc386h4758v	6	26	conclusion	conclusion	NOUN
bc386h4758v	6	27	may	may	AUX
bc386h4758v	6	28	be	be	AUX
bc386h4758v	6	29	obtained	obtain	VERB
bc386h4758v	6	30	from	from	ADP
bc386h4758v	6	31	its	its	PRON
bc386h4758v	6	32	premises	premise	NOUN
bc386h4758v	6	33	?	?	PUNCT
bc386h4758v	7	1	this	this	PRON
bc386h4758v	7	2	is	be	AUX
bc386h4758v	7	3	algorithmically	algorithmically	ADV
bc386h4758v	7	4	interpreted	interpret	VERB
bc386h4758v	7	5	as	as	ADP
bc386h4758v	7	6	the	the	DET
bc386h4758v	7	7	task	task	NOUN
bc386h4758v	7	8	of	of	ADP
bc386h4758v	7	9	finding	find	VERB
bc386h4758v	7	10	all	all	DET
bc386h4758v	7	11	the	the	DET
bc386h4758v	7	12	possible	possible	ADJ
bc386h4758v	7	13	syllogistic	syllogistic	ADJ
bc386h4758v	7	14	full	full	ADJ
bc386h4758v	7	15	binary	binary	ADJ
bc386h4758v	7	16	trees	tree	NOUN
bc386h4758v	7	17	of	of	ADP
bc386h4758v	7	18	a	a	DET
bc386h4758v	7	19	multi	multi	NOUN
bc386h4758v	7	20	-	-	ADJ
bc386h4758v	7	21	premise	premise	NOUN
bc386h4758v	7	22	syllogism.this	syllogism.this	NOUN
bc386h4758v	7	23	turns	turn	VERB
bc386h4758v	7	24	out	out	ADP
bc386h4758v	7	25	to	to	PART
bc386h4758v	7	26	be	be	AUX
bc386h4758v	7	27	a	a	DET
bc386h4758v	7	28	computationally	computationally	ADV
bc386h4758v	7	29	challenging	challenging	ADJ
bc386h4758v	7	30	task	task	NOUN
bc386h4758v	7	31	.	.	PUNCT
bc386h4758v	8	1	for	for	ADP
bc386h4758v	8	2	such	such	ADJ
bc386h4758v	8	3	syllogisms	syllogism	NOUN
bc386h4758v	8	4	whose	whose	DET
bc386h4758v	8	5	premises	premise	NOUN
bc386h4758v	8	6	are	be	AUX
bc386h4758v	8	7	ordered	order	VERB
bc386h4758v	8	8	,	,	PUNCT
bc386h4758v	8	9	i	i	PRON
bc386h4758v	8	10	show	show	VERB
bc386h4758v	8	11	both	both	PRON
bc386h4758v	8	12	that	that	SCONJ
bc386h4758v	8	13	the	the	DET
bc386h4758v	8	14	problem	problem	NOUN
bc386h4758v	8	15	is	be	AUX
bc386h4758v	8	16	computationally	computationally	ADV
bc386h4758v	8	17	solvable	solvable	ADJ
bc386h4758v	8	18	,	,	PUNCT
bc386h4758v	8	19	and	and	CCONJ
bc386h4758v	8	20	executable	executable	ADJ
bc386h4758v	8	21	in	in	ADP
bc386h4758v	8	22	polynomial	polynomial	ADJ
bc386h4758v	8	23	time	time	NOUN
bc386h4758v	8	24	.	.	PUNCT
bc386h4758v	9	1	for	for	ADP
bc386h4758v	9	2	multi	multi	ADJ
bc386h4758v	9	3	-	-	ADJ
bc386h4758v	9	4	premise	premise	ADJ
bc386h4758v	9	5	syllogisms	syllogism	NOUN
bc386h4758v	9	6	with	with	ADP
bc386h4758v	9	7	unordered	unordered	ADJ
bc386h4758v	9	8	premises	premise	NOUN
bc386h4758v	9	9	,	,	PUNCT
bc386h4758v	9	10	i	i	PRON
bc386h4758v	9	11	suggest	suggest	VERB
bc386h4758v	9	12	that	that	SCONJ
bc386h4758v	9	13	the	the	DET
bc386h4758v	9	14	problem	problem	NOUN
bc386h4758v	9	15	of	of	ADP
bc386h4758v	9	16	finding	find	VERB
bc386h4758v	9	17	all	all	DET
bc386h4758v	9	18	the	the	DET
bc386h4758v	9	19	relevant	relevant	ADJ
bc386h4758v	9	20	trees	tree	NOUN
bc386h4758v	9	21	may	may	AUX
bc386h4758v	9	22	be	be	AUX
bc386h4758v	9	23	np	np	NOUN
bc386h4758v	9	24	-	-	ADJ
bc386h4758v	9	25	complete	complete	ADJ
bc386h4758v	9	26	.	.	PUNCT
bc386h4758v	10	1	in	in	ADP
bc386h4758v	10	2	closing	closing	NOUN
bc386h4758v	10	3	,	,	PUNCT
bc386h4758v	10	4	this	this	DET
bc386h4758v	10	5	thesis	thesis	NOUN
bc386h4758v	10	6	suggests	suggest	VERB
bc386h4758v	10	7	that	that	SCONJ
bc386h4758v	10	8	aristotle	aristotle	PROPN
bc386h4758v	10	9	should	should	AUX
bc386h4758v	10	10	be	be	AUX
bc386h4758v	10	11	credited	credit	VERB
bc386h4758v	10	12	with	with	ADP
bc386h4758v	10	13	the	the	DET
bc386h4758v	10	14	innovation	innovation	NOUN
bc386h4758v	10	15	of	of	ADP
bc386h4758v	10	16	computationalist	computationalist	ADJ
bc386h4758v	10	17	analysis	analysis	NOUN
bc386h4758v	10	18	as	as	ADP
bc386h4758v	10	19	a	a	DET
bc386h4758v	10	20	philosophical	philosophical	ADJ
bc386h4758v	10	21	method	method	NOUN
bc386h4758v	10	22	.	.	PUNCT
bc386h4758v	11	1	it	it	PRON
bc386h4758v	11	2	further	far	ADV
bc386h4758v	11	3	observes	observe	VERB
bc386h4758v	11	4	that	that	SCONJ
bc386h4758v	11	5	the	the	DET
bc386h4758v	11	6	algorithmic	algorithmic	ADJ
bc386h4758v	11	7	features	feature	NOUN
bc386h4758v	11	8	of	of	ADP
bc386h4758v	11	9	the	the	DET
bc386h4758v	11	10	syllogistic	syllogistic	NOUN
bc386h4758v	11	11	deserve	deserve	VERB
bc386h4758v	11	12	further	further	ADJ
bc386h4758v	11	13	study	study	NOUN
bc386h4758v	11	14	,	,	PUNCT
bc386h4758v	11	15	and	and	CCONJ
bc386h4758v	11	16	should	should	AUX
bc386h4758v	11	17	not	not	PART
bc386h4758v	11	18	be	be	AUX
bc386h4758v	11	19	occluded	occlude	VERB
bc386h4758v	11	20	by	by	ADP
bc386h4758v	11	21	the	the	DET
bc386h4758v	11	22	more	more	ADV
bc386h4758v	11	23	purely	purely	ADV
bc386h4758v	11	24	logical	logical	ADJ
bc386h4758v	11	25	aspects	aspect	NOUN
bc386h4758v	11	26	of	of	ADP
bc386h4758v	11	27	the	the	DET
bc386h4758v	11	28	analytics	analytic	NOUN
bc386h4758v	11	29	.	.	PUNCT