id	sid	tid	token	lemma	pos
asir-35970	1	1	applied	apply	VERB
asir-35970	1	2	science	science	NOUN
asir-35970	1	3	and	and	CCONJ
asir-35970	1	4	innovative	innovative	ADJ
asir-35970	1	5	research	research	NOUN
asir-35970	1	6	issn	issn	VERB
asir-35970	1	7	2474	2474	NUM
asir-35970	1	8	-	-	SYM
asir-35970	1	9	4972	4972	NUM
asir-35970	1	10	(	(	PUNCT
asir-35970	1	11	print	print	NOUN
asir-35970	1	12	)	)	PUNCT
asir-35970	1	13	issn	issn	VERB
asir-35970	1	14	2474	2474	NUM
asir-35970	1	15	-	-	SYM
asir-35970	1	16	4980	4980	NUM
asir-35970	1	17	(	(	PUNCT
asir-35970	1	18	online	online	ADJ
asir-35970	1	19	)	)	PUNCT
asir-35970	1	20	vol	vol	NOUN
asir-35970	1	21	.	.	NOUN
asir-35970	1	22	8	8	NUM
asir-35970	1	23	,	,	PUNCT
asir-35970	1	24	no	no	INTJ
asir-35970	1	25	.	.	NOUN
asir-35970	1	26	1	1	NUM
asir-35970	1	27	,	,	PUNCT
asir-35970	1	28	2024	2024	NUM
asir-35970	1	29	www.scholink.org/ojs/index.php/asir	www.scholink.org/ojs/index.php/asir	NOUN
asir-35970	1	30	31	31	NUM
asir-35970	1	31	original	original	ADJ
asir-35970	1	32	paper	paper	NOUN
asir-35970	1	33	generalized	generalize	VERB
asir-35970	1	34	syllogism	syllogism	NOUN
asir-35970	1	35	reasoning	reason	VERB
asir-35970	1	36	with	with	ADP
asir-35970	1	37	the	the	DET
asir-35970	1	38	quantifiers	quantifier	NOUN
asir-35970	1	39	in	in	ADP
asir-35970	1	40	modern	modern	ADJ
asir-35970	1	41	square{no	square{no	PROPN
asir-35970	1	42	}	}	PUNCT
asir-35970	1	43	and	and	CCONJ
asir-35970	1	44	square{most	square{most	ADJ
asir-35970	1	45	}	}	PUNCT
asir-35970	1	46	liheng	liheng	PROPN
asir-35970	1	47	hao	hao	PROPN
asir-35970	1	48	school	school	PROPN
asir-35970	1	49	of	of	ADP
asir-35970	1	50	artificial	artificial	ADJ
asir-35970	1	51	intelligence	intelligence	NOUN
asir-35970	1	52	and	and	CCONJ
asir-35970	1	53	automation	automation	NOUN
asir-35970	1	54	,	,	PUNCT
asir-35970	1	55	beijing	beijing	PROPN
asir-35970	1	56	university	university	PROPN
asir-35970	1	57	of	of	ADP
asir-35970	1	58	technology	technology	PROPN
asir-35970	1	59	,	,	PUNCT
asir-35970	1	60	beijing	beijing	PROPN
asir-35970	1	61	,	,	PUNCT
asir-35970	1	62	china	china	PROPN
asir-35970	1	63	received	receive	VERB
asir-35970	1	64	:	:	PUNCT
asir-35970	1	65	december	december	PROPN
asir-35970	1	66	26	26	NUM
asir-35970	1	67	,	,	PUNCT
asir-35970	1	68	2023	2023	NUM
asir-35970	1	69	accepted	accept	VERB
asir-35970	1	70	:	:	PUNCT
asir-35970	1	71	january	january	PROPN
asir-35970	1	72	15	15	NUM
asir-35970	1	73	,	,	PUNCT
asir-35970	1	74	2024	2024	NUM
asir-35970	1	75	online	online	ADV
asir-35970	1	76	published	publish	VERB
asir-35970	1	77	:	:	PUNCT
asir-35970	1	78	january	january	PROPN
asir-35970	1	79	23	23	NUM
asir-35970	1	80	,	,	PUNCT
asir-35970	1	81	2024	2024	NUM
asir-35970	1	82	doi:10.22158	doi:10.22158	NOUN
asir-35970	1	83	/	/	SYM
asir-35970	1	84	asir.v8n1p31	asir.v8n1p31	PROPN
asir-35970	1	85	url	url	PROPN
asir-35970	1	86	:	:	PUNCT
asir-35970	2	1	http://doi.org/10.22158/asir.v8n1p31	http://doi.org/10.22158/asir.v8n1p31	PROPN
asir-35970	2	2	abstract	abstract	VERB
asir-35970	2	3	a	a	DET
asir-35970	2	4	modern	modern	ADJ
asir-35970	2	5	square{q}={q	square{q}={q	NOUN
asir-35970	2	6	,	,	PUNCT
asir-35970	2	7	q	q	PROPN
asir-35970	2	8	,	,	PUNCT
asir-35970	2	9	q	q	PROPN
asir-35970	2	10	,	,	PUNCT
asir-35970	2	11	q	q	NOUN
asir-35970	2	12	}	}	PUNCT
asir-35970	2	13	is	be	AUX
asir-35970	2	14	composed	compose	VERB
asir-35970	2	15	of	of	ADP
asir-35970	2	16	a	a	DET
asir-35970	2	17	generalized	generalize	VERB
asir-35970	2	18	quantifier	quantifier	NOUN
asir-35970	2	19	q	q	NOUN
asir-35970	2	20	and	and	CCONJ
asir-35970	2	21	its	its	PRON
asir-35970	2	22	three	three	NUM
asir-35970	2	23	types	type	NOUN
asir-35970	2	24	of	of	ADP
asir-35970	2	25	negative	negative	ADJ
asir-35970	2	26	quantifiers	quantifier	NOUN
asir-35970	2	27	:	:	PUNCT
asir-35970	2	28	inner	inner	ADJ
asir-35970	2	29	,	,	PUNCT
asir-35970	2	30	outer	outer	ADJ
asir-35970	2	31	and	and	CCONJ
asir-35970	2	32	dual	dual	ADJ
asir-35970	2	33	negative	negative	ADJ
asir-35970	2	34	one	one	NUM
asir-35970	2	35	.	.	PUNCT
asir-35970	3	1	this	this	DET
asir-35970	3	2	paper	paper	NOUN
asir-35970	3	3	mainly	mainly	ADV
asir-35970	3	4	discusses	discuss	VERB
asir-35970	3	5	the	the	DET
asir-35970	3	6	non	non	ADJ
asir-35970	3	7	-	-	ADJ
asir-35970	3	8	trivial	trivial	ADJ
asir-35970	3	9	generalized	generalized	ADJ
asir-35970	3	10	syllogisms	syllogism	NOUN
asir-35970	3	11	reasoning	reason	VERB
asir-35970	3	12	with	with	ADP
asir-35970	3	13	the	the	DET
asir-35970	3	14	quantifiers	quantifier	NOUN
asir-35970	3	15	in	in	ADP
asir-35970	3	16	square{no	square{no	NOUN
asir-35970	3	17	}	}	PUNCT
asir-35970	3	18	and	and	CCONJ
asir-35970	3	19	square{most	square{most	NUM
asir-35970	3	20	}	}	PUNCT
asir-35970	3	21	.	.	PUNCT
asir-35970	4	1	to	to	ADP
asir-35970	4	2	this	this	DET
asir-35970	4	3	end	end	NOUN
asir-35970	4	4	,	,	PUNCT
asir-35970	4	5	this	this	DET
asir-35970	4	6	paper	paper	NOUN
asir-35970	4	7	firstly	firstly	ADV
asir-35970	4	8	gives	give	VERB
asir-35970	4	9	formalizes	formalize	VERB
asir-35970	4	10	generalized	generalized	ADJ
asir-35970	4	11	syllogisms	syllogism	NOUN
asir-35970	4	12	,	,	PUNCT
asir-35970	4	13	then	then	ADV
asir-35970	4	14	proves	prove	VERB
asir-35970	4	15	the	the	DET
asir-35970	4	16	validity	validity	NOUN
asir-35970	4	17	of	of	ADP
asir-35970	4	18	the	the	DET
asir-35970	4	19	syllogism	syllogism	NOUN
asir-35970	4	20	amm-1	amm-1	VERB
asir-35970	4	21	with	with	ADP
asir-35970	4	22	the	the	DET
asir-35970	4	23	generalized	generalized	ADJ
asir-35970	4	24	quantifier	quantifier	NOUN
asir-35970	4	25	most	most	ADV
asir-35970	4	26	,	,	PUNCT
asir-35970	4	27	and	and	CCONJ
asir-35970	4	28	further	far	ADV
asir-35970	4	29	deduces	deduce	VERB
asir-35970	4	30	the	the	DET
asir-35970	4	31	other	other	ADJ
asir-35970	4	32	24	24	NUM
asir-35970	4	33	valid	valid	ADJ
asir-35970	4	34	syllogisms	syllogism	NOUN
asir-35970	4	35	.	.	PUNCT
asir-35970	5	1	the	the	DET
asir-35970	5	2	reason	reason	NOUN
asir-35970	5	3	why	why	SCONJ
asir-35970	5	4	these	these	DET
asir-35970	5	5	valid	valid	ADJ
asir-35970	5	6	generalized	generalized	ADJ
asir-35970	5	7	syllogisms	syllogism	NOUN
asir-35970	5	8	studied	study	VERB
asir-35970	5	9	in	in	ADP
asir-35970	5	10	this	this	DET
asir-35970	5	11	paper	paper	NOUN
asir-35970	5	12	can	can	AUX
asir-35970	5	13	be	be	AUX
asir-35970	5	14	mutually	mutually	ADV
asir-35970	5	15	reduced	reduce	VERB
asir-35970	5	16	is	be	AUX
asir-35970	5	17	because	because	SCONJ
asir-35970	5	18	:	:	PUNCT
asir-35970	5	19	(	(	PUNCT
asir-35970	5	20	1	1	X
asir-35970	5	21	)	)	PUNCT
asir-35970	5	22	any	any	PRON
asir-35970	5	23	of	of	ADP
asir-35970	5	24	the	the	DET
asir-35970	5	25	four	four	NUM
asir-35970	5	26	aristotelian	aristotelian	ADJ
asir-35970	5	27	quantifiers	quantifier	NOUN
asir-35970	5	28	in	in	ADP
asir-35970	5	29	square{no	square{no	NOUN
asir-35970	5	30	}	}	PUNCT
asir-35970	5	31	can	can	AUX
asir-35970	5	32	define	define	VERB
asir-35970	5	33	the	the	DET
asir-35970	5	34	other	other	ADJ
asir-35970	5	35	three	three	NUM
asir-35970	5	36	ones	one	NOUN
asir-35970	5	37	;	;	PUNCT
asir-35970	5	38	(	(	PUNCT
asir-35970	5	39	2	2	X
asir-35970	5	40	)	)	PUNCT
asir-35970	5	41	so	so	ADV
asir-35970	5	42	can	can	AUX
asir-35970	5	43	any	any	PRON
asir-35970	5	44	of	of	ADP
asir-35970	5	45	the	the	DET
asir-35970	5	46	four	four	NUM
asir-35970	5	47	generalized	generalized	ADJ
asir-35970	5	48	quantifiers	quantifier	NOUN
asir-35970	5	49	in	in	ADP
asir-35970	5	50	square{most	square{most	ADJ
asir-35970	5	51	}	}	PUNCT
asir-35970	5	52	.	.	PUNCT
asir-35970	6	1	this	this	DET
asir-35970	6	2	study	study	NOUN
asir-35970	6	3	is	be	AUX
asir-35970	6	4	undoubtedly	undoubtedly	ADV
asir-35970	6	5	beneficial	beneficial	ADJ
asir-35970	6	6	not	not	PART
asir-35970	6	7	only	only	ADV
asir-35970	6	8	for	for	ADP
asir-35970	6	9	the	the	DET
asir-35970	6	10	development	development	NOUN
asir-35970	6	11	of	of	ADP
asir-35970	6	12	modern	modern	ADJ
asir-35970	6	13	logic	logic	NOUN
asir-35970	6	14	,	,	PUNCT
asir-35970	6	15	but	but	CCONJ
asir-35970	6	16	also	also	ADV
asir-35970	6	17	for	for	ADP
asir-35970	6	18	the	the	DET
asir-35970	6	19	development	development	NOUN
asir-35970	6	20	of	of	ADP
asir-35970	6	21	inference	inference	NOUN
asir-35970	6	22	machines	machine	NOUN
asir-35970	6	23	in	in	ADP
asir-35970	6	24	artificial	artificial	ADJ
asir-35970	6	25	intelligence	intelligence	NOUN
asir-35970	6	26	.	.	PUNCT
asir-35970	7	1	keywords	keyword	VERB
asir-35970	7	2	aristotelian	aristotelian	PROPN
asir-35970	7	3	quantifiers	quantifier	NOUN
asir-35970	7	4	,	,	PUNCT
asir-35970	7	5	generalized	generalized	ADJ
asir-35970	7	6	quantifiers	quantifier	NOUN
asir-35970	7	7	,	,	PUNCT
asir-35970	7	8	generalized	generalized	ADJ
asir-35970	7	9	syllogisms	syllogism	NOUN
asir-35970	7	10	,	,	PUNCT
asir-35970	7	11	validity	validity	NOUN
asir-35970	7	12	1	1	NUM
asir-35970	7	13	.	.	PUNCT
asir-35970	8	1	introduction	introduction	NOUN
asir-35970	8	2	there	there	PRON
asir-35970	8	3	are	be	VERB
asir-35970	8	4	many	many	ADJ
asir-35970	8	5	generalized	generalized	ADJ
asir-35970	8	6	quantifiers	quantifier	NOUN
asir-35970	8	7	in	in	ADP
asir-35970	8	8	natural	natural	ADJ
asir-35970	8	9	language	language	NOUN
asir-35970	8	10	(	(	PUNCT
asir-35970	8	11	barwise	barwise	PROPN
asir-35970	8	12	&	&	CCONJ
asir-35970	8	13	cooper	cooper	PROPN
asir-35970	8	14	,	,	PUNCT
asir-35970	8	15	1981	1981	NUM
asir-35970	8	16	)	)	PUNCT
asir-35970	8	17	.	.	PUNCT
asir-35970	9	1	generally	generally	ADV
asir-35970	9	2	speaking	speak	VERB
asir-35970	9	3	,	,	PUNCT
asir-35970	9	4	noun	noun	NOUN
asir-35970	9	5	phrases	phrase	NOUN
asir-35970	9	6	and	and	CCONJ
asir-35970	9	7	their	their	PRON
asir-35970	9	8	determiners	determiner	NOUN
asir-35970	9	9	are	be	AUX
asir-35970	9	10	generalized	generalized	ADJ
asir-35970	9	11	quantifiers	quantifier	NOUN
asir-35970	9	12	(	(	PUNCT
asir-35970	9	13	such	such	ADJ
asir-35970	9	14	as	as	ADP
asir-35970	9	15	my	my	PRON
asir-35970	9	16	book	book	NOUN
asir-35970	9	17	,	,	PUNCT
asir-35970	9	18	most	most	ADJ
asir-35970	9	19	,	,	PUNCT
asir-35970	9	20	fewer	few	ADJ
asir-35970	9	21	than	than	ADP
asir-35970	9	22	half	half	NOUN
asir-35970	9	23	of	of	ADP
asir-35970	9	24	the	the	PRON
asir-35970	9	25	,	,	PUNCT
asir-35970	9	26	both	both	PRON
asir-35970	9	27	,	,	PUNCT
asir-35970	9	28	infinitely	infinitely	ADV
asir-35970	9	29	many	many	ADJ
asir-35970	9	30	)	)	PUNCT
asir-35970	9	31	.	.	PUNCT
asir-35970	10	1	aristotelian	aristotelian	PROPN
asir-35970	10	2	quantifiers	quantifier	NOUN
asir-35970	10	3	(	(	PUNCT
asir-35970	10	4	i.e.	i.e.	X
asir-35970	10	5	,	,	PUNCT
asir-35970	10	6	all	all	PRON
asir-35970	10	7	,	,	PUNCT
asir-35970	10	8	no	no	INTJ
asir-35970	10	9	,	,	PUNCT
asir-35970	10	10	some	some	PRON
asir-35970	10	11	and	and	CCONJ
asir-35970	10	12	not	not	PART
asir-35970	10	13	all	all	PRON
asir-35970	10	14	)	)	PUNCT
asir-35970	10	15	are	be	AUX
asir-35970	10	16	trivial	trivial	ADJ
asir-35970	10	17	generalized	generalized	ADJ
asir-35970	10	18	ones	one	NOUN
asir-35970	10	19	,	,	PUNCT
asir-35970	10	20	and	and	CCONJ
asir-35970	10	21	the	the	DET
asir-35970	10	22	latter	latter	ADJ
asir-35970	10	23	is	be	AUX
asir-35970	10	24	an	an	DET
asir-35970	10	25	extension	extension	NOUN
asir-35970	10	26	of	of	ADP
asir-35970	10	27	the	the	DET
asir-35970	10	28	former	former	ADJ
asir-35970	10	29	(	(	PUNCT
asir-35970	10	30	zhang	zhang	PROPN
asir-35970	10	31	&	&	CCONJ
asir-35970	10	32	wu	wu	PROPN
asir-35970	10	33	,	,	PUNCT
asir-35970	10	34	2021	2021	NUM
asir-35970	10	35	)	)	PUNCT
asir-35970	10	36	.	.	PUNCT
asir-35970	11	1	aristotelian	aristotelian	PROPN
asir-35970	11	2	syllogisms	syllogism	NOUN
asir-35970	11	3	characterize	characterize	VERB
asir-35970	11	4	the	the	DET
asir-35970	11	5	semantic	semantic	ADJ
asir-35970	11	6	and	and	CCONJ
asir-35970	11	7	inferential	inferential	ADJ
asir-35970	11	8	properties	property	NOUN
asir-35970	11	9	of	of	ADP
asir-35970	11	10	aristotelian	aristotelian	ADJ
asir-35970	11	11	quantifiers	quantifier	NOUN
asir-35970	11	12	,	,	PUNCT
asir-35970	11	13	and	and	CCONJ
asir-35970	11	14	generalized	generalized	ADJ
asir-35970	11	15	syllogisms	syllogism	NOUN
asir-35970	11	16	characterize	characterize	VERB
asir-35970	11	17	those	those	PRON
asir-35970	11	18	of	of	ADP
asir-35970	11	19	generalized	generalized	ADJ
asir-35970	11	20	quantifiers	quantifier	NOUN
asir-35970	11	21	.	.	PUNCT
asir-35970	12	1	thus	thus	ADV
asir-35970	12	2	,	,	PUNCT
asir-35970	12	3	generalized	generalized	ADJ
asir-35970	12	4	syllogisms	syllogism	NOUN
asir-35970	12	5	are	be	AUX
asir-35970	12	6	extensions	extension	NOUN
asir-35970	12	7	of	of	ADP
asir-35970	12	8	aristotelian	aristotelian	ADJ
asir-35970	12	9	ones	one	NOUN
asir-35970	12	10	.	.	PUNCT
asir-35970	13	1	there	there	PRON
asir-35970	13	2	are	be	VERB
asir-35970	13	3	many	many	ADJ
asir-35970	13	4	works	work	NOUN
asir-35970	13	5	on	on	ADP
asir-35970	13	6	aristotelian	aristotelian	ADJ
asir-35970	13	7	syllogisms	syllogism	NOUN
asir-35970	13	8	(	(	PUNCT
asir-35970	13	9	łukasiewicz	łukasiewicz	NOUN
asir-35970	13	10	,	,	PUNCT
asir-35970	13	11	1957	1957	NUM
asir-35970	13	12	;	;	PUNCT
asir-35970	13	13	moss	moss	NOUN
asir-35970	13	14	,	,	PUNCT
asir-35970	13	15	2008	2008	NUM
asir-35970	13	16	;	;	PUNCT
asir-35970	13	17	hao	hao	PROPN
asir-35970	13	18	,	,	PUNCT
asir-35970	13	19	2023	2023	NUM
asir-35970	13	20	)	)	PUNCT
asir-35970	13	21	and	and	CCONJ
asir-35970	13	22	aristotelian	aristotelian	ADJ
asir-35970	13	23	modal	modal	NOUN
asir-35970	13	24	syllogisms	syllogism	NOUN
asir-35970	13	25	(	(	PUNCT
asir-35970	13	26	thomason	thomason	PROPN
asir-35970	13	27	,	,	PUNCT
asir-35970	13	28	1997	1997	NUM
asir-35970	13	29	;	;	PUNCT
asir-35970	13	30	johnson	johnson	PROPN
asir-35970	13	31	,	,	PUNCT
asir-35970	13	32	2004	2004	NUM
asir-35970	13	33	;	;	PUNCT
asir-35970	13	34	malink	malink	PROPN
asir-35970	13	35	,	,	PUNCT
asir-35970	13	36	2013	2013	NUM
asir-35970	13	37	;	;	PUNCT
asir-35970	13	38	zhang	zhang	PROPN
asir-35970	13	39	,	,	PUNCT
asir-35970	13	40	2020	2020	NUM
asir-35970	13	41	;	;	PUNCT
asir-35970	13	42	zhang	zhang	PROPN
asir-35970	13	43	,	,	PUNCT
asir-35970	13	44	www.scholink.org/ojs/index.php/asir	www.scholink.org/ojs/index.php/asir	VERB
asir-35970	13	45	applied	apply	VERB
asir-35970	13	46	science	science	NOUN
asir-35970	13	47	and	and	CCONJ
asir-35970	13	48	innovative	innovative	ADJ
asir-35970	13	49	research	research	NOUN
asir-35970	13	50	vol	vol	NOUN
asir-35970	13	51	.	.	PROPN
asir-35970	14	1	8	8	NUM
asir-35970	14	2	,	,	PUNCT
asir-35970	14	3	no	no	INTJ
asir-35970	14	4	.	.	NOUN
asir-35970	14	5	1	1	NUM
asir-35970	14	6	,	,	PUNCT
asir-35970	14	7	2024	2024	NUM
asir-35970	14	8	32	32	NUM
asir-35970	14	9	published	publish	VERB
asir-35970	14	10	by	by	ADP
asir-35970	14	11	scholink	scholink	PROPN
asir-35970	14	12	inc	inc	PROPN
asir-35970	14	13	.	.	PROPN
asir-35970	14	14	2023	2023	NUM
asir-35970	14	15	)	)	PUNCT
asir-35970	14	16	at	at	ADP
asir-35970	14	17	home	home	NOUN
asir-35970	14	18	and	and	CCONJ
asir-35970	14	19	abroad	abroad	ADV
asir-35970	14	20	,	,	PUNCT
asir-35970	14	21	but	but	CCONJ
asir-35970	14	22	there	there	PRON
asir-35970	14	23	are	be	VERB
asir-35970	14	24	few	few	ADJ
asir-35970	14	25	works	work	NOUN
asir-35970	14	26	on	on	ADP
asir-35970	14	27	generalized	generalized	ADJ
asir-35970	14	28	syllogisms	syllogism	NOUN
asir-35970	14	29	(	(	PUNCT
asir-35970	14	30	moss	moss	NOUN
asir-35970	14	31	,	,	PUNCT
asir-35970	14	32	2010	2010	NUM
asir-35970	14	33	;	;	PUNCT
asir-35970	14	34	endrullis	endrullis	PROPN
asir-35970	14	35	&	&	CCONJ
asir-35970	14	36	moss	moss	NOUN
asir-35970	14	37	,	,	PUNCT
asir-35970	14	38	2015	2015	NUM
asir-35970	14	39	)	)	PUNCT
asir-35970	14	40	.	.	PUNCT
asir-35970	15	1	this	this	DET
asir-35970	15	2	paper	paper	NOUN
asir-35970	15	3	attempts	attempt	VERB
asir-35970	15	4	to	to	PART
asir-35970	15	5	promote	promote	VERB
asir-35970	15	6	the	the	DET
asir-35970	15	7	study	study	NOUN
asir-35970	15	8	of	of	ADP
asir-35970	15	9	generalized	generalized	ADJ
asir-35970	15	10	syllogisms	syllogism	NOUN
asir-35970	15	11	.	.	PUNCT
asir-35970	16	1	a	a	DET
asir-35970	16	2	non	non	ADJ
asir-35970	16	3	-	-	ADJ
asir-35970	16	4	trivial	trivial	ADJ
asir-35970	16	5	generalized	generalized	ADJ
asir-35970	16	6	syllogism	syllogism	NOUN
asir-35970	16	7	contains	contain	VERB
asir-35970	16	8	at	at	ADV
asir-35970	16	9	least	least	ADV
asir-35970	16	10	one	one	NUM
asir-35970	16	11	non	non	ADJ
asir-35970	16	12	-	-	ADJ
asir-35970	16	13	trivial	trivial	ADJ
asir-35970	16	14	generalized	generalized	ADJ
asir-35970	16	15	quantifier	quantifier	NOUN
asir-35970	16	16	.	.	PUNCT
asir-35970	17	1	a	a	DET
asir-35970	17	2	generalized	generalized	ADJ
asir-35970	17	3	quantifier	quantifier	NOUN
asir-35970	17	4	q	q	PUNCT
asir-35970	17	5	has	have	VERB
asir-35970	17	6	its	its	PRON
asir-35970	17	7	three	three	NUM
asir-35970	17	8	negative	negative	ADJ
asir-35970	17	9	forms	form	NOUN
asir-35970	17	10	:	:	PUNCT
asir-35970	17	11	its	its	PRON
asir-35970	17	12	inner	inner	ADJ
asir-35970	17	13	negative	negative	ADJ
asir-35970	17	14	quantifier	quantifier	NOUN
asir-35970	17	15	q	q	PROPN
asir-35970	17	16	,	,	PUNCT
asir-35970	17	17	its	its	PRON
asir-35970	17	18	outer	outer	ADJ
asir-35970	17	19	negative	negative	ADJ
asir-35970	17	20	one	one	NUM
asir-35970	17	21	q	q	NOUN
asir-35970	17	22	,	,	PUNCT
asir-35970	17	23	and	and	CCONJ
asir-35970	17	24	its	its	PRON
asir-35970	17	25	dual	dual	ADJ
asir-35970	17	26	negative	negative	ADJ
asir-35970	17	27	one	one	NUM
asir-35970	17	28	q.	q.	NOUN
asir-35970	17	29	a	a	DET
asir-35970	17	30	modern	modern	ADJ
asir-35970	17	31	square{q	square{q	NOUN
asir-35970	17	32	}	}	PUNCT
asir-35970	17	33	is	be	AUX
asir-35970	17	34	composed	compose	VERB
asir-35970	17	35	of	of	ADP
asir-35970	17	36	these	these	DET
asir-35970	17	37	four	four	NUM
asir-35970	17	38	quantifiers	quantifier	NOUN
asir-35970	17	39	.	.	PUNCT
asir-35970	18	1	in	in	ADP
asir-35970	18	2	other	other	ADJ
asir-35970	18	3	words	word	NOUN
asir-35970	18	4	,	,	PUNCT
asir-35970	18	5	square{q}={q	square{q}={q	NOUN
asir-35970	18	6	,	,	PUNCT
asir-35970	18	7	q	q	PROPN
asir-35970	18	8	,	,	PUNCT
asir-35970	18	9	q	q	PROPN
asir-35970	18	10	,	,	PUNCT
asir-35970	18	11	q	q	NOUN
asir-35970	18	12	}	}	PUNCT
asir-35970	18	13	.	.	PUNCT
asir-35970	19	1	for	for	ADP
asir-35970	19	2	example	example	NOUN
asir-35970	19	3	,	,	PUNCT
asir-35970	19	4	square{no}={no	square{no}={no	NOUN
asir-35970	19	5	,	,	PUNCT
asir-35970	19	6	all	all	PRON
asir-35970	19	7	,	,	PUNCT
asir-35970	19	8	some	some	PRON
asir-35970	19	9	,	,	PUNCT
asir-35970	19	10	not	not	PART
asir-35970	19	11	all	all	PRON
asir-35970	19	12	}	}	PUNCT
asir-35970	19	13	.	.	PUNCT
asir-35970	20	1	any	any	DET
asir-35970	20	2	quantifier	quantifier	NOUN
asir-35970	20	3	in	in	ADP
asir-35970	20	4	square{q	square{q	NOUN
asir-35970	20	5	}	}	PUNCT
asir-35970	20	6	can	can	AUX
asir-35970	20	7	define	define	VERB
asir-35970	20	8	the	the	DET
asir-35970	20	9	other	other	ADJ
asir-35970	20	10	three	three	NUM
asir-35970	20	11	ones	one	NOUN
asir-35970	20	12	(	(	PUNCT
asir-35970	20	13	peters	peters	PROPN
asir-35970	20	14	&	&	CCONJ
asir-35970	20	15	westerståhl	westerståhl	PROPN
asir-35970	20	16	,	,	PUNCT
asir-35970	20	17	2006	2006	NUM
asir-35970	20	18	)	)	PUNCT
asir-35970	20	19	.	.	PUNCT
asir-35970	21	1	due	due	ADP
asir-35970	21	2	to	to	ADP
asir-35970	21	3	the	the	DET
asir-35970	21	4	abundance	abundance	NOUN
asir-35970	21	5	of	of	ADP
asir-35970	21	6	generalized	generalized	ADJ
asir-35970	21	7	quantifiers	quantifier	NOUN
asir-35970	21	8	in	in	ADP
asir-35970	21	9	natural	natural	ADJ
asir-35970	21	10	language	language	NOUN
asir-35970	21	11	,	,	PUNCT
asir-35970	21	12	this	this	DET
asir-35970	21	13	paper	paper	NOUN
asir-35970	21	14	focuses	focus	VERB
asir-35970	21	15	on	on	ADP
asir-35970	21	16	the	the	DET
asir-35970	21	17	generalized	generalized	ADJ
asir-35970	21	18	quantifier	quantifier	NOUN
asir-35970	21	19	most	most	ADJ
asir-35970	21	20	and	and	CCONJ
asir-35970	21	21	its	its	PRON
asir-35970	21	22	three	three	NUM
asir-35970	21	23	negative	negative	ADJ
asir-35970	21	24	quantifiers	quantifier	NOUN
asir-35970	21	25	which	which	PRON
asir-35970	21	26	are	be	AUX
asir-35970	21	27	common	common	ADJ
asir-35970	21	28	generalized	generalized	ADJ
asir-35970	21	29	quantifiers	quantifier	NOUN
asir-35970	21	30	in	in	ADP
asir-35970	21	31	natural	natural	ADJ
asir-35970	21	32	language	language	NOUN
asir-35970	21	33	.	.	PUNCT
asir-35970	22	1	more	more	ADV
asir-35970	22	2	specifically	specifically	ADV
asir-35970	22	3	,	,	PUNCT
asir-35970	22	4	the	the	DET
asir-35970	22	5	paper	paper	NOUN
asir-35970	22	6	mainly	mainly	ADV
asir-35970	22	7	discusses	discuss	VERB
asir-35970	22	8	the	the	DET
asir-35970	22	9	non	non	ADJ
asir-35970	22	10	-	-	ADJ
asir-35970	22	11	trivial	trivial	ADJ
asir-35970	22	12	generalized	generalized	ADJ
asir-35970	22	13	syllogisms	syllogism	NOUN
asir-35970	22	14	reasoning	reason	VERB
asir-35970	22	15	with	with	ADP
asir-35970	22	16	the	the	DET
asir-35970	22	17	quantifiers	quantifier	NOUN
asir-35970	22	18	in	in	ADP
asir-35970	22	19	square{no	square{no	NOUN
asir-35970	22	20	}	}	PUNCT
asir-35970	22	21	and	and	CCONJ
asir-35970	22	22	square{most	square{most	NUM
asir-35970	22	23	}	}	PUNCT
asir-35970	22	24	,	,	PUNCT
asir-35970	22	25	in	in	ADP
asir-35970	22	26	which	which	PRON
asir-35970	22	27	square{most}={most	square{most}={most	NOUN
asir-35970	22	28	,	,	PUNCT
asir-35970	22	29	fewer	few	ADJ
asir-35970	22	30	than	than	ADP
asir-35970	22	31	half	half	NOUN
asir-35970	22	32	of	of	ADP
asir-35970	22	33	the	the	DET
asir-35970	22	34	,	,	PUNCT
asir-35970	22	35	at	at	ADP
asir-35970	22	36	most	most	ADJ
asir-35970	22	37	half	half	NOUN
asir-35970	22	38	of	of	ADP
asir-35970	22	39	the	the	DET
asir-35970	22	40	,	,	PUNCT
asir-35970	22	41	at	at	ADP
asir-35970	22	42	least	least	ADJ
asir-35970	22	43	half	half	NOUN
asir-35970	22	44	of	of	ADP
asir-35970	22	45	the	the	PRON
asir-35970	22	46	}	}	PUNCT
asir-35970	22	47	.	.	PUNCT
asir-35970	23	1	2	2	X
asir-35970	23	2	.	.	X
asir-35970	23	3	preliminaries	preliminary	NOUN
asir-35970	23	4	in	in	ADP
asir-35970	23	5	the	the	DET
asir-35970	23	6	following	following	NOUN
asir-35970	23	7	,	,	PUNCT
asir-35970	23	8	let	let	VERB
asir-35970	23	9	b	b	NOUN
asir-35970	23	10	,	,	PUNCT
asir-35970	23	11	n	n	PROPN
asir-35970	23	12	and	and	CCONJ
asir-35970	23	13	x	x	AUX
asir-35970	23	14	be	be	AUX
asir-35970	23	15	lexical	lexical	ADJ
asir-35970	23	16	variables	variable	NOUN
asir-35970	23	17	,	,	PUNCT
asir-35970	23	18	and	and	CCONJ
asir-35970	23	19	d	d	NOUN
asir-35970	23	20	be	be	AUX
asir-35970	23	21	their	their	PRON
asir-35970	23	22	domain	domain	NOUN
asir-35970	23	23	.	.	PUNCT
asir-35970	24	1	the	the	DET
asir-35970	24	2	sets	set	NOUN
asir-35970	24	3	composed	compose	VERB
asir-35970	24	4	of	of	ADP
asir-35970	24	5	b	b	PROPN
asir-35970	24	6	,	,	PUNCT
asir-35970	24	7	n	n	PROPN
asir-35970	24	8	and	and	CCONJ
asir-35970	24	9	x	x	PRON
asir-35970	24	10	are	be	AUX
asir-35970	24	11	respectively	respectively	ADV
asir-35970	24	12	b	b	NOUN
asir-35970	24	13	,	,	PUNCT
asir-35970	24	14	n	n	CCONJ
asir-35970	24	15	,	,	PUNCT
asir-35970	24	16	and	and	CCONJ
asir-35970	24	17	x.	x.	NOUN
asir-35970	24	18	let	let	VERB
asir-35970	24	19			NUM
asir-35970	24	20	,	,	PUNCT
asir-35970	24	21			NUM
asir-35970	24	22	,	,	PUNCT
asir-35970	24	23			ADJ
asir-35970	24	24	,	,	PUNCT
asir-35970	24	25	and	and	CCONJ
asir-35970	24	26			NOUN
asir-35970	24	27	be	be	AUX
asir-35970	24	28	well	well	ADV
asir-35970	24	29	-	-	PUNCT
asir-35970	24	30	formed	form	VERB
asir-35970	24	31	formulas	formula	NOUN
asir-35970	24	32	(	(	PUNCT
asir-35970	24	33	shortened	shorten	VERB
asir-35970	24	34	to	to	ADP
asir-35970	24	35	wff	wff	PROPN
asir-35970	24	36	)	)	PUNCT
asir-35970	24	37	.	.	PUNCT
asir-35970	25	1	let	let	VERB
asir-35970	25	2	q	q	PRON
asir-35970	25	3	be	be	AUX
asir-35970	25	4	a	a	DET
asir-35970	25	5	quantifier	quantifier	NOUN
asir-35970	25	6	,	,	PUNCT
asir-35970	25	7	q	q	PROPN
asir-35970	25	8	,	,	PUNCT
asir-35970	25	9	q	q	PROPN
asir-35970	25	10	and	and	CCONJ
asir-35970	25	11	q	q	PROPN
asir-35970	25	12	be	be	AUX
asir-35970	25	13	its	its	PRON
asir-35970	25	14	outer	outer	ADJ
asir-35970	25	15	,	,	PUNCT
asir-35970	25	16	inner	inner	ADJ
asir-35970	25	17	and	and	CCONJ
asir-35970	25	18	dual	dual	ADJ
asir-35970	25	19	negative	negative	ADJ
asir-35970	25	20	quantifier	quantifier	NOUN
asir-35970	25	21	,	,	PUNCT
asir-35970	25	22	respectively	respectively	ADV
asir-35970	25	23	.	.	PUNCT
asir-35970	26	1	‘	'	PUNCT
asir-35970	26	2	b∩x	b∩x	PRON
asir-35970	26	3	’	'	PUNCT
asir-35970	26	4	indicates	indicate	VERB
asir-35970	26	5	the	the	DET
asir-35970	26	6	cardinality	cardinality	NOUN
asir-35970	26	7	of	of	ADP
asir-35970	26	8	the	the	DET
asir-35970	26	9	intersection	intersection	NOUN
asir-35970	26	10	of	of	ADP
asir-35970	26	11	the	the	DET
asir-35970	26	12	set	set	PROPN
asir-35970	26	13	b	b	PROPN
asir-35970	26	14	and	and	CCONJ
asir-35970	26	15	x.	x.	NOUN
asir-35970	26	16	‘	'	PUNCT
asir-35970	26	17	⊢	⊢	X
asir-35970	26	18	’	'	PUNCT
asir-35970	26	19	represents	represent	VERB
asir-35970	26	20	that	that	SCONJ
asir-35970	26	21	the	the	DET
asir-35970	26	22	wff	wff	PROPN
asir-35970	26	23			NOUN
asir-35970	26	24	is	be	AUX
asir-35970	26	25	provable	provable	ADJ
asir-35970	26	26	,	,	PUNCT
asir-35970	26	27	and	and	CCONJ
asir-35970	26	28	‘	'	PUNCT
asir-35970	26	29	=def	=def	NUM
asir-35970	26	30			NOUN
asir-35970	26	31	’	'	PUNCT
asir-35970	26	32	that	that	SCONJ
asir-35970	26	33			PROPN
asir-35970	26	34	can	can	AUX
asir-35970	26	35	be	be	AUX
asir-35970	26	36	defined	define	VERB
asir-35970	26	37	by	by	ADP
asir-35970	26	38	.	.	NUM
asir-35970	26	39	the	the	DET
asir-35970	26	40	others	other	NOUN
asir-35970	26	41	are	be	AUX
asir-35970	26	42	similar	similar	ADJ
asir-35970	26	43	.	.	PUNCT
asir-35970	27	1	the	the	DET
asir-35970	27	2	operators	operator	NOUN
asir-35970	27	3	(	(	PUNCT
asir-35970	27	4	such	such	ADJ
asir-35970	27	5	as	as	ADP
asir-35970	27	6			ADJ
asir-35970	27	7	,	,	PUNCT
asir-35970	27	8			NOUN
asir-35970	27	9	,	,	PUNCT
asir-35970	27	10			PROPN
asir-35970	27	11	,	,	PUNCT
asir-35970	27	12			ADJ
asir-35970	27	13	)	)	PUNCT
asir-35970	27	14	in	in	ADP
asir-35970	27	15	this	this	DET
asir-35970	27	16	paper	paper	NOUN
asir-35970	27	17	are	be	AUX
asir-35970	27	18	common	common	ADJ
asir-35970	27	19	symbols	symbol	NOUN
asir-35970	27	20	in	in	ADP
asir-35970	27	21	mathematical	mathematical	ADJ
asir-35970	27	22	logic	logic	NOUN
asir-35970	27	23	(	(	PUNCT
asir-35970	27	24	hamilton	hamilton	PROPN
asir-35970	27	25	,	,	PUNCT
asir-35970	27	26	1978	1978	NUM
asir-35970	27	27	)	)	PUNCT
asir-35970	27	28	.	.	PUNCT
asir-35970	28	1	the	the	DET
asir-35970	28	2	generalized	generalize	VERB
asir-35970	28	3	syllogisms	syllogism	NOUN
asir-35970	28	4	studied	study	VERB
asir-35970	28	5	in	in	ADP
asir-35970	28	6	this	this	DET
asir-35970	28	7	paper	paper	NOUN
asir-35970	28	8	just	just	ADV
asir-35970	28	9	involve	involve	VERB
asir-35970	28	10	the	the	DET
asir-35970	28	11	following	follow	VERB
asir-35970	28	12	8	8	NUM
asir-35970	28	13	quantifiers	quantifier	NOUN
asir-35970	28	14	:	:	PUNCT
asir-35970	28	15	all	all	PRON
asir-35970	28	16	,	,	PUNCT
asir-35970	28	17	no	no	INTJ
asir-35970	28	18	,	,	PUNCT
asir-35970	28	19	some	some	PRON
asir-35970	28	20	,	,	PUNCT
asir-35970	28	21	not	not	PART
asir-35970	28	22	all	all	PRON
asir-35970	28	23	,	,	PUNCT
asir-35970	28	24	most	most	ADJ
asir-35970	28	25	,	,	PUNCT
asir-35970	28	26	fewer	few	ADJ
asir-35970	28	27	than	than	ADP
asir-35970	28	28	half	half	NOUN
asir-35970	28	29	of	of	ADP
asir-35970	28	30	the	the	DET
asir-35970	28	31	,	,	PUNCT
asir-35970	28	32	at	at	ADP
asir-35970	28	33	most	most	ADJ
asir-35970	28	34	half	half	NOUN
asir-35970	28	35	of	of	ADP
asir-35970	28	36	the	the	DET
asir-35970	28	37	,	,	PUNCT
asir-35970	28	38	at	at	ADP
asir-35970	28	39	least	least	ADJ
asir-35970	28	40	half	half	NOUN
asir-35970	28	41	of	of	ADP
asir-35970	28	42	the	the	PRON
asir-35970	28	43	.	.	PUNCT
asir-35970	29	1	thus	thus	ADV
asir-35970	29	2	,	,	PUNCT
asir-35970	29	3	these	these	DET
asir-35970	29	4	syllogisms	syllogism	NOUN
asir-35970	29	5	only	only	ADV
asir-35970	29	6	involve	involve	VERB
asir-35970	29	7	8	8	NUM
asir-35970	29	8	types	type	NOUN
asir-35970	29	9	of	of	ADP
asir-35970	29	10	propositions	proposition	NOUN
asir-35970	29	11	as	as	SCONJ
asir-35970	29	12	follows	follow	VERB
asir-35970	29	13	:	:	PUNCT
asir-35970	29	14	all(b	all(b	PROPN
asir-35970	29	15	,	,	PUNCT
asir-35970	29	16	x	x	NOUN
asir-35970	29	17	)	)	PUNCT
asir-35970	29	18	,	,	PUNCT
asir-35970	29	19	not	not	PART
asir-35970	29	20	all(b	all(b	PROPN
asir-35970	29	21	,	,	PUNCT
asir-35970	29	22	x	x	NOUN
asir-35970	29	23	)	)	PUNCT
asir-35970	29	24	,	,	PUNCT
asir-35970	29	25	some(b	some(b	NOUN
asir-35970	29	26	,	,	PUNCT
asir-35970	29	27	x	x	NOUN
asir-35970	29	28	)	)	PUNCT
asir-35970	29	29	,	,	PUNCT
asir-35970	29	30	no(b	no(b	NUM
asir-35970	29	31	,	,	PUNCT
asir-35970	29	32	x	x	NOUN
asir-35970	29	33	)	)	PUNCT
asir-35970	29	34	,	,	PUNCT
asir-35970	29	35	most(b	most(b	NOUN
asir-35970	29	36	,	,	PUNCT
asir-35970	29	37	x	x	NOUN
asir-35970	29	38	)	)	PUNCT
asir-35970	29	39	,	,	PUNCT
asir-35970	29	40	at	at	ADP
asir-35970	29	41	least	least	ADJ
asir-35970	29	42	half	half	NOUN
asir-35970	29	43	of	of	ADP
asir-35970	29	44	the(b	the(b	PROPN
asir-35970	29	45	,	,	PUNCT
asir-35970	29	46	x	x	NOUN
asir-35970	29	47	)	)	PUNCT
asir-35970	29	48	,	,	PUNCT
asir-35970	29	49	at	at	ADP
asir-35970	29	50	most	most	ADJ
asir-35970	29	51	half	half	NOUN
asir-35970	29	52	of	of	ADP
asir-35970	29	53	the(b	the(b	PROPN
asir-35970	29	54	,	,	PUNCT
asir-35970	29	55	x	x	NOUN
asir-35970	29	56	)	)	PUNCT
asir-35970	29	57	,	,	PUNCT
asir-35970	29	58	fewer	few	ADJ
asir-35970	29	59	than	than	ADP
asir-35970	29	60	half	half	NOUN
asir-35970	29	61	of	of	ADP
asir-35970	29	62	the(b	the(b	PROPN
asir-35970	29	63	,	,	PUNCT
asir-35970	29	64	x	x	NOUN
asir-35970	29	65	)	)	PUNCT
asir-35970	29	66	,	,	PUNCT
asir-35970	29	67	and	and	CCONJ
asir-35970	29	68	they	they	PRON
asir-35970	29	69	are	be	AUX
asir-35970	29	70	respectively	respectively	ADV
asir-35970	29	71	shortened	shorten	VERB
asir-35970	29	72	to	to	ADP
asir-35970	29	73	:	:	PUNCT
asir-35970	29	74	proposition	proposition	VERB
asir-35970	29	75	a	a	PRON
asir-35970	29	76	,	,	PUNCT
asir-35970	29	77	o	o	NOUN
asir-35970	29	78	,	,	PUNCT
asir-35970	29	79	i	i	PRON
asir-35970	29	80	,	,	PUNCT
asir-35970	29	81	e	e	PROPN
asir-35970	29	82	,	,	PUNCT
asir-35970	29	83	m	m	PROPN
asir-35970	29	84	,	,	PUNCT
asir-35970	29	85	s	s	PROPN
asir-35970	29	86	,	,	PUNCT
asir-35970	29	87	h	h	NOUN
asir-35970	29	88	,	,	PUNCT
asir-35970	29	89	and	and	CCONJ
asir-35970	29	90	f	f	X
asir-35970	29	91	,	,	PUNCT
asir-35970	29	92	which	which	PRON
asir-35970	29	93	at	at	ADP
asir-35970	29	94	least	least	ADJ
asir-35970	29	95	includes	include	VERB
asir-35970	29	96	one	one	NUM
asir-35970	29	97	of	of	ADP
asir-35970	29	98	the	the	DET
asir-35970	29	99	last	last	ADJ
asir-35970	29	100	four	four	NUM
asir-35970	29	101	propositions	proposition	NOUN
asir-35970	29	102	.	.	PUNCT
asir-35970	30	1	for	for	ADP
asir-35970	30	2	example	example	NOUN
asir-35970	30	3	,	,	PUNCT
asir-35970	30	4	the	the	DET
asir-35970	30	5	first	first	ADJ
asir-35970	30	6	figure	figure	NOUN
asir-35970	30	7	syllogism	syllogism	NOUN
asir-35970	30	8	all(n	all(n	PROPN
asir-35970	30	9	,	,	PUNCT
asir-35970	30	10	x)most(b	x)most(b	PRON
asir-35970	30	11	,	,	PUNCT
asir-35970	30	12	n)most(b	n)most(b	NOUN
asir-35970	30	13	,	,	PUNCT
asir-35970	30	14	x	x	X
asir-35970	30	15	)	)	PUNCT
asir-35970	30	16	is	be	AUX
asir-35970	30	17	abbreviated	abbreviate	VERB
asir-35970	30	18	as	as	ADP
asir-35970	30	19	amm-1	amm-1	X
asir-35970	30	20	.	.	PUNCT
asir-35970	31	1	an	an	DET
asir-35970	31	2	example	example	NOUN
asir-35970	31	3	of	of	ADP
asir-35970	31	4	this	this	DET
asir-35970	31	5	generalized	generalized	ADJ
asir-35970	31	6	syllogism	syllogism	NOUN
asir-35970	31	7	is	be	AUX
asir-35970	31	8	as	as	SCONJ
asir-35970	31	9	follows	follow	VERB
asir-35970	31	10	:	:	PUNCT
asir-35970	31	11	major	major	ADJ
asir-35970	31	12	premise	premise	NOUN
asir-35970	31	13	:	:	PUNCT
asir-35970	31	14	all	all	DET
asir-35970	31	15	dogs	dog	NOUN
asir-35970	31	16	like	like	VERB
asir-35970	31	17	to	to	PART
asir-35970	31	18	eat	eat	VERB
asir-35970	31	19	bones	bone	NOUN
asir-35970	31	20	.	.	PUNCT
asir-35970	32	1	minor	minor	ADJ
asir-35970	32	2	premise	premise	NOUN
asir-35970	32	3	:	:	PUNCT
asir-35970	32	4	most	most	ADJ
asir-35970	32	5	of	of	ADP
asir-35970	32	6	the	the	DET
asir-35970	32	7	pets	pet	NOUN
asir-35970	32	8	in	in	ADP
asir-35970	32	9	our	our	PRON
asir-35970	32	10	community	community	NOUN
asir-35970	32	11	are	be	AUX
asir-35970	32	12	dogs	dog	NOUN
asir-35970	32	13	.	.	PUNCT
asir-35970	33	1	conclusion	conclusion	NOUN
asir-35970	33	2	:	:	PUNCT
asir-35970	33	3	most	most	ADJ
asir-35970	33	4	of	of	ADP
asir-35970	33	5	the	the	DET
asir-35970	33	6	pets	pet	NOUN
asir-35970	33	7	in	in	ADP
asir-35970	33	8	our	our	PRON
asir-35970	33	9	community	community	NOUN
asir-35970	33	10	like	like	VERB
asir-35970	33	11	to	to	PART
asir-35970	33	12	eat	eat	VERB
asir-35970	33	13	bones	bone	NOUN
asir-35970	33	14	.	.	PUNCT
asir-35970	34	1	3	3	X
asir-35970	34	2	.	.	NUM
asir-35970	34	3	generalized	generalize	VERB
asir-35970	34	4	syllogism	syllogism	NOUN
asir-35970	34	5	system	system	NOUN
asir-35970	34	6	with	with	ADP
asir-35970	34	7	the	the	DET
asir-35970	34	8	quantifier	quantifier	NOUN
asir-35970	34	9	‘	'	PUNCT
asir-35970	34	10	most	most	ADJ
asir-35970	34	11	’	'	PUNCT
asir-35970	34	12	this	this	DET
asir-35970	34	13	system	system	NOUN
asir-35970	34	14	includes	include	VERB
asir-35970	34	15	the	the	DET
asir-35970	34	16	following	follow	VERB
asir-35970	34	17	:	:	PUNCT
asir-35970	34	18	primitive	primitive	ADJ
asir-35970	34	19	symbols	symbol	NOUN
asir-35970	34	20	,	,	PUNCT
asir-35970	34	21	formation	formation	NOUN
asir-35970	34	22	and	and	CCONJ
asir-35970	34	23	deductive	deductive	ADJ
asir-35970	34	24	rules	rule	NOUN
asir-35970	34	25	,	,	PUNCT
asir-35970	34	26	and	and	CCONJ
asir-35970	34	27	basic	basic	ADJ
asir-35970	34	28	axioms	axiom	NOUN
asir-35970	34	29	,	,	PUNCT
asir-35970	34	30	etc	etc	X
asir-35970	34	31	.	.	X
asir-35970	34	32	3.1	3.1	NUM
asir-35970	34	33	primitive	primitive	ADJ
asir-35970	34	34	symbols	symbol	NOUN
asir-35970	34	35	(	(	PUNCT
asir-35970	34	36	1	1	NUM
asir-35970	34	37	)	)	PUNCT
asir-35970	34	38	lexical	lexical	ADJ
asir-35970	34	39	variables	variable	NOUN
asir-35970	34	40	:	:	PUNCT
asir-35970	34	41	b	b	X
asir-35970	34	42	,	,	PUNCT
asir-35970	34	43	n	n	CCONJ
asir-35970	34	44	,	,	PUNCT
asir-35970	34	45	x	x	X
asir-35970	34	46	(	(	PUNCT
asir-35970	34	47	2	2	NUM
asir-35970	34	48	)	)	PUNCT
asir-35970	34	49	quantifiers	quantifier	NOUN
asir-35970	34	50	:	:	PUNCT
asir-35970	34	51	no	no	INTJ
asir-35970	34	52	,	,	PUNCT
asir-35970	34	53	most	most	ADJ
asir-35970	34	54	www.scholink.org/ojs/index.php/asir	www.scholink.org/ojs/index.php/asir	NOUN
asir-35970	34	55	applied	apply	VERB
asir-35970	34	56	science	science	NOUN
asir-35970	34	57	and	and	CCONJ
asir-35970	34	58	innovative	innovative	ADJ
asir-35970	34	59	research	research	NOUN
asir-35970	34	60	vol	vol	NOUN
asir-35970	34	61	.	.	PROPN
asir-35970	34	62	8	8	NUM
asir-35970	34	63	,	,	PUNCT
asir-35970	34	64	no	no	INTJ
asir-35970	34	65	.	.	NOUN
asir-35970	34	66	1	1	NUM
asir-35970	34	67	,	,	PUNCT
asir-35970	34	68	2024	2024	NUM
asir-35970	34	69	33	33	NUM
asir-35970	34	70	published	publish	VERB
asir-35970	34	71	by	by	ADP
asir-35970	34	72	scholink	scholink	PROPN
asir-35970	34	73	inc	inc	PROPN
asir-35970	34	74	.	.	PROPN
asir-35970	35	1	(	(	PUNCT
asir-35970	35	2	3	3	X
asir-35970	35	3	)	)	PUNCT
asir-35970	35	4	operators	operator	NOUN
asir-35970	35	5	:	:	PUNCT
asir-35970	35	6			ADJ
asir-35970	35	7	,	,	PUNCT
asir-35970	35	8			PUNCT
asir-35970	35	9	(	(	PUNCT
asir-35970	35	10	4	4	X
asir-35970	35	11	)	)	PUNCT
asir-35970	35	12	brackets	bracket	NOUN
asir-35970	35	13	:	:	PUNCT
asir-35970	35	14	(	(	PUNCT
asir-35970	35	15	,	,	PUNCT
asir-35970	35	16	)	)	PUNCT
asir-35970	35	17	3.2	3.2	NUM
asir-35970	35	18	formation	formation	NOUN
asir-35970	35	19	rules	rule	NOUN
asir-35970	35	20	(	(	PUNCT
asir-35970	35	21	1	1	X
asir-35970	35	22	)	)	PUNCT
asir-35970	35	23	if	if	SCONJ
asir-35970	35	24	q	q	NOUN
asir-35970	35	25	is	be	AUX
asir-35970	35	26	a	a	DET
asir-35970	35	27	quantifier	quantifier	NOUN
asir-35970	35	28	,	,	PUNCT
asir-35970	35	29	b	b	NOUN
asir-35970	35	30	and	and	CCONJ
asir-35970	35	31	x	x	NOUN
asir-35970	35	32	are	be	AUX
asir-35970	35	33	lexical	lexical	ADJ
asir-35970	35	34	variables	variable	NOUN
asir-35970	35	35	,	,	PUNCT
asir-35970	35	36	then	then	ADV
asir-35970	35	37	q(b	q(b	ADV
asir-35970	35	38	,	,	PUNCT
asir-35970	35	39	x	x	X
asir-35970	35	40	)	)	PUNCT
asir-35970	35	41	is	be	AUX
asir-35970	35	42	a	a	DET
asir-35970	35	43	wff	wff	PROPN
asir-35970	35	44	.	.	PUNCT
asir-35970	36	1	(	(	PUNCT
asir-35970	36	2	2	2	X
asir-35970	36	3	)	)	PUNCT
asir-35970	36	4	if	if	SCONJ
asir-35970	36	5			NOUN
asir-35970	36	6	is	be	AUX
asir-35970	36	7	a	a	DET
asir-35970	36	8	wff	wff	NOUN
asir-35970	36	9	,	,	PUNCT
asir-35970	36	10	then	then	ADV
asir-35970	36	11	so	so	ADV
asir-35970	36	12	is	be	AUX
asir-35970	36	13	.	.	NUM
asir-35970	36	14	(	(	PUNCT
asir-35970	36	15	3	3	NUM
asir-35970	36	16	)	)	PUNCT
asir-35970	36	17	if	if	SCONJ
asir-35970	36	18			ADJ
asir-35970	36	19	and	and	CCONJ
asir-35970	36	20			NOUN
asir-35970	36	21	are	be	AUX
asir-35970	36	22	wffs	wff	NOUN
asir-35970	36	23	,	,	PUNCT
asir-35970	36	24	then	then	ADV
asir-35970	36	25	so	so	ADV
asir-35970	36	26	is	be	AUX
asir-35970	36	27	.	.	NOUN
asir-35970	36	28	(	(	PUNCT
asir-35970	36	29	4	4	NUM
asir-35970	36	30	)	)	PUNCT
asir-35970	36	31	only	only	ADV
asir-35970	36	32	the	the	DET
asir-35970	36	33	formulas	formula	NOUN
asir-35970	36	34	constructed	construct	VERB
asir-35970	36	35	based	base	VERB
asir-35970	36	36	on	on	ADP
asir-35970	36	37	the	the	DET
asir-35970	36	38	above	above	ADJ
asir-35970	36	39	three	three	NUM
asir-35970	36	40	rules	rule	NOUN
asir-35970	36	41	are	be	AUX
asir-35970	36	42	wffs	wff	NOUN
asir-35970	36	43	.	.	PUNCT
asir-35970	37	1	3.3	3.3	NUM
asir-35970	37	2	basic	basic	ADJ
asir-35970	37	3	axioms	axiom	NOUN
asir-35970	37	4	a1	a1	NOUN
asir-35970	37	5	:	:	PUNCT
asir-35970	37	6	if	if	SCONJ
asir-35970	37	7			NOUN
asir-35970	37	8	is	be	AUX
asir-35970	37	9	a	a	DET
asir-35970	37	10	valid	valid	ADJ
asir-35970	37	11	formula	formula	NOUN
asir-35970	37	12	in	in	ADP
asir-35970	37	13	first	first	ADJ
asir-35970	37	14	-	-	PUNCT
asir-35970	37	15	order	order	NOUN
asir-35970	37	16	logic	logic	NOUN
asir-35970	37	17	,	,	PUNCT
asir-35970	37	18	then	then	ADV
asir-35970	37	19	⊢.	⊢.	PROPN
asir-35970	37	20	a2	a2	PROPN
asir-35970	37	21	:	:	PUNCT
asir-35970	37	22	⊢all(n	⊢all(n	PROPN
asir-35970	37	23	,	,	PUNCT
asir-35970	37	24	x)most(b	x)most(b	PRON
asir-35970	37	25	,	,	PUNCT
asir-35970	37	26	n)most(b	n)most(b	NOUN
asir-35970	37	27	,	,	PUNCT
asir-35970	37	28	x	x	X
asir-35970	37	29	)	)	PUNCT
asir-35970	37	30	(	(	PUNCT
asir-35970	37	31	that	that	PRON
asir-35970	37	32	is	is	ADV
asir-35970	37	33	,	,	PUNCT
asir-35970	37	34	the	the	DET
asir-35970	37	35	syllogism	syllogism	NOUN
asir-35970	37	36	amm-1	amm-1	NUM
asir-35970	37	37	)	)	PUNCT
asir-35970	37	38	.	.	PUNCT
asir-35970	38	1	3.4	3.4	NUM
asir-35970	38	2	rules	rule	NOUN
asir-35970	38	3	of	of	ADP
asir-35970	38	4	deduction	deduction	NOUN
asir-35970	38	5	rule	rule	NOUN
asir-35970	38	6	1(subsequent	1(subsequent	NUM
asir-35970	38	7	weakening	weakening	NOUN
asir-35970	38	8	):	):	PUNCT
asir-35970	38	9	from	from	ADP
asir-35970	38	10	⊢(	⊢(	PROPN
asir-35970	38	11	)	)	PUNCT
asir-35970	38	12	and	and	CCONJ
asir-35970	38	13	⊢(	⊢(	PROPN
asir-35970	38	14	)	)	PUNCT
asir-35970	38	15	infer	infer	VERB
asir-35970	38	16	⊢(	⊢(	PROPN
asir-35970	38	17	)	)	PUNCT
asir-35970	38	18	.	.	PUNCT
asir-35970	39	1	rule	rule	VERB
asir-35970	39	2	2(anti	2(anti	NOUN
asir-35970	39	3	-	-	NOUN
asir-35970	39	4	syllogism	syllogism	NOUN
asir-35970	39	5	):	):	PUNCT
asir-35970	39	6	from	from	ADP
asir-35970	39	7	⊢(	⊢(	PROPN
asir-35970	39	8	)	)	PUNCT
asir-35970	39	9	infer	infer	VERB
asir-35970	39	10	⊢(	⊢(	NOUN
asir-35970	39	11	)	)	PUNCT
asir-35970	39	12	.	.	PUNCT
asir-35970	40	1	rule	rule	VERB
asir-35970	40	2	3(anti	3(anti	NUM
asir-35970	40	3	-	-	NOUN
asir-35970	40	4	syllogism	syllogism	NOUN
asir-35970	40	5	):	):	PUNCT
asir-35970	40	6	from	from	ADP
asir-35970	40	7	⊢(	⊢(	PROPN
asir-35970	40	8	)	)	PUNCT
asir-35970	40	9	infer	infer	NOUN
asir-35970	40	10	⊢(	⊢(	NOUN
asir-35970	40	11	)	)	PUNCT
asir-35970	40	12	.	.	PUNCT
asir-35970	41	1	3.5	3.5	NUM
asir-35970	41	2	relevant	relevant	ADJ
asir-35970	41	3	definitions	definition	NOUN
asir-35970	41	4	d1	d1	NOUN
asir-35970	41	5	(	(	PUNCT
asir-35970	41	6	conjunction	conjunction	NOUN
asir-35970	41	7	):	):	PUNCT
asir-35970	41	8	(	(	PUNCT
asir-35970	41	9	)=def(	)=def(	ADV
asir-35970	41	10	)	)	PUNCT
asir-35970	41	11	;	;	PUNCT
asir-35970	41	12	d2	d2	PROPN
asir-35970	41	13	(	(	PUNCT
asir-35970	41	14	bicondition	bicondition	NOUN
asir-35970	41	15	):	):	PUNCT
asir-35970	41	16	(	(	PUNCT
asir-35970	41	17			NUM
asir-35970	41	18	)	)	PUNCT
asir-35970	42	1	=	=	PRON
asir-35970	42	2	def	def	ADJ
asir-35970	42	3	(	(	PUNCT
asir-35970	42	4	)(	)(	ADJ
asir-35970	42	5	)	)	PUNCT
asir-35970	42	6	;	;	PUNCT
asir-35970	42	7	d3	d3	PROPN
asir-35970	42	8	(	(	PUNCT
asir-35970	42	9	inner	inner	ADJ
asir-35970	42	10	negation	negation	NOUN
asir-35970	42	11	):	):	PUNCT
asir-35970	42	12	(	(	PUNCT
asir-35970	42	13	q)(b	q)(b	ADJ
asir-35970	42	14	,	,	PUNCT
asir-35970	42	15	x)=def	x)=def	PROPN
asir-35970	42	16	q(b	q(b	PROPN
asir-35970	42	17	,	,	PUNCT
asir-35970	42	18	dx	dx	NUM
asir-35970	42	19	)	)	PUNCT
asir-35970	42	20	;	;	PUNCT
asir-35970	42	21	d4	d4	PROPN
asir-35970	42	22	(	(	PUNCT
asir-35970	42	23	outer	outer	ADJ
asir-35970	42	24	negation	negation	NOUN
asir-35970	42	25	):	):	PUNCT
asir-35970	42	26	(	(	PUNCT
asir-35970	42	27	q)(b	q)(b	ADJ
asir-35970	42	28	,	,	PUNCT
asir-35970	42	29	x)=def	x)=def	PROPN
asir-35970	42	30	it	it	PRON
asir-35970	42	31	is	be	AUX
asir-35970	42	32	not	not	PART
asir-35970	42	33	that	that	SCONJ
asir-35970	42	34	q(b	q(b	ADJ
asir-35970	42	35	,	,	PUNCT
asir-35970	42	36	x	x	NOUN
asir-35970	42	37	)	)	PUNCT
asir-35970	42	38	;	;	PUNCT
asir-35970	42	39	d5	d5	NOUN
asir-35970	42	40	(	(	PUNCT
asir-35970	42	41	truth	truth	NOUN
asir-35970	42	42	value	value	NOUN
asir-35970	42	43	):	):	PUNCT
asir-35970	42	44	all(b	all(b	PROPN
asir-35970	42	45	,	,	PUNCT
asir-35970	42	46	x)=def	x)=def	PROPN
asir-35970	42	47	bx	bx	PROPN
asir-35970	42	48	;	;	PUNCT
asir-35970	42	49	d6	d6	NOUN
asir-35970	42	50	(	(	PUNCT
asir-35970	42	51	truth	truth	NOUN
asir-35970	42	52	value	value	NOUN
asir-35970	42	53	):	):	PUNCT
asir-35970	42	54	some(b	some(b	NOUN
asir-35970	42	55	,	,	PUNCT
asir-35970	42	56	x)=def	x)=def	PROPN
asir-35970	42	57	b∩x	b∩x	NOUN
asir-35970	42	58	;	;	PUNCT
asir-35970	42	59	d8	d8	X
asir-35970	42	60	(	(	PUNCT
asir-35970	42	61	truth	truth	NOUN
asir-35970	42	62	value	value	NOUN
asir-35970	42	63	):	):	PUNCT
asir-35970	42	64	no(b	no(b	NUM
asir-35970	42	65	,	,	PUNCT
asir-35970	42	66	x)=def	x)=def	PROPN
asir-35970	42	67	b∩x=	b∩x=	NOUN
asir-35970	42	68	;	;	PUNCT
asir-35970	42	69	d9	d9	PROPN
asir-35970	42	70	(	(	PUNCT
asir-35970	42	71	truth	truth	NOUN
asir-35970	42	72	value	value	NOUN
asir-35970	42	73	):	):	PUNCT
asir-35970	42	74	not	not	PART
asir-35970	42	75	all(b	all(b	PROPN
asir-35970	42	76	,	,	PUNCT
asir-35970	42	77	x)=def	x)=def	PROPN
asir-35970	42	78	b⊈x	b⊈x	VERB
asir-35970	42	79	;	;	PUNCT
asir-35970	42	80	d10	d10	PROPN
asir-35970	42	81	(	(	PUNCT
asir-35970	42	82	truth	truth	NOUN
asir-35970	42	83	value	value	NOUN
asir-35970	42	84	):	):	PUNCT
asir-35970	42	85	most(b	most(b	NOUN
asir-35970	42	86	,	,	PUNCT
asir-35970	42	87	x	x	PRON
asir-35970	42	88	)	)	PUNCT
asir-35970	42	89	is	be	AUX
asir-35970	42	90	true	true	ADJ
asir-35970	42	91	iff	iff	PROPN
asir-35970	42	92	b∩x0.5b	b∩x0.5b	PROPN
asir-35970	42	93	is	be	AUX
asir-35970	42	94	true	true	ADJ
asir-35970	42	95	;	;	PUNCT
asir-35970	42	96	d11	d11	X
asir-35970	42	97	(	(	PUNCT
asir-35970	42	98	truth	truth	NOUN
asir-35970	42	99	value	value	NOUN
asir-35970	42	100	):	):	PUNCT
asir-35970	42	101	at	at	ADP
asir-35970	42	102	most	most	ADJ
asir-35970	42	103	half	half	NOUN
asir-35970	42	104	of	of	ADP
asir-35970	42	105	the(b	the(b	PROPN
asir-35970	42	106	,	,	PUNCT
asir-35970	42	107	x	x	PRON
asir-35970	42	108	)	)	PUNCT
asir-35970	42	109	is	be	AUX
asir-35970	42	110	true	true	ADJ
asir-35970	42	111	iff	iff	PROPN
asir-35970	42	112	b∩x0.5b	b∩x0.5b	PROPN
asir-35970	42	113	;	;	PUNCT
asir-35970	42	114	d12	d12	X
asir-35970	42	115	(	(	PUNCT
asir-35970	42	116	truth	truth	NOUN
asir-35970	42	117	value	value	NOUN
asir-35970	42	118	):	):	PUNCT
asir-35970	42	119	fewer	few	ADJ
asir-35970	42	120	than	than	ADP
asir-35970	42	121	half	half	NOUN
asir-35970	42	122	of	of	ADP
asir-35970	42	123	the(b	the(b	PROPN
asir-35970	42	124	,	,	PUNCT
asir-35970	42	125	x	x	PRON
asir-35970	42	126	)	)	PUNCT
asir-35970	42	127	is	be	AUX
asir-35970	42	128	true	true	ADJ
asir-35970	42	129	iff	iff	PROPN
asir-35970	42	130	b∩x0.5b	b∩x0.5b	PROPN
asir-35970	42	131	is	be	AUX
asir-35970	42	132	true	true	ADJ
asir-35970	42	133	;	;	PUNCT
asir-35970	42	134	d13	d13	ADJ
asir-35970	42	135	(	(	PUNCT
asir-35970	42	136	truth	truth	NOUN
asir-35970	42	137	value	value	NOUN
asir-35970	42	138	):	):	PUNCT
asir-35970	42	139	at	at	ADP
asir-35970	42	140	least	least	ADJ
asir-35970	42	141	half	half	NOUN
asir-35970	42	142	of	of	ADP
asir-35970	42	143	the(b	the(b	PROPN
asir-35970	42	144	,	,	PUNCT
asir-35970	42	145	x	x	PRON
asir-35970	42	146	)	)	PUNCT
asir-35970	43	1	is	be	AUX
asir-35970	43	2	true	true	ADJ
asir-35970	43	3	iff	iff	PROPN
asir-35970	43	4	b∩x0.5b	b∩x0.5b	PROPN
asir-35970	43	5	is	be	AUX
asir-35970	43	6	true	true	ADJ
asir-35970	43	7	.	.	PUNCT
asir-35970	44	1	3.5	3.5	NUM
asir-35970	44	2	relevant	relevant	ADJ
asir-35970	44	3	facts	fact	NOUN
asir-35970	44	4	fact	fact	NOUN
asir-35970	44	5	1	1	NUM
asir-35970	44	6	(	(	PUNCT
asir-35970	44	7	inner	inner	ADJ
asir-35970	44	8	negation	negation	NOUN
asir-35970	44	9	):	):	PUNCT
asir-35970	44	10	(	(	PUNCT
asir-35970	44	11	1.1	1.1	NUM
asir-35970	44	12	)	)	PUNCT
asir-35970	44	13	all(b	all(b	PROPN
asir-35970	44	14	,	,	PUNCT
asir-35970	44	15	x)=no(b	x)=no(b	PROPN
asir-35970	44	16	,	,	PUNCT
asir-35970	44	17	x	x	NOUN
asir-35970	44	18	)	)	PUNCT
asir-35970	44	19	;	;	PUNCT
asir-35970	44	20	(	(	PUNCT
asir-35970	44	21	1.2	1.2	NUM
asir-35970	44	22	)	)	PUNCT
asir-35970	44	23	no(b	no(b	NOUN
asir-35970	44	24	,	,	PUNCT
asir-35970	44	25	x)=all(b	x)=all(b	PROPN
asir-35970	44	26	,	,	PUNCT
asir-35970	44	27	x	x	NOUN
asir-35970	44	28	)	)	PUNCT
asir-35970	44	29	;	;	PUNCT
asir-35970	44	30	(	(	PUNCT
asir-35970	44	31	1.3	1.3	NUM
asir-35970	44	32	)	)	PUNCT
asir-35970	44	33	some(b	some(b	NOUN
asir-35970	44	34	,	,	PUNCT
asir-35970	44	35	x)=not	x)=not	ADV
asir-35970	44	36	all(b	all(b	NOUN
asir-35970	44	37	,	,	PUNCT
asir-35970	44	38	x	x	NOUN
asir-35970	44	39	)	)	PUNCT
asir-35970	44	40	;	;	PUNCT
asir-35970	44	41	(	(	PUNCT
asir-35970	44	42	1.4	1.4	NUM
asir-35970	44	43	)	)	PUNCT
asir-35970	44	44	not	not	PART
asir-35970	44	45	all(b	all(b	PROPN
asir-35970	44	46	,	,	PUNCT
asir-35970	44	47	x)=some(b	x)=some(b	PROPN
asir-35970	44	48	,	,	PUNCT
asir-35970	44	49	x	x	NOUN
asir-35970	44	50	)	)	PUNCT
asir-35970	44	51	;	;	PUNCT
asir-35970	44	52	(	(	PUNCT
asir-35970	44	53	1.5	1.5	NUM
asir-35970	44	54	)	)	PUNCT
asir-35970	44	55	most(b	most(b	PROPN
asir-35970	44	56	,	,	PUNCT
asir-35970	44	57	x)=fewer	x)=fewer	ADJ
asir-35970	44	58	than	than	ADP
asir-35970	44	59	half	half	NOUN
asir-35970	44	60	of	of	ADP
asir-35970	44	61	the(b	the(b	NOUN
asir-35970	44	62	,	,	PUNCT
asir-35970	44	63	x	x	NOUN
asir-35970	44	64	)	)	PUNCT
asir-35970	44	65	;	;	PUNCT
asir-35970	44	66	(	(	PUNCT
asir-35970	44	67	1.6	1.6	NUM
asir-35970	44	68	)	)	PUNCT
asir-35970	44	69	fewer	few	ADJ
asir-35970	44	70	than	than	ADP
asir-35970	44	71	half	half	NOUN
asir-35970	44	72	of	of	ADP
asir-35970	44	73	the(b	the(b	PROPN
asir-35970	44	74	,	,	PUNCT
asir-35970	44	75	x)=most(b	x)=most(b	PROPN
asir-35970	44	76	,	,	PUNCT
asir-35970	44	77	x	x	NOUN
asir-35970	44	78	)	)	PUNCT
asir-35970	44	79	;	;	PUNCT
asir-35970	44	80	(	(	PUNCT
asir-35970	44	81	1.7	1.7	NUM
asir-35970	44	82	)	)	PUNCT
asir-35970	44	83	at	at	ADP
asir-35970	44	84	least	least	ADJ
asir-35970	44	85	half	half	NOUN
asir-35970	44	86	of	of	ADP
asir-35970	44	87	the(b	the(b	PROPN
asir-35970	44	88	,	,	PUNCT
asir-35970	44	89	x)=at	x)=at	PROPN
asir-35970	44	90	most	most	ADJ
asir-35970	44	91	half	half	NOUN
asir-35970	44	92	of	of	ADP
asir-35970	44	93	the(b	the(b	PROPN
asir-35970	44	94	,	,	PUNCT
asir-35970	44	95	x	x	NOUN
asir-35970	44	96	)	)	PUNCT
asir-35970	44	97	;	;	PUNCT
asir-35970	44	98	(	(	PUNCT
asir-35970	44	99	1.8	1.8	NUM
asir-35970	44	100	)	)	PUNCT
asir-35970	44	101	at	at	ADP
asir-35970	44	102	most	most	ADJ
asir-35970	44	103	half	half	NOUN
asir-35970	44	104	of	of	ADP
asir-35970	44	105	the(b	the(b	PROPN
asir-35970	44	106	,	,	PUNCT
asir-35970	44	107	x)=at	x)=at	PROPN
asir-35970	44	108	least	least	ADJ
asir-35970	44	109	half	half	NOUN
asir-35970	44	110	of	of	ADP
asir-35970	44	111	the(b	the(b	PROPN
asir-35970	44	112	,	,	PUNCT
asir-35970	44	113	x	x	NOUN
asir-35970	44	114	)	)	PUNCT
asir-35970	44	115	.	.	PUNCT
asir-35970	45	1	www.scholink.org/ojs/index.php/asir	www.scholink.org/ojs/index.php/asir	PROPN
asir-35970	45	2	applied	apply	VERB
asir-35970	45	3	science	science	NOUN
asir-35970	45	4	and	and	CCONJ
asir-35970	45	5	innovative	innovative	ADJ
asir-35970	45	6	research	research	NOUN
asir-35970	45	7	vol	vol	NOUN
asir-35970	45	8	.	.	PROPN
asir-35970	46	1	8	8	NUM
asir-35970	46	2	,	,	PUNCT
asir-35970	46	3	no	no	INTJ
asir-35970	46	4	.	.	NOUN
asir-35970	46	5	1	1	NUM
asir-35970	46	6	,	,	PUNCT
asir-35970	46	7	2024	2024	NUM
asir-35970	46	8	34	34	NUM
asir-35970	46	9	published	publish	VERB
asir-35970	46	10	by	by	ADP
asir-35970	46	11	scholink	scholink	PROPN
asir-35970	46	12	inc	inc	PROPN
asir-35970	46	13	.	.	PROPN
asir-35970	46	14	fact	fact	NOUN
asir-35970	46	15	2	2	NUM
asir-35970	46	16	(	(	PUNCT
asir-35970	46	17	outer	outer	ADJ
asir-35970	46	18	negation	negation	NOUN
asir-35970	46	19	):	):	PUNCT
asir-35970	46	20	(	(	PUNCT
asir-35970	46	21	2.1	2.1	NUM
asir-35970	46	22	)	)	PUNCT
asir-35970	46	23	all(b	all(b	PROPN
asir-35970	46	24	,	,	PUNCT
asir-35970	46	25	x)=not	x)=not	PROPN
asir-35970	46	26	all(b	all(b	PROPN
asir-35970	46	27	,	,	PUNCT
asir-35970	46	28	x	x	NOUN
asir-35970	46	29	)	)	PUNCT
asir-35970	46	30	;	;	PUNCT
asir-35970	46	31	(	(	PUNCT
asir-35970	46	32	2.2	2.2	NUM
asir-35970	46	33	)	)	PUNCT
asir-35970	46	34	not	not	ADV
asir-35970	46	35	all(b	all(b	PROPN
asir-35970	46	36	,	,	PUNCT
asir-35970	46	37	x)=all(b	x)=all(b	PROPN
asir-35970	46	38	,	,	PUNCT
asir-35970	46	39	x	x	NOUN
asir-35970	46	40	)	)	PUNCT
asir-35970	46	41	;	;	PUNCT
asir-35970	46	42	(	(	PUNCT
asir-35970	46	43	2.3	2.3	NUM
asir-35970	46	44	)	)	PUNCT
asir-35970	46	45	no(b	no(b	PROPN
asir-35970	46	46	,	,	PUNCT
asir-35970	46	47	x)=some(b	x)=some(b	ADJ
asir-35970	46	48	,	,	PUNCT
asir-35970	46	49	x	x	NOUN
asir-35970	46	50	)	)	PUNCT
asir-35970	46	51	;	;	PUNCT
asir-35970	46	52	(	(	PUNCT
asir-35970	46	53	2.4	2.4	NUM
asir-35970	46	54	)	)	PUNCT
asir-35970	46	55	some(b	some(b	NOUN
asir-35970	46	56	,	,	PUNCT
asir-35970	46	57	x)=no(b	x)=no(b	PROPN
asir-35970	46	58	,	,	PUNCT
asir-35970	46	59	x	x	NOUN
asir-35970	46	60	)	)	PUNCT
asir-35970	46	61	;	;	PUNCT
asir-35970	46	62	(	(	PUNCT
asir-35970	46	63	2.5	2.5	NUM
asir-35970	46	64	)	)	PUNCT
asir-35970	46	65	most(b	most(b	NOUN
asir-35970	46	66	,	,	PUNCT
asir-35970	46	67	x)=at	x)=at	PUNCT
asir-35970	47	1	most	most	ADJ
asir-35970	47	2	half	half	NOUN
asir-35970	47	3	of	of	ADP
asir-35970	47	4	the(b	the(b	PROPN
asir-35970	47	5	,	,	PUNCT
asir-35970	47	6	x	x	NOUN
asir-35970	47	7	)	)	PUNCT
asir-35970	47	8	;	;	PUNCT
asir-35970	47	9	(	(	PUNCT
asir-35970	47	10	2.6	2.6	NUM
asir-35970	47	11	)	)	PUNCT
asir-35970	47	12	at	at	PROPN
asir-35970	47	13	most	most	ADJ
asir-35970	47	14	half	half	NOUN
asir-35970	47	15	of	of	ADP
asir-35970	47	16	the(b	the(b	PROPN
asir-35970	47	17	,	,	PUNCT
asir-35970	47	18	x)=most(b	x)=most(b	X
asir-35970	47	19	,	,	PUNCT
asir-35970	47	20	x	x	NOUN
asir-35970	47	21	)	)	PUNCT
asir-35970	47	22	.	.	PUNCT
asir-35970	48	1	(	(	PUNCT
asir-35970	48	2	2.7	2.7	NUM
asir-35970	48	3	)	)	PUNCT
asir-35970	48	4	fewer	fewer	NOUN
asir-35970	48	5	than	than	ADP
asir-35970	48	6	half	half	PRON
asir-35970	48	7	of	of	ADP
asir-35970	48	8	the(b	the(b	PROPN
asir-35970	48	9	,	,	PUNCT
asir-35970	48	10	x)=at	x)=at	PROPN
asir-35970	49	1	least	least	ADJ
asir-35970	49	2	half	half	NOUN
asir-35970	49	3	of	of	ADP
asir-35970	49	4	the(b	the(b	PROPN
asir-35970	49	5	,	,	PUNCT
asir-35970	49	6	x	x	NOUN
asir-35970	49	7	)	)	PUNCT
asir-35970	49	8	;	;	PUNCT
asir-35970	49	9	(	(	PUNCT
asir-35970	49	10	2.8	2.8	NUM
asir-35970	49	11	)	)	PUNCT
asir-35970	50	1	at	at	PROPN
asir-35970	50	2	least	least	ADJ
asir-35970	50	3	half	half	NOUN
asir-35970	50	4	of	of	ADP
asir-35970	50	5	the(b	the(b	PROPN
asir-35970	50	6	,	,	PUNCT
asir-35970	50	7	x)=fewer	x)=fewer	ADJ
asir-35970	50	8	than	than	ADP
asir-35970	50	9	half	half	PRON
asir-35970	50	10	of	of	ADP
asir-35970	50	11	the(b	the(b	PROPN
asir-35970	50	12	,	,	PUNCT
asir-35970	50	13	x	x	NOUN
asir-35970	50	14	)	)	PUNCT
asir-35970	50	15	;	;	PUNCT
asir-35970	50	16	fact	fact	NOUN
asir-35970	50	17	3	3	NUM
asir-35970	50	18	(	(	PUNCT
asir-35970	50	19	symmetry	symmetry	NOUN
asir-35970	50	20	):	):	PUNCT
asir-35970	50	21	(	(	PUNCT
asir-35970	50	22	3.1	3.1	NUM
asir-35970	50	23	)	)	PUNCT
asir-35970	50	24	some(b	some(b	NOUN
asir-35970	50	25	,	,	PUNCT
asir-35970	50	26	x)some(x	x)some(x	PROPN
asir-35970	50	27	,	,	PUNCT
asir-35970	50	28	b	b	NOUN
asir-35970	50	29	)	)	PUNCT
asir-35970	50	30	;	;	PUNCT
asir-35970	50	31	(	(	PUNCT
asir-35970	50	32	3.2	3.2	NUM
asir-35970	50	33	)	)	PUNCT
asir-35970	50	34	no(b	no(b	NOUN
asir-35970	50	35	,	,	PUNCT
asir-35970	50	36	x)no(x	x)no(x	PROPN
asir-35970	50	37	,	,	PUNCT
asir-35970	50	38	b	b	NOUN
asir-35970	50	39	)	)	PUNCT
asir-35970	50	40	.	.	PUNCT
asir-35970	51	1	fact	fact	NOUN
asir-35970	51	2	4	4	NUM
asir-35970	51	3	(	(	PUNCT
asir-35970	51	4	subordination	subordination	NOUN
asir-35970	51	5	)	)	PUNCT
asir-35970	51	6	:	:	PUNCT
asir-35970	51	7	(	(	PUNCT
asir-35970	51	8	4.1	4.1	NUM
asir-35970	51	9	)	)	PUNCT
asir-35970	51	10	⊢all(b	⊢all(b	PROPN
asir-35970	51	11	,	,	PUNCT
asir-35970	51	12	x)some(b	x)some(b	NUM
asir-35970	51	13	,	,	PUNCT
asir-35970	51	14	x	x	NOUN
asir-35970	51	15	)	)	PUNCT
asir-35970	51	16	;	;	PUNCT
asir-35970	51	17	(	(	PUNCT
asir-35970	51	18	4.2	4.2	NUM
asir-35970	51	19	)	)	PUNCT
asir-35970	51	20	⊢no(b	⊢no(b	PROPN
asir-35970	51	21	,	,	PUNCT
asir-35970	51	22	x)not	x)not	PROPN
asir-35970	51	23	all(b	all(b	PROPN
asir-35970	51	24	,	,	PUNCT
asir-35970	51	25	x	x	NOUN
asir-35970	51	26	)	)	PUNCT
asir-35970	51	27	;	;	PUNCT
asir-35970	51	28	(	(	PUNCT
asir-35970	51	29	4.3	4.3	NUM
asir-35970	51	30	)	)	PUNCT
asir-35970	51	31	⊢all(b	⊢all(b	PROPN
asir-35970	51	32	,	,	PUNCT
asir-35970	51	33	x)most(b	x)most(b	PROPN
asir-35970	51	34	,	,	PUNCT
asir-35970	51	35	x	x	NOUN
asir-35970	51	36	)	)	PUNCT
asir-35970	51	37	;	;	PUNCT
asir-35970	51	38	(	(	PUNCT
asir-35970	51	39	4.4	4.4	NUM
asir-35970	51	40	)	)	PUNCT
asir-35970	51	41	⊢most(b	⊢most(b	NOUN
asir-35970	51	42	,	,	PUNCT
asir-35970	51	43	x)some(b	x)some(b	NUM
asir-35970	51	44	,	,	PUNCT
asir-35970	51	45	x	x	NOUN
asir-35970	51	46	)	)	PUNCT
asir-35970	51	47	;	;	PUNCT
asir-35970	51	48	(	(	PUNCT
asir-35970	51	49	4.5	4.5	X
asir-35970	51	50	)	)	PUNCT
asir-35970	51	51	⊢at	⊢at	NOUN
asir-35970	51	52	least	least	ADJ
asir-35970	51	53	half	half	NOUN
asir-35970	51	54	of	of	ADP
asir-35970	51	55	the(b	the(b	NUM
asir-35970	51	56	,	,	PUNCT
asir-35970	51	57	x)some(b	x)some(b	NUM
asir-35970	51	58	,	,	PUNCT
asir-35970	51	59	x	x	NOUN
asir-35970	51	60	)	)	PUNCT
asir-35970	51	61	;	;	PUNCT
asir-35970	51	62	(	(	PUNCT
asir-35970	51	63	4.6	4.6	NUM
asir-35970	51	64	)	)	PUNCT
asir-35970	51	65	⊢all(b	⊢all(b	PROPN
asir-35970	51	66	,	,	PUNCT
asir-35970	51	67	x)at	x)at	NOUN
asir-35970	51	68	least	least	ADJ
asir-35970	51	69	half	half	NOUN
asir-35970	51	70	of	of	ADP
asir-35970	51	71	the(b	the(b	PROPN
asir-35970	51	72	,	,	PUNCT
asir-35970	51	73	x	x	NOUN
asir-35970	51	74	)	)	PUNCT
asir-35970	51	75	;	;	PUNCT
asir-35970	51	76	(	(	PUNCT
asir-35970	51	77	4.7	4.7	NUM
asir-35970	51	78	)	)	PUNCT
asir-35970	51	79	⊢at	⊢at	NOUN
asir-35970	51	80	most	most	ADJ
asir-35970	51	81	half	half	NOUN
asir-35970	51	82	of	of	ADP
asir-35970	51	83	the(b	the(b	PROPN
asir-35970	51	84	,	,	PUNCT
asir-35970	51	85	x)not	x)not	PROPN
asir-35970	51	86	all(b	all(b	PROPN
asir-35970	51	87	,	,	PUNCT
asir-35970	51	88	x	x	NOUN
asir-35970	51	89	)	)	PUNCT
asir-35970	51	90	;	;	PUNCT
asir-35970	51	91	(	(	PUNCT
asir-35970	51	92	4.8	4.8	NUM
asir-35970	51	93	)	)	PUNCT
asir-35970	51	94	⊢fewer	⊢fewer	NOUN
asir-35970	51	95	than	than	ADP
asir-35970	51	96	half	half	PRON
asir-35970	51	97	of	of	ADP
asir-35970	51	98	the(b	the(b	PROPN
asir-35970	51	99	,	,	PUNCT
asir-35970	51	100	x)not	x)not	PROPN
asir-35970	51	101	all(b	all(b	PROPN
asir-35970	51	102	,	,	PUNCT
asir-35970	51	103	x	x	NOUN
asir-35970	51	104	)	)	PUNCT
asir-35970	51	105	.	.	PUNCT
asir-35970	52	1	fact	fact	NOUN
asir-35970	52	2	1	1	NUM
asir-35970	52	3	-	-	SYM
asir-35970	52	4	4	4	NUM
asir-35970	52	5	are	be	AUX
asir-35970	52	6	theoretical	theoretical	ADJ
asir-35970	52	7	basis	basis	NOUN
asir-35970	52	8	of	of	ADP
asir-35970	52	9	first	first	ADJ
asir-35970	52	10	-	-	PUNCT
asir-35970	52	11	order	order	NOUN
asir-35970	52	12	logic	logic	NOUN
asir-35970	52	13	(	(	PUNCT
asir-35970	52	14	hamilton	hamilton	PROPN
asir-35970	52	15	,	,	PUNCT
asir-35970	52	16	1978	1978	NUM
asir-35970	52	17	)	)	PUNCT
asir-35970	52	18	and	and	CCONJ
asir-35970	52	19	generalized	generalize	VERB
asir-35970	52	20	quantifier	quantifier	NOUN
asir-35970	52	21	theory	theory	NOUN
asir-35970	52	22	(	(	PUNCT
asir-35970	52	23	peters	peters	PROPN
asir-35970	52	24	&	&	CCONJ
asir-35970	52	25	westerståhl	westerståhl	PROPN
asir-35970	52	26	,	,	PUNCT
asir-35970	52	27	2006	2006	NUM
asir-35970	52	28	)	)	PUNCT
asir-35970	52	29	,	,	PUNCT
asir-35970	52	30	so	so	ADV
asir-35970	52	31	their	their	PRON
asir-35970	52	32	proofs	proof	NOUN
asir-35970	52	33	are	be	AUX
asir-35970	52	34	omitted	omit	VERB
asir-35970	52	35	.	.	PUNCT
asir-35970	53	1	4	4	X
asir-35970	53	2	.	.	X
asir-35970	53	3	the	the	DET
asir-35970	53	4	reducible	reducible	ADJ
asir-35970	53	5	relationships	relationship	NOUN
asir-35970	53	6	between	between	ADP
asir-35970	53	7	/	/	PUNCT
asir-35970	53	8	among	among	ADP
asir-35970	53	9	generalized	generalized	ADJ
asir-35970	53	10	syllogisms	syllogism	NOUN
asir-35970	53	11	if	if	SCONJ
asir-35970	53	12	the	the	DET
asir-35970	53	13	validity	validity	NOUN
asir-35970	53	14	of	of	ADP
asir-35970	53	15	one	one	NUM
asir-35970	53	16	syllogism	syllogism	NOUN
asir-35970	53	17	can	can	AUX
asir-35970	53	18	be	be	AUX
asir-35970	53	19	deduced	deduce	VERB
asir-35970	53	20	from	from	ADP
asir-35970	53	21	that	that	PRON
asir-35970	53	22	of	of	ADP
asir-35970	53	23	another	another	DET
asir-35970	53	24	one	one	NOUN
asir-35970	53	25	,	,	PUNCT
asir-35970	53	26	it	it	PRON
asir-35970	53	27	is	be	AUX
asir-35970	53	28	said	say	VERB
asir-35970	53	29	that	that	SCONJ
asir-35970	53	30	there	there	PRON
asir-35970	53	31	is	be	VERB
asir-35970	53	32	a	a	DET
asir-35970	53	33	reducible	reducible	ADJ
asir-35970	53	34	relationship	relationship	NOUN
asir-35970	53	35	between	between	ADP
asir-35970	53	36	these	these	DET
asir-35970	53	37	two	two	NUM
asir-35970	53	38	syllogisms	syllogism	NOUN
asir-35970	53	39	.	.	PUNCT
asir-35970	54	1	more	more	ADV
asir-35970	54	2	specifically	specifically	ADV
asir-35970	54	3	,	,	PUNCT
asir-35970	54	4	the	the	DET
asir-35970	54	5	following	follow	VERB
asir-35970	54	6	theorem	theorem	ADJ
asir-35970	54	7	2	2	NUM
asir-35970	54	8	illustrates	illustrate	VERB
asir-35970	54	9	that	that	SCONJ
asir-35970	54	10	the	the	DET
asir-35970	54	11	validity	validity	NOUN
asir-35970	54	12	of	of	ADP
asir-35970	54	13	generalized	generalized	ADJ
asir-35970	54	14	syllogisms	syllogism	NOUN
asir-35970	54	15	after	after	ADP
asir-35970	54	16	the	the	DET
asir-35970	54	17	implication	implication	NOUN
asir-35970	54	18	symbol	symbol	NOUN
asir-35970	54	19	(	(	PUNCT
asir-35970	54	20	i.e.	i.e.	X
asir-35970	54	21	,	,	PUNCT
asir-35970	54	22			NOUN
asir-35970	54	23	)	)	PUNCT
asir-35970	54	24	can	can	AUX
asir-35970	54	25	be	be	AUX
asir-35970	54	26	derived	derive	VERB
asir-35970	54	27	from	from	ADP
asir-35970	54	28	that	that	PRON
asir-35970	54	29	of	of	ADP
asir-35970	54	30	the	the	DET
asir-35970	54	31	generalized	generalized	ADJ
asir-35970	54	32	syllogism	syllogism	NOUN
asir-35970	54	33	amm-1	amm-1	NUM
asir-35970	54	34	.	.	PUNCT
asir-35970	55	1	in	in	ADP
asir-35970	55	2	other	other	ADJ
asir-35970	55	3	words	word	NOUN
asir-35970	55	4	,	,	PUNCT
asir-35970	55	5	there	there	PRON
asir-35970	55	6	are	be	VERB
asir-35970	55	7	reducible	reducible	ADJ
asir-35970	55	8	relationships	relationship	NOUN
asir-35970	55	9	between	between	ADP
asir-35970	55	10	/	/	PUNCT
asir-35970	55	11	among	among	ADP
asir-35970	55	12	these	these	DET
asir-35970	55	13	valid	valid	ADJ
asir-35970	55	14	syllogisms	syllogism	NOUN
asir-35970	55	15	.	.	PUNCT
asir-35970	56	1	theorem	theorem	NOUN
asir-35970	56	2	1	1	NUM
asir-35970	56	3	(	(	PUNCT
asir-35970	56	4	amm-1	amm-1	NUM
asir-35970	56	5	):	):	PUNCT
asir-35970	56	6	the	the	DET
asir-35970	56	7	generalized	generalized	ADJ
asir-35970	56	8	syllogism	syllogism	NOUN
asir-35970	56	9	all(n	all(n	PROPN
asir-35970	56	10	,	,	PUNCT
asir-35970	56	11	x)most(b	x)most(b	PRON
asir-35970	56	12	,	,	PUNCT
asir-35970	56	13	n)most(b	n)most(b	NOUN
asir-35970	56	14	,	,	PUNCT
asir-35970	56	15	x	x	X
asir-35970	56	16	)	)	PUNCT
asir-35970	56	17	is	be	AUX
asir-35970	56	18	valid	valid	ADJ
asir-35970	56	19	.	.	PUNCT
asir-35970	57	1	proof	proof	NOUN
asir-35970	57	2	:	:	PUNCT
asir-35970	57	3	suppose	suppose	VERB
asir-35970	57	4	that	that	SCONJ
asir-35970	57	5	all(n	all(n	PROPN
asir-35970	57	6	,	,	PUNCT
asir-35970	57	7	x	x	NOUN
asir-35970	57	8	)	)	PUNCT
asir-35970	57	9	and	and	CCONJ
asir-35970	57	10	most(b	most(b	NOUN
asir-35970	57	11	,	,	PUNCT
asir-35970	57	12	n	n	CCONJ
asir-35970	57	13	)	)	PUNCT
asir-35970	57	14	are	be	AUX
asir-35970	57	15	true	true	ADJ
asir-35970	57	16	,	,	PUNCT
asir-35970	57	17	then	then	ADV
asir-35970	57	18	nx	nx	PROPN
asir-35970	57	19	andb∩n0.5b	andb∩n0.5b	PRON
asir-35970	57	20	are	be	AUX
asir-35970	57	21	true	true	ADJ
asir-35970	57	22	according	accord	VERB
asir-35970	57	23	to	to	ADP
asir-35970	57	24	definition	definition	NOUN
asir-35970	57	25	d5	d5	NOUN
asir-35970	57	26	and	and	CCONJ
asir-35970	57	27	d10	d10	PROPN
asir-35970	57	28	,	,	PUNCT
asir-35970	57	29	respectively	respectively	ADV
asir-35970	57	30	.	.	PUNCT
asir-35970	58	1	hence	hence	ADV
asir-35970	58	2	it	it	PRON
asir-35970	58	3	can	can	AUX
asir-35970	58	4	be	be	AUX
asir-35970	58	5	concluded	conclude	VERB
asir-35970	58	6	that	that	SCONJ
asir-35970	58	7	b∩x0.5b	b∩x0.5b	PROPN
asir-35970	58	8	is	be	AUX
asir-35970	58	9	true	true	ADJ
asir-35970	58	10	.	.	PUNCT
asir-35970	59	1	thus	thus	ADV
asir-35970	59	2	,	,	PUNCT
asir-35970	59	3	most(b	most(b	VERB
asir-35970	59	4	,	,	PUNCT
asir-35970	59	5	x	x	PRON
asir-35970	59	6	)	)	PUNCT
asir-35970	59	7	is	be	AUX
asir-35970	59	8	true	true	ADJ
asir-35970	59	9	by	by	ADP
asir-35970	59	10	definition	definition	NOUN
asir-35970	59	11	d10	d10	PROPN
asir-35970	59	12	,	,	PUNCT
asir-35970	59	13	just	just	ADV
asir-35970	59	14	as	as	SCONJ
asir-35970	59	15	expected	expect	VERB
asir-35970	59	16	.	.	PUNCT
asir-35970	60	1	theorem	theorem	NOUN
asir-35970	60	2	2	2	NUM
asir-35970	60	3	:	:	PUNCT
asir-35970	60	4	there	there	PRON
asir-35970	60	5	are	be	VERB
asir-35970	60	6	at	at	ADP
asir-35970	60	7	least	least	ADJ
asir-35970	60	8	the	the	DET
asir-35970	60	9	following	follow	VERB
asir-35970	60	10	24	24	NUM
asir-35970	60	11	valid	valid	ADJ
asir-35970	60	12	generalized	generalize	VERB
asir-35970	60	13	syllogisms	syllogism	NOUN
asir-35970	60	14	inferred	infer	VERB
asir-35970	60	15	from	from	ADP
asir-35970	60	16	amm-1	amm-1	ADV
asir-35970	60	17	:	:	PUNCT
asir-35970	60	18	(	(	PUNCT
asir-35970	60	19	2.1	2.1	NUM
asir-35970	60	20	)	)	PUNCT
asir-35970	60	21	⊢amm-1ami-1	⊢amm-1ami-1	NUM
asir-35970	60	22	(	(	PUNCT
asir-35970	60	23	2.2	2.2	NUM
asir-35970	60	24	)	)	PUNCT
asir-35970	60	25	⊢amm-1ami-1mai-4	⊢amm-1ami-1mai-4	NOUN
asir-35970	60	26	www.scholink.org/ojs/index.php/asir	www.scholink.org/ojs/index.php/asir	NOUN
asir-35970	60	27	applied	apply	VERB
asir-35970	60	28	science	science	NOUN
asir-35970	60	29	and	and	CCONJ
asir-35970	60	30	innovative	innovative	ADJ
asir-35970	60	31	research	research	NOUN
asir-35970	60	32	vol	vol	NOUN
asir-35970	60	33	.	.	PROPN
asir-35970	61	1	8	8	NUM
asir-35970	61	2	,	,	PUNCT
asir-35970	61	3	no	no	INTJ
asir-35970	61	4	.	.	NOUN
asir-35970	61	5	1	1	NUM
asir-35970	61	6	,	,	PUNCT
asir-35970	61	7	2024	2024	NUM
asir-35970	61	8	35	35	NUM
asir-35970	61	9	published	publish	VERB
asir-35970	61	10	by	by	ADP
asir-35970	61	11	scholink	scholink	PROPN
asir-35970	61	12	inc	inc	PROPN
asir-35970	61	13	.	.	PROPN
asir-35970	62	1	(	(	PUNCT
asir-35970	62	2	2.3	2.3	NUM
asir-35970	62	3	)	)	PUNCT
asir-35970	62	4	⊢amm-1ahh-2	⊢amm-1ahh-2	NOUN
asir-35970	62	5	(	(	PUNCT
asir-35970	62	6	2.4	2.4	NUM
asir-35970	62	7	)	)	PUNCT
asir-35970	62	8	⊢amm-1ahh-2aho-2	⊢amm-1ahh-2aho-2	NOUN
asir-35970	62	9	(	(	PUNCT
asir-35970	62	10	2.5	2.5	NUM
asir-35970	62	11	)	)	PUNCT
asir-35970	62	12	⊢amm-1hmo-3	⊢amm-1hmo-3	X
asir-35970	62	13	(	(	PUNCT
asir-35970	62	14	2.6	2.6	NUM
asir-35970	62	15	)	)	PUNCT
asir-35970	62	16	⊢amm-1emf-1	⊢amm-1emf-1	PUNCT
asir-35970	62	17	(	(	PUNCT
asir-35970	62	18	2.7	2.7	NUM
asir-35970	62	19	)	)	PUNCT
asir-35970	62	20	⊢amm-1emf-1emo-1	⊢amm-1emf-1emo-1	NOUN
asir-35970	62	21	(	(	PUNCT
asir-35970	62	22	2.8	2.8	NUM
asir-35970	62	23	)	)	PUNCT
asir-35970	62	24	⊢amm-1emf-1emf-2	⊢amm-1emf-1emf-2	PROPN
asir-35970	62	25	(	(	PUNCT
asir-35970	62	26	2.9	2.9	NUM
asir-35970	62	27	)	)	PUNCT
asir-35970	62	28	⊢amm-1emf-1emf-2emo-2	⊢amm-1emf-1emf-2emo-2	NOUN
asir-35970	62	29	(	(	PUNCT
asir-35970	62	30	2.10	2.10	NUM
asir-35970	62	31	)	)	PUNCT
asir-35970	62	32	⊢amm-1ami-1aeh-2	⊢amm-1ami-1aeh-2	NOUN
asir-35970	62	33	(	(	PUNCT
asir-35970	62	34	2.11	2.11	NUM
asir-35970	62	35	)	)	PUNCT
asir-35970	62	36	⊢amm-1ami-1aeh-2aeh-4	⊢amm-1ami-1aeh-2aeh-4	PROPN
asir-35970	62	37	(	(	PUNCT
asir-35970	62	38	2.12	2.12	NUM
asir-35970	62	39	)	)	PUNCT
asir-35970	62	40	⊢amm-1ami-1emo-3	⊢amm-1ami-1emo-3	PROPN
asir-35970	62	41	(	(	PUNCT
asir-35970	62	42	2.13	2.13	NUM
asir-35970	62	43	)	)	PUNCT
asir-35970	62	44	⊢amm-1ahh-2esh-2	⊢amm-1ahh-2esh-2	PROPN
asir-35970	62	45	(	(	PUNCT
asir-35970	62	46	2.14	2.14	NUM
asir-35970	62	47	)	)	PUNCT
asir-35970	62	48	⊢amm-1ahh-2esh-2eso-2	⊢amm-1ahh-2esh-2eso-2	PROPN
asir-35970	62	49	(	(	PUNCT
asir-35970	62	50	2.15	2.15	NUM
asir-35970	62	51	)	)	PUNCT
asir-35970	62	52	⊢amm-1ahh-2esh-2esh-1	⊢amm-1ahh-2esh-2esh-1	NOUN
asir-35970	62	53	(	(	PUNCT
asir-35970	62	54	2.16	2.16	NUM
asir-35970	62	55	)	)	PUNCT
asir-35970	62	56	⊢amm-1ahh-2esh-2eso-2eso-1	⊢amm-1ahh-2esh-2eso-2eso-1	PROPN
asir-35970	62	57	(	(	PUNCT
asir-35970	62	58	2.17	2.17	NUM
asir-35970	62	59	)	)	PUNCT
asir-35970	62	60	⊢amm-1aho-2hao-3	⊢amm-1aho-2hao-3	PROPN
asir-35970	62	61	(	(	PUNCT
asir-35970	62	62	2.18	2.18	NUM
asir-35970	62	63	)	)	PUNCT
asir-35970	62	64	⊢amm-1aho-2aam-1	⊢amm-1aho-2aam-1	NOUN
asir-35970	62	65	(	(	PUNCT
asir-35970	62	66	2.19	2.19	NUM
asir-35970	62	67	)	)	PUNCT
asir-35970	62	68	⊢amm-1hmo-3smi-3	⊢amm-1hmo-3smi-3	NOUN
asir-35970	62	69	(	(	PUNCT
asir-35970	62	70	2.20	2.20	NUM
asir-35970	62	71	)	)	PUNCT
asir-35970	62	72	⊢amm-1hmo-3smi-3msi-3	⊢amm-1hmo-3smi-3msi-3	PROPN
asir-35970	62	73	(	(	PUNCT
asir-35970	62	74	2.21	2.21	NUM
asir-35970	62	75	)	)	PUNCT
asir-35970	62	76	⊢amm-1emf-1emo-1eah-2	⊢amm-1emf-1emo-1eah-2	NOUN
asir-35970	62	77	(	(	PUNCT
asir-35970	62	78	2.22	2.22	NUM
asir-35970	62	79	)	)	PUNCT
asir-35970	62	80	⊢amm-1emf-1emo-1ami-3	⊢amm-1emf-1emo-1ami-3	PROPN
asir-35970	62	81	(	(	PUNCT
asir-35970	62	82	2.23	2.23	NUM
asir-35970	62	83	)	)	PUNCT
asir-35970	62	84	⊢amm-1emf-1emo-1eah-2eah-1	⊢amm-1emf-1emo-1eah-2eah-1	NOUN
asir-35970	62	85	(	(	PUNCT
asir-35970	62	86	2.24	2.24	NUM
asir-35970	62	87	)	)	PUNCT
asir-35970	62	88	⊢amm-1emf-1emo-1ami-3mai-3	⊢amm-1emf-1emo-1ami-3mai-3	NOUN
asir-35970	62	89	proof	proof	NOUN
asir-35970	62	90	:	:	PUNCT
asir-35970	63	1	[	[	X
asir-35970	63	2	1	1	NUM
asir-35970	63	3	]	]	X
asir-35970	63	4	⊢all(n	⊢all(n	PROPN
asir-35970	63	5	,	,	PUNCT
asir-35970	63	6	x)most(b	x)most(b	PRON
asir-35970	63	7	,	,	PUNCT
asir-35970	63	8	n)most(b	n)most(b	NOUN
asir-35970	63	9	,	,	PUNCT
asir-35970	63	10	x	x	X
asir-35970	63	11	)	)	PUNCT
asir-35970	63	12	(	(	PUNCT
asir-35970	63	13	i.e.	i.e.	X
asir-35970	63	14	,	,	PUNCT
asir-35970	63	15	amm-1	amm-1	X
asir-35970	63	16	,	,	PUNCT
asir-35970	63	17	axiom	axiom	NOUN
asir-35970	63	18	a2	a2	PROPN
asir-35970	63	19	)	)	PUNCT
asir-35970	64	1	[	[	X
asir-35970	64	2	2	2	NUM
asir-35970	64	3	]	]	X
asir-35970	64	4	⊢all(n	⊢all(n	PROPN
asir-35970	64	5	,	,	PUNCT
asir-35970	64	6	x)most(b	x)most(b	PROPN
asir-35970	64	7	,	,	PUNCT
asir-35970	64	8	n)some(b	n)some(b	ADJ
asir-35970	64	9	,	,	PUNCT
asir-35970	64	10	x	x	X
asir-35970	64	11	)	)	PUNCT
asir-35970	64	12	(	(	PUNCT
asir-35970	64	13	i.e.	i.e.	X
asir-35970	64	14	,	,	PUNCT
asir-35970	64	15	ami-1	ami-1	X
asir-35970	64	16	,	,	PUNCT
asir-35970	64	17	by	by	ADP
asir-35970	64	18	[	[	X
asir-35970	64	19	1	1	NUM
asir-35970	64	20	]	]	PUNCT
asir-35970	64	21	and	and	CCONJ
asir-35970	64	22	fact	fact	NOUN
asir-35970	64	23	(	(	PUNCT
asir-35970	64	24	4.4	4.4	NUM
asir-35970	64	25	)	)	PUNCT
asir-35970	64	26	)	)	PUNCT
asir-35970	65	1	[	[	X
asir-35970	65	2	3	3	NUM
asir-35970	65	3	]	]	X
asir-35970	65	4	⊢all(n	⊢all(n	PROPN
asir-35970	65	5	,	,	PUNCT
asir-35970	65	6	x)most(b	x)most(b	PROPN
asir-35970	65	7	,	,	PUNCT
asir-35970	65	8	n)some(x	n)some(x	ADJ
asir-35970	65	9	,	,	PUNCT
asir-35970	65	10	b	b	NOUN
asir-35970	65	11	)	)	PUNCT
asir-35970	65	12	(	(	PUNCT
asir-35970	65	13	i.e.	i.e.	X
asir-35970	65	14	,	,	PUNCT
asir-35970	65	15	mai-4	mai-4	X
asir-35970	65	16	,	,	PUNCT
asir-35970	65	17	by	by	ADP
asir-35970	65	18	[	[	X
asir-35970	65	19	2	2	NUM
asir-35970	65	20	]	]	PUNCT
asir-35970	65	21	and	and	CCONJ
asir-35970	65	22	fact	fact	NOUN
asir-35970	65	23	(	(	PUNCT
asir-35970	65	24	3.1	3.1	NUM
asir-35970	65	25	)	)	PUNCT
asir-35970	65	26	)	)	PUNCT
asir-35970	66	1	[	[	X
asir-35970	66	2	4	4	NUM
asir-35970	66	3	]	]	X
asir-35970	66	4	⊢most(b	⊢most(b	NOUN
asir-35970	66	5	,	,	PUNCT
asir-35970	66	6	x)all(n	x)all(n	PROPN
asir-35970	66	7	,	,	PUNCT
asir-35970	66	8	x)most(b	x)most(b	PROPN
asir-35970	66	9	,	,	PUNCT
asir-35970	66	10	n	n	CCONJ
asir-35970	66	11	)	)	PUNCT
asir-35970	66	12	(	(	PUNCT
asir-35970	66	13	by	by	ADP
asir-35970	66	14	[	[	X
asir-35970	66	15	1	1	NUM
asir-35970	66	16	]	]	PUNCT
asir-35970	66	17	and	and	CCONJ
asir-35970	66	18	rule	rule	VERB
asir-35970	66	19	2	2	NUM
asir-35970	66	20	)	)	PUNCT
asir-35970	66	21	[	[	X
asir-35970	66	22	5	5	X
asir-35970	66	23	]	]	PUNCT
asir-35970	66	24	⊢at	⊢at	VERB
asir-35970	66	25	most	most	ADJ
asir-35970	66	26	half	half	NOUN
asir-35970	66	27	of	of	ADP
asir-35970	66	28	the(b	the(b	PROPN
asir-35970	66	29	,	,	PUNCT
asir-35970	66	30	x)all(n	x)all(n	PROPN
asir-35970	66	31	,	,	PUNCT
asir-35970	66	32	x)at	x)at	X
asir-35970	66	33	most	most	ADJ
asir-35970	66	34	half	half	NOUN
asir-35970	66	35	of	of	ADP
asir-35970	66	36	the(b	the(b	PROPN
asir-35970	66	37	,	,	PUNCT
asir-35970	66	38	n	n	CCONJ
asir-35970	66	39	)	)	PUNCT
asir-35970	66	40	(	(	PUNCT
asir-35970	66	41	i.e.	i.e.	X
asir-35970	66	42	,	,	PUNCT
asir-35970	66	43	ahh-2	ahh-2	X
asir-35970	66	44	,	,	PUNCT
asir-35970	66	45	by	by	ADP
asir-35970	66	46	[	[	X
asir-35970	66	47	4	4	NUM
asir-35970	66	48	]	]	PUNCT
asir-35970	66	49	and	and	CCONJ
asir-35970	66	50	fact	fact	NOUN
asir-35970	66	51	(	(	PUNCT
asir-35970	66	52	2.5	2.5	NUM
asir-35970	66	53	)	)	PUNCT
asir-35970	66	54	)	)	PUNCT
asir-35970	67	1	[	[	X
asir-35970	67	2	6	6	X
asir-35970	67	3	]	]	PUNCT
asir-35970	67	4	⊢at	⊢at	VERB
asir-35970	67	5	most	most	ADJ
asir-35970	67	6	half	half	NOUN
asir-35970	67	7	of	of	ADP
asir-35970	67	8	the(b	the(b	PROPN
asir-35970	67	9	,	,	PUNCT
asir-35970	67	10	x)all(n	x)all(n	PROPN
asir-35970	67	11	,	,	PUNCT
asir-35970	67	12	x)not	x)not	PROPN
asir-35970	67	13	all(b	all(b	PROPN
asir-35970	67	14	,	,	PUNCT
asir-35970	67	15	n	n	CCONJ
asir-35970	67	16	)	)	PUNCT
asir-35970	67	17	(	(	PUNCT
asir-35970	67	18	i.e.	i.e.	X
asir-35970	67	19	,	,	PUNCT
asir-35970	67	20	aho-2	aho-2	NOUN
asir-35970	67	21	,	,	PUNCT
asir-35970	67	22	by	by	ADP
asir-35970	67	23	[	[	PUNCT
asir-35970	67	24	5	5	NUM
asir-35970	67	25	]	]	PUNCT
asir-35970	67	26	,	,	PUNCT
asir-35970	67	27	rule	rule	NOUN
asir-35970	67	28	1	1	NUM
asir-35970	67	29	and	and	CCONJ
asir-35970	67	30	fact	fact	NOUN
asir-35970	67	31	(	(	PUNCT
asir-35970	67	32	4.7	4.7	NUM
asir-35970	67	33	)	)	PUNCT
asir-35970	67	34	)	)	PUNCT
asir-35970	68	1	[	[	X
asir-35970	68	2	7	7	X
asir-35970	68	3	]	]	X
asir-35970	68	4	⊢most(b	⊢most(b	NOUN
asir-35970	68	5	,	,	PUNCT
asir-35970	68	6	x)most(b	x)most(b	PROPN
asir-35970	68	7	,	,	PUNCT
asir-35970	68	8	n)all(n	n)all(n	ADJ
asir-35970	68	9	,	,	PUNCT
asir-35970	68	10	x	x	NOUN
asir-35970	68	11	)	)	PUNCT
asir-35970	68	12	(	(	PUNCT
asir-35970	68	13	by	by	ADP
asir-35970	68	14	[	[	X
asir-35970	68	15	1	1	NUM
asir-35970	68	16	]	]	PUNCT
asir-35970	68	17	and	and	CCONJ
asir-35970	68	18	rule	rule	VERB
asir-35970	68	19	3	3	NUM
asir-35970	68	20	)	)	PUNCT
asir-35970	68	21	[	[	X
asir-35970	68	22	8	8	NUM
asir-35970	68	23	]	]	X
asir-35970	68	24	⊢at	⊢at	VERB
asir-35970	68	25	most	most	ADJ
asir-35970	68	26	half	half	NOUN
asir-35970	68	27	of	of	ADP
asir-35970	68	28	the(b	the(b	PROPN
asir-35970	68	29	,	,	PUNCT
asir-35970	68	30	x)most(b	x)most(b	PROPN
asir-35970	68	31	,	,	PUNCT
asir-35970	68	32	n)not	n)not	ADP
asir-35970	68	33	all(n	all(n	PROPN
asir-35970	68	34	,	,	PUNCT
asir-35970	68	35	x	x	NOUN
asir-35970	68	36	)	)	PUNCT
asir-35970	68	37	(	(	PUNCT
asir-35970	68	38	i.e.	i.e.	X
asir-35970	68	39	,	,	PUNCT
asir-35970	68	40	hmo-3	hmo-3	X
asir-35970	68	41	,	,	PUNCT
asir-35970	68	42	by	by	ADP
asir-35970	68	43	[	[	X
asir-35970	68	44	7	7	NUM
asir-35970	68	45	]	]	PUNCT
asir-35970	68	46	,	,	PUNCT
asir-35970	68	47	fact	fact	NOUN
asir-35970	68	48	(	(	PUNCT
asir-35970	68	49	2.1	2.1	NUM
asir-35970	68	50	)	)	PUNCT
asir-35970	68	51	and	and	CCONJ
asir-35970	68	52	(	(	PUNCT
asir-35970	68	53	2.5	2.5	NUM
asir-35970	68	54	)	)	PUNCT
asir-35970	68	55	)	)	PUNCT
asir-35970	69	1	[	[	X
asir-35970	69	2	9	9	NUM
asir-35970	69	3	]	]	PUNCT
asir-35970	69	4	⊢no(n	⊢no(n	PROPN
asir-35970	69	5	,	,	PUNCT
asir-35970	69	6	x)most(b	x)most(b	PROPN
asir-35970	69	7	,	,	PUNCT
asir-35970	69	8	n)fewer	n)fewer	VERB
asir-35970	69	9	than	than	ADP
asir-35970	69	10	half	half	NOUN
asir-35970	69	11	of	of	ADP
asir-35970	69	12	the(b	the(b	NOUN
asir-35970	69	13	,	,	PUNCT
asir-35970	69	14	x	x	X
asir-35970	69	15	)	)	PUNCT
asir-35970	69	16	(	(	PUNCT
asir-35970	69	17	by	by	ADP
asir-35970	69	18	[	[	X
asir-35970	69	19	1	1	NUM
asir-35970	69	20	]	]	PUNCT
asir-35970	69	21	,	,	PUNCT
asir-35970	69	22	fact	fact	NOUN
asir-35970	69	23	(	(	PUNCT
asir-35970	69	24	1.1	1.1	NUM
asir-35970	69	25	)	)	PUNCT
asir-35970	69	26	and	and	CCONJ
asir-35970	69	27	fact	fact	NOUN
asir-35970	69	28	(	(	PUNCT
asir-35970	69	29	1.5	1.5	NUM
asir-35970	69	30	)	)	PUNCT
asir-35970	69	31	)	)	PUNCT
asir-35970	70	1	[	[	X
asir-35970	70	2	10	10	NUM
asir-35970	70	3	]	]	X
asir-35970	70	4	⊢no(n	⊢no(n	NOUN
asir-35970	70	5	,	,	PUNCT
asir-35970	70	6	dx)most(b	dx)most(b	NOUN
asir-35970	70	7	,	,	PUNCT
asir-35970	70	8	n)fewer	n)fewer	VERB
asir-35970	70	9	than	than	ADP
asir-35970	70	10	half	half	NOUN
asir-35970	70	11	of	of	ADP
asir-35970	70	12	the(b	the(b	PROPN
asir-35970	70	13	,	,	PUNCT
asir-35970	70	14	dx	dx	NUM
asir-35970	70	15	)	)	PUNCT
asir-35970	70	16	(	(	PUNCT
asir-35970	70	17	i.e.	i.e.	X
asir-35970	70	18	,	,	PUNCT
asir-35970	70	19	emf-1	emf-1	PRON
asir-35970	70	20	,	,	PUNCT
asir-35970	70	21	by	by	ADP
asir-35970	70	22	[	[	PUNCT
asir-35970	70	23	9	9	NUM
asir-35970	70	24	]	]	PUNCT
asir-35970	70	25	and	and	CCONJ
asir-35970	70	26	definition	definition	NOUN
asir-35970	70	27	d3	d3	PROPN
asir-35970	70	28	)	)	PUNCT
asir-35970	71	1	[	[	X
asir-35970	71	2	11	11	NUM
asir-35970	71	3	]	]	X
asir-35970	71	4	⊢no(n	⊢no(n	NOUN
asir-35970	71	5	,	,	PUNCT
asir-35970	71	6	dx)most(b	dx)most(b	NOUN
asir-35970	71	7	,	,	PUNCT
asir-35970	71	8	n)not	n)not	ADP
asir-35970	71	9	all(b	all(b	PROPN
asir-35970	71	10	,	,	PUNCT
asir-35970	71	11	dx	dx	NUM
asir-35970	71	12	)	)	PUNCT
asir-35970	71	13	(	(	PUNCT
asir-35970	71	14	i.e.	i.e.	X
asir-35970	71	15	,	,	PUNCT
asir-35970	71	16	emo-1	emo-1	ADJ
asir-35970	71	17	,	,	PUNCT
asir-35970	71	18	by	by	ADP
asir-35970	71	19	[	[	PUNCT
asir-35970	71	20	10	10	NUM
asir-35970	71	21	]	]	PUNCT
asir-35970	71	22	,	,	PUNCT
asir-35970	71	23	rule	rule	NOUN
asir-35970	71	24	1	1	NUM
asir-35970	71	25	and	and	CCONJ
asir-35970	71	26	fact	fact	NOUN
asir-35970	71	27	(	(	PUNCT
asir-35970	71	28	4.8	4.8	NUM
asir-35970	71	29	)	)	PUNCT
asir-35970	71	30	)	)	PUNCT
asir-35970	72	1	[	[	X
asir-35970	72	2	12	12	NUM
asir-35970	72	3	]	]	PUNCT
asir-35970	72	4	⊢no(dx	⊢no(dx	NOUN
asir-35970	72	5	,	,	PUNCT
asir-35970	72	6	n)most(b	n)most(b	NOUN
asir-35970	72	7	,	,	PUNCT
asir-35970	72	8	n)fewer	n)fewer	VERB
asir-35970	72	9	than	than	ADP
asir-35970	72	10	half	half	NOUN
asir-35970	72	11	of	of	ADP
asir-35970	72	12	the(b	the(b	PROPN
asir-35970	72	13	,	,	PUNCT
asir-35970	72	14	dx	dx	NUM
asir-35970	72	15	)	)	PUNCT
asir-35970	72	16	(	(	PUNCT
asir-35970	72	17	i.e.	i.e.	X
asir-35970	72	18	,	,	PUNCT
asir-35970	72	19	emf-2	emf-2	NOUN
asir-35970	72	20	,	,	PUNCT
asir-35970	72	21	by	by	ADP
asir-35970	72	22	[	[	X
asir-35970	72	23	10	10	NUM
asir-35970	72	24	]	]	PUNCT
asir-35970	72	25	and	and	CCONJ
asir-35970	72	26	fact	fact	NOUN
asir-35970	72	27	(	(	PUNCT
asir-35970	72	28	3.2	3.2	NUM
asir-35970	72	29	)	)	PUNCT
asir-35970	72	30	)	)	PUNCT
asir-35970	73	1	[	[	X
asir-35970	73	2	13	13	NUM
asir-35970	73	3	]	]	SYM
asir-35970	73	4	⊢no(dx	⊢no(dx	NOUN
asir-35970	73	5	,	,	PUNCT
asir-35970	73	6	n)most(b	n)most(b	NOUN
asir-35970	73	7	,	,	PUNCT
asir-35970	73	8	n)not	n)not	ADP
asir-35970	73	9	all(b	all(b	PROPN
asir-35970	73	10	,	,	PUNCT
asir-35970	73	11	dx	dx	NUM
asir-35970	73	12	)	)	PUNCT
asir-35970	73	13	(	(	PUNCT
asir-35970	73	14	i.e.	i.e.	X
asir-35970	73	15	,	,	PUNCT
asir-35970	73	16	emo-2	emo-2	NOUN
asir-35970	73	17	,	,	PUNCT
asir-35970	73	18	by	by	ADP
asir-35970	73	19	[	[	X
asir-35970	73	20	12	12	NUM
asir-35970	73	21	]	]	PUNCT
asir-35970	73	22	)	)	PUNCT
asir-35970	73	23	,	,	PUNCT
asir-35970	73	24	rule	rule	VERB
asir-35970	73	25	1	1	NUM
asir-35970	73	26	and	and	CCONJ
asir-35970	73	27	fact	fact	NOUN
asir-35970	73	28	(	(	PUNCT
asir-35970	73	29	4.8	4.8	NUM
asir-35970	73	30	)	)	PUNCT
asir-35970	73	31	)	)	PUNCT
asir-35970	74	1	[	[	X
asir-35970	74	2	14	14	NUM
asir-35970	74	3	]	]	PUNCT
asir-35970	74	4	⊢some(b	⊢some(b	PROPN
asir-35970	74	5	,	,	PUNCT
asir-35970	74	6	x)all(n	x)all(n	PROPN
asir-35970	74	7	,	,	PUNCT
asir-35970	74	8	x)most(b	x)most(b	PROPN
asir-35970	74	9	,	,	PUNCT
asir-35970	74	10	n	n	CCONJ
asir-35970	74	11	)	)	PUNCT
asir-35970	74	12	(	(	PUNCT
asir-35970	74	13	by	by	ADP
asir-35970	74	14	[	[	X
asir-35970	74	15	2	2	NUM
asir-35970	74	16	]	]	PUNCT
asir-35970	74	17	and	and	CCONJ
asir-35970	74	18	rule	rule	VERB
asir-35970	74	19	2	2	NUM
asir-35970	74	20	)	)	PUNCT
asir-35970	74	21	www.scholink.org/ojs/index.php/asir	www.scholink.org/ojs/index.php/asir	NOUN
asir-35970	74	22	applied	apply	VERB
asir-35970	74	23	science	science	NOUN
asir-35970	74	24	and	and	CCONJ
asir-35970	74	25	innovative	innovative	ADJ
asir-35970	74	26	research	research	NOUN
asir-35970	74	27	vol	vol	NOUN
asir-35970	74	28	.	.	PROPN
asir-35970	75	1	8	8	NUM
asir-35970	75	2	,	,	PUNCT
asir-35970	75	3	no	no	INTJ
asir-35970	75	4	.	.	NOUN
asir-35970	75	5	1	1	NUM
asir-35970	75	6	,	,	PUNCT
asir-35970	75	7	2024	2024	NUM
asir-35970	75	8	36	36	NUM
asir-35970	75	9	published	publish	VERB
asir-35970	75	10	by	by	ADP
asir-35970	75	11	scholink	scholink	PROPN
asir-35970	75	12	inc	inc	PROPN
asir-35970	75	13	.	.	PUNCT
asir-35970	76	1	[	[	X
asir-35970	76	2	15	15	NUM
asir-35970	76	3	]	]	X
asir-35970	76	4	⊢no(b	⊢no(b	PROPN
asir-35970	76	5	,	,	PUNCT
asir-35970	76	6	x)all(n	x)all(n	PROPN
asir-35970	76	7	,	,	PUNCT
asir-35970	76	8	x)at	x)at	X
asir-35970	76	9	most	most	ADJ
asir-35970	76	10	half	half	NOUN
asir-35970	76	11	of	of	ADP
asir-35970	76	12	the(b	the(b	PROPN
asir-35970	76	13	,	,	PUNCT
asir-35970	76	14	n	n	CCONJ
asir-35970	76	15	)	)	PUNCT
asir-35970	76	16	(	(	PUNCT
asir-35970	76	17	i.e.	i.e.	X
asir-35970	76	18	,	,	PUNCT
asir-35970	76	19	aeh-2	aeh-2	X
asir-35970	76	20	,	,	PUNCT
asir-35970	76	21	by	by	ADP
asir-35970	76	22	[	[	X
asir-35970	76	23	14	14	NUM
asir-35970	76	24	]	]	PUNCT
asir-35970	76	25	,	,	PUNCT
asir-35970	76	26	and	and	CCONJ
asir-35970	76	27	fact	fact	NOUN
asir-35970	76	28	(	(	PUNCT
asir-35970	76	29	2.4	2.4	NUM
asir-35970	76	30	)	)	PUNCT
asir-35970	76	31	and	and	CCONJ
asir-35970	76	32	(	(	PUNCT
asir-35970	76	33	2.5	2.5	NUM
asir-35970	76	34	)	)	PUNCT
asir-35970	76	35	)	)	PUNCT
asir-35970	77	1	[	[	X
asir-35970	77	2	16	16	NUM
asir-35970	77	3	]	]	X
asir-35970	77	4	⊢no(x	⊢no(x	PROPN
asir-35970	77	5	,	,	PUNCT
asir-35970	77	6	b)all(n	b)all(n	PROPN
asir-35970	77	7	,	,	PUNCT
asir-35970	77	8	x)at	x)at	X
asir-35970	77	9	most	most	ADJ
asir-35970	77	10	half	half	NOUN
asir-35970	77	11	of	of	ADP
asir-35970	77	12	the(b	the(b	PROPN
asir-35970	77	13	,	,	PUNCT
asir-35970	77	14	n	n	CCONJ
asir-35970	77	15	)	)	PUNCT
asir-35970	77	16	(	(	PUNCT
asir-35970	77	17	i.e.	i.e.	X
asir-35970	77	18	,	,	PUNCT
asir-35970	77	19	aeh-4	aeh-4	NUM
asir-35970	77	20	,	,	PUNCT
asir-35970	77	21	by	by	ADP
asir-35970	77	22	[	[	X
asir-35970	77	23	15	15	NUM
asir-35970	77	24	]	]	PUNCT
asir-35970	77	25	,	,	PUNCT
asir-35970	77	26	and	and	CCONJ
asir-35970	77	27	fact	fact	NOUN
asir-35970	77	28	(	(	PUNCT
asir-35970	77	29	3.2	3.2	NUM
asir-35970	77	30	)	)	PUNCT
asir-35970	77	31	)	)	PUNCT
asir-35970	78	1	[	[	X
asir-35970	78	2	17	17	NUM
asir-35970	78	3	]	]	PUNCT
asir-35970	78	4	⊢some(b	⊢some(b	PROPN
asir-35970	78	5	,	,	PUNCT
asir-35970	78	6	x)most(b	x)most(b	PROPN
asir-35970	78	7	,	,	PUNCT
asir-35970	78	8	n)all(n	n)all(n	ADJ
asir-35970	78	9	,	,	PUNCT
asir-35970	78	10	x	x	NOUN
asir-35970	78	11	)	)	PUNCT
asir-35970	78	12	(	(	PUNCT
asir-35970	78	13	by	by	ADP
asir-35970	78	14	[	[	X
asir-35970	78	15	2	2	NUM
asir-35970	78	16	]	]	PUNCT
asir-35970	78	17	and	and	CCONJ
asir-35970	78	18	rule	rule	VERB
asir-35970	78	19	3	3	NUM
asir-35970	78	20	)	)	PUNCT
asir-35970	79	1	[	[	X
asir-35970	79	2	18	18	NUM
asir-35970	79	3	]	]	X
asir-35970	79	4	⊢no(b	⊢no(b	PROPN
asir-35970	79	5	,	,	PUNCT
asir-35970	79	6	x)most(b	x)most(b	PRON
asir-35970	79	7	,	,	PUNCT
asir-35970	79	8	n)not	n)not	ADP
asir-35970	79	9	all(n	all(n	PROPN
asir-35970	79	10	,	,	PUNCT
asir-35970	79	11	x	x	NOUN
asir-35970	79	12	)	)	PUNCT
asir-35970	79	13	(	(	PUNCT
asir-35970	79	14	i.e.	i.e.	X
asir-35970	79	15	,	,	PUNCT
asir-35970	79	16	emo-3	emo-3	X
asir-35970	79	17	,	,	PUNCT
asir-35970	79	18	by	by	ADP
asir-35970	79	19	[	[	X
asir-35970	79	20	17	17	NUM
asir-35970	79	21	]	]	PUNCT
asir-35970	79	22	,	,	PUNCT
asir-35970	79	23	and	and	CCONJ
asir-35970	79	24	fact	fact	NOUN
asir-35970	79	25	(	(	PUNCT
asir-35970	79	26	2.4	2.4	NUM
asir-35970	79	27	)	)	PUNCT
asir-35970	79	28	and	and	CCONJ
asir-35970	79	29	(	(	PUNCT
asir-35970	79	30	2.1	2.1	NUM
asir-35970	79	31	)	)	PUNCT
asir-35970	79	32	)	)	PUNCT
asir-35970	80	1	[	[	X
asir-35970	80	2	19	19	NUM
asir-35970	80	3	]	]	X
asir-35970	80	4	⊢at	⊢at	X
asir-35970	80	5	least	least	ADJ
asir-35970	80	6	half	half	NOUN
asir-35970	80	7	of	of	ADP
asir-35970	80	8	the	the	DET
asir-35970	80	9	(	(	PUNCT
asir-35970	80	10	b	b	NOUN
asir-35970	80	11	,	,	PUNCT
asir-35970	80	12	x)no(n	x)no(n	PROPN
asir-35970	80	13	,	,	PUNCT
asir-35970	80	14	x)at	x)at	X
asir-35970	80	15	most	most	ADJ
asir-35970	80	16	half	half	NOUN
asir-35970	80	17	of	of	ADP
asir-35970	80	18	the(b	the(b	PROPN
asir-35970	80	19	,	,	PUNCT
asir-35970	80	20	n	n	CCONJ
asir-35970	80	21	)	)	PUNCT
asir-35970	80	22	(	(	PUNCT
asir-35970	80	23	by	by	ADP
asir-35970	80	24	[	[	X
asir-35970	80	25	5	5	NUM
asir-35970	80	26	]	]	PUNCT
asir-35970	80	27	,	,	PUNCT
asir-35970	80	28	and	and	CCONJ
asir-35970	80	29	fact	fact	NOUN
asir-35970	80	30	(	(	PUNCT
asir-35970	80	31	1.8	1.8	NUM
asir-35970	80	32	)	)	PUNCT
asir-35970	80	33	and	and	CCONJ
asir-35970	80	34	(	(	PUNCT
asir-35970	80	35	1.1	1.1	NUM
asir-35970	80	36	)	)	PUNCT
asir-35970	80	37	)	)	PUNCT
asir-35970	81	1	[	[	X
asir-35970	81	2	20	20	NUM
asir-35970	81	3	]	]	SYM
asir-35970	81	4	⊢at	⊢at	VERB
asir-35970	81	5	least	least	ADJ
asir-35970	81	6	half	half	NOUN
asir-35970	81	7	of	of	ADP
asir-35970	81	8	the(b	the(b	PROPN
asir-35970	81	9	,	,	PUNCT
asir-35970	81	10	dx)no(n	dx)no(n	PROPN
asir-35970	81	11	,	,	PUNCT
asir-35970	81	12	dx)at	dx)at	NOUN
asir-35970	81	13	most	most	ADJ
asir-35970	81	14	half	half	NOUN
asir-35970	81	15	of	of	ADP
asir-35970	81	16	the(b	the(b	PROPN
asir-35970	81	17	,	,	PUNCT
asir-35970	81	18	n	n	CCONJ
asir-35970	81	19	)	)	PUNCT
asir-35970	81	20	(	(	PUNCT
asir-35970	81	21	i.e.	i.e.	X
asir-35970	81	22	,	,	PUNCT
asir-35970	81	23	esh-2	esh-2	X
asir-35970	81	24	,	,	PUNCT
asir-35970	81	25	by	by	ADP
asir-35970	81	26	[	[	X
asir-35970	81	27	19	19	NUM
asir-35970	81	28	]	]	PUNCT
asir-35970	81	29	and	and	CCONJ
asir-35970	81	30	definition	definition	NOUN
asir-35970	81	31	d3	d3	PROPN
asir-35970	81	32	)	)	PUNCT
asir-35970	82	1	[	[	X
asir-35970	82	2	21	21	NUM
asir-35970	82	3	]	]	X
asir-35970	82	4	⊢at	⊢at	VERB
asir-35970	82	5	least	least	ADJ
asir-35970	82	6	half	half	NOUN
asir-35970	82	7	of	of	ADP
asir-35970	82	8	the(b	the(b	PROPN
asir-35970	82	9	,	,	PUNCT
asir-35970	82	10	dx)no(n	dx)no(n	PROPN
asir-35970	82	11	,	,	PUNCT
asir-35970	82	12	dx)not	dx)not	X
asir-35970	82	13	all(b	all(b	PROPN
asir-35970	82	14	,	,	PUNCT
asir-35970	82	15	n	n	CCONJ
asir-35970	82	16	)	)	PUNCT
asir-35970	82	17	(	(	PUNCT
asir-35970	82	18	i.e.	i.e.	X
asir-35970	82	19	,	,	PUNCT
asir-35970	82	20	eso-2	eso-2	NOUN
asir-35970	82	21	,	,	PUNCT
asir-35970	82	22	by	by	ADP
asir-35970	82	23	[	[	X
asir-35970	82	24	20	20	NUM
asir-35970	82	25	]	]	PUNCT
asir-35970	82	26	,	,	PUNCT
asir-35970	82	27	rule	rule	NOUN
asir-35970	82	28	1	1	NUM
asir-35970	82	29	and	and	CCONJ
asir-35970	82	30	fact	fact	NOUN
asir-35970	82	31	(	(	PUNCT
asir-35970	82	32	4.7	4.7	NUM
asir-35970	82	33	)	)	PUNCT
asir-35970	82	34	)	)	PUNCT
asir-35970	83	1	[	[	X
asir-35970	83	2	22	22	NUM
asir-35970	83	3	]	]	X
asir-35970	83	4	⊢at	⊢at	VERB
asir-35970	83	5	least	least	ADJ
asir-35970	83	6	half	half	NOUN
asir-35970	83	7	of	of	ADP
asir-35970	83	8	the(b	the(b	ADP
asir-35970	83	9	,	,	PUNCT
asir-35970	83	10	dx)no(dx	dx)no(dx	ADJ
asir-35970	83	11	,	,	PUNCT
asir-35970	83	12	n)at	n)at	ADV
asir-35970	83	13	most	most	ADJ
asir-35970	83	14	half	half	NOUN
asir-35970	83	15	of	of	ADP
asir-35970	83	16	the(b	the(b	PROPN
asir-35970	83	17	,	,	PUNCT
asir-35970	83	18	n	n	CCONJ
asir-35970	83	19	)	)	PUNCT
asir-35970	83	20	(	(	PUNCT
asir-35970	83	21	i.e.	i.e.	X
asir-35970	83	22	,	,	PUNCT
asir-35970	83	23	esh-1	esh-1	ADV
asir-35970	83	24	,	,	PUNCT
asir-35970	83	25	by	by	ADP
asir-35970	83	26	[	[	X
asir-35970	83	27	20	20	NUM
asir-35970	83	28	]	]	PUNCT
asir-35970	83	29	and	and	CCONJ
asir-35970	83	30	fact	fact	NOUN
asir-35970	83	31	(	(	PUNCT
asir-35970	83	32	3.2	3.2	NUM
asir-35970	83	33	)	)	PUNCT
asir-35970	83	34	)	)	PUNCT
asir-35970	84	1	[	[	X
asir-35970	84	2	23	23	NUM
asir-35970	84	3	]	]	X
asir-35970	84	4	⊢at	⊢at	X
asir-35970	84	5	least	least	ADJ
asir-35970	84	6	half	half	NOUN
asir-35970	84	7	of	of	ADP
asir-35970	84	8	the(b	the(b	ADP
asir-35970	84	9	,	,	PUNCT
asir-35970	84	10	dx)no(dx	dx)no(dx	ADJ
asir-35970	84	11	,	,	PUNCT
asir-35970	84	12	n)not	n)not	ADV
asir-35970	84	13	all(b	all(b	PROPN
asir-35970	84	14	,	,	PUNCT
asir-35970	84	15	n	n	CCONJ
asir-35970	84	16	)	)	PUNCT
asir-35970	84	17	(	(	PUNCT
asir-35970	84	18	i.e.	i.e.	X
asir-35970	84	19	,	,	PUNCT
asir-35970	84	20	eso-1	eso-1	NOUN
asir-35970	84	21	,	,	PUNCT
asir-35970	84	22	by	by	ADP
asir-35970	84	23	[	[	X
asir-35970	84	24	21	21	NUM
asir-35970	84	25	]	]	PUNCT
asir-35970	84	26	and	and	CCONJ
asir-35970	84	27	fact	fact	NOUN
asir-35970	84	28	(	(	PUNCT
asir-35970	84	29	3.2	3.2	NUM
asir-35970	84	30	)	)	PUNCT
asir-35970	84	31	)	)	PUNCT
asir-35970	85	1	[	[	X
asir-35970	85	2	24	24	NUM
asir-35970	85	3	]	]	PUNCT
asir-35970	85	4	⊢not	⊢not	PROPN
asir-35970	85	5	all(b	all(b	PROPN
asir-35970	85	6	,	,	PUNCT
asir-35970	85	7	n)at	n)at	PRON
asir-35970	85	8	most	most	ADV
asir-35970	85	9	half	half	NOUN
asir-35970	85	10	of	of	ADP
asir-35970	85	11	the(b	the(b	NUM
asir-35970	85	12	,	,	PUNCT
asir-35970	85	13	x)all(n	x)all(n	ADJ
asir-35970	85	14	,	,	PUNCT
asir-35970	85	15	x	x	X
asir-35970	85	16	)	)	PUNCT
asir-35970	85	17	(	(	PUNCT
asir-35970	85	18	by	by	ADP
asir-35970	85	19	[	[	X
asir-35970	85	20	6	6	NUM
asir-35970	85	21	]	]	PUNCT
asir-35970	85	22	and	and	CCONJ
asir-35970	85	23	rule	rule	VERB
asir-35970	85	24	2	2	NUM
asir-35970	85	25	)	)	PUNCT
asir-35970	85	26	[	[	X
asir-35970	85	27	25	25	NUM
asir-35970	85	28	]	]	X
asir-35970	85	29	⊢all(b	⊢all(b	PROPN
asir-35970	85	30	,	,	PUNCT
asir-35970	85	31	n)at	n)at	PRON
asir-35970	85	32	most	most	ADV
asir-35970	85	33	half	half	NOUN
asir-35970	85	34	of	of	ADP
asir-35970	85	35	the(b	the(b	PROPN
asir-35970	85	36	,	,	PUNCT
asir-35970	85	37	x)not	x)not	PROPN
asir-35970	85	38	all(n	all(n	PROPN
asir-35970	85	39	,	,	PUNCT
asir-35970	85	40	x	x	NOUN
asir-35970	85	41	)	)	PUNCT
asir-35970	85	42	(	(	PUNCT
asir-35970	85	43	i.e.	i.e.	X
asir-35970	85	44	,	,	PUNCT
asir-35970	85	45	hao-3	hao-3	PRON
asir-35970	85	46	,	,	PUNCT
asir-35970	85	47	by	by	ADP
asir-35970	85	48	[	[	X
asir-35970	85	49	24	24	NUM
asir-35970	85	50	]	]	PUNCT
asir-35970	85	51	,	,	PUNCT
asir-35970	85	52	and	and	CCONJ
asir-35970	85	53	fact	fact	NOUN
asir-35970	85	54	(	(	PUNCT
asir-35970	85	55	2.2	2.2	NUM
asir-35970	85	56	)	)	PUNCT
asir-35970	85	57	and	and	CCONJ
asir-35970	85	58	(	(	PUNCT
asir-35970	85	59	2.1	2.1	NUM
asir-35970	85	60	)	)	PUNCT
asir-35970	85	61	)	)	PUNCT
asir-35970	86	1	[	[	X
asir-35970	86	2	26	26	NUM
asir-35970	86	3	]	]	PUNCT
asir-35970	86	4	⊢not	⊢not	PROPN
asir-35970	86	5	all(b	all(b	PROPN
asir-35970	86	6	,	,	PUNCT
asir-35970	86	7	n)all(n	n)all(n	PROPN
asir-35970	86	8	,	,	PUNCT
asir-35970	86	9	x)at	x)at	VERB
asir-35970	86	10	most	most	ADJ
asir-35970	86	11	half	half	NOUN
asir-35970	86	12	of	of	ADP
asir-35970	86	13	the(b	the(b	PROPN
asir-35970	86	14	,	,	PUNCT
asir-35970	86	15	x	x	NOUN
asir-35970	86	16	)	)	PUNCT
asir-35970	86	17	(	(	PUNCT
asir-35970	86	18	by	by	ADP
asir-35970	86	19	[	[	X
asir-35970	86	20	6	6	NUM
asir-35970	86	21	]	]	PUNCT
asir-35970	86	22	and	and	CCONJ
asir-35970	86	23	rule	rule	VERB
asir-35970	86	24	3	3	NUM
asir-35970	86	25	)	)	PUNCT
asir-35970	86	26	[	[	X
asir-35970	86	27	27	27	NUM
asir-35970	86	28	]	]	X
asir-35970	86	29	⊢all(b	⊢all(b	PROPN
asir-35970	86	30	,	,	PUNCT
asir-35970	86	31	n)all(n	n)all(n	PROPN
asir-35970	86	32	,	,	PUNCT
asir-35970	86	33	x)most(b	x)most(b	PROPN
asir-35970	86	34	,	,	PUNCT
asir-35970	86	35	x	x	NOUN
asir-35970	86	36	)	)	PUNCT
asir-35970	86	37	(	(	PUNCT
asir-35970	86	38	i.e.	i.e.	X
asir-35970	86	39	,	,	PUNCT
asir-35970	86	40	aam-1	aam-1	NUM
asir-35970	86	41	,	,	PUNCT
asir-35970	86	42	by	by	ADP
asir-35970	86	43	[	[	PUNCT
asir-35970	86	44	26	26	NUM
asir-35970	86	45	]	]	PUNCT
asir-35970	86	46	,	,	PUNCT
asir-35970	86	47	and	and	CCONJ
asir-35970	86	48	fact	fact	NOUN
asir-35970	86	49	(	(	PUNCT
asir-35970	86	50	2.2	2.2	NUM
asir-35970	86	51	)	)	PUNCT
asir-35970	86	52	and	and	CCONJ
asir-35970	86	53	(	(	PUNCT
asir-35970	86	54	2.6	2.6	NUM
asir-35970	86	55	)	)	PUNCT
asir-35970	86	56	)	)	PUNCT
asir-35970	87	1	[	[	X
asir-35970	87	2	28	28	NUM
asir-35970	87	3	]	]	X
asir-35970	87	4	⊢at	⊢at	VERB
asir-35970	87	5	least	least	ADJ
asir-35970	87	6	half	half	NOUN
asir-35970	87	7	of	of	ADP
asir-35970	87	8	the	the	DET
asir-35970	87	9	(	(	PUNCT
asir-35970	87	10	b	b	NOUN
asir-35970	87	11	,	,	PUNCT
asir-35970	87	12	x)most(b	x)most(b	PROPN
asir-35970	87	13	,	,	PUNCT
asir-35970	87	14	n)some(n	n)some(n	NOUN
asir-35970	87	15	,	,	PUNCT
asir-35970	87	16	x	x	PRON
asir-35970	87	17	)	)	PUNCT
asir-35970	87	18	(	(	PUNCT
asir-35970	87	19	by	by	ADP
asir-35970	87	20	[	[	X
asir-35970	87	21	8	8	NUM
asir-35970	87	22	]	]	PUNCT
asir-35970	87	23	and	and	CCONJ
asir-35970	87	24	fact	fact	NOUN
asir-35970	87	25	(	(	PUNCT
asir-35970	87	26	1.8	1.8	NUM
asir-35970	87	27	)	)	PUNCT
asir-35970	87	28	and	and	CCONJ
asir-35970	87	29	(	(	PUNCT
asir-35970	87	30	1.4	1.4	NUM
asir-35970	87	31	)	)	PUNCT
asir-35970	87	32	)	)	PUNCT
asir-35970	88	1	[	[	X
asir-35970	88	2	29	29	NUM
asir-35970	88	3	]	]	X
asir-35970	88	4	⊢at	⊢at	VERB
asir-35970	88	5	least	least	ADJ
asir-35970	88	6	half	half	NOUN
asir-35970	88	7	of	of	ADP
asir-35970	88	8	the(b	the(b	PROPN
asir-35970	88	9	,	,	PUNCT
asir-35970	88	10	dx)most(b	dx)most(b	NOUN
asir-35970	88	11	,	,	PUNCT
asir-35970	88	12	n)some(n	n)some(n	PROPN
asir-35970	88	13	,	,	PUNCT
asir-35970	88	14	dx	dx	NUM
asir-35970	88	15	)	)	PUNCT
asir-35970	88	16	(	(	PUNCT
asir-35970	88	17	i.e.	i.e.	X
asir-35970	88	18	,	,	PUNCT
asir-35970	88	19	smi-3	smi-3	NUM
asir-35970	88	20	,	,	PUNCT
asir-35970	88	21	by	by	ADP
asir-35970	88	22	[	[	X
asir-35970	88	23	28	28	NUM
asir-35970	88	24	]	]	PUNCT
asir-35970	88	25	and	and	CCONJ
asir-35970	88	26	definition	definition	NOUN
asir-35970	88	27	d3	d3	PROPN
asir-35970	88	28	)	)	PUNCT
asir-35970	89	1	[	[	X
asir-35970	89	2	30	30	NUM
asir-35970	89	3	]	]	X
asir-35970	89	4	⊢at	⊢at	X
asir-35970	89	5	least	least	ADJ
asir-35970	89	6	half	half	NOUN
asir-35970	89	7	of	of	ADP
asir-35970	89	8	the(b	the(b	PROPN
asir-35970	89	9	,	,	PUNCT
asir-35970	89	10	dx)most(b	dx)most(b	NOUN
asir-35970	89	11	,	,	PUNCT
asir-35970	89	12	n)some(dx	n)some(dx	NUM
asir-35970	89	13	,	,	PUNCT
asir-35970	89	14	n	n	CCONJ
asir-35970	89	15	)	)	PUNCT
asir-35970	89	16	(	(	PUNCT
asir-35970	89	17	i.e.	i.e.	X
asir-35970	89	18	,	,	PUNCT
asir-35970	89	19	msi-3	msi-3	ADV
asir-35970	89	20	,	,	PUNCT
asir-35970	89	21	by	by	ADP
asir-35970	89	22	[	[	X
asir-35970	89	23	29	29	NUM
asir-35970	89	24	]	]	PUNCT
asir-35970	89	25	and	and	CCONJ
asir-35970	89	26	fact	fact	NOUN
asir-35970	89	27	(	(	PUNCT
asir-35970	89	28	3.1	3.1	NUM
asir-35970	89	29	)	)	PUNCT
asir-35970	89	30	)	)	PUNCT
asir-35970	90	1	[	[	X
asir-35970	90	2	31	31	NUM
asir-35970	90	3	]	]	PUNCT
asir-35970	90	4	⊢	⊢	PROPN
asir-35970	90	5	not	not	PART
asir-35970	90	6	all(b	all(b	PROPN
asir-35970	90	7	,	,	PUNCT
asir-35970	90	8	dx)no(n	dx)no(n	PROPN
asir-35970	90	9	,	,	PUNCT
asir-35970	90	10	dx)	dx)	NOUN
asir-35970	90	11	most(b	most(b	NOUN
asir-35970	90	12	,	,	PUNCT
asir-35970	90	13	n	n	CCONJ
asir-35970	90	14	)	)	PUNCT
asir-35970	90	15	(	(	PUNCT
asir-35970	90	16	by	by	ADP
asir-35970	90	17	[	[	X
asir-35970	90	18	11	11	NUM
asir-35970	90	19	]	]	PUNCT
asir-35970	90	20	and	and	CCONJ
asir-35970	90	21	rule	rule	VERB
asir-35970	90	22	2	2	NUM
asir-35970	90	23	)	)	PUNCT
asir-35970	90	24	[	[	X
asir-35970	90	25	32	32	NUM
asir-35970	90	26	]	]	SYM
asir-35970	90	27	⊢all(b	⊢all(b	PROPN
asir-35970	90	28	,	,	PUNCT
asir-35970	90	29	dx)no(n	dx)no(n	PROPN
asir-35970	90	30	,	,	PUNCT
asir-35970	90	31	dx)at	dx)at	NOUN
asir-35970	90	32	most	most	ADJ
asir-35970	90	33	half	half	NOUN
asir-35970	90	34	of	of	ADP
asir-35970	90	35	the(b	the(b	PROPN
asir-35970	90	36	,	,	PUNCT
asir-35970	90	37	n	n	CCONJ
asir-35970	90	38	)	)	PUNCT
asir-35970	90	39	(	(	PUNCT
asir-35970	90	40	i.e.	i.e.	X
asir-35970	90	41	,	,	PUNCT
asir-35970	90	42	eah-2	eah-2	X
asir-35970	90	43	,	,	PUNCT
asir-35970	90	44	by	by	ADP
asir-35970	90	45	[	[	X
asir-35970	90	46	31	31	NUM
asir-35970	90	47	]	]	PUNCT
asir-35970	90	48	,	,	PUNCT
asir-35970	90	49	and	and	CCONJ
asir-35970	90	50	fact	fact	NOUN
asir-35970	90	51	(	(	PUNCT
asir-35970	90	52	2.2	2.2	NUM
asir-35970	90	53	)	)	PUNCT
asir-35970	90	54	and	and	CCONJ
asir-35970	90	55	(	(	PUNCT
asir-35970	90	56	2.5	2.5	NUM
asir-35970	90	57	)	)	PUNCT
asir-35970	90	58	)	)	PUNCT
asir-35970	91	1	[	[	X
asir-35970	91	2	33	33	NUM
asir-35970	91	3	]	]	PUNCT
asir-35970	91	4	⊢	⊢	PROPN
asir-35970	91	5	not	not	PART
asir-35970	91	6	all(b	all(b	PROPN
asir-35970	91	7	,	,	PUNCT
asir-35970	91	8	dx)most(b	dx)most(b	NOUN
asir-35970	91	9	,	,	PUNCT
asir-35970	91	10	n)	n)	PROPN
asir-35970	91	11	no(n	no(n	NUM
asir-35970	91	12	,	,	PUNCT
asir-35970	91	13	dx	dx	NUM
asir-35970	91	14	)	)	PUNCT
asir-35970	91	15	(	(	PUNCT
asir-35970	91	16	by	by	ADP
asir-35970	91	17	[	[	X
asir-35970	91	18	11	11	NUM
asir-35970	91	19	]	]	PUNCT
asir-35970	91	20	and	and	CCONJ
asir-35970	91	21	rule	rule	VERB
asir-35970	91	22	3	3	NUM
asir-35970	91	23	)	)	PUNCT
asir-35970	91	24	[	[	X
asir-35970	91	25	34	34	NUM
asir-35970	91	26	]	]	SYM
asir-35970	91	27	⊢all(b	⊢all(b	PROPN
asir-35970	91	28	,	,	PUNCT
asir-35970	91	29	dx)most(b	dx)most(b	NOUN
asir-35970	91	30	,	,	PUNCT
asir-35970	91	31	n)some(n	n)some(n	PROPN
asir-35970	91	32	,	,	PUNCT
asir-35970	91	33	dx	dx	NUM
asir-35970	91	34	)	)	PUNCT
asir-35970	91	35	(	(	PUNCT
asir-35970	91	36	i.e.	i.e.	X
asir-35970	91	37	,	,	PUNCT
asir-35970	91	38	ami-3	ami-3	NUM
asir-35970	91	39	,	,	PUNCT
asir-35970	91	40	by	by	ADP
asir-35970	91	41	[	[	PUNCT
asir-35970	91	42	33	33	NUM
asir-35970	91	43	]	]	PUNCT
asir-35970	91	44	,	,	PUNCT
asir-35970	91	45	and	and	CCONJ
asir-35970	91	46	fact	fact	NOUN
asir-35970	91	47	(	(	PUNCT
asir-35970	91	48	2.2	2.2	NUM
asir-35970	91	49	)	)	PUNCT
asir-35970	91	50	and	and	CCONJ
asir-35970	91	51	(	(	PUNCT
asir-35970	91	52	2.3	2.3	NUM
asir-35970	91	53	)	)	PUNCT
asir-35970	91	54	)	)	PUNCT
asir-35970	92	1	[	[	X
asir-35970	92	2	35	35	NUM
asir-35970	92	3	]	]	X
asir-35970	92	4	⊢all(b	⊢all(b	PROPN
asir-35970	92	5	,	,	PUNCT
asir-35970	92	6	dx)no(dx	dx)no(dx	VERB
asir-35970	92	7	,	,	PUNCT
asir-35970	92	8	n)at	n)at	ADV
asir-35970	92	9	most	most	ADJ
asir-35970	92	10	half	half	NOUN
asir-35970	92	11	of	of	ADP
asir-35970	92	12	the(b	the(b	PROPN
asir-35970	92	13	,	,	PUNCT
asir-35970	92	14	n	n	CCONJ
asir-35970	92	15	)	)	PUNCT
asir-35970	92	16	(	(	PUNCT
asir-35970	92	17	i.e.	i.e.	X
asir-35970	92	18	,	,	PUNCT
asir-35970	92	19	eah-1	eah-1	NOUN
asir-35970	92	20	,	,	PUNCT
asir-35970	92	21	by	by	ADP
asir-35970	92	22	[	[	X
asir-35970	92	23	32	32	NUM
asir-35970	92	24	]	]	PUNCT
asir-35970	92	25	and	and	CCONJ
asir-35970	92	26	fact	fact	NOUN
asir-35970	92	27	(	(	PUNCT
asir-35970	92	28	3.2	3.2	NUM
asir-35970	92	29	)	)	PUNCT
asir-35970	92	30	)	)	PUNCT
asir-35970	93	1	[	[	X
asir-35970	93	2	36	36	NUM
asir-35970	93	3	]	]	X
asir-35970	93	4	⊢all(b	⊢all(b	PROPN
asir-35970	93	5	,	,	PUNCT
asir-35970	93	6	dx)most(b	dx)most(b	NOUN
asir-35970	93	7	,	,	PUNCT
asir-35970	93	8	n)some(dx	n)some(dx	NUM
asir-35970	93	9	,	,	PUNCT
asir-35970	93	10	n	n	CCONJ
asir-35970	93	11	)	)	PUNCT
asir-35970	93	12	(	(	PUNCT
asir-35970	93	13	i.e.	i.e.	X
asir-35970	93	14	,	,	PUNCT
asir-35970	93	15	mai-3	mai-3	PRON
asir-35970	93	16	,	,	PUNCT
asir-35970	93	17	by	by	ADP
asir-35970	93	18	[	[	PUNCT
asir-35970	93	19	34	34	NUM
asir-35970	93	20	]	]	PUNCT
asir-35970	93	21	,	,	PUNCT
asir-35970	93	22	and	and	CCONJ
asir-35970	93	23	fact	fact	NOUN
asir-35970	93	24	(	(	PUNCT
asir-35970	93	25	3.1	3.1	NUM
asir-35970	93	26	)	)	PUNCT
asir-35970	93	27	)	)	PUNCT
asir-35970	93	28	so	so	ADV
asir-35970	93	29	far	far	ADV
asir-35970	93	30	,	,	PUNCT
asir-35970	93	31	through	through	ADP
asir-35970	93	32	the	the	DET
asir-35970	93	33	above	above	ADJ
asir-35970	93	34	36	36	NUM
asir-35970	93	35	step	step	NOUN
asir-35970	93	36	reduction	reduction	NOUN
asir-35970	93	37	operations	operation	NOUN
asir-35970	93	38	,	,	PUNCT
asir-35970	93	39	the	the	DET
asir-35970	93	40	24	24	NUM
asir-35970	93	41	valid	valid	ADJ
asir-35970	93	42	generalized	generalize	VERB
asir-35970	93	43	syllogisms	syllogism	NOUN
asir-35970	93	44	in	in	ADP
asir-35970	93	45	theorem	theorem	ADJ
asir-35970	93	46	2	2	NUM
asir-35970	93	47	have	have	AUX
asir-35970	93	48	been	be	AUX
asir-35970	93	49	deduced	deduce	VERB
asir-35970	93	50	from	from	ADP
asir-35970	93	51	the	the	DET
asir-35970	93	52	validity	validity	NOUN
asir-35970	93	53	of	of	ADP
asir-35970	93	54	the	the	DET
asir-35970	93	55	generalized	generalized	ADJ
asir-35970	93	56	syllogism	syllogism	NOUN
asir-35970	93	57	amm-1	amm-1	NUM
asir-35970	93	58	.	.	PUNCT
asir-35970	94	1	similarly	similarly	ADV
asir-35970	94	2	,	,	PUNCT
asir-35970	94	3	if	if	SCONJ
asir-35970	94	4	making	make	VERB
asir-35970	94	5	best	good	ADJ
asir-35970	94	6	of	of	ADP
asir-35970	94	7	the	the	DET
asir-35970	94	8	above	above	ADJ
asir-35970	94	9	symmetry	symmetry	NOUN
asir-35970	94	10	,	,	PUNCT
asir-35970	94	11	subordination	subordination	NOUN
asir-35970	94	12	law	law	NOUN
asir-35970	94	13	,	,	PUNCT
asir-35970	94	14	anti	anti	ADJ
asir-35970	94	15	-	-	ADJ
asir-35970	94	16	syllogism	syllogism	ADJ
asir-35970	94	17	rules	rule	NOUN
asir-35970	94	18	,	,	PUNCT
asir-35970	94	19	and	and	CCONJ
asir-35970	94	20	inner	inner	ADJ
asir-35970	94	21	/	/	SYM
asir-35970	94	22	outer	outer	ADJ
asir-35970	94	23	negation	negation	NOUN
asir-35970	94	24	,	,	PUNCT
asir-35970	94	25	etc	etc	X
asir-35970	94	26	.	.	X
asir-35970	94	27	,	,	PUNCT
asir-35970	94	28	more	more	ADV
asir-35970	94	29	valid	valid	ADJ
asir-35970	94	30	generalized	generalized	ADJ
asir-35970	94	31	syllogisms	syllogism	NOUN
asir-35970	94	32	can	can	AUX
asir-35970	94	33	be	be	AUX
asir-35970	94	34	derived	derive	VERB
asir-35970	94	35	when	when	SCONJ
asir-35970	94	36	one	one	PRON
asir-35970	94	37	continues	continue	VERB
asir-35970	94	38	to	to	PART
asir-35970	94	39	infer	infer	VERB
asir-35970	94	40	the	the	DET
asir-35970	94	41	steps	step	NOUN
asir-35970	94	42	after	after	ADP
asir-35970	94	43	proving	prove	VERB
asir-35970	94	44	step	step	NOUN
asir-35970	94	45	[	[	X
asir-35970	94	46	11	11	NUM
asir-35970	94	47	]	]	PUNCT
asir-35970	94	48	in	in	ADP
asir-35970	94	49	theorem	theorem	NOUN
asir-35970	94	50	2	2	NUM
asir-35970	94	51	.	.	PUNCT
asir-35970	95	1	the	the	DET
asir-35970	95	2	validity	validity	NOUN
asir-35970	95	3	of	of	ADP
asir-35970	95	4	these	these	DET
asir-35970	95	5	syllogisms	syllogism	NOUN
asir-35970	95	6	can	can	AUX
asir-35970	95	7	be	be	AUX
asir-35970	95	8	proven	prove	VERB
asir-35970	95	9	using	use	VERB
asir-35970	95	10	the	the	DET
asir-35970	95	11	truth	truth	NOUN
asir-35970	95	12	definitions	definition	NOUN
asir-35970	95	13	in	in	ADP
asir-35970	95	14	definition	definition	NOUN
asir-35970	95	15	3.5	3.5	NUM
asir-35970	95	16	and	and	CCONJ
asir-35970	95	17	facts	fact	VERB
asir-35970	95	18	1	1	NUM
asir-35970	95	19	-	-	SYM
asir-35970	95	20	4	4	NUM
asir-35970	95	21	,	,	PUNCT
asir-35970	95	22	just	just	ADV
asir-35970	95	23	like	like	ADP
asir-35970	95	24	theorem	theorem	NOUN
asir-35970	95	25	1	1	NUM
asir-35970	95	26	.	.	NOUN
asir-35970	95	27	5	5	NUM
asir-35970	95	28	.	.	NOUN
asir-35970	95	29	conclusion	conclusion	NOUN
asir-35970	95	30	and	and	CCONJ
asir-35970	95	31	future	future	ADJ
asir-35970	95	32	work	work	NOUN
asir-35970	95	33	this	this	DET
asir-35970	95	34	paper	paper	NOUN
asir-35970	95	35	mainly	mainly	ADV
asir-35970	95	36	discusses	discuss	VERB
asir-35970	95	37	the	the	DET
asir-35970	95	38	non	non	ADJ
asir-35970	95	39	-	-	ADJ
asir-35970	95	40	trivial	trivial	ADJ
asir-35970	95	41	generalized	generalized	ADJ
asir-35970	95	42	syllogisms	syllogism	NOUN
asir-35970	95	43	reasoning	reason	VERB
asir-35970	95	44	with	with	ADP
asir-35970	95	45	the	the	DET
asir-35970	95	46	quantifiers	quantifier	NOUN
asir-35970	95	47	in	in	ADP
asir-35970	95	48	square{no	square{no	NOUN
asir-35970	95	49	}	}	PUNCT
asir-35970	95	50	and	and	CCONJ
asir-35970	95	51	square{most	square{most	NUM
asir-35970	95	52	}	}	PUNCT
asir-35970	95	53	.	.	PUNCT
asir-35970	96	1	to	to	ADP
asir-35970	96	2	this	this	DET
asir-35970	96	3	end	end	NOUN
asir-35970	96	4	,	,	PUNCT
asir-35970	96	5	this	this	DET
asir-35970	96	6	paper	paper	NOUN
asir-35970	96	7	firstly	firstly	ADV
asir-35970	96	8	formalizes	formalize	VERB
asir-35970	96	9	generalized	generalized	ADJ
asir-35970	96	10	syllogisms	syllogism	NOUN
asir-35970	96	11	,	,	PUNCT
asir-35970	96	12	then	then	ADV
asir-35970	96	13	proves	prove	VERB
asir-35970	96	14	the	the	DET
asir-35970	96	15	validity	validity	NOUN
asir-35970	96	16	of	of	ADP
asir-35970	96	17	the	the	DET
asir-35970	96	18	syllogism	syllogism	NOUN
asir-35970	96	19	amm-1	amm-1	VERB
asir-35970	96	20	with	with	ADP
asir-35970	96	21	the	the	DET
asir-35970	96	22	generalized	generalized	ADJ
asir-35970	96	23	quantifier	quantifier	NOUN
asir-35970	96	24	most	most	ADV
asir-35970	96	25	,	,	PUNCT
asir-35970	96	26	and	and	CCONJ
asir-35970	96	27	further	far	ADV
asir-35970	96	28	deduces	deduce	VERB
asir-35970	96	29	the	the	DET
asir-35970	96	30	other	other	ADJ
asir-35970	96	31	24	24	NUM
asir-35970	96	32	valid	valid	ADJ
asir-35970	96	33	syllogisms	syllogism	NOUN
asir-35970	96	34	.	.	PUNCT
asir-35970	97	1	the	the	DET
asir-35970	97	2	reason	reason	NOUN
asir-35970	97	3	why	why	SCONJ
asir-35970	97	4	the	the	DET
asir-35970	97	5	valid	valid	ADJ
asir-35970	97	6	generalized	generalized	ADJ
asir-35970	97	7	syllogisms	syllogism	NOUN
asir-35970	97	8	studied	study	VERB
asir-35970	97	9	in	in	ADP
asir-35970	97	10	this	this	DET
asir-35970	97	11	paper	paper	NOUN
asir-35970	97	12	can	can	AUX
asir-35970	97	13	www.scholink.org/ojs/index.php/asir	www.scholink.org/ojs/index.php/asir	VERB
asir-35970	97	14	applied	apply	VERB
asir-35970	97	15	science	science	NOUN
asir-35970	97	16	and	and	CCONJ
asir-35970	97	17	innovative	innovative	ADJ
asir-35970	97	18	research	research	NOUN
asir-35970	97	19	vol	vol	NOUN
asir-35970	97	20	.	.	PROPN
asir-35970	97	21	8	8	NUM
asir-35970	97	22	,	,	PUNCT
asir-35970	97	23	no	no	INTJ
asir-35970	97	24	.	.	NOUN
asir-35970	97	25	1	1	NUM
asir-35970	97	26	,	,	PUNCT
asir-35970	97	27	2024	2024	NUM
asir-35970	97	28	37	37	NUM
asir-35970	97	29	published	publish	VERB
asir-35970	97	30	by	by	ADP
asir-35970	97	31	scholink	scholink	PROPN
asir-35970	97	32	inc	inc	PROPN
asir-35970	97	33	.	.	PROPN
asir-35970	97	34	be	be	AUX
asir-35970	97	35	mutually	mutually	ADV
asir-35970	97	36	reduced	reduce	VERB
asir-35970	97	37	is	be	AUX
asir-35970	97	38	because	because	SCONJ
asir-35970	97	39	:	:	PUNCT
asir-35970	97	40	(	(	PUNCT
asir-35970	97	41	1	1	X
asir-35970	97	42	)	)	PUNCT
asir-35970	97	43	any	any	PRON
asir-35970	97	44	of	of	ADP
asir-35970	97	45	the	the	DET
asir-35970	97	46	four	four	NUM
asir-35970	97	47	aristotelian	aristotelian	ADJ
asir-35970	97	48	quantifiers	quantifier	NOUN
asir-35970	97	49	in	in	ADP
asir-35970	97	50	square{no	square{no	NOUN
asir-35970	97	51	}	}	PUNCT
asir-35970	97	52	(	(	PUNCT
asir-35970	97	53	that	that	ADV
asir-35970	97	54	is	is	ADV
asir-35970	97	55	,	,	PUNCT
asir-35970	97	56	no	no	INTJ
asir-35970	97	57	,	,	PUNCT
asir-35970	97	58	all	all	PRON
asir-35970	97	59	,	,	PUNCT
asir-35970	97	60	some	some	PRON
asir-35970	97	61	,	,	PUNCT
asir-35970	97	62	not	not	PART
asir-35970	97	63	all	all	PRON
asir-35970	97	64	)	)	PUNCT
asir-35970	97	65	can	can	AUX
asir-35970	97	66	define	define	VERB
asir-35970	97	67	the	the	DET
asir-35970	97	68	other	other	ADJ
asir-35970	97	69	three	three	NUM
asir-35970	97	70	ones	one	NOUN
asir-35970	97	71	;	;	PUNCT
asir-35970	97	72	(	(	PUNCT
asir-35970	97	73	2	2	X
asir-35970	97	74	)	)	PUNCT
asir-35970	97	75	so	so	ADV
asir-35970	97	76	can	can	AUX
asir-35970	97	77	any	any	PRON
asir-35970	97	78	of	of	ADP
asir-35970	97	79	the	the	DET
asir-35970	97	80	four	four	NUM
asir-35970	97	81	generalized	generalized	ADJ
asir-35970	97	82	quantifiers	quantifier	NOUN
asir-35970	97	83	in	in	ADP
asir-35970	97	84	square{most	square{most	ADJ
asir-35970	97	85	}	}	PUNCT
asir-35970	97	86	(	(	PUNCT
asir-35970	97	87	that	that	PRON
asir-35970	97	88	is	be	AUX
asir-35970	97	89	,	,	PUNCT
asir-35970	97	90	most	most	ADJ
asir-35970	97	91	,	,	PUNCT
asir-35970	97	92	fewer	few	ADJ
asir-35970	97	93	than	than	ADP
asir-35970	97	94	half	half	NOUN
asir-35970	97	95	of	of	ADP
asir-35970	97	96	the	the	DET
asir-35970	97	97	,	,	PUNCT
asir-35970	97	98	at	at	ADP
asir-35970	97	99	most	most	ADJ
asir-35970	97	100	half	half	NOUN
asir-35970	97	101	of	of	ADP
asir-35970	97	102	the	the	DET
asir-35970	97	103	,	,	PUNCT
asir-35970	97	104	at	at	ADP
asir-35970	97	105	least	least	ADJ
asir-35970	97	106	half	half	NOUN
asir-35970	97	107	of	of	ADP
asir-35970	97	108	the	the	PRON
asir-35970	97	109	)	)	PUNCT
asir-35970	97	110	.	.	PUNCT
asir-35970	98	1	there	there	PRON
asir-35970	98	2	are	be	VERB
asir-35970	98	3	(	(	PUNCT
asir-35970	98	4	88844444=	88844444=	NUM
asir-35970	98	5	)	)	PUNCT
asir-35970	98	6	1972	1972	NUM
asir-35970	98	7	non	non	ADJ
asir-35970	98	8	-	-	ADJ
asir-35970	98	9	trivial	trivial	ADJ
asir-35970	98	10	generalized	generalized	ADJ
asir-35970	98	11	syllogisms	syllogism	NOUN
asir-35970	98	12	involving	involve	VERB
asir-35970	98	13	the	the	DET
asir-35970	98	14	8	8	NUM
asir-35970	98	15	propositions	proposition	NOUN
asir-35970	98	16	mentioned	mention	VERB
asir-35970	98	17	earlier	early	ADV
asir-35970	98	18	.	.	PUNCT
asir-35970	99	1	how	how	SCONJ
asir-35970	99	2	can	can	AUX
asir-35970	99	3	we	we	PRON
asir-35970	99	4	screen	screen	VERB
asir-35970	99	5	out	out	ADP
asir-35970	99	6	all	all	DET
asir-35970	99	7	the	the	DET
asir-35970	99	8	valid	valid	ADJ
asir-35970	99	9	ones	one	NOUN
asir-35970	99	10	among	among	ADP
asir-35970	99	11	them	they	PRON
asir-35970	99	12	?	?	PUNCT
asir-35970	100	1	this	this	DET
asir-35970	100	2	question	question	NOUN
asir-35970	100	3	requires	require	VERB
asir-35970	100	4	in	in	ADP
asir-35970	100	5	-	-	PUNCT
asir-35970	100	6	depth	depth	NOUN
asir-35970	100	7	discussion	discussion	NOUN
asir-35970	100	8	.	.	PUNCT
asir-35970	101	1	acknowledgement	acknowledgement	NOUN
asir-35970	101	2	this	this	DET
asir-35970	101	3	work	work	NOUN
asir-35970	101	4	was	be	AUX
asir-35970	101	5	supported	support	VERB
asir-35970	101	6	by	by	ADP
asir-35970	101	7	the	the	DET
asir-35970	101	8	national	national	ADJ
asir-35970	101	9	social	social	PROPN
asir-35970	101	10	science	science	PROPN
asir-35970	101	11	fund	fund	NOUN
asir-35970	101	12	of	of	ADP
asir-35970	101	13	china	china	PROPN
asir-35970	101	14	under	under	ADP
asir-35970	101	15	grant	grant	PROPN
asir-35970	101	16	no.22&zd295	no.22&zd295	PROPN
asir-35970	101	17	.	.	PUNCT
asir-35970	102	1	references	reference	NOUN
asir-35970	102	2	barwise	barwise	PROPN
asir-35970	102	3	,	,	PUNCT
asir-35970	102	4	j.	j.	PROPN
asir-35970	102	5	,	,	PUNCT
asir-35970	102	6	&	&	CCONJ
asir-35970	102	7	cooper	cooper	PROPN
asir-35970	102	8	,	,	PUNCT
asir-35970	102	9	r.	r.	PROPN
asir-35970	102	10	(	(	PUNCT
asir-35970	102	11	1981	1981	NUM
asir-35970	102	12	)	)	PUNCT
asir-35970	102	13	.	.	PUNCT
asir-35970	103	1	generalized	generalized	ADJ
asir-35970	103	2	quantifiers	quantifier	NOUN
asir-35970	103	3	and	and	CCONJ
asir-35970	103	4	natural	natural	ADJ
asir-35970	103	5	language	language	NOUN
asir-35970	103	6	.	.	PUNCT
asir-35970	104	1	linguistics	linguistic	NOUN
asir-35970	104	2	and	and	CCONJ
asir-35970	104	3	philosophy	philosophy	NOUN
asir-35970	104	4	,	,	PUNCT
asir-35970	104	5	4(2	4(2	NUM
asir-35970	104	6	)	)	PUNCT
asir-35970	104	7	,	,	PUNCT
asir-35970	104	8	159	159	NUM
asir-35970	104	9	-	-	SYM
asir-35970	104	10	219	219	NUM
asir-35970	104	11	.	.	PUNCT
asir-35970	105	1	https://doi.org/10.1007/bf00350139	https://doi.org/10.1007/bf00350139	NOUN
asir-35970	105	2	endrullis	endrullis	PROPN
asir-35970	105	3	,	,	PUNCT
asir-35970	105	4	j.	j.	PROPN
asir-35970	105	5	,	,	PUNCT
asir-35970	105	6	&	&	CCONJ
asir-35970	105	7	moss	moss	PROPN
asir-35970	105	8	,	,	PUNCT
asir-35970	105	9	l.	l.	PROPN
asir-35970	105	10	s.	s.	PROPN
asir-35970	105	11	(	(	PUNCT
asir-35970	105	12	2015	2015	NUM
asir-35970	105	13	)	)	PUNCT
asir-35970	105	14	.	.	PUNCT
asir-35970	106	1	syllogistic	syllogistic	ADJ
asir-35970	106	2	logic	logic	NOUN
asir-35970	106	3	with	with	ADP
asir-35970	106	4	‘	'	PUNCT
asir-35970	106	5	most	most	ADJ
asir-35970	106	6	’	'	PUNCT
asir-35970	106	7	.	.	PUNCT
asir-35970	107	1	in	in	ADP
asir-35970	107	2	v.	v.	PROPN
asir-35970	107	3	de	de	PROPN
asir-35970	107	4	paiva	paiva	PROPN
asir-35970	107	5	et	et	PROPN
asir-35970	107	6	al	al	PROPN
asir-35970	107	7	.	.	PROPN
asir-35970	108	1	(	(	PUNCT
asir-35970	108	2	eds	ed	NOUN
asir-35970	108	3	.	.	PUNCT
asir-35970	108	4	)	)	PUNCT
asir-35970	108	5	,	,	PUNCT
asir-35970	108	6	logic	logic	NOUN
asir-35970	108	7	,	,	PUNCT
asir-35970	108	8	language	language	NOUN
asir-35970	108	9	,	,	PUNCT
asir-35970	108	10	information	information	NOUN
asir-35970	108	11	,	,	PUNCT
asir-35970	108	12	and	and	CCONJ
asir-35970	108	13	computation	computation	NOUN
asir-35970	108	14	(	(	PUNCT
asir-35970	108	15	pp	pp	ADJ
asir-35970	108	16	.	.	PUNCT
asir-35970	109	1	124	124	NUM
asir-35970	109	2	-	-	SYM
asir-35970	109	3	139	139	NUM
asir-35970	109	4	)	)	PUNCT
asir-35970	109	5	.	.	PUNCT
asir-35970	110	1	https://doi.org/10.1007/978-3-662-477	https://doi.org/10.1007/978-3-662-477	NOUN
asir-35970	110	2	09	09	NUM
asir-35970	110	3	-	-	PUNCT
asir-35970	110	4	0_10	0_10	NUM
asir-35970	110	5	hamilton	hamilton	PROPN
asir-35970	110	6	,	,	PUNCT
asir-35970	110	7	a.	a.	PROPN
asir-35970	110	8	g.	g.	PROPN
asir-35970	110	9	(	(	PUNCT
asir-35970	110	10	1978	1978	NUM
asir-35970	110	11	)	)	PUNCT
asir-35970	110	12	.	.	PUNCT
asir-35970	111	1	logic	logic	NOUN
asir-35970	111	2	for	for	ADP
asir-35970	111	3	mathematicians	mathematician	NOUN
asir-35970	111	4	.	.	PUNCT
asir-35970	112	1	cambridge	cambridge	PROPN
asir-35970	112	2	:	:	PUNCT
asir-35970	112	3	cambridge	cambridge	PROPN
asir-35970	112	4	university	university	PROPN
asir-35970	112	5	press	press	NOUN
asir-35970	112	6	.	.	PUNCT
asir-35970	113	1	hao	hao	PROPN
asir-35970	113	2	,	,	PUNCT
asir-35970	113	3	y.	y.	PROPN
asir-35970	113	4	j.	j.	PROPN
asir-35970	113	5	(	(	PUNCT
asir-35970	113	6	2023	2023	NUM
asir-35970	113	7	)	)	PUNCT
asir-35970	113	8	.	.	PUNCT
asir-35970	114	1	the	the	DET
asir-35970	114	2	reductions	reduction	NOUN
asir-35970	114	3	between	between	ADP
asir-35970	114	4	/	/	PUNCT
asir-35970	114	5	among	among	ADP
asir-35970	114	6	aristotelian	aristotelian	ADJ
asir-35970	114	7	syllogisms	syllogism	NOUN
asir-35970	114	8	based	base	VERB
asir-35970	114	9	on	on	ADP
asir-35970	114	10	the	the	DET
asir-35970	114	11	syllogism	syllogism	NOUN
asir-35970	114	12	aii-3	aii-3	NOUN
asir-35970	114	13	.	.	PUNCT
asir-35970	114	14	scirea	scirea	PROPN
asir-35970	114	15	journal	journal	PROPN
asir-35970	114	16	of	of	ADP
asir-35970	114	17	philosophy	philosophy	NOUN
asir-35970	114	18	,	,	PUNCT
asir-35970	114	19	3(1	3(1	NUM
asir-35970	114	20	)	)	PUNCT
asir-35970	114	21	,	,	PUNCT
asir-35970	114	22	12	12	NUM
asir-35970	114	23	-	-	SYM
asir-35970	114	24	22	22	NUM
asir-35970	114	25	.	.	PUNCT
asir-35970	115	1	https://doi.org/10.54647/philosophy720083	https://doi.org/10.54647/philosophy720083	PROPN
asir-35970	115	2	johnson	johnson	PROPN
asir-35970	115	3	,	,	PUNCT
asir-35970	115	4	f.	f.	PROPN
asir-35970	115	5	(	(	PUNCT
asir-35970	115	6	2004	2004	NUM
asir-35970	115	7	)	)	PUNCT
asir-35970	115	8	.	.	PUNCT
asir-35970	116	1	aristotle	aristotle	PROPN
asir-35970	116	2	’s	’s	PART
asir-35970	116	3	modal	modal	ADJ
asir-35970	116	4	syllogisms	syllogism	NOUN
asir-35970	116	5	,	,	PUNCT
asir-35970	116	6	handbook	handbook	NOUN
asir-35970	116	7	of	of	ADP
asir-35970	116	8	the	the	DET
asir-35970	116	9	history	history	NOUN
asir-35970	116	10	of	of	ADP
asir-35970	116	11	logic	logic	NOUN
asir-35970	116	12	,	,	PUNCT
asir-35970	116	13	i	i	PRON
asir-35970	116	14	,	,	PUNCT
asir-35970	116	15	247	247	NUM
asir-35970	116	16	-	-	SYM
asir-35970	116	17	338	338	NUM
asir-35970	116	18	.	.	PUNCT
asir-35970	117	1	https://doi.org/10.1016/s1874-5857(04)80006-2	https://doi.org/10.1016/s1874-5857(04)80006-2	NOUN
asir-35970	117	2	łukasiewicz	łukasiewicz	NOUN
asir-35970	117	3	,	,	PUNCT
asir-35970	117	4	j.	j.	PROPN
asir-35970	117	5	(	(	PUNCT
asir-35970	117	6	1957	1957	NUM
asir-35970	117	7	)	)	PUNCT
asir-35970	117	8	.	.	PUNCT
asir-35970	118	1	aristotle	aristotle	PROPN
asir-35970	118	2	’s	’s	PROPN
asir-35970	118	3	syllogistic	syllogistic	NOUN
asir-35970	118	4	:	:	PUNCT
asir-35970	118	5	from	from	ADP
asir-35970	118	6	the	the	DET
asir-35970	118	7	standpoint	standpoint	NOUN
asir-35970	118	8	of	of	ADP
asir-35970	118	9	modern	modern	ADJ
asir-35970	118	10	formal	formal	ADJ
asir-35970	118	11	logic	logic	NOUN
asir-35970	118	12	.	.	PUNCT
asir-35970	119	1	second	second	ADJ
asir-35970	119	2	edition	edition	NOUN
asir-35970	119	3	,	,	PUNCT
asir-35970	119	4	oxford	oxford	PROPN
asir-35970	119	5	:	:	PUNCT
asir-35970	119	6	clerndon	clerndon	NOUN
asir-35970	119	7	press	press	PROPN
asir-35970	119	8	.	.	PUNCT
asir-35970	120	1	malink	malink	PROPN
asir-35970	120	2	,	,	PUNCT
asir-35970	120	3	m.	m.	NOUN
asir-35970	120	4	(	(	PUNCT
asir-35970	120	5	2013	2013	NUM
asir-35970	120	6	)	)	PUNCT
asir-35970	120	7	.	.	PUNCT
asir-35970	121	1	aristotle	aristotle	PROPN
asir-35970	121	2	’s	’s	PART
asir-35970	121	3	modal	modal	ADJ
asir-35970	121	4	syllogistic	syllogistic	NOUN
asir-35970	121	5	.	.	PUNCT
asir-35970	122	1	cambridge	cambridge	PROPN
asir-35970	122	2	,	,	PUNCT
asir-35970	122	3	ma	ma	PROPN
asir-35970	122	4	:	:	PUNCT
asir-35970	122	5	harvard	harvard	PROPN
asir-35970	122	6	university	university	PROPN
asir-35970	122	7	press	press	NOUN
asir-35970	122	8	.	.	PUNCT
asir-35970	123	1	https://doi.org/10.4159/harvard.9780674726352	https://doi.org/10.4159/harvard.9780674726352	ADJ
asir-35970	123	2	moss	moss	PROPN
asir-35970	123	3	,	,	PUNCT
asir-35970	123	4	l.	l.	PROPN
asir-35970	123	5	s.	s.	PROPN
asir-35970	123	6	(	(	PUNCT
asir-35970	123	7	2008	2008	NUM
asir-35970	123	8	)	)	PUNCT
asir-35970	123	9	.	.	PUNCT
asir-35970	124	1	completeness	completeness	NOUN
asir-35970	124	2	theorems	theorem	VERB
asir-35970	124	3	for	for	ADP
asir-35970	124	4	syllogistic	syllogistic	ADJ
asir-35970	124	5	fragments	fragment	NOUN
asir-35970	124	6	.	.	PUNCT
asir-35970	125	1	in	in	ADP
asir-35970	125	2	f.	f.	PROPN
asir-35970	125	3	hamm	hamm	PROPN
asir-35970	125	4	,	,	PUNCT
asir-35970	125	5	&	&	CCONJ
asir-35970	125	6	s.	s.	PROPN
asir-35970	125	7	kepser	kepser	PROPN
asir-35970	125	8	(	(	PUNCT
asir-35970	125	9	eds	ed	NOUN
asir-35970	125	10	.	.	PUNCT
asir-35970	125	11	)	)	PUNCT
asir-35970	125	12	,	,	PUNCT
asir-35970	125	13	logics	logic	NOUN
asir-35970	125	14	for	for	ADP
asir-35970	125	15	linguistic	linguistic	ADJ
asir-35970	125	16	structures	structure	NOUN
asir-35970	125	17	.	.	PUNCT
asir-35970	126	1	berlin	berlin	PROPN
asir-35970	126	2	:	:	PUNCT
asir-35970	126	3	mouton	mouton	PROPN
asir-35970	126	4	de	de	X
asir-35970	126	5	gruyter	gruyter	NOUN
asir-35970	126	6	,	,	PUNCT
asir-35970	126	7	143	143	NUM
asir-35970	126	8	-	-	SYM
asir-35970	126	9	173	173	NUM
asir-35970	126	10	.	.	PUNCT
asir-35970	127	1	https://doi.org/10.1515/	https://doi.org/10.1515/	PROPN
asir-35970	127	2	9783110211788.143	9783110211788.143	PROPN
asir-35970	127	3	moss	moss	NOUN
asir-35970	127	4	,	,	PUNCT
asir-35970	127	5	l.	l.	PROPN
asir-35970	127	6	s.	s.	PROPN
asir-35970	127	7	(	(	PUNCT
asir-35970	127	8	2010	2010	NUM
asir-35970	127	9	)	)	PUNCT
asir-35970	127	10	.	.	PUNCT
asir-35970	128	1	syllogistic	syllogistic	ADJ
asir-35970	128	2	logics	logic	NOUN
asir-35970	128	3	with	with	ADP
asir-35970	128	4	verbs	verbs	PROPN
asir-35970	128	5	.	.	PROPN
asir-35970	128	6	journal	journal	PROPN
asir-35970	128	7	of	of	ADP
asir-35970	128	8	logic	logic	NOUN
asir-35970	128	9	and	and	CCONJ
asir-35970	128	10	computation	computation	NOUN
asir-35970	128	11	,	,	PUNCT
asir-35970	128	12	20(4	20(4	NOUN
asir-35970	128	13	)	)	PUNCT
asir-35970	128	14	,	,	PUNCT
asir-35970	128	15	947	947	NUM
asir-35970	128	16	-	-	SYM
asir-35970	128	17	967	967	NUM
asir-35970	128	18	.	.	PUNCT
asir-35970	129	1	https://doi.org/10.1093/logcom/exn086	https://doi.org/10.1093/logcom/exn086	PROPN
asir-35970	129	2	peters	peters	PROPN
asir-35970	129	3	,	,	PUNCT
asir-35970	129	4	s.	s.	PROPN
asir-35970	129	5	,	,	PUNCT
asir-35970	129	6	&	&	CCONJ
asir-35970	129	7	westerståhl	westerståhl	PROPN
asir-35970	129	8	,	,	PUNCT
asir-35970	129	9	d.	d.	PROPN
asir-35970	129	10	(	(	PUNCT
asir-35970	129	11	2006	2006	NUM
asir-35970	129	12	)	)	PUNCT
asir-35970	129	13	.	.	PUNCT
asir-35970	130	1	quantifiers	quantifier	NOUN
asir-35970	130	2	in	in	ADP
asir-35970	130	3	language	language	NOUN
asir-35970	130	4	and	and	CCONJ
asir-35970	130	5	logic	logic	NOUN
asir-35970	130	6	.	.	PUNCT
asir-35970	131	1	claredon	claredon	PROPN
asir-35970	131	2	press	press	PROPN
asir-35970	131	3	,	,	PUNCT
asir-35970	131	4	oxford	oxford	PROPN
asir-35970	131	5	.	.	PUNCT
asir-35970	132	1	thomason	thomason	PROPN
asir-35970	132	2	,	,	PUNCT
asir-35970	132	3	s.	s.	PROPN
asir-35970	132	4	k.	k.	PROPN
asir-35970	132	5	(	(	PUNCT
asir-35970	132	6	1997	1997	NUM
asir-35970	132	7	)	)	PUNCT
asir-35970	132	8	.	.	PUNCT
asir-35970	133	1	relational	relational	ADJ
asir-35970	133	2	modal	modal	NOUN
asir-35970	133	3	for	for	ADP
asir-35970	133	4	the	the	DET
asir-35970	133	5	modal	modal	ADJ
asir-35970	133	6	syllogistic	syllogistic	NOUN
asir-35970	133	7	.	.	PUNCT
asir-35970	134	1	journal	journal	NOUN
asir-35970	134	2	of	of	ADP
asir-35970	134	3	philosophical	philosophical	ADJ
asir-35970	134	4	logic	logic	NOUN
asir-35970	134	5	,	,	PUNCT
asir-35970	134	6	(	(	PUNCT
asir-35970	134	7	26	26	NUM
asir-35970	134	8	)	)	PUNCT
asir-35970	134	9	,	,	PUNCT
asir-35970	134	10	129	129	NUM
asir-35970	134	11	-	-	SYM
asir-35970	134	12	141	141	NUM
asir-35970	134	13	.	.	PUNCT
asir-35970	135	1	https://doi.org/10.1023/a:1004200616124	https://doi.org/10.1023/a:1004200616124	PROPN
asir-35970	135	2	zhang	zhang	PROPN
asir-35970	135	3	,	,	PUNCT
asir-35970	135	4	c.	c.	PROPN
asir-35970	135	5	(	(	PUNCT
asir-35970	135	6	2023	2023	NUM
asir-35970	135	7	)	)	PUNCT
asir-35970	135	8	.	.	PUNCT
asir-35970	136	1	formal	formal	ADJ
asir-35970	136	2	research	research	NOUN
asir-35970	136	3	on	on	ADP
asir-35970	136	4	aristotelian	aristotelian	ADJ
asir-35970	136	5	modal	modal	ADJ
asir-35970	136	6	syllogism	syllogism	NOUN
asir-35970	136	7	from	from	ADP
asir-35970	136	8	the	the	DET
asir-35970	136	9	perspective	perspective	NOUN
asir-35970	136	10	of	of	ADP
asir-35970	136	11	mathematical	mathematical	ADJ
asir-35970	136	12	structuralism	structuralism	NOUN
asir-35970	136	13	.	.	PUNCT
asir-35970	137	1	doctoral	doctoral	ADJ
asir-35970	137	2	dissertation	dissertation	NOUN
asir-35970	137	3	,	,	PUNCT
asir-35970	137	4	anhui	anhui	PROPN
asir-35970	137	5	university	university	PROPN
asir-35970	137	6	.	.	PUNCT
asir-35970	138	1	(	(	PUNCT
asir-35970	138	2	in	in	ADP
asir-35970	138	3	chinese	chinese	PROPN
asir-35970	138	4	)	)	PUNCT
asir-35970	138	5	zhang	zhang	PROPN
asir-35970	138	6	,	,	PUNCT
asir-35970	138	7	x.	x.	PROPN
asir-35970	138	8	j.	j.	PROPN
asir-35970	138	9	(	(	PUNCT
asir-35970	138	10	2020	2020	NUM
asir-35970	138	11	)	)	PUNCT
asir-35970	138	12	.	.	PUNCT
asir-35970	139	1	screening	screen	VERB
asir-35970	139	2	out	out	ADP
asir-35970	139	3	all	all	DET
asir-35970	139	4	valid	valid	ADJ
asir-35970	139	5	aristotelian	aristotelian	ADJ
asir-35970	139	6	modal	modal	NOUN
asir-35970	139	7	syllogisms	syllogism	NOUN
asir-35970	139	8	.	.	PUNCT
asir-35970	140	1	applied	apply	VERB
asir-35970	140	2	and	and	CCONJ
asir-35970	140	3	computational	computational	ADJ
asir-35970	140	4	mathematics	mathematic	NOUN
asir-35970	140	5	,	,	PUNCT
asir-35970	140	6	8(6	8(6	NUM
asir-35970	140	7	)	)	PUNCT
asir-35970	140	8	,	,	PUNCT
asir-35970	140	9	95	95	NUM
asir-35970	140	10	-	-	SYM
asir-35970	140	11	104	104	NUM
asir-35970	140	12	.	.	PUNCT
asir-35970	141	1	https://doi.org/10.11648/j.acm.20190806.12	https://doi.org/10.11648/j.acm.20190806.12	VERB
asir-35970	141	2	www.scholink.org/ojs/index.php/asir	www.scholink.org/ojs/index.php/asir	NOUN
asir-35970	141	3	applied	apply	VERB
asir-35970	141	4	science	science	NOUN
asir-35970	141	5	and	and	CCONJ
asir-35970	141	6	innovative	innovative	ADJ
asir-35970	141	7	research	research	NOUN
asir-35970	141	8	vol	vol	NOUN
asir-35970	141	9	.	.	PROPN
asir-35970	141	10	8	8	NUM
asir-35970	141	11	,	,	PUNCT
asir-35970	141	12	no	no	INTJ
asir-35970	141	13	.	.	NOUN
asir-35970	141	14	1	1	NUM
asir-35970	141	15	,	,	PUNCT
asir-35970	141	16	2024	2024	NUM
asir-35970	141	17	38	38	NUM
asir-35970	141	18	published	publish	VERB
asir-35970	141	19	by	by	ADP
asir-35970	141	20	scholink	scholink	PROPN
asir-35970	141	21	inc	inc	PROPN
asir-35970	141	22	.	.	PROPN
asir-35970	141	23	zhang	zhang	PROPN
asir-35970	141	24	,	,	PUNCT
asir-35970	141	25	x.	x.	PROPN
asir-35970	141	26	j.	j.	PROPN
asir-35970	141	27	,	,	PUNCT
asir-35970	141	28	&	&	CCONJ
asir-35970	141	29	wu	wu	PROPN
asir-35970	141	30	,	,	PUNCT
asir-35970	141	31	b.	b.	PROPN
asir-35970	141	32	x.	x.	PROPN
asir-35970	141	33	(	(	PUNCT
asir-35970	141	34	2021	2021	NUM
asir-35970	141	35	)	)	PUNCT
asir-35970	141	36	.	.	PUNCT
asir-35970	142	1	study	study	NOUN
asir-35970	142	2	on	on	ADP
asir-35970	142	3	chinese	chinese	ADJ
asir-35970	142	4	discourse	discourse	NOUN
asir-35970	142	5	inference	inference	NOUN
asir-35970	142	6	.	.	PUNCT
asir-35970	143	1	beijing	beijing	PROPN
asir-35970	143	2	:	:	PUNCT
asir-35970	144	1	people	people	NOUN
asir-35970	144	2	’s	’s	PART
asir-35970	144	3	publishing	publishing	PROPN
asir-35970	144	4	house	house	NOUN
asir-35970	144	5	.	.	PUNCT
asir-35970	145	1	(	(	PUNCT
asir-35970	145	2	in	in	ADP
asir-35970	145	3	chinese	chinese	PROPN
asir-35970	145	4	)	)	PUNCT