id	sid	tid	token	lemma	pos
asir-5476	1	1	applied	apply	VERB
asir-5476	1	2	science	science	NOUN
asir-5476	1	3	and	and	CCONJ
asir-5476	1	4	innovative	innovative	ADJ
asir-5476	1	5	research	research	NOUN
asir-5476	1	6	issn	issn	VERB
asir-5476	1	7	2474	2474	NUM
asir-5476	1	8	-	-	SYM
asir-5476	1	9	4972	4972	NUM
asir-5476	1	10	(	(	PUNCT
asir-5476	1	11	print	print	NOUN
asir-5476	1	12	)	)	PUNCT
asir-5476	1	13	issn	issn	VERB
asir-5476	1	14	2474	2474	NUM
asir-5476	1	15	-	-	SYM
asir-5476	1	16	4980	4980	NUM
asir-5476	1	17	(	(	PUNCT
asir-5476	1	18	online	online	ADJ
asir-5476	1	19	)	)	PUNCT
asir-5476	1	20	vol	vol	NOUN
asir-5476	1	21	.	.	PROPN
asir-5476	2	1	7	7	NUM
asir-5476	2	2	,	,	PUNCT
asir-5476	2	3	no	no	INTJ
asir-5476	2	4	.	.	NOUN
asir-5476	2	5	1	1	NUM
asir-5476	2	6	,	,	PUNCT
asir-5476	2	7	2023	2023	NUM
asir-5476	2	8	www.scholink.org/ojs/index.php/asir	www.scholink.org/ojs/index.php/asir	NOUN
asir-5476	2	9	30	30	NUM
asir-5476	2	10	original	original	ADJ
asir-5476	2	11	paper	paper	NOUN
asir-5476	2	12	reduction	reduction	NOUN
asir-5476	2	13	between	between	ADP
asir-5476	2	14	categorical	categorical	ADJ
asir-5476	2	15	syllogisms	syllogism	NOUN
asir-5476	2	16	based	base	VERB
asir-5476	2	17	on	on	ADP
asir-5476	2	18	the	the	DET
asir-5476	2	19	syllogism	syllogism	NOUN
asir-5476	2	20	eio-2	eio-2	ADP
asir-5476	2	21	hui	hui	PROPN
asir-5476	2	22	li1	li1	X
asir-5476	2	23	1	1	NUM
asir-5476	2	24	school	school	NOUN
asir-5476	2	25	of	of	ADP
asir-5476	2	26	philosophy	philosophy	NOUN
asir-5476	2	27	,	,	PUNCT
asir-5476	2	28	anhui	anhui	PROPN
asir-5476	2	29	university	university	PROPN
asir-5476	2	30	,	,	PUNCT
asir-5476	2	31	hefei	hefei	PROPN
asir-5476	2	32	,	,	PUNCT
asir-5476	2	33	china	china	PROPN
asir-5476	2	34	received	receive	VERB
asir-5476	2	35	:	:	PUNCT
asir-5476	2	36	december	december	PROPN
asir-5476	2	37	7	7	NUM
asir-5476	2	38	,	,	PUNCT
asir-5476	2	39	2022	2022	NUM
asir-5476	2	40	accepted	accept	VERB
asir-5476	2	41	:	:	PUNCT
asir-5476	2	42	december	december	PROPN
asir-5476	2	43	19	19	NUM
asir-5476	2	44	,	,	PUNCT
asir-5476	2	45	2022	2022	NUM
asir-5476	2	46	online	online	ADV
asir-5476	2	47	published	publish	VERB
asir-5476	2	48	:	:	PUNCT
asir-5476	2	49	december	december	PROPN
asir-5476	2	50	22	22	NUM
asir-5476	2	51	,	,	PUNCT
asir-5476	2	52	2022	2022	NUM
asir-5476	2	53	doi:10.22158	doi:10.22158	NOUN
asir-5476	2	54	/	/	SYM
asir-5476	2	55	asir.v7n1p30	asir.v7n1p30	PROPN
asir-5476	2	56	url	url	PROPN
asir-5476	2	57	:	:	PUNCT
asir-5476	2	58	http://doi.org/10.22158/asir.v7n1p30	http://doi.org/10.22158/asir.v7n1p30	PROPN
asir-5476	2	59	abstract	abstract	ADJ
asir-5476	2	60	syllogism	syllogism	NOUN
asir-5476	2	61	reasoning	reasoning	NOUN
asir-5476	2	62	is	be	AUX
asir-5476	2	63	a	a	DET
asir-5476	2	64	common	common	ADJ
asir-5476	2	65	and	and	CCONJ
asir-5476	2	66	important	important	ADJ
asir-5476	2	67	form	form	NOUN
asir-5476	2	68	of	of	ADP
asir-5476	2	69	reasoning	reasoning	NOUN
asir-5476	2	70	in	in	ADP
asir-5476	2	71	human	human	ADJ
asir-5476	2	72	thinking	thinking	NOUN
asir-5476	2	73	from	from	ADP
asir-5476	2	74	aristotle	aristotle	PROPN
asir-5476	2	75	onwards	onwards	ADV
asir-5476	2	76	.	.	PUNCT
asir-5476	3	1	to	to	PART
asir-5476	3	2	overcome	overcome	VERB
asir-5476	3	3	the	the	DET
asir-5476	3	4	shortcomings	shortcoming	NOUN
asir-5476	3	5	of	of	ADP
asir-5476	3	6	previous	previous	ADJ
asir-5476	3	7	studies	study	NOUN
asir-5476	3	8	,	,	PUNCT
asir-5476	3	9	this	this	DET
asir-5476	3	10	article	article	NOUN
asir-5476	3	11	makes	make	VERB
asir-5476	3	12	full	full	ADJ
asir-5476	3	13	use	use	NOUN
asir-5476	3	14	of	of	ADP
asir-5476	3	15	set	set	VERB
asir-5476	3	16	theory	theory	NOUN
asir-5476	3	17	and	and	CCONJ
asir-5476	3	18	classical	classical	ADJ
asir-5476	3	19	propositional	propositional	ADJ
asir-5476	3	20	logic	logic	NOUN
asir-5476	3	21	,	,	PUNCT
asir-5476	3	22	and	and	CCONJ
asir-5476	3	23	deduces	deduce	VERB
asir-5476	3	24	the	the	DET
asir-5476	3	25	remaining	remain	VERB
asir-5476	3	26	23	23	NUM
asir-5476	3	27	valid	valid	ADJ
asir-5476	3	28	syllogisms	syllogism	NOUN
asir-5476	3	29	only	only	ADV
asir-5476	3	30	on	on	ADP
asir-5476	3	31	the	the	DET
asir-5476	3	32	basis	basis	NOUN
asir-5476	3	33	of	of	ADP
asir-5476	3	34	the	the	DET
asir-5476	3	35	syllogism	syllogism	NOUN
asir-5476	3	36	eio-2	eio-2	VERB
asir-5476	3	37	from	from	ADP
asir-5476	3	38	the	the	DET
asir-5476	3	39	perspective	perspective	NOUN
asir-5476	3	40	of	of	ADP
asir-5476	3	41	mathematical	mathematical	ADJ
asir-5476	3	42	structuralism	structuralism	NOUN
asir-5476	3	43	,	,	PUNCT
asir-5476	3	44	and	and	CCONJ
asir-5476	3	45	then	then	ADV
asir-5476	3	46	successfully	successfully	ADV
asir-5476	3	47	establishes	establish	VERB
asir-5476	3	48	a	a	DET
asir-5476	3	49	concise	concise	ADJ
asir-5476	3	50	formal	formal	ADJ
asir-5476	3	51	axiom	axiom	NOUN
asir-5476	3	52	system	system	NOUN
asir-5476	3	53	for	for	ADP
asir-5476	3	54	categorical	categorical	ADJ
asir-5476	3	55	syllogistic	syllogistic	ADJ
asir-5476	3	56	logic	logic	NOUN
asir-5476	3	57	.	.	PUNCT
asir-5476	4	1	more	more	ADV
asir-5476	4	2	specifically	specifically	ADV
asir-5476	4	3	,	,	PUNCT
asir-5476	4	4	the	the	DET
asir-5476	4	5	article	article	NOUN
asir-5476	4	6	takes	take	VERB
asir-5476	4	7	advantage	advantage	NOUN
asir-5476	4	8	of	of	ADP
asir-5476	4	9	the	the	DET
asir-5476	4	10	trisection	trisection	NOUN
asir-5476	4	11	structure	structure	NOUN
asir-5476	4	12	of	of	ADP
asir-5476	4	13	categorical	categorical	ADJ
asir-5476	4	14	propositions	proposition	NOUN
asir-5476	4	15	such	such	ADJ
asir-5476	4	16	as	as	ADP
asir-5476	4	17	q(a	q(a	NOUN
asir-5476	4	18	,	,	PUNCT
asir-5476	4	19	b	b	NOUN
asir-5476	4	20	)	)	PUNCT
asir-5476	4	21	,	,	PUNCT
asir-5476	4	22	the	the	DET
asir-5476	4	23	transformation	transformation	NOUN
asir-5476	4	24	relations	relation	NOUN
asir-5476	4	25	between	between	ADP
asir-5476	4	26	an	an	DET
asir-5476	4	27	aristotelian	aristotelian	ADJ
asir-5476	4	28	quantifier	quantifier	NOUN
asir-5476	4	29	and	and	CCONJ
asir-5476	4	30	its	its	PRON
asir-5476	4	31	inner	inner	ADJ
asir-5476	4	32	and	and	CCONJ
asir-5476	4	33	outer	outer	ADJ
asir-5476	4	34	negation	negation	NOUN
asir-5476	4	35	,	,	PUNCT
asir-5476	4	36	the	the	DET
asir-5476	4	37	symmetry	symmetry	NOUN
asir-5476	4	38	of	of	ADP
asir-5476	4	39	the	the	DET
asir-5476	4	40	two	two	NUM
asir-5476	4	41	aristotelian	aristotelian	ADJ
asir-5476	4	42	quantifier	quantifier	NOUN
asir-5476	4	43	(	(	PUNCT
asir-5476	4	44	that	that	ADV
asir-5476	4	45	is	is	ADV
asir-5476	4	46	,	,	PUNCT
asir-5476	4	47	no	no	PRON
asir-5476	4	48	and	and	CCONJ
asir-5476	4	49	some	some	PRON
asir-5476	4	50	)	)	PUNCT
asir-5476	4	51	,	,	PUNCT
asir-5476	4	52	and	and	CCONJ
asir-5476	4	53	some	some	DET
asir-5476	4	54	inference	inference	NOUN
asir-5476	4	55	rules	rule	NOUN
asir-5476	4	56	in	in	ADP
asir-5476	4	57	classical	classical	ADJ
asir-5476	4	58	propositional	propositional	ADJ
asir-5476	4	59	logic	logic	NOUN
asir-5476	4	60	,	,	PUNCT
asir-5476	4	61	and	and	CCONJ
asir-5476	4	62	derives	derive	VERB
asir-5476	4	63	the	the	DET
asir-5476	4	64	remaining	remain	VERB
asir-5476	4	65	23	23	NUM
asir-5476	4	66	valid	valid	ADJ
asir-5476	4	67	syllogisms	syllogism	NOUN
asir-5476	4	68	from	from	ADP
asir-5476	4	69	the	the	DET
asir-5476	4	70	syllogism	syllogism	NOUN
asir-5476	4	71	eio-2	eio-2	ADV
asir-5476	4	72	,	,	PUNCT
asir-5476	4	73	so	so	SCONJ
asir-5476	4	74	as	as	SCONJ
asir-5476	4	75	to	to	PART
asir-5476	4	76	realize	realize	VERB
asir-5476	4	77	the	the	DET
asir-5476	4	78	reduction	reduction	NOUN
asir-5476	4	79	between	between	ADP
asir-5476	4	80	different	different	ADJ
asir-5476	4	81	valid	valid	ADJ
asir-5476	4	82	categorical	categorical	ADJ
asir-5476	4	83	syllogisms	syllogism	NOUN
asir-5476	4	84	.	.	PUNCT
asir-5476	5	1	keywords	keyword	VERB
asir-5476	5	2	categorical	categorical	ADJ
asir-5476	5	3	syllogisms	syllogism	NOUN
asir-5476	5	4	,	,	PUNCT
asir-5476	5	5	aristotelian	aristotelian	ADJ
asir-5476	5	6	quantifier	quantifier	NOUN
asir-5476	5	7	,	,	PUNCT
asir-5476	5	8	symmetry	symmetry	NOUN
asir-5476	5	9	,	,	PUNCT
asir-5476	5	10	mathematical	mathematical	ADJ
asir-5476	5	11	structuralism	structuralism	NOUN
asir-5476	5	12	1	1	NUM
asir-5476	5	13	.	.	PUNCT
asir-5476	6	1	introduction	introduction	NOUN
asir-5476	6	2	in	in	ADP
asir-5476	6	3	natural	natural	ADJ
asir-5476	6	4	language	language	NOUN
asir-5476	6	5	,	,	PUNCT
asir-5476	6	6	there	there	PRON
asir-5476	6	7	are	be	VERB
asir-5476	6	8	various	various	ADJ
asir-5476	6	9	syllogisms	syllogism	NOUN
asir-5476	6	10	,	,	PUNCT
asir-5476	6	11	such	such	ADJ
asir-5476	6	12	as	as	ADP
asir-5476	6	13	categorical	categorical	ADJ
asir-5476	6	14	syllogisms	syllogism	NOUN
asir-5476	6	15	(	(	PUNCT
asir-5476	6	16	łukasiewicz	łukasiewicz	NOUN
asir-5476	6	17	,	,	PUNCT
asir-5476	6	18	1957	1957	NUM
asir-5476	6	19	;	;	PUNCT
asir-5476	6	20	moss	moss	NOUN
asir-5476	6	21	,	,	PUNCT
asir-5476	6	22	2008	2008	NUM
asir-5476	6	23	;	;	PUNCT
asir-5476	6	24	westerståhl	westerståhl	NOUN
asir-5476	6	25	,	,	PUNCT
asir-5476	6	26	1989	1989	NUM
asir-5476	6	27	)	)	PUNCT
asir-5476	6	28	,	,	PUNCT
asir-5476	6	29	generalized	generalized	ADJ
asir-5476	6	30	syllogisms	syllogism	NOUN
asir-5476	6	31	(	(	PUNCT
asir-5476	6	32	murinová	murinová	NOUN
asir-5476	6	33	,	,	PUNCT
asir-5476	6	34	&	&	CCONJ
asir-5476	6	35	novák	novák	NOUN
asir-5476	6	36	,	,	PUNCT
asir-5476	6	37	2012	2012	NUM
asir-5476	6	38	;	;	PUNCT
asir-5476	6	39	endrullis	endrullis	PROPN
asir-5476	6	40	&	&	CCONJ
asir-5476	6	41	moss	moss	NOUN
asir-5476	6	42	,	,	PUNCT
asir-5476	6	43	2015	2015	NUM
asir-5476	6	44	)	)	PUNCT
asir-5476	6	45	,	,	PUNCT
asir-5476	6	46	modal	modal	NOUN
asir-5476	6	47	syllogisms	syllogism	NOUN
asir-5476	6	48	(	(	PUNCT
asir-5476	6	49	johnson	johnson	PROPN
asir-5476	6	50	,	,	PUNCT
asir-5476	6	51	2004	2004	NUM
asir-5476	6	52	;	;	PUNCT
asir-5476	6	53	zhang	zhang	PROPN
asir-5476	6	54	,	,	PUNCT
asir-5476	6	55	2020a	2020a	NUM
asir-5476	6	56	,	,	PUNCT
asir-5476	6	57	2020b	2020b	NUM
asir-5476	6	58	)	)	PUNCT
asir-5476	6	59	,	,	PUNCT
asir-5476	6	60	relational	relational	ADJ
asir-5476	6	61	syllogisms	syllogism	NOUN
asir-5476	6	62	,	,	PUNCT
asir-5476	6	63	syllogisms	syllogism	NOUN
asir-5476	6	64	with	with	ADP
asir-5476	6	65	verbs	verbs	PROPN
asir-5476	6	66	(	(	PUNCT
asir-5476	6	67	moss	moss	NOUN
asir-5476	6	68	,	,	PUNCT
asir-5476	6	69	2010	2010	NUM
asir-5476	6	70	)	)	PUNCT
asir-5476	6	71	,	,	PUNCT
asir-5476	6	72	and	and	CCONJ
asir-5476	6	73	syllogisms	syllogism	NOUN
asir-5476	6	74	with	with	ADP
asir-5476	6	75	boolean	boolean	ADJ
asir-5476	6	76	operations	operation	NOUN
asir-5476	6	77	(	(	PUNCT
asir-5476	6	78	ivanov	ivanov	PROPN
asir-5476	6	79	&	&	CCONJ
asir-5476	6	80	vakarelov	vakarelov	ADJ
asir-5476	6	81	,	,	PUNCT
asir-5476	6	82	2012	2012	NUM
asir-5476	6	83	)	)	PUNCT
asir-5476	6	84	,	,	PUNCT
asir-5476	6	85	and	and	CCONJ
asir-5476	6	86	so	so	ADV
asir-5476	6	87	on	on	ADV
asir-5476	6	88	.	.	PUNCT
asir-5476	7	1	the	the	DET
asir-5476	7	2	indisputable	indisputable	ADJ
asir-5476	7	3	fact	fact	NOUN
asir-5476	7	4	is	be	AUX
asir-5476	7	5	that	that	DET
asir-5476	7	6	syllogism	syllogism	NOUN
asir-5476	7	7	reasoning	reasoning	NOUN
asir-5476	7	8	is	be	AUX
asir-5476	7	9	a	a	DET
asir-5476	7	10	common	common	ADJ
asir-5476	7	11	and	and	CCONJ
asir-5476	7	12	important	important	ADJ
asir-5476	7	13	form	form	NOUN
asir-5476	7	14	of	of	ADP
asir-5476	7	15	reasoning	reasoning	NOUN
asir-5476	7	16	in	in	ADP
asir-5476	7	17	human	human	ADJ
asir-5476	7	18	thinking	thinking	NOUN
asir-5476	7	19	from	from	ADP
asir-5476	7	20	aristotle	aristotle	PROPN
asir-5476	7	21	onwards	onwards	ADV
asir-5476	7	22	(	(	PUNCT
asir-5476	7	23	patzig	patzig	NOUN
asir-5476	7	24	,	,	PUNCT
asir-5476	7	25	1969	1969	NUM
asir-5476	7	26	)	)	PUNCT
asir-5476	7	27	.	.	PUNCT
asir-5476	8	1	this	this	DET
asir-5476	8	2	article	article	NOUN
asir-5476	8	3	focuses	focus	VERB
asir-5476	8	4	on	on	ADP
asir-5476	8	5	categorical	categorical	ADJ
asir-5476	8	6	syllogisms	syllogism	NOUN
asir-5476	8	7	.	.	PUNCT
asir-5476	9	1	unless	unless	SCONJ
asir-5476	9	2	otherwise	otherwise	ADV
asir-5476	9	3	specified	specify	VERB
asir-5476	9	4	,	,	PUNCT
asir-5476	9	5	the	the	DET
asir-5476	9	6	following	follow	VERB
asir-5476	9	7	syllogisms	syllogism	NOUN
asir-5476	9	8	refer	refer	VERB
asir-5476	9	9	to	to	ADP
asir-5476	9	10	categorical	categorical	ADJ
asir-5476	9	11	syllogisms	syllogism	NOUN
asir-5476	9	12	.	.	PUNCT
asir-5476	10	1	most	most	ADJ
asir-5476	10	2	logic	logic	NOUN
asir-5476	10	3	scholars	scholar	NOUN
asir-5476	10	4	believe	believe	VERB
asir-5476	10	5	that	that	SCONJ
asir-5476	10	6	categorical	categorical	ADJ
asir-5476	10	7	syllogisms	syllogism	NOUN
asir-5476	10	8	are	be	AUX
asir-5476	10	9	also	also	ADV
asir-5476	10	10	called	call	VERB
asir-5476	10	11	aristotelian	aristotelian	ADJ
asir-5476	10	12	syllogisms	syllogism	NOUN
asir-5476	10	13	or	or	CCONJ
asir-5476	10	14	traditional	traditional	ADJ
asir-5476	10	15	syllogisms	syllogism	NOUN
asir-5476	10	16	.	.	PUNCT
asir-5476	11	1	this	this	DET
asir-5476	11	2	article	article	NOUN
asir-5476	11	3	adopts	adopt	VERB
asir-5476	11	4	this	this	DET
asir-5476	11	5	view	view	NOUN
asir-5476	11	6	.	.	PUNCT
asir-5476	12	1	there	there	PRON
asir-5476	12	2	are	be	VERB
asir-5476	12	3	many	many	ADJ
asir-5476	12	4	scholars	scholar	NOUN
asir-5476	12	5	who	who	PRON
asir-5476	12	6	have	have	AUX
asir-5476	12	7	studied	study	VERB
asir-5476	12	8	www.scholink.org/ojs/index.php/asir	www.scholink.org/ojs/index.php/asir	NOUN
asir-5476	12	9	applied	apply	VERB
asir-5476	12	10	science	science	NOUN
asir-5476	12	11	and	and	CCONJ
asir-5476	12	12	innovative	innovative	ADJ
asir-5476	12	13	research	research	NOUN
asir-5476	12	14	vol	vol	NOUN
asir-5476	12	15	.	.	PUNCT
asir-5476	13	1	7	7	NUM
asir-5476	13	2	,	,	PUNCT
asir-5476	13	3	no	no	INTJ
asir-5476	13	4	.	.	NOUN
asir-5476	13	5	1	1	NUM
asir-5476	13	6	,	,	PUNCT
asir-5476	13	7	2023	2023	NUM
asir-5476	13	8	31	31	NUM
asir-5476	13	9	published	publish	VERB
asir-5476	13	10	by	by	ADP
asir-5476	13	11	scholink	scholink	PROPN
asir-5476	13	12	inc	inc	PROPN
asir-5476	13	13	.	.	PROPN
asir-5476	13	14	categorical	categorical	ADJ
asir-5476	13	15	syllogistic	syllogistic	ADJ
asir-5476	13	16	logic	logic	NOUN
asir-5476	13	17	,	,	PUNCT
asir-5476	13	18	such	such	ADJ
asir-5476	13	19	as	as	ADP
asir-5476	13	20	łukasiewicz	łukasiewicz	NOUN
asir-5476	13	21	(	(	PUNCT
asir-5476	13	22	1957	1957	NUM
asir-5476	13	23	)	)	PUNCT
asir-5476	13	24	,	,	PUNCT
asir-5476	13	25	kulicki	kulicki	NOUN
asir-5476	13	26	(	(	PUNCT
asir-5476	13	27	2020	2020	NUM
asir-5476	13	28	)	)	PUNCT
asir-5476	13	29	,	,	PUNCT
asir-5476	13	30	preston	preston	PROPN
asir-5476	13	31	(	(	PUNCT
asir-5476	13	32	2020	2020	NUM
asir-5476	13	33	)	)	PUNCT
asir-5476	13	34	,	,	PUNCT
asir-5476	13	35	pereira	pereira	PROPN
asir-5476	13	36	-	-	PUNCT
asir-5476	13	37	fariña	fariña	PROPN
asir-5476	13	38	et	et	PROPN
asir-5476	13	39	al	al	PROPN
asir-5476	13	40	.	.	PROPN
asir-5476	14	1	(	(	PUNCT
asir-5476	14	2	2014	2014	NUM
asir-5476	14	3	)	)	PUNCT
asir-5476	14	4	,	,	PUNCT
asir-5476	14	5	tennant	tennant	PROPN
asir-5476	14	6	(	(	PUNCT
asir-5476	14	7	2014	2014	NUM
asir-5476	14	8	)	)	PUNCT
asir-5476	14	9	,	,	PUNCT
asir-5476	14	10	beihai	beihai	PROPN
asir-5476	14	11	et	et	PROPN
asir-5476	14	12	al	al	PROPN
asir-5476	14	13	.	.	PROPN
asir-5476	15	1	(	(	PUNCT
asir-5476	15	2	2018	2018	NUM
asir-5476	15	3	)	)	PUNCT
asir-5476	15	4	,	,	PUNCT
asir-5476	15	5	xiaojun	xiaojun	PROPN
asir-5476	15	6	(	(	PUNCT
asir-5476	15	7	2018	2018	NUM
asir-5476	15	8	)	)	PUNCT
asir-5476	15	9	,	,	PUNCT
asir-5476	15	10	and	and	CCONJ
asir-5476	15	11	so	so	ADV
asir-5476	15	12	on	on	ADV
asir-5476	15	13	.	.	PUNCT
asir-5476	16	1	in	in	ADP
asir-5476	16	2	previous	previous	ADJ
asir-5476	16	3	work	work	NOUN
asir-5476	16	4	,	,	PUNCT
asir-5476	16	5	most	most	ADJ
asir-5476	16	6	methods	method	NOUN
asir-5476	16	7	to	to	PART
asir-5476	16	8	judge	judge	VERB
asir-5476	16	9	the	the	DET
asir-5476	16	10	validity	validity	NOUN
asir-5476	16	11	of	of	ADP
asir-5476	16	12	categorical	categorical	ADJ
asir-5476	16	13	syllogisms	syllogism	NOUN
asir-5476	16	14	are	be	AUX
asir-5476	16	15	informal	informal	ADJ
asir-5476	16	16	,	,	PUNCT
asir-5476	16	17	and	and	CCONJ
asir-5476	16	18	generally	generally	ADV
asir-5476	16	19	need	need	VERB
asir-5476	16	20	to	to	PART
asir-5476	16	21	use	use	VERB
asir-5476	16	22	the	the	DET
asir-5476	16	23	distribution	distribution	NOUN
asir-5476	16	24	of	of	ADP
asir-5476	16	25	subjects	subject	NOUN
asir-5476	16	26	and	and	CCONJ
asir-5476	16	27	predicates	predicate	NOUN
asir-5476	16	28	in	in	ADP
asir-5476	16	29	categorical	categorical	ADJ
asir-5476	16	30	propositions	proposition	NOUN
asir-5476	16	31	.	.	PUNCT
asir-5476	17	1	due	due	ADP
asir-5476	17	2	to	to	ADP
asir-5476	17	3	the	the	DET
asir-5476	17	4	lack	lack	NOUN
asir-5476	17	5	of	of	ADP
asir-5476	17	6	formal	formal	ADJ
asir-5476	17	7	definition	definition	NOUN
asir-5476	17	8	of	of	ADP
asir-5476	17	9	distribution	distribution	NOUN
asir-5476	17	10	,	,	PUNCT
asir-5476	17	11	there	there	PRON
asir-5476	17	12	are	be	VERB
asir-5476	17	13	not	not	PART
asir-5476	17	14	only	only	ADV
asir-5476	17	15	many	many	ADJ
asir-5476	17	16	troubles	trouble	NOUN
asir-5476	17	17	in	in	ADP
asir-5476	17	18	understanding	understand	VERB
asir-5476	17	19	relevant	relevant	ADJ
asir-5476	17	20	knowledge	knowledge	NOUN
asir-5476	17	21	,	,	PUNCT
asir-5476	17	22	but	but	CCONJ
asir-5476	17	23	also	also	ADV
asir-5476	17	24	great	great	ADJ
asir-5476	17	25	difficulties	difficulty	NOUN
asir-5476	17	26	for	for	ADP
asir-5476	17	27	natural	natural	ADJ
asir-5476	17	28	language	language	NOUN
asir-5476	17	29	information	information	NOUN
asir-5476	17	30	processing	processing	NOUN
asir-5476	17	31	.	.	PUNCT
asir-5476	18	1	it	it	PRON
asir-5476	18	2	is	be	AUX
asir-5476	18	3	known	know	VERB
asir-5476	18	4	that	that	SCONJ
asir-5476	18	5	only	only	ADV
asir-5476	18	6	just	just	ADV
asir-5476	18	7	24	24	NUM
asir-5476	18	8	kinds	kind	NOUN
asir-5476	18	9	of	of	ADP
asir-5476	18	10	categorical	categorical	ADJ
asir-5476	18	11	syllogisms	syllogism	NOUN
asir-5476	18	12	are	be	AUX
asir-5476	18	13	valid	valid	ADJ
asir-5476	18	14	among	among	ADP
asir-5476	18	15	256	256	NUM
asir-5476	18	16	kinds	kind	NOUN
asir-5476	18	17	of	of	ADP
asir-5476	18	18	categorical	categorical	ADJ
asir-5476	18	19	syllogisms	syllogism	NOUN
asir-5476	18	20	.	.	PUNCT
asir-5476	19	1	in	in	ADP
asir-5476	19	2	previous	previous	ADJ
asir-5476	19	3	studies	study	NOUN
asir-5476	19	4	,	,	PUNCT
asir-5476	19	5	at	at	ADP
asir-5476	19	6	least	least	ADV
asir-5476	19	7	two	two	NUM
asir-5476	19	8	valid	valid	ADJ
asir-5476	19	9	syllogisms	syllogism	NOUN
asir-5476	19	10	were	be	AUX
asir-5476	19	11	used	use	VERB
asir-5476	19	12	as	as	ADP
asir-5476	19	13	basic	basic	ADJ
asir-5476	19	14	axioms	axiom	NOUN
asir-5476	19	15	when	when	SCONJ
asir-5476	19	16	deriving	derive	VERB
asir-5476	19	17	all	all	PRON
asir-5476	19	18	of	of	ADP
asir-5476	19	19	the	the	DET
asir-5476	19	20	other	other	ADJ
asir-5476	19	21	valid	valid	ADJ
asir-5476	19	22	syllogisms	syllogism	NOUN
asir-5476	19	23	,	,	PUNCT
asir-5476	19	24	for	for	ADP
asir-5476	19	25	example	example	NOUN
asir-5476	19	26	by	by	ADP
asir-5476	19	27	łukasiewicz	łukasiewicz	NOUN
asir-5476	19	28	(	(	PUNCT
asir-5476	19	29	1957	1957	NUM
asir-5476	19	30	)	)	PUNCT
asir-5476	19	31	,	,	PUNCT
asir-5476	19	32	cai	cai	X
asir-5476	19	33	(	(	PUNCT
asir-5476	19	34	1984	1984	NUM
asir-5476	19	35	)	)	PUNCT
asir-5476	19	36	,	,	PUNCT
asir-5476	19	37	zhang	zhang	PROPN
asir-5476	19	38	and	and	CCONJ
asir-5476	19	39	li	li	PROPN
asir-5476	19	40	(	(	PUNCT
asir-5476	19	41	2016	2016	NUM
asir-5476	19	42	)	)	PUNCT
asir-5476	19	43	,	,	PUNCT
asir-5476	19	44	zhang	zhang	PROPN
asir-5476	19	45	(	(	PUNCT
asir-5476	19	46	2018	2018	NUM
asir-5476	19	47	)	)	PUNCT
asir-5476	19	48	and	and	CCONJ
asir-5476	19	49	huang	huang	PROPN
asir-5476	19	50	and	and	CCONJ
asir-5476	19	51	zhang	zhang	PROPN
asir-5476	19	52	(	(	PUNCT
asir-5476	19	53	2020	2020	NUM
asir-5476	19	54	)	)	PUNCT
asir-5476	19	55	and	and	CCONJ
asir-5476	19	56	zhou	zhou	PROPN
asir-5476	19	57	et	et	PROPN
asir-5476	19	58	al	al	PROPN
asir-5476	19	59	.	.	PROPN
asir-5476	20	1	(	(	PUNCT
asir-5476	20	2	2018	2018	NUM
asir-5476	20	3	)	)	PUNCT
asir-5476	20	4	.	.	PUNCT
asir-5476	21	1	take	take	VERB
asir-5476	21	2	zhang	zhang	PROPN
asir-5476	21	3	and	and	CCONJ
asir-5476	21	4	li	li	PROPN
asir-5476	21	5	(	(	PUNCT
asir-5476	21	6	2016	2016	NUM
asir-5476	21	7	)	)	PUNCT
asir-5476	21	8	as	as	ADP
asir-5476	21	9	an	an	DET
asir-5476	21	10	example	example	NOUN
asir-5476	21	11	.	.	PUNCT
asir-5476	22	1	using	use	VERB
asir-5476	22	2	the	the	DET
asir-5476	22	3	transformation	transformation	NOUN
asir-5476	22	4	relations	relation	NOUN
asir-5476	22	5	between	between	ADP
asir-5476	22	6	a	a	DET
asir-5476	22	7	quantifier	quantifier	NOUN
asir-5476	22	8	and	and	CCONJ
asir-5476	22	9	its	its	PRON
asir-5476	22	10	three	three	NUM
asir-5476	22	11	negative	negative	ADJ
asir-5476	22	12	quantifiers	quantifier	NOUN
asir-5476	22	13	,	,	PUNCT
asir-5476	22	14	as	as	ADV
asir-5476	22	15	well	well	ADV
asir-5476	22	16	as	as	ADP
asir-5476	22	17	the	the	DET
asir-5476	22	18	symmetry	symmetry	NOUN
asir-5476	22	19	of	of	ADP
asir-5476	22	20	two	two	NUM
asir-5476	22	21	aristotelian	aristotelian	ADJ
asir-5476	22	22	quantifiers	quantifier	NOUN
asir-5476	22	23	(	(	PUNCT
asir-5476	22	24	that	that	ADV
asir-5476	22	25	is	is	ADV
asir-5476	22	26	,	,	PUNCT
asir-5476	22	27	some	some	PRON
asir-5476	22	28	and	and	CCONJ
asir-5476	22	29	no	no	NOUN
asir-5476	22	30	)	)	PUNCT
asir-5476	22	31	(	(	PUNCT
asir-5476	22	32	zhang	zhang	PROPN
asir-5476	22	33	&	&	CCONJ
asir-5476	22	34	huang	huang	PROPN
asir-5476	22	35	,	,	PUNCT
asir-5476	22	36	2012	2012	NUM
asir-5476	22	37	)	)	PUNCT
asir-5476	22	38	,	,	PUNCT
asir-5476	22	39	the	the	DET
asir-5476	22	40	authors	author	NOUN
asir-5476	22	41	derived	derive	VERB
asir-5476	22	42	the	the	DET
asir-5476	22	43	remaining	remain	VERB
asir-5476	22	44	22	22	NUM
asir-5476	22	45	valid	valid	ADJ
asir-5476	22	46	syllogisms	syllogism	NOUN
asir-5476	22	47	on	on	ADP
asir-5476	22	48	the	the	DET
asir-5476	22	49	basis	basis	NOUN
asir-5476	22	50	of	of	ADP
asir-5476	22	51	the	the	DET
asir-5476	22	52	two	two	NUM
asir-5476	22	53	syllogisms	syllogism	NOUN
asir-5476	22	54	aaa-1	aaa-1	NUM
asir-5476	22	55	and	and	CCONJ
asir-5476	22	56	eae-1	eae-1	NOUN
asir-5476	22	57	.	.	PUNCT
asir-5476	23	1	to	to	PART
asir-5476	23	2	overcome	overcome	VERB
asir-5476	23	3	the	the	DET
asir-5476	23	4	above	above	ADJ
asir-5476	23	5	shortcomings	shortcoming	NOUN
asir-5476	23	6	,	,	PUNCT
asir-5476	23	7	this	this	DET
asir-5476	23	8	article	article	NOUN
asir-5476	23	9	makes	make	VERB
asir-5476	23	10	full	full	ADJ
asir-5476	23	11	of	of	ADP
asir-5476	23	12	set	set	ADJ
asir-5476	23	13	theory	theory	NOUN
asir-5476	23	14	and	and	CCONJ
asir-5476	23	15	classical	classical	ADJ
asir-5476	23	16	propositional	propositional	ADJ
asir-5476	23	17	logic	logic	NOUN
asir-5476	23	18	,	,	PUNCT
asir-5476	23	19	and	and	CCONJ
asir-5476	23	20	deduces	deduce	VERB
asir-5476	23	21	the	the	DET
asir-5476	23	22	remaining	remain	VERB
asir-5476	23	23	23	23	NUM
asir-5476	23	24	valid	valid	ADJ
asir-5476	23	25	syllogisms	syllogism	NOUN
asir-5476	23	26	only	only	ADV
asir-5476	23	27	on	on	ADP
asir-5476	23	28	the	the	DET
asir-5476	23	29	basis	basis	NOUN
asir-5476	23	30	of	of	ADP
asir-5476	23	31	the	the	DET
asir-5476	23	32	syllogism	syllogism	NOUN
asir-5476	23	33	eio-2	eio-2	VERB
asir-5476	23	34	from	from	ADP
asir-5476	23	35	the	the	DET
asir-5476	23	36	perspective	perspective	NOUN
asir-5476	23	37	of	of	ADP
asir-5476	23	38	mathematical	mathematical	ADJ
asir-5476	23	39	structuralism	structuralism	NOUN
asir-5476	23	40	,	,	PUNCT
asir-5476	23	41	and	and	CCONJ
asir-5476	23	42	then	then	ADV
asir-5476	23	43	successfully	successfully	ADV
asir-5476	23	44	establishes	establish	VERB
asir-5476	23	45	a	a	DET
asir-5476	23	46	concise	concise	ADJ
asir-5476	23	47	formal	formal	ADJ
asir-5476	23	48	axiom	axiom	NOUN
asir-5476	23	49	system	system	NOUN
asir-5476	23	50	for	for	ADP
asir-5476	23	51	categorical	categorical	ADJ
asir-5476	23	52	syllogistic	syllogistic	ADJ
asir-5476	23	53	logic	logic	NOUN
asir-5476	23	54	.	.	PUNCT
asir-5476	24	1	2	2	X
asir-5476	24	2	.	.	X
asir-5476	24	3	basic	basic	ADJ
asir-5476	24	4	knowledge	knowledge	NOUN
asir-5476	24	5	logic	logic	NOUN
asir-5476	24	6	and	and	CCONJ
asir-5476	24	7	mathematics	mathematic	NOUN
asir-5476	24	8	are	be	AUX
asir-5476	24	9	inseparable	inseparable	ADJ
asir-5476	24	10	.	.	PUNCT
asir-5476	25	1	mathematical	mathematical	ADJ
asir-5476	25	2	structuralism	structuralism	NOUN
asir-5476	25	3	holds	hold	VERB
asir-5476	25	4	that	that	SCONJ
asir-5476	25	5	mathematics	mathematic	NOUN
asir-5476	25	6	has	have	VERB
asir-5476	25	7	the	the	DET
asir-5476	25	8	characteristics	characteristic	NOUN
asir-5476	25	9	of	of	ADP
asir-5476	25	10	structuralism	structuralism	NOUN
asir-5476	25	11	(	(	PUNCT
asir-5476	25	12	hellman	hellman	NOUN
asir-5476	25	13	,	,	PUNCT
asir-5476	25	14	2001	2001	NUM
asir-5476	25	15	)	)	PUNCT
asir-5476	25	16	.	.	PUNCT
asir-5476	26	1	more	more	ADV
asir-5476	26	2	specifically	specifically	ADV
asir-5476	26	3	,	,	PUNCT
asir-5476	26	4	mathematics	mathematic	NOUN
asir-5476	26	5	mainly	mainly	ADV
asir-5476	26	6	studies	study	VERB
asir-5476	26	7	the	the	DET
asir-5476	26	8	structure	structure	NOUN
asir-5476	26	9	of	of	ADP
asir-5476	26	10	objects	object	NOUN
asir-5476	26	11	and	and	CCONJ
asir-5476	26	12	the	the	DET
asir-5476	26	13	relations	relation	NOUN
asir-5476	26	14	between	between	ADP
asir-5476	26	15	structures	structure	NOUN
asir-5476	26	16	(	(	PUNCT
asir-5476	26	17	hao	hao	PROPN
asir-5476	26	18	,	,	PUNCT
asir-5476	26	19	2013	2013	NUM
asir-5476	26	20	)	)	PUNCT
asir-5476	26	21	.	.	PUNCT
asir-5476	27	1	logic	logic	NOUN
asir-5476	27	2	not	not	PART
asir-5476	27	3	only	only	ADV
asir-5476	27	4	studies	study	NOUN
asir-5476	27	5	thinking	think	VERB
asir-5476	27	6	forms	form	NOUN
asir-5476	27	7	and	and	CCONJ
asir-5476	27	8	their	their	PRON
asir-5476	27	9	laws	law	NOUN
asir-5476	27	10	,	,	PUNCT
asir-5476	27	11	but	but	CCONJ
asir-5476	27	12	also	also	ADV
asir-5476	27	13	the	the	DET
asir-5476	27	14	formal	formal	ADJ
asir-5476	27	15	structures	structure	NOUN
asir-5476	27	16	of	of	ADP
asir-5476	27	17	thinking	think	VERB
asir-5476	27	18	objects	object	NOUN
asir-5476	27	19	and	and	CCONJ
asir-5476	27	20	the	the	DET
asir-5476	27	21	relations	relation	NOUN
asir-5476	27	22	between	between	ADP
asir-5476	27	23	structures	structure	NOUN
asir-5476	27	24	(	(	PUNCT
asir-5476	27	25	hao	hao	PROPN
asir-5476	27	26	&	&	CCONJ
asir-5476	27	27	kan	kan	PROPN
asir-5476	27	28	,	,	PUNCT
asir-5476	27	29	2018	2018	NUM
asir-5476	27	30	)	)	PUNCT
asir-5476	27	31	.	.	PUNCT
asir-5476	28	1	in	in	ADP
asir-5476	28	2	short	short	ADJ
asir-5476	28	3	,	,	PUNCT
asir-5476	28	4	from	from	ADP
asir-5476	28	5	the	the	DET
asir-5476	28	6	perspective	perspective	NOUN
asir-5476	28	7	of	of	ADP
asir-5476	28	8	mathematical	mathematical	ADJ
asir-5476	28	9	structuralism	structuralism	NOUN
asir-5476	28	10	,	,	PUNCT
asir-5476	28	11	formal	formal	ADJ
asir-5476	28	12	logic	logic	NOUN
asir-5476	28	13	mainly	mainly	ADV
asir-5476	28	14	studies	study	VERB
asir-5476	28	15	the	the	DET
asir-5476	28	16	mathematical	mathematical	ADJ
asir-5476	28	17	characteristics	characteristic	NOUN
asir-5476	28	18	of	of	ADP
asir-5476	28	19	the	the	DET
asir-5476	28	20	structures	structure	NOUN
asir-5476	28	21	of	of	ADP
asir-5476	28	22	thinking	think	VERB
asir-5476	28	23	objects	object	NOUN
asir-5476	28	24	.	.	PUNCT
asir-5476	29	1	as	as	SCONJ
asir-5476	29	2	we	we	PRON
asir-5476	29	3	all	all	PRON
asir-5476	29	4	know	know	VERB
asir-5476	29	5	,	,	PUNCT
asir-5476	29	6	a	a	DET
asir-5476	29	7	categorical	categorical	ADJ
asir-5476	29	8	syllogism	syllogism	NOUN
asir-5476	29	9	is	be	AUX
asir-5476	29	10	composed	compose	VERB
asir-5476	29	11	of	of	ADP
asir-5476	29	12	three	three	NUM
asir-5476	29	13	categorical	categorical	ADJ
asir-5476	29	14	propositions	proposition	NOUN
asir-5476	29	15	.	.	PUNCT
asir-5476	30	1	from	from	ADP
asir-5476	30	2	the	the	DET
asir-5476	30	3	perspective	perspective	NOUN
asir-5476	30	4	of	of	ADP
asir-5476	30	5	mathematical	mathematical	ADJ
asir-5476	30	6	structuralism	structuralism	NOUN
asir-5476	30	7	,	,	PUNCT
asir-5476	30	8	any	any	DET
asir-5476	30	9	categorical	categorical	ADJ
asir-5476	30	10	proposition	proposition	NOUN
asir-5476	30	11	has	have	VERB
asir-5476	30	12	a	a	DET
asir-5476	30	13	tripartite	tripartite	ADJ
asir-5476	30	14	structure	structure	NOUN
asir-5476	30	15	such	such	ADJ
asir-5476	30	16	as	as	ADP
asir-5476	30	17	q(a	q(a	NOUN
asir-5476	30	18	,	,	PUNCT
asir-5476	30	19	b	b	NOUN
asir-5476	30	20	)	)	PUNCT
asir-5476	30	21	,	,	PUNCT
asir-5476	30	22	where	where	SCONJ
asir-5476	30	23	q	q	NOUN
asir-5476	30	24	represents	represent	VERB
asir-5476	30	25	any	any	PRON
asir-5476	30	26	of	of	ADP
asir-5476	30	27	the	the	DET
asir-5476	30	28	four	four	NUM
asir-5476	30	29	aristotelian	aristotelian	ADJ
asir-5476	30	30	quantifiers	quantifier	NOUN
asir-5476	30	31	(	(	PUNCT
asir-5476	30	32	that	that	PRON
asir-5476	30	33	is	is	ADV
asir-5476	30	34	,	,	PUNCT
asir-5476	30	35	all	all	PRON
asir-5476	30	36	,	,	PUNCT
asir-5476	30	37	some	some	PRON
asir-5476	30	38	,	,	PUNCT
asir-5476	30	39	no	no	INTJ
asir-5476	30	40	,	,	PUNCT
asir-5476	30	41	not	not	PART
asir-5476	30	42	all	all	PRON
asir-5476	30	43	)	)	PUNCT
asir-5476	30	44	,	,	PUNCT
asir-5476	30	45	in	in	ADP
asir-5476	30	46	which	which	PRON
asir-5476	30	47	a	a	PRON
asir-5476	30	48	is	be	AUX
asir-5476	30	49	the	the	DET
asir-5476	30	50	subject	subject	ADJ
asir-5476	30	51	argument	argument	NOUN
asir-5476	30	52	of	of	ADP
asir-5476	30	53	the	the	DET
asir-5476	30	54	categorical	categorical	ADJ
asir-5476	30	55	proposition	proposition	NOUN
asir-5476	30	56	,	,	PUNCT
asir-5476	30	57	and	and	CCONJ
asir-5476	30	58	b	b	NOUN
asir-5476	30	59	is	be	AUX
asir-5476	30	60	the	the	DET
asir-5476	30	61	predicate	predicate	ADJ
asir-5476	30	62	argument	argument	NOUN
asir-5476	30	63	of	of	ADP
asir-5476	30	64	categorical	categorical	ADJ
asir-5476	30	65	propositions	proposition	NOUN
asir-5476	30	66	.	.	PUNCT
asir-5476	31	1	more	more	ADV
asir-5476	31	2	specifically	specifically	ADV
asir-5476	31	3	,	,	PUNCT
asir-5476	31	4	categorical	categorical	ADJ
asir-5476	31	5	syllogisms	syllogism	NOUN
asir-5476	31	6	only	only	ADV
asir-5476	31	7	include	include	VERB
asir-5476	31	8	the	the	DET
asir-5476	31	9	following	follow	VERB
asir-5476	31	10	four	four	NUM
asir-5476	31	11	forms	form	NOUN
asir-5476	31	12	of	of	ADP
asir-5476	31	13	categorical	categorical	ADJ
asir-5476	31	14	propositions	proposition	NOUN
asir-5476	31	15	:	:	PUNCT
asir-5476	31	16	all(a	all(a	PROPN
asir-5476	31	17	,	,	PUNCT
asir-5476	31	18	b	b	NOUN
asir-5476	31	19	)	)	PUNCT
asir-5476	31	20	,	,	PUNCT
asir-5476	31	21	some(a	some(a	PROPN
asir-5476	31	22	,	,	PUNCT
asir-5476	31	23	b	b	NOUN
asir-5476	31	24	)	)	PUNCT
asir-5476	31	25	,	,	PUNCT
asir-5476	31	26	no(a	no(a	NUM
asir-5476	31	27	,	,	PUNCT
asir-5476	31	28	b	b	NOUN
asir-5476	31	29	)	)	PUNCT
asir-5476	31	30	and	and	CCONJ
asir-5476	31	31	not	not	PART
asir-5476	31	32	all(a	all(a	PROPN
asir-5476	31	33	,	,	PUNCT
asir-5476	31	34	b	b	NOUN
asir-5476	31	35	)	)	PUNCT
asir-5476	31	36	,	,	PUNCT
asir-5476	31	37	which	which	PRON
asir-5476	31	38	respectively	respectively	ADV
asir-5476	31	39	means	mean	VERB
asir-5476	31	40	that	that	SCONJ
asir-5476	31	41	all	all	DET
asir-5476	31	42	as	as	SCONJ
asir-5476	31	43	are	be	AUX
asir-5476	31	44	bs	b	NOUN
asir-5476	31	45	,	,	PUNCT
asir-5476	31	46	some	some	PRON
asir-5476	31	47	as	as	SCONJ
asir-5476	31	48	are	be	AUX
asir-5476	31	49	bs	bs	NOUN
asir-5476	31	50	,	,	PUNCT
asir-5476	31	51	no	no	INTJ
asir-5476	31	52	as	as	SCONJ
asir-5476	31	53	are	be	AUX
asir-5476	31	54	bs	bs	NOUN
asir-5476	31	55	and	and	CCONJ
asir-5476	31	56	not	not	PART
asir-5476	31	57	all	all	PRON
asir-5476	31	58	as	as	ADV
asir-5476	31	59	are	be	AUX
asir-5476	31	60	bs	b	NOUN
asir-5476	31	61	.	.	PUNCT
asir-5476	32	1	then	then	ADV
asir-5476	32	2	,	,	PUNCT
asir-5476	32	3	let	let	VERB
asir-5476	32	4	a	a	DET
asir-5476	32	5	,	,	PUNCT
asir-5476	32	6	b	b	NOUN
asir-5476	32	7	and	and	CCONJ
asir-5476	32	8	c	c	PROPN
asir-5476	32	9	be	be	AUX
asir-5476	32	10	lexical	lexical	ADJ
asir-5476	32	11	variables	variable	NOUN
asir-5476	32	12	,	,	PUNCT
asir-5476	32	13	the	the	DET
asir-5476	32	14	syllogism	syllogism	NOUN
asir-5476	32	15	eio-2	eio-2	PRON
asir-5476	32	16	can	can	AUX
asir-5476	32	17	be	be	AUX
asir-5476	32	18	denoted	denote	VERB
asir-5476	32	19	by	by	ADP
asir-5476	32	20	no(c	no(c	ADP
asir-5476	32	21	,	,	PUNCT
asir-5476	32	22	b)→(some(a	b)→(some(a	PROPN
asir-5476	32	23	,	,	PUNCT
asir-5476	32	24	b)→not	b)→not	PROPN
asir-5476	32	25	all(a	all(a	PROPN
asir-5476	32	26	,	,	PUNCT
asir-5476	32	27	c	c	NOUN
asir-5476	32	28	)	)	PUNCT
asir-5476	32	29	)	)	PUNCT
asir-5476	32	30	,	,	PUNCT
asir-5476	32	31	and	and	CCONJ
asir-5476	32	32	the	the	DET
asir-5476	32	33	other	other	ADJ
asir-5476	32	34	categorical	categorical	ADJ
asir-5476	32	35	syllogisms	syllogism	NOUN
asir-5476	32	36	can	can	AUX
asir-5476	32	37	be	be	AUX
asir-5476	32	38	expressed	express	VERB
asir-5476	32	39	similarly	similarly	ADV
asir-5476	32	40	.	.	PUNCT
asir-5476	33	1	www.scholink.org/ojs/index.php/asir	www.scholink.org/ojs/index.php/asir	PROPN
asir-5476	33	2	applied	apply	VERB
asir-5476	33	3	science	science	NOUN
asir-5476	33	4	and	and	CCONJ
asir-5476	33	5	innovative	innovative	ADJ
asir-5476	33	6	research	research	NOUN
asir-5476	33	7	vol	vol	NOUN
asir-5476	33	8	.	.	PUNCT
asir-5476	34	1	7	7	NUM
asir-5476	34	2	,	,	PUNCT
asir-5476	34	3	no	no	INTJ
asir-5476	34	4	.	.	NOUN
asir-5476	34	5	1	1	NUM
asir-5476	34	6	,	,	PUNCT
asir-5476	34	7	2023	2023	NUM
asir-5476	34	8	32	32	NUM
asir-5476	34	9	published	publish	VERB
asir-5476	34	10	by	by	ADP
asir-5476	34	11	scholink	scholink	PROPN
asir-5476	34	12	inc	inc	PROPN
asir-5476	34	13	.	.	PROPN
asir-5476	35	1	3	3	X
asir-5476	35	2	.	.	PUNCT
asir-5476	36	1	the	the	DET
asir-5476	36	2	formal	formal	ADJ
asir-5476	36	3	categorical	categorical	ADJ
asir-5476	36	4	syllogistic	syllogistic	ADJ
asir-5476	36	5	logic	logic	NOUN
asir-5476	36	6	3.1	3.1	NUM
asir-5476	36	7	primitive	primitive	ADJ
asir-5476	36	8	symbols	symbol	NOUN
asir-5476	36	9	(	(	PUNCT
asir-5476	36	10	1	1	NUM
asir-5476	36	11	)	)	PUNCT
asir-5476	36	12	lexical	lexical	ADJ
asir-5476	36	13	variables	variable	NOUN
asir-5476	36	14	:	:	PUNCT
asir-5476	36	15	a	a	DET
asir-5476	36	16	,	,	PUNCT
asir-5476	36	17	b	b	NOUN
asir-5476	36	18	,	,	PUNCT
asir-5476	36	19	c	c	NOUN
asir-5476	36	20	(	(	PUNCT
asir-5476	36	21	2	2	NUM
asir-5476	36	22	)	)	PUNCT
asir-5476	36	23	unary	unary	ADJ
asir-5476	36	24	negative	negative	ADJ
asir-5476	36	25	connectives	connective	NOUN
asir-5476	36	26	:	:	PUNCT
asir-5476	36	27			ADJ
asir-5476	36	28	(	(	PUNCT
asir-5476	36	29	3	3	X
asir-5476	36	30	)	)	PUNCT
asir-5476	36	31	binary	binary	NOUN
asir-5476	36	32	implication	implication	NOUN
asir-5476	36	33	connectives	connective	VERB
asir-5476	36	34	:	:	PUNCT
asir-5476	36	35			NOUN
asir-5476	36	36	(	(	PUNCT
asir-5476	36	37	4	4	X
asir-5476	36	38	)	)	PUNCT
asir-5476	36	39	quantifiers	quantifier	NOUN
asir-5476	36	40	:	:	PUNCT
asir-5476	36	41	all	all	PRON
asir-5476	36	42	,	,	PUNCT
asir-5476	36	43	some	some	PRON
asir-5476	36	44	(	(	PUNCT
asir-5476	36	45	5	5	NUM
asir-5476	36	46	)	)	PUNCT
asir-5476	36	47	brackets	bracket	NOUN
asir-5476	36	48	:	:	PUNCT
asir-5476	36	49	(	(	PUNCT
asir-5476	36	50	,	,	PUNCT
asir-5476	36	51	)	)	PUNCT
asir-5476	36	52	3.2	3.2	NUM
asir-5476	36	53	formation	formation	NOUN
asir-5476	36	54	rules	rule	NOUN
asir-5476	36	55	(	(	PUNCT
asir-5476	36	56	1	1	X
asir-5476	36	57	)	)	PUNCT
asir-5476	36	58	if	if	SCONJ
asir-5476	36	59	q	q	NOUN
asir-5476	36	60	is	be	AUX
asir-5476	36	61	a	a	DET
asir-5476	36	62	quantifier	quantifier	NOUN
asir-5476	36	63	and	and	CCONJ
asir-5476	36	64	a	a	PRON
asir-5476	36	65	and	and	CCONJ
asir-5476	36	66	b	b	NOUN
asir-5476	36	67	are	be	AUX
asir-5476	36	68	lexical	lexical	ADJ
asir-5476	36	69	variables	variable	NOUN
asir-5476	36	70	,	,	PUNCT
asir-5476	36	71	then	then	ADV
asir-5476	36	72	q(a	q(a	PROPN
asir-5476	36	73	,	,	PUNCT
asir-5476	36	74	b	b	X
asir-5476	36	75	)	)	PUNCT
asir-5476	36	76	is	be	AUX
asir-5476	36	77	a	a	DET
asir-5476	36	78	well	well	ADV
asir-5476	36	79	-	-	PUNCT
asir-5476	36	80	formed	form	VERB
asir-5476	36	81	formula	formula	NOUN
asir-5476	36	82	.	.	PUNCT
asir-5476	37	1	(	(	PUNCT
asir-5476	37	2	2	2	X
asir-5476	37	3	)	)	PUNCT
asir-5476	37	4	if	if	SCONJ
asir-5476	37	5	p	p	PROPN
asir-5476	37	6	and	and	CCONJ
asir-5476	37	7	q	q	NOUN
asir-5476	37	8	are	be	AUX
asir-5476	37	9	well	well	ADV
asir-5476	37	10	-	-	PUNCT
asir-5476	37	11	formed	form	VERB
asir-5476	37	12	formulas	formula	NOUN
asir-5476	37	13	,	,	PUNCT
asir-5476	37	14	then	then	ADV
asir-5476	37	15	p	p	PROPN
asir-5476	37	16	and	and	CCONJ
asir-5476	37	17	pq	pq	NOUN
asir-5476	37	18	are	be	AUX
asir-5476	37	19	well	well	ADV
asir-5476	37	20	-	-	PUNCT
asir-5476	37	21	formed	form	VERB
asir-5476	37	22	formulas	formula	NOUN
asir-5476	37	23	.	.	PUNCT
asir-5476	38	1	(	(	PUNCT
asir-5476	38	2	3	3	X
asir-5476	38	3	)	)	PUNCT
asir-5476	38	4	only	only	ADV
asir-5476	38	5	formulas	formula	NOUN
asir-5476	38	6	obtained	obtain	VERB
asir-5476	38	7	in	in	ADP
asir-5476	38	8	accordance	accordance	NOUN
asir-5476	38	9	with	with	ADP
asir-5476	38	10	(	(	PUNCT
asir-5476	38	11	1	1	NUM
asir-5476	38	12	)	)	PUNCT
asir-5476	38	13	and	and	CCONJ
asir-5476	38	14	(	(	PUNCT
asir-5476	38	15	2	2	X
asir-5476	38	16	)	)	PUNCT
asir-5476	38	17	are	be	AUX
asir-5476	38	18	well	well	ADV
asir-5476	38	19	-	-	PUNCT
asir-5476	38	20	formed	form	VERB
asir-5476	38	21	formulas	formula	NOUN
asir-5476	38	22	.	.	PUNCT
asir-5476	39	1	for	for	ADP
asir-5476	39	2	example	example	NOUN
asir-5476	39	3	,	,	PUNCT
asir-5476	39	4	all(a	all(a	PROPN
asir-5476	39	5	,	,	PUNCT
asir-5476	39	6	b	b	NOUN
asir-5476	39	7	)	)	PUNCT
asir-5476	39	8	,	,	PUNCT
asir-5476	39	9	some(a	some(a	ADJ
asir-5476	39	10	,	,	PUNCT
asir-5476	39	11	b	b	NOUN
asir-5476	39	12	)	)	PUNCT
asir-5476	39	13	,	,	PUNCT
asir-5476	39	14	and	and	CCONJ
asir-5476	39	15	some(a	some(a	PROPN
asir-5476	39	16	,	,	PUNCT
asir-5476	39	17	b)all(b	b)all(b	PROPN
asir-5476	39	18	,	,	PUNCT
asir-5476	39	19	c	c	NOUN
asir-5476	39	20	)	)	PUNCT
asir-5476	39	21	are	be	AUX
asir-5476	39	22	well	well	ADV
asir-5476	39	23	-	-	PUNCT
asir-5476	39	24	formed	form	VERB
asir-5476	39	25	formulas	formula	NOUN
asir-5476	39	26	that	that	PRON
asir-5476	39	27	are	be	AUX
asir-5476	39	28	read	read	VERB
asir-5476	39	29	as	as	ADP
asir-5476	39	30	‘	'	PUNCT
asir-5476	39	31	all	all	PRON
asir-5476	39	32	as	as	SCONJ
asir-5476	39	33	are	be	AUX
asir-5476	39	34	bs	bs	NOUN
asir-5476	39	35	’	'	PUNCT
asir-5476	39	36	,	,	PUNCT
asir-5476	39	37	‘	'	PUNCT
asir-5476	39	38	not	not	PART
asir-5476	39	39	some	some	PRON
asir-5476	39	40	as	as	SCONJ
asir-5476	39	41	are	be	AUX
asir-5476	39	42	bs	bs	NOUN
asir-5476	39	43	’	'	PUNCT
asir-5476	39	44	,	,	PUNCT
asir-5476	39	45	‘	'	PUNCT
asir-5476	39	46	if	if	SCONJ
asir-5476	39	47	some	some	PRON
asir-5476	39	48	as	as	ADP
asir-5476	39	49	are	be	AUX
asir-5476	39	50	bs	bs	NOUN
asir-5476	39	51	,	,	PUNCT
asir-5476	39	52	then	then	ADV
asir-5476	39	53	all	all	DET
asir-5476	39	54	bs	b	NOUN
asir-5476	39	55	are	be	AUX
asir-5476	39	56	cs	cs	ADJ
asir-5476	39	57	’	'	PUNCT
asir-5476	39	58	,	,	PUNCT
asir-5476	39	59	respectively	respectively	ADV
asir-5476	39	60	.	.	PUNCT
asir-5476	40	1	the	the	DET
asir-5476	40	2	other	other	ADJ
asir-5476	40	3	formulas	formula	NOUN
asir-5476	40	4	are	be	AUX
asir-5476	40	5	similar	similar	ADJ
asir-5476	40	6	.	.	PUNCT
asir-5476	41	1	3.3	3.3	NUM
asir-5476	41	2	related	related	ADJ
asir-5476	41	3	definitions	definition	NOUN
asir-5476	41	4	(	(	PUNCT
asir-5476	41	5	1	1	NUM
asir-5476	41	6	)	)	PUNCT
asir-5476	41	7	definition	definition	NOUN
asir-5476	41	8	of	of	ADP
asir-5476	41	9	biconditional	biconditional	ADJ
asir-5476	41	10	connective	connective	ADJ
asir-5476	41	11			NOUN
asir-5476	41	12	:	:	PUNCT
asir-5476	41	13	(	(	PUNCT
asir-5476	41	14	pq	pq	NOUN
asir-5476	41	15	)	)	PUNCT
asir-5476	41	16	=	=	NOUN
asir-5476	41	17	def	def	ADJ
asir-5476	41	18	(	(	PUNCT
asir-5476	41	19	pq)(qp	pq)(qp	NOUN
asir-5476	41	20	)	)	PUNCT
asir-5476	41	21	.	.	PUNCT
asir-5476	42	1	(	(	PUNCT
asir-5476	42	2	2	2	X
asir-5476	42	3	)	)	PUNCT
asir-5476	42	4	definition	definition	NOUN
asir-5476	42	5	of	of	ADP
asir-5476	42	6	inner	inner	ADJ
asir-5476	42	7	negative	negative	ADJ
asir-5476	42	8	quantifier	quantifier	NOUN
asir-5476	42	9	:	:	PUNCT
asir-5476	42	10	q(a	q(a	ADP
asir-5476	42	11	,	,	PUNCT
asir-5476	42	12	b	b	X
asir-5476	42	13	)	)	PUNCT
asir-5476	43	1	=	=	NOUN
asir-5476	43	2	def	def	ADJ
asir-5476	43	3	q(a	q(a	NOUN
asir-5476	43	4	,	,	PUNCT
asir-5476	43	5	db	db	NOUN
asir-5476	43	6	)	)	PUNCT
asir-5476	43	7	,	,	PUNCT
asir-5476	43	8	in	in	ADP
asir-5476	43	9	which	which	PRON
asir-5476	43	10	d	d	NOUN
asir-5476	43	11	indicates	indicate	VERB
asir-5476	43	12	the	the	DET
asir-5476	43	13	domain	domain	NOUN
asir-5476	43	14	of	of	ADP
asir-5476	43	15	lexical	lexical	ADJ
asir-5476	43	16	variables	variable	NOUN
asir-5476	43	17	.	.	PUNCT
asir-5476	44	1	(	(	PUNCT
asir-5476	44	2	3	3	X
asir-5476	44	3	)	)	PUNCT
asir-5476	44	4	definition	definition	NOUN
asir-5476	44	5	of	of	ADP
asir-5476	44	6	outer	outer	ADJ
asir-5476	44	7	negative	negative	ADJ
asir-5476	44	8	quantifier	quantifier	NOUN
asir-5476	44	9	:	:	PUNCT
asir-5476	44	10	(	(	PUNCT
asir-5476	44	11	q)(a	q)(a	PROPN
asir-5476	44	12	,	,	PUNCT
asir-5476	44	13	b	b	NOUN
asir-5476	44	14	)	)	PUNCT
asir-5476	45	1	=	=	PRON
asir-5476	45	2	def	def	ADJ
asir-5476	45	3	it	it	PRON
asir-5476	45	4	is	be	AUX
asir-5476	45	5	not	not	PART
asir-5476	45	6	that	that	SCONJ
asir-5476	45	7	q(a	q(a	NOUN
asir-5476	45	8	,	,	PUNCT
asir-5476	45	9	b	b	NOUN
asir-5476	45	10	)	)	PUNCT
asir-5476	45	11	.	.	PUNCT
asir-5476	46	1	3.4	3.4	NUM
asir-5476	46	2	basic	basic	ADJ
asir-5476	46	3	axioms	axiom	NOUN
asir-5476	46	4	(	(	PUNCT
asir-5476	46	5	1	1	NUM
asir-5476	46	6	)	)	PUNCT
asir-5476	46	7	a0	a0	NOUN
asir-5476	46	8	:	:	PUNCT
asir-5476	46	9	if	if	SCONJ
asir-5476	46	10	p	p	NOUN
asir-5476	46	11	is	be	AUX
asir-5476	46	12	a	a	DET
asir-5476	46	13	valid	valid	ADJ
asir-5476	46	14	formula	formula	NOUN
asir-5476	46	15	in	in	ADP
asir-5476	46	16	classical	classical	ADJ
asir-5476	46	17	propositional	propositional	ADJ
asir-5476	46	18	logic	logic	NOUN
asir-5476	46	19	,	,	PUNCT
asir-5476	46	20	then	then	ADV
asir-5476	46	21	⊢p	⊢p	NOUN
asir-5476	46	22	.	.	PUNCT
asir-5476	46	23	(	(	PUNCT
asir-5476	46	24	2	2	X
asir-5476	46	25	)	)	PUNCT
asir-5476	46	26	a1	a1	NOUN
asir-5476	46	27	:	:	PUNCT
asir-5476	46	28	⊢some(a	⊢some(a	PROPN
asir-5476	46	29	,	,	PUNCT
asir-5476	46	30	a	a	PRON
asir-5476	46	31	)	)	PUNCT
asir-5476	46	32	(	(	PUNCT
asir-5476	46	33	3	3	X
asir-5476	46	34	)	)	PUNCT
asir-5476	46	35	a2	a2	PROPN
asir-5476	46	36	(	(	PUNCT
asir-5476	46	37	namely	namely	ADV
asir-5476	46	38	the	the	DET
asir-5476	46	39	syllogism	syllogism	NOUN
asir-5476	46	40	eio-2	eio-2	NUM
asir-5476	46	41	):	):	PUNCT
asir-5476	46	42	⊢no(a	⊢no(a	PROPN
asir-5476	46	43	,	,	PUNCT
asir-5476	46	44	b)some(c	b)some(c	NUM
asir-5476	46	45	,	,	PUNCT
asir-5476	46	46	b)not	b)not	PROPN
asir-5476	46	47	all(c	all(c	PROPN
asir-5476	46	48	,	,	PUNCT
asir-5476	46	49	a	a	PRON
asir-5476	46	50	)	)	PUNCT
asir-5476	46	51	3.5	3.5	NUM
asir-5476	46	52	reasoning	reasoning	NOUN
asir-5476	46	53	rules	rule	VERB
asir-5476	46	54	the	the	DET
asir-5476	46	55	following	follow	VERB
asir-5476	46	56	rules	rule	NOUN
asir-5476	46	57	of	of	ADP
asir-5476	46	58	inference	inference	NOUN
asir-5476	46	59	in	in	ADP
asir-5476	46	60	classical	classical	ADJ
asir-5476	46	61	propositional	propositional	ADJ
asir-5476	46	62	logic	logic	NOUN
asir-5476	46	63	will	will	AUX
asir-5476	46	64	be	be	AUX
asir-5476	46	65	used	use	VERB
asir-5476	46	66	.	.	PUNCT
asir-5476	47	1	let	let	VERB
asir-5476	47	2	p	p	PRON
asir-5476	47	3	,	,	PUNCT
asir-5476	47	4	q	q	ADJ
asir-5476	47	5	,	,	PUNCT
asir-5476	47	6	r	r	NOUN
asir-5476	47	7	and	and	CCONJ
asir-5476	47	8	s	s	VERB
asir-5476	47	9	be	be	AUX
asir-5476	47	10	well	well	ADV
asir-5476	47	11	-	-	PUNCT
asir-5476	47	12	formed	form	VERB
asir-5476	47	13	formulas	formula	NOUN
asir-5476	47	14	.	.	PUNCT
asir-5476	48	1	rule	rule	VERB
asir-5476	48	2	1	1	NUM
asir-5476	48	3	(	(	PUNCT
asir-5476	48	4	modus	modus	X
asir-5476	48	5	ponens	ponen	NOUN
asir-5476	48	6	):	):	PUNCT
asir-5476	48	7	if	if	SCONJ
asir-5476	48	8	⊢(pq	⊢(pq	NOUN
asir-5476	48	9	)	)	PUNCT
asir-5476	48	10	and	and	CCONJ
asir-5476	48	11	⊢p	⊢p	NOUN
asir-5476	48	12	,	,	PUNCT
asir-5476	48	13	then	then	ADV
asir-5476	48	14	⊢q	⊢q	NOUN
asir-5476	48	15	can	can	AUX
asir-5476	48	16	be	be	AUX
asir-5476	48	17	inferred	infer	VERB
asir-5476	48	18	.	.	PUNCT
asir-5476	49	1	rule	rule	NOUN
asir-5476	49	2	2	2	NUM
asir-5476	49	3	(	(	PUNCT
asir-5476	49	4	antecedent	antecedent	NOUN
asir-5476	49	5	interchange	interchange	NOUN
asir-5476	49	6	):	):	PUNCT
asir-5476	49	7	if	if	SCONJ
asir-5476	49	8	⊢(p(qr	⊢(p(qr	NOUN
asir-5476	49	9	)	)	PUNCT
asir-5476	49	10	)	)	PUNCT
asir-5476	49	11	,	,	PUNCT
asir-5476	49	12	then	then	ADV
asir-5476	49	13	⊢(q(pr	⊢(q(pr	NOUN
asir-5476	49	14	)	)	PUNCT
asir-5476	49	15	)	)	PUNCT
asir-5476	49	16	can	can	AUX
asir-5476	49	17	be	be	AUX
asir-5476	49	18	inferred	infer	VERB
asir-5476	49	19	.	.	PUNCT
asir-5476	50	1	rule	rule	NOUN
asir-5476	50	2	3	3	NUM
asir-5476	50	3	(	(	PUNCT
asir-5476	50	4	subsequent	subsequent	ADJ
asir-5476	50	5	weakening	weakening	NOUN
asir-5476	50	6	):	):	PUNCT
asir-5476	50	7	if	if	SCONJ
asir-5476	50	8	⊢(p(qr	⊢(p(qr	NOUN
asir-5476	50	9	)	)	PUNCT
asir-5476	50	10	)	)	PUNCT
asir-5476	50	11	and	and	CCONJ
asir-5476	50	12	⊢(rs	⊢(r	NOUN
asir-5476	50	13	)	)	PUNCT
asir-5476	50	14	,	,	PUNCT
asir-5476	50	15	then	then	ADV
asir-5476	50	16	⊢(p(qs	⊢(p(qs	PROPN
asir-5476	50	17	)	)	PUNCT
asir-5476	50	18	)	)	PUNCT
asir-5476	50	19	can	can	AUX
asir-5476	50	20	be	be	AUX
asir-5476	50	21	inferred	infer	VERB
asir-5476	50	22	.	.	PUNCT
asir-5476	51	1	rule	rule	VERB
asir-5476	51	2	4	4	NUM
asir-5476	51	3	(	(	PUNCT
asir-5476	51	4	reverse	reverse	NOUN
asir-5476	51	5	):	):	PUNCT
asir-5476	51	6	if	if	SCONJ
asir-5476	51	7	⊢(pq	⊢(pq	NOUN
asir-5476	51	8	)	)	PUNCT
asir-5476	51	9	,	,	PUNCT
asir-5476	51	10	then	then	ADV
asir-5476	51	11	⊢(pq)(qp	⊢(pq)(qp	NOUN
asir-5476	51	12	)	)	PUNCT
asir-5476	51	13	can	can	AUX
asir-5476	51	14	be	be	AUX
asir-5476	51	15	inferred	infer	VERB
asir-5476	51	16	.	.	PUNCT
asir-5476	52	1	rule	rule	NOUN
asir-5476	52	2	5	5	NUM
asir-5476	52	3	(	(	PUNCT
asir-5476	52	4	anti	anti	ADJ
asir-5476	52	5	-	-	NOUN
asir-5476	52	6	syllogism	syllogism	NOUN
asir-5476	52	7	):	):	PUNCT
asir-5476	52	8	if	if	SCONJ
asir-5476	52	9	⊢(p(qr	⊢(p(qr	NOUN
asir-5476	52	10	)	)	PUNCT
asir-5476	52	11	)	)	PUNCT
asir-5476	52	12	,	,	PUNCT
asir-5476	52	13	then	then	ADV
asir-5476	52	14	⊢(p(rq	⊢(p(rq	NUM
asir-5476	52	15	)	)	PUNCT
asir-5476	52	16	)	)	PUNCT
asir-5476	52	17	can	can	AUX
asir-5476	52	18	be	be	AUX
asir-5476	52	19	inferred	infer	VERB
asir-5476	52	20	.	.	PUNCT
asir-5476	53	1	4	4	X
asir-5476	53	2	.	.	X
asir-5476	53	3	related	relate	VERB
asir-5476	53	4	relations	relation	NOUN
asir-5476	53	5	and	and	CCONJ
asir-5476	53	6	related	related	ADJ
asir-5476	53	7	facts	fact	NOUN
asir-5476	53	8	now	now	ADV
asir-5476	53	9	give	give	VERB
asir-5476	53	10	transformation	transformation	NOUN
asir-5476	53	11	between	between	ADP
asir-5476	53	12	aristotelian	aristotelian	PROPN
asir-5476	53	13	quantifiers	quantifier	NOUN
asir-5476	53	14	and	and	CCONJ
asir-5476	53	15	related	relate	VERB
asir-5476	53	16	facts	fact	NOUN
asir-5476	53	17	that	that	PRON
asir-5476	53	18	will	will	AUX
asir-5476	53	19	be	be	AUX
asir-5476	53	20	used	use	VERB
asir-5476	53	21	later	later	ADV
asir-5476	53	22	.	.	PUNCT
asir-5476	54	1	4.1	4.1	NUM
asir-5476	54	2	transformation	transformation	NOUN
asir-5476	54	3	between	between	ADP
asir-5476	54	4	aristotelian	aristotelian	PROPN
asir-5476	54	5	quantifiers	quantifier	NOUN
asir-5476	54	6	there	there	PRON
asir-5476	54	7	are	be	VERB
asir-5476	54	8	transformable	transformable	ADJ
asir-5476	54	9	relations	relation	NOUN
asir-5476	54	10	between	between	ADP
asir-5476	54	11	an	an	DET
asir-5476	54	12	aristotelian	aristotelian	ADJ
asir-5476	54	13	quantifier	quantifier	NOUN
asir-5476	54	14	and	and	CCONJ
asir-5476	54	15	its	its	PRON
asir-5476	54	16	inner	inner	ADJ
asir-5476	54	17	and	and	CCONJ
asir-5476	54	18	outer	outer	ADJ
asir-5476	54	19	negative	negative	ADJ
asir-5476	54	20	quantifiers	quantifier	NOUN
asir-5476	54	21	.	.	PUNCT
asir-5476	55	1	in	in	ADP
asir-5476	55	2	the	the	DET
asir-5476	55	3	four	four	NUM
asir-5476	55	4	aristotelian	aristotelian	ADJ
asir-5476	55	5	quantifiers	quantifier	NOUN
asir-5476	55	6	,	,	PUNCT
asir-5476	55	7	all	all	PRON
asir-5476	55	8	and	and	CCONJ
asir-5476	55	9	no	no	INTJ
asir-5476	55	10	,	,	PUNCT
asir-5476	55	11	some	some	PRON
asir-5476	55	12	and	and	CCONJ
asir-5476	55	13	not	not	PART
asir-5476	55	14	all	all	PRON
asir-5476	55	15	are	be	AUX
asir-5476	55	16	inner	inner	ADJ
asir-5476	55	17	negations	negation	NOUN
asir-5476	55	18	each	each	DET
asir-5476	55	19	www.scholink.org/ojs/index.php/asir	www.scholink.org/ojs/index.php/asir	NOUN
asir-5476	55	20	applied	apply	VERB
asir-5476	55	21	science	science	NOUN
asir-5476	55	22	and	and	CCONJ
asir-5476	55	23	innovative	innovative	ADJ
asir-5476	55	24	research	research	NOUN
asir-5476	55	25	vol	vol	NOUN
asir-5476	55	26	.	.	PUNCT
asir-5476	56	1	7	7	NUM
asir-5476	56	2	,	,	PUNCT
asir-5476	56	3	no	no	INTJ
asir-5476	56	4	.	.	NOUN
asir-5476	56	5	1	1	NUM
asir-5476	56	6	,	,	PUNCT
asir-5476	56	7	2023	2023	NUM
asir-5476	56	8	33	33	NUM
asir-5476	56	9	published	publish	VERB
asir-5476	56	10	by	by	ADP
asir-5476	56	11	scholink	scholink	PROPN
asir-5476	56	12	inc	inc	PROPN
asir-5476	56	13	.	.	PROPN
asir-5476	56	14	other	other	ADJ
asir-5476	56	15	,	,	PUNCT
asir-5476	56	16	and	and	CCONJ
asir-5476	56	17	all	all	PRON
asir-5476	56	18	and	and	CCONJ
asir-5476	56	19	not	not	PART
asir-5476	56	20	all	all	PRON
asir-5476	56	21	,	,	PUNCT
asir-5476	56	22	some	some	PRON
asir-5476	56	23	and	and	CCONJ
asir-5476	56	24	no	no	PRON
asir-5476	56	25	are	be	AUX
asir-5476	56	26	outer	outer	ADJ
asir-5476	56	27	negative	negative	ADJ
asir-5476	56	28	each	each	DET
asir-5476	56	29	other	other	ADJ
asir-5476	56	30	.	.	PUNCT
asir-5476	57	1	these	these	PRON
asir-5476	57	2	can	can	AUX
asir-5476	57	3	be	be	AUX
asir-5476	57	4	summarized	summarize	VERB
asir-5476	57	5	in	in	ADP
asir-5476	57	6	the	the	DET
asir-5476	57	7	following	follow	VERB
asir-5476	57	8	two	two	NUM
asir-5476	57	9	tables	table	NOUN
asir-5476	57	10	.	.	PUNCT
asir-5476	58	1	table	table	NOUN
asir-5476	58	2	1	1	NUM
asir-5476	58	3	.	.	PUNCT
asir-5476	59	1	inner	inner	ADJ
asir-5476	59	2	negation	negation	NOUN
asir-5476	59	3	quantifiers	quantifier	VERB
asir-5476	59	4	categorical	categorical	ADJ
asir-5476	59	5	propositions	proposition	NOUN
asir-5476	59	6	(	(	PUNCT
asir-5476	59	7	1	1	X
asir-5476	59	8	)	)	PUNCT
asir-5476	60	1	all	all	DET
asir-5476	60	2	=	=	NOUN
asir-5476	60	3	no	no	NOUN
asir-5476	60	4	all(a	all(a	PROPN
asir-5476	60	5	,	,	PUNCT
asir-5476	60	6	b)no(a	b)no(a	ADP
asir-5476	60	7	,	,	PUNCT
asir-5476	60	8	b	b	X
asir-5476	60	9	)	)	PUNCT
asir-5476	60	10	(	(	PUNCT
asir-5476	60	11	2	2	X
asir-5476	60	12	)	)	PUNCT
asir-5476	60	13	no	no	NOUN
asir-5476	60	14	=	=	PRON
asir-5476	60	15	all	all	NOUN
asir-5476	60	16	no(a	no(a	NUM
asir-5476	60	17	,	,	PUNCT
asir-5476	60	18	b)all(a	b)all(a	NOUN
asir-5476	60	19	,	,	PUNCT
asir-5476	60	20	b	b	X
asir-5476	60	21	)	)	PUNCT
asir-5476	60	22	(	(	PUNCT
asir-5476	60	23	3	3	X
asir-5476	60	24	)	)	PUNCT
asir-5476	60	25	some	some	PRON
asir-5476	60	26	=	=	NOUN
asir-5476	60	27	not	not	PART
asir-5476	60	28	all	all	NOUN
asir-5476	60	29	some(a	some(a	PROPN
asir-5476	60	30	,	,	PUNCT
asir-5476	60	31	b)not	b)not	ADV
asir-5476	60	32	all(a	all(a	NOUN
asir-5476	60	33	,	,	PUNCT
asir-5476	60	34	b	b	X
asir-5476	60	35	)	)	PUNCT
asir-5476	60	36	(	(	PUNCT
asir-5476	60	37	4	4	X
asir-5476	60	38	)	)	PUNCT
asir-5476	60	39	not	not	PART
asir-5476	60	40	all	all	PRON
asir-5476	60	41	=	=	NOUN
asir-5476	60	42	some	some	ADP
asir-5476	60	43	not	not	PART
asir-5476	60	44	all(a	all(a	PROPN
asir-5476	60	45	,	,	PUNCT
asir-5476	60	46	b)some(a	b)some(a	X
asir-5476	60	47	,	,	PUNCT
asir-5476	60	48	b	b	X
asir-5476	60	49	)	)	PUNCT
asir-5476	60	50	table	table	NOUN
asir-5476	60	51	2	2	NUM
asir-5476	60	52	.	.	PUNCT
asir-5476	60	53	outer	outer	ADJ
asir-5476	60	54	negation	negation	NOUN
asir-5476	60	55	quantifiers	quantifier	NOUN
asir-5476	60	56	categorical	categorical	ADJ
asir-5476	60	57	propositions	proposition	NOUN
asir-5476	60	58	(	(	PUNCT
asir-5476	60	59	1	1	X
asir-5476	60	60	)	)	PUNCT
asir-5476	60	61	not	not	ADV
asir-5476	60	62	all	all	DET
asir-5476	60	63	=	=	NOUN
asir-5476	60	64	all	all	PRON
asir-5476	60	65	not	not	VERB
asir-5476	60	66	all(a	all(a	PROPN
asir-5476	60	67	,	,	PUNCT
asir-5476	60	68	b)all(a	b)all(a	PROPN
asir-5476	60	69	,	,	PUNCT
asir-5476	60	70	b	b	NOUN
asir-5476	60	71	)	)	PUNCT
asir-5476	60	72	(	(	PUNCT
asir-5476	60	73	2	2	X
asir-5476	60	74	)	)	PUNCT
asir-5476	60	75	all	all	NOUN
asir-5476	60	76	=	=	NOUN
asir-5476	60	77	not	not	PART
asir-5476	60	78	all	all	PRON
asir-5476	60	79	all(a	all(a	NUM
asir-5476	60	80	,	,	PUNCT
asir-5476	60	81	b)not	b)not	ADV
asir-5476	60	82	all(a	all(a	PROPN
asir-5476	60	83	,	,	PUNCT
asir-5476	60	84	b	b	NOUN
asir-5476	60	85	)	)	PUNCT
asir-5476	60	86	(	(	PUNCT
asir-5476	60	87	3	3	X
asir-5476	60	88	)	)	PUNCT
asir-5476	60	89	no	no	NOUN
asir-5476	60	90	=	=	NOUN
asir-5476	60	91	some	some	DET
asir-5476	60	92	no(a	no(a	PROPN
asir-5476	60	93	,	,	PUNCT
asir-5476	60	94	b)some(a	b)some(a	PROPN
asir-5476	60	95	,	,	PUNCT
asir-5476	60	96	b	b	NOUN
asir-5476	60	97	)	)	PUNCT
asir-5476	60	98	(	(	PUNCT
asir-5476	60	99	4	4	X
asir-5476	60	100	)	)	PUNCT
asir-5476	60	101	some	some	NUM
asir-5476	61	1	=	=	NOUN
asir-5476	61	2	no	no	DET
asir-5476	61	3	some(a	some(a	ADJ
asir-5476	61	4	,	,	PUNCT
asir-5476	61	5	b)no(a	b)no(a	PROPN
asir-5476	61	6	,	,	PUNCT
asir-5476	61	7	b	b	X
asir-5476	61	8	)	)	PUNCT
asir-5476	61	9	4.2	4.2	NUM
asir-5476	61	10	related	relate	VERB
asir-5476	61	11	facts	fact	NOUN
asir-5476	61	12	the	the	DET
asir-5476	61	13	following	follow	VERB
asir-5476	61	14	two	two	NUM
asir-5476	61	15	facts	fact	NOUN
asir-5476	61	16	will	will	AUX
asir-5476	61	17	be	be	AUX
asir-5476	61	18	useful	useful	ADJ
asir-5476	61	19	later	later	ADV
asir-5476	61	20	,	,	PUNCT
asir-5476	61	21	which	which	PRON
asir-5476	61	22	can	can	AUX
asir-5476	61	23	be	be	AUX
asir-5476	61	24	proved	prove	VERB
asir-5476	61	25	by	by	ADP
asir-5476	61	26	the	the	DET
asir-5476	61	27	above	above	ADJ
asir-5476	61	28	definitions	definition	NOUN
asir-5476	61	29	,	,	PUNCT
asir-5476	61	30	axioms	axiom	NOUN
asir-5476	61	31	and	and	CCONJ
asir-5476	61	32	reasoning	reasoning	NOUN
asir-5476	61	33	rules	rule	NOUN
asir-5476	61	34	.	.	PUNCT
asir-5476	62	1	fact	fact	NOUN
asir-5476	62	2	1	1	NUM
asir-5476	62	3	(	(	PUNCT
asir-5476	62	4	symmetry	symmetry	NOUN
asir-5476	62	5	of	of	ADP
asir-5476	62	6	some	some	PRON
asir-5476	62	7	and	and	CCONJ
asir-5476	62	8	no	no	NOUN
asir-5476	62	9	):	):	PUNCT
asir-5476	62	10	(	(	PUNCT
asir-5476	62	11	1	1	X
asir-5476	62	12	)	)	PUNCT
asir-5476	62	13	⊢some(a	⊢some(a	ADP
asir-5476	62	14	,	,	PUNCT
asir-5476	62	15	b	b	NOUN
asir-5476	62	16	)	)	PUNCT
asir-5476	62	17			ADJ
asir-5476	62	18	some(b	some(b	PROPN
asir-5476	62	19	,	,	PUNCT
asir-5476	62	20	a	a	PRON
asir-5476	62	21	)	)	PUNCT
asir-5476	62	22	;	;	PUNCT
asir-5476	62	23	(	(	PUNCT
asir-5476	62	24	2	2	X
asir-5476	62	25	)	)	PUNCT
asir-5476	62	26	⊢no(a	⊢no(a	PROPN
asir-5476	62	27	,	,	PUNCT
asir-5476	62	28	b	b	NOUN
asir-5476	62	29	)	)	PUNCT
asir-5476	62	30			PROPN
asir-5476	62	31	no(b	no(b	PROPN
asir-5476	62	32	,	,	PUNCT
asir-5476	62	33	a	a	PRON
asir-5476	62	34	)	)	PUNCT
asir-5476	62	35	.	.	PUNCT
asir-5476	63	1	fact	fact	NOUN
asir-5476	63	2	1	1	NUM
asir-5476	63	3	is	be	AUX
asir-5476	63	4	a	a	DET
asir-5476	63	5	basic	basic	ADJ
asir-5476	63	6	fact	fact	NOUN
asir-5476	63	7	in	in	ADP
asir-5476	63	8	generalized	generalized	ADJ
asir-5476	63	9	quantifier	quantifier	NOUN
asir-5476	63	10	theory	theory	NOUN
asir-5476	63	11	(	(	PUNCT
asir-5476	63	12	zhang	zhang	PROPN
asir-5476	63	13	&	&	CCONJ
asir-5476	63	14	wu	wu	PROPN
asir-5476	63	15	,	,	PUNCT
asir-5476	63	16	2021	2021	NUM
asir-5476	63	17	)	)	PUNCT
asir-5476	63	18	.	.	PUNCT
asir-5476	64	1	therefore	therefore	ADV
asir-5476	64	2	,	,	PUNCT
asir-5476	64	3	its	its	PRON
asir-5476	64	4	proof	proof	NOUN
asir-5476	64	5	is	be	AUX
asir-5476	64	6	omitted	omit	VERB
asir-5476	64	7	.	.	PUNCT
asir-5476	65	1	fact	fact	NOUN
asir-5476	65	2	2	2	NUM
asir-5476	65	3	(	(	PUNCT
asir-5476	65	4	assertoric	assertoric	ADJ
asir-5476	65	5	subalternations	subalternation	NOUN
asir-5476	65	6	):	):	PUNCT
asir-5476	65	7	(	(	PUNCT
asir-5476	65	8	1	1	X
asir-5476	65	9	)	)	PUNCT
asir-5476	65	10	⊢all(a	⊢all(a	ADJ
asir-5476	65	11	,	,	PUNCT
asir-5476	65	12	b)some(a	b)some(a	PROPN
asir-5476	65	13	,	,	PUNCT
asir-5476	65	14	b	b	NOUN
asir-5476	65	15	)	)	PUNCT
asir-5476	65	16	;	;	PUNCT
asir-5476	65	17	(	(	PUNCT
asir-5476	65	18	2	2	X
asir-5476	65	19	)	)	PUNCT
asir-5476	65	20	⊢no(a	⊢no(a	PROPN
asir-5476	65	21	,	,	PUNCT
asir-5476	65	22	b)not	b)not	PROPN
asir-5476	65	23	all(a	all(a	PROPN
asir-5476	65	24	,	,	PUNCT
asir-5476	65	25	b	b	NOUN
asir-5476	65	26	)	)	PUNCT
asir-5476	65	27	.	.	PUNCT
asir-5476	66	1	proof	proof	NOUN
asir-5476	66	2	:	:	PUNCT
asir-5476	67	1	[	[	X
asir-5476	67	2	1	1	X
asir-5476	67	3	]	]	X
asir-5476	67	4	⊢no(a	⊢no(a	PROPN
asir-5476	67	5	,	,	PUNCT
asir-5476	67	6	b)(some(c	b)(some(c	ADJ
asir-5476	67	7	,	,	PUNCT
asir-5476	67	8	b)not	b)not	PROPN
asir-5476	67	9	all(c	all(c	PROPN
asir-5476	67	10	,	,	PUNCT
asir-5476	67	11	a	a	PRON
asir-5476	67	12	)	)	PUNCT
asir-5476	67	13	)	)	PUNCT
asir-5476	67	14	(	(	PUNCT
asir-5476	67	15	by	by	ADP
asir-5476	67	16	axioms	axiom	NOUN
asir-5476	67	17	a3	a3	NOUN
asir-5476	67	18	)	)	PUNCT
asir-5476	68	1	[	[	X
asir-5476	68	2	2	2	NUM
asir-5476	68	3	]	]	X
asir-5476	68	4	⊢some(c	⊢some(c	PROPN
asir-5476	68	5	,	,	PUNCT
asir-5476	68	6	b)(no(a	b)(no(a	PROPN
asir-5476	68	7	,	,	PUNCT
asir-5476	68	8	b)not	b)not	PROPN
asir-5476	68	9	all(c	all(c	PROPN
asir-5476	68	10	,	,	PUNCT
asir-5476	68	11	a	a	PRON
asir-5476	68	12	)	)	PUNCT
asir-5476	68	13	)	)	PUNCT
asir-5476	68	14	(	(	PUNCT
asir-5476	68	15	by	by	ADP
asir-5476	68	16	[	[	X
asir-5476	68	17	1	1	NUM
asir-5476	68	18	]	]	PUNCT
asir-5476	68	19	and	and	CCONJ
asir-5476	68	20	rule	rule	VERB
asir-5476	68	21	2	2	NUM
asir-5476	68	22	)	)	PUNCT
asir-5476	68	23	[	[	X
asir-5476	68	24	3	3	NUM
asir-5476	68	25	]	]	X
asir-5476	68	26	⊢some(c	⊢some(c	NOUN
asir-5476	68	27	,	,	PUNCT
asir-5476	68	28	c)(no(a	c)(no(a	PROPN
asir-5476	68	29	,	,	PUNCT
asir-5476	68	30	c)not	c)not	PROPN
asir-5476	68	31	all(c	all(c	PROPN
asir-5476	68	32	,	,	PUNCT
asir-5476	68	33	a	a	PRON
asir-5476	68	34	)	)	PUNCT
asir-5476	68	35	)	)	PUNCT
asir-5476	68	36	(	(	PUNCT
asir-5476	68	37	by	by	ADP
asir-5476	68	38	[	[	X
asir-5476	68	39	2	2	NUM
asir-5476	68	40	]	]	PUNCT
asir-5476	68	41	)	)	PUNCT
asir-5476	69	1	[	[	X
asir-5476	69	2	4	4	X
asir-5476	69	3	]	]	X
asir-5476	69	4	⊢no(a	⊢no(a	PROPN
asir-5476	69	5	,	,	PUNCT
asir-5476	69	6	c)no(c	c)no(c	PROPN
asir-5476	69	7	,	,	PUNCT
asir-5476	69	8	a	a	PRON
asir-5476	69	9	)	)	PUNCT
asir-5476	69	10	(	(	PUNCT
asir-5476	69	11	by	by	ADP
asir-5476	69	12	(	(	PUNCT
asir-5476	69	13	2	2	NUM
asir-5476	69	14	)	)	PUNCT
asir-5476	69	15	of	of	ADP
asir-5476	69	16	fact	fact	NOUN
asir-5476	69	17	1	1	NUM
asir-5476	69	18	)	)	PUNCT
asir-5476	69	19	[	[	X
asir-5476	69	20	5	5	NUM
asir-5476	69	21	]	]	X
asir-5476	69	22	⊢some(c	⊢some(c	PROPN
asir-5476	69	23	,	,	PUNCT
asir-5476	69	24	c)(no(c	c)(no(c	NOUN
asir-5476	69	25	,	,	PUNCT
asir-5476	69	26	a)not	a)not	PROPN
asir-5476	69	27	all(c	all(c	PROPN
asir-5476	69	28	,	,	PUNCT
asir-5476	69	29	a	a	PRON
asir-5476	69	30	)	)	PUNCT
asir-5476	69	31	)	)	PUNCT
asir-5476	69	32	(	(	PUNCT
asir-5476	69	33	by	by	ADP
asir-5476	69	34	[	[	X
asir-5476	69	35	3	3	NUM
asir-5476	69	36	]	]	PUNCT
asir-5476	69	37	and[4	and[4	NUM
asir-5476	69	38	]	]	PUNCT
asir-5476	69	39	)	)	PUNCT
asir-5476	70	1	[	[	X
asir-5476	70	2	6	6	NUM
asir-5476	70	3	]	]	X
asir-5476	70	4	⊢some(c	⊢some(c	PROPN
asir-5476	70	5	,	,	PUNCT
asir-5476	70	6	c	c	NOUN
asir-5476	70	7	)	)	PUNCT
asir-5476	70	8	(	(	PUNCT
asir-5476	70	9	by	by	ADP
asir-5476	70	10	axiom	axiom	NOUN
asir-5476	70	11	a1	a1	NOUN
asir-5476	70	12	)	)	PUNCT
asir-5476	71	1	[	[	X
asir-5476	71	2	7	7	NUM
asir-5476	71	3	]	]	SYM
asir-5476	71	4	⊢no(c	⊢no(c	NOUN
asir-5476	71	5	,	,	PUNCT
asir-5476	71	6	a)not	a)not	PROPN
asir-5476	71	7	all(c	all(c	PROPN
asir-5476	71	8	,	,	PUNCT
asir-5476	71	9	a	a	PRON
asir-5476	71	10	)	)	PUNCT
asir-5476	71	11	(	(	PUNCT
asir-5476	71	12	by	by	ADP
asir-5476	71	13	[	[	X
asir-5476	71	14	5	5	NUM
asir-5476	71	15	]	]	PUNCT
asir-5476	71	16	,	,	PUNCT
asir-5476	71	17	[	[	X
asir-5476	71	18	6	6	NUM
asir-5476	71	19	]	]	PUNCT
asir-5476	71	20	and	and	CCONJ
asir-5476	71	21	rule	rule	VERB
asir-5476	71	22	1	1	NUM
asir-5476	71	23	)	)	PUNCT
asir-5476	72	1	[	[	X
asir-5476	72	2	8	8	NUM
asir-5476	72	3	]	]	X
asir-5476	72	4	⊢no(a	⊢no(a	PROPN
asir-5476	72	5	,	,	PUNCT
asir-5476	72	6	b)not	b)not	PROPN
asir-5476	72	7	all(a	all(a	PROPN
asir-5476	72	8	,	,	PUNCT
asir-5476	72	9	b	b	NOUN
asir-5476	72	10	)	)	PUNCT
asir-5476	72	11	(	(	PUNCT
asir-5476	72	12	by	by	ADP
asir-5476	72	13	[	[	X
asir-5476	72	14	7	7	NUM
asir-5476	72	15	]	]	PUNCT
asir-5476	72	16	)	)	PUNCT
asir-5476	73	1	[	[	X
asir-5476	73	2	9	9	NUM
asir-5476	73	3	]	]	SYM
asir-5476	73	4	⊢(no(a	⊢(no(a	ADJ
asir-5476	73	5	,	,	PUNCT
asir-5476	73	6	b)not	b)not	PROPN
asir-5476	73	7	all(a	all(a	PROPN
asir-5476	73	8	,	,	PUNCT
asir-5476	73	9	b))(not	b))(not	ADV
asir-5476	73	10	all(a	all(a	PROPN
asir-5476	73	11	,	,	PUNCT
asir-5476	73	12	b)no(a	b)no(a	PROPN
asir-5476	73	13	,	,	PUNCT
asir-5476	73	14	b	b	NOUN
asir-5476	73	15	)	)	PUNCT
asir-5476	73	16	)	)	PUNCT
asir-5476	73	17	(	(	PUNCT
asir-5476	73	18	by	by	ADP
asir-5476	73	19	[	[	X
asir-5476	73	20	8	8	NUM
asir-5476	73	21	]	]	PUNCT
asir-5476	73	22	and	and	CCONJ
asir-5476	73	23	rule	rule	VERB
asir-5476	73	24	4	4	NUM
asir-5476	73	25	)	)	PUNCT
asir-5476	74	1	[	[	X
asir-5476	74	2	10	10	NUM
asir-5476	74	3	]	]	PUNCT
asir-5476	74	4	⊢not	⊢not	PROPN
asir-5476	74	5	all(a	all(a	PROPN
asir-5476	74	6	,	,	PUNCT
asir-5476	74	7	b)no(a	b)no(a	PROPN
asir-5476	74	8	,	,	PUNCT
asir-5476	74	9	b	b	NOUN
asir-5476	74	10	)	)	PUNCT
asir-5476	74	11	(	(	PUNCT
asir-5476	74	12	by	by	ADP
asir-5476	74	13	[	[	X
asir-5476	74	14	8	8	NUM
asir-5476	74	15	]	]	PUNCT
asir-5476	74	16	,	,	PUNCT
asir-5476	74	17	[	[	X
asir-5476	74	18	9	9	NUM
asir-5476	74	19	]	]	PUNCT
asir-5476	74	20	and	and	CCONJ
asir-5476	74	21	rule	rule	VERB
asir-5476	74	22	1	1	NUM
asir-5476	74	23	)	)	PUNCT
asir-5476	75	1	[	[	X
asir-5476	75	2	11	11	NUM
asir-5476	75	3	]	]	X
asir-5476	75	4	⊢all(a	⊢all(a	ADJ
asir-5476	75	5	,	,	PUNCT
asir-5476	75	6	b)some(a	b)some(a	PROPN
asir-5476	75	7	,	,	PUNCT
asir-5476	75	8	b	b	NOUN
asir-5476	75	9	)	)	PUNCT
asir-5476	75	10	(	(	PUNCT
asir-5476	75	11	by	by	ADP
asir-5476	75	12	[	[	X
asir-5476	75	13	10	10	NUM
asir-5476	75	14	]	]	PUNCT
asir-5476	75	15	,	,	PUNCT
asir-5476	75	16	(	(	PUNCT
asir-5476	75	17	1	1	X
asir-5476	75	18	)	)	PUNCT
asir-5476	75	19	and	and	CCONJ
asir-5476	75	20	(	(	PUNCT
asir-5476	75	21	3	3	X
asir-5476	75	22	)	)	PUNCT
asir-5476	75	23	in	in	ADP
asir-5476	75	24	table	table	NOUN
asir-5476	75	25	2	2	NUM
asir-5476	75	26	)	)	PUNCT
asir-5476	75	27	www.scholink.org/ojs/index.php/asir	www.scholink.org/ojs/index.php/asir	NOUN
asir-5476	75	28	applied	apply	VERB
asir-5476	75	29	science	science	NOUN
asir-5476	75	30	and	and	CCONJ
asir-5476	75	31	innovative	innovative	ADJ
asir-5476	75	32	research	research	NOUN
asir-5476	75	33	vol	vol	NOUN
asir-5476	75	34	.	.	PUNCT
asir-5476	76	1	7	7	NUM
asir-5476	76	2	,	,	PUNCT
asir-5476	76	3	no	no	INTJ
asir-5476	76	4	.	.	NOUN
asir-5476	76	5	1	1	NUM
asir-5476	76	6	,	,	PUNCT
asir-5476	76	7	2023	2023	NUM
asir-5476	76	8	34	34	NUM
asir-5476	76	9	published	publish	VERB
asir-5476	76	10	by	by	ADP
asir-5476	76	11	scholink	scholink	PROPN
asir-5476	76	12	inc	inc	PROPN
asir-5476	76	13	.	.	PROPN
asir-5476	76	14	5	5	NUM
asir-5476	76	15	.	.	PUNCT
asir-5476	77	1	the	the	DET
asir-5476	77	2	remaining	remain	VERB
asir-5476	77	3	23	23	NUM
asir-5476	77	4	valid	valid	ADJ
asir-5476	77	5	syllogisms	syllogism	NOUN
asir-5476	77	6	can	can	AUX
asir-5476	77	7	be	be	AUX
asir-5476	77	8	deduced	deduce	VERB
asir-5476	77	9	from	from	ADP
asir-5476	77	10	the	the	DET
asir-5476	77	11	syllogism	syllogism	NOUN
asir-5476	77	12	eio-2	eio-2	PUNCT
asir-5476	77	13	in	in	ADP
asir-5476	77	14	the	the	DET
asir-5476	77	15	following	following	NOUN
asir-5476	77	16	theorem	theorem	NOUN
asir-5476	77	17	,	,	PUNCT
asir-5476	77	18	eio-2eio-1	eio-2eio-1	NOUN
asir-5476	77	19	indicates	indicate	VERB
asir-5476	77	20	that	that	SCONJ
asir-5476	77	21	the	the	DET
asir-5476	77	22	validity	validity	NOUN
asir-5476	77	23	of	of	ADP
asir-5476	77	24	syllogism	syllogism	NOUN
asir-5476	77	25	eio-2	eio-2	PRON
asir-5476	77	26	can	can	AUX
asir-5476	77	27	be	be	AUX
asir-5476	77	28	deduced	deduce	VERB
asir-5476	77	29	from	from	ADP
asir-5476	77	30	the	the	DET
asir-5476	77	31	validity	validity	NOUN
asir-5476	77	32	of	of	ADP
asir-5476	77	33	eio-1	eio-1	PUNCT
asir-5476	77	34	syllogisms	syllogism	NOUN
asir-5476	77	35	,	,	PUNCT
asir-5476	77	36	that	that	ADV
asir-5476	77	37	is	is	ADV
asir-5476	77	38	,	,	PUNCT
asir-5476	77	39	there	there	PRON
asir-5476	77	40	are	be	VERB
asir-5476	77	41	reducible	reducible	ADJ
asir-5476	77	42	relations	relation	NOUN
asir-5476	77	43	between	between	ADP
asir-5476	77	44	these	these	DET
asir-5476	77	45	two	two	NUM
asir-5476	77	46	syllogisms	syllogism	NOUN
asir-5476	77	47	.	.	PUNCT
asir-5476	78	1	the	the	DET
asir-5476	78	2	other	other	ADJ
asir-5476	78	3	are	be	AUX
asir-5476	78	4	similar	similar	ADJ
asir-5476	78	5	.	.	PUNCT
asir-5476	79	1	the	the	DET
asir-5476	79	2	key	key	NOUN
asir-5476	79	3	to	to	PART
asir-5476	79	4	establish	establish	VERB
asir-5476	79	5	the	the	DET
asir-5476	79	6	proof	proof	ADJ
asir-5476	79	7	system	system	NOUN
asir-5476	79	8	of	of	ADP
asir-5476	79	9	categorical	categorical	ADJ
asir-5476	79	10	syllogistic	syllogistic	ADJ
asir-5476	79	11	logic	logic	NOUN
asir-5476	79	12	is	be	AUX
asir-5476	79	13	the	the	DET
asir-5476	79	14	reducibility	reducibility	NOUN
asir-5476	79	15	between	between	ADP
asir-5476	79	16	different	different	ADJ
asir-5476	79	17	syllogisms	syllogism	NOUN
asir-5476	79	18	.	.	PUNCT
asir-5476	80	1	theorem	theorem	ADJ
asir-5476	80	2	1	1	NUM
asir-5476	80	3	(	(	PUNCT
asir-5476	80	4	reducible	reducible	ADJ
asir-5476	80	5	relations	relation	NOUN
asir-5476	80	6	between	between	ADP
asir-5476	80	7	different	different	ADJ
asir-5476	80	8	categorical	categorical	ADJ
asir-5476	80	9	syllogisms	syllogism	NOUN
asir-5476	80	10	):	):	PUNCT
asir-5476	80	11	the	the	DET
asir-5476	80	12	remaining	remain	VERB
asir-5476	80	13	23	23	NUM
asir-5476	80	14	valid	valid	ADJ
asir-5476	80	15	syllogisms	syllogism	NOUN
asir-5476	80	16	are	be	AUX
asir-5476	80	17	derived	derive	VERB
asir-5476	80	18	as	as	SCONJ
asir-5476	80	19	follows	follow	VERB
asir-5476	80	20	on	on	ADP
asir-5476	80	21	the	the	DET
asir-5476	80	22	basis	basis	NOUN
asir-5476	80	23	of	of	ADP
asir-5476	80	24	the	the	DET
asir-5476	80	25	syllogism	syllogism	NOUN
asir-5476	80	26	eio-2	eio-2	NUM
asir-5476	80	27	:	:	PUNCT
asir-5476	80	28	(	(	PUNCT
asir-5476	80	29	1	1	X
asir-5476	80	30	)	)	PUNCT
asir-5476	80	31	eio-2eio-1	eio-2eio-1	NOUN
asir-5476	80	32	(	(	PUNCT
asir-5476	80	33	2	2	NUM
asir-5476	80	34	)	)	PUNCT
asir-5476	80	35	eio-2eio-4	eio-2eio-4	NOUN
asir-5476	80	36	(	(	PUNCT
asir-5476	80	37	3	3	X
asir-5476	80	38	)	)	PUNCT
asir-5476	80	39	eio-2eio-4eio-3	eio-2eio-4eio-3	NOUN
asir-5476	80	40	(	(	PUNCT
asir-5476	80	41	4	4	NUM
asir-5476	80	42	)	)	PUNCT
asir-5476	80	43	eio-2eae-1	eio-2eae-1	NOUN
asir-5476	80	44	(	(	PUNCT
asir-5476	80	45	5	5	NUM
asir-5476	80	46	)	)	PUNCT
asir-5476	80	47	eio-2aoo-2	eio-2aoo-2	NOUN
asir-5476	80	48	(	(	PUNCT
asir-5476	80	49	6	6	NUM
asir-5476	80	50	)	)	PUNCT
asir-5476	80	51	eio-2iai-3	eio-2iai-3	PROPN
asir-5476	80	52	(	(	PUNCT
asir-5476	80	53	7	7	X
asir-5476	80	54	)	)	PUNCT
asir-5476	80	55	eio-2iai-3aii-3	eio-2iai-3aii-3	NOUN
asir-5476	80	56	(	(	PUNCT
asir-5476	80	57	8)	8)	NUM
asir-5476	80	58	eio-2iai-3iai-4	eio-2iai-3iai-4	NOUN
asir-5476	80	59	(	(	PUNCT
asir-5476	80	60	9	9	NUM
asir-5476	80	61	)	)	PUNCT
asir-5476	80	62	eio-2iai-3aii-3aii-1	eio-2iai-3aii-3aii-1	PROPN
asir-5476	80	63	(	(	PUNCT
asir-5476	80	64	10	10	NUM
asir-5476	80	65	)	)	PUNCT
asir-5476	80	66	eio-2eae-1eae-2	eio-2eae-1eae-2	NOUN
asir-5476	80	67	(	(	PUNCT
asir-5476	80	68	11	11	NUM
asir-5476	80	69	)	)	PUNCT
asir-5476	80	70	eio-2eae-1aee-4	eio-2eae-1aee-4	NOUN
asir-5476	80	71	(	(	PUNCT
asir-5476	80	72	12	12	NUM
asir-5476	80	73	)	)	PUNCT
asir-5476	80	74	eio-2eae-1aee-4aee-2	eio-2eae-1aee-4aee-2	PROPN
asir-5476	80	75	(	(	PUNCT
asir-5476	80	76	13	13	NUM
asir-5476	80	77	)	)	PUNCT
asir-5476	80	78	eio-2eae-1aee-4aee-2aeo-2	eio-2eae-1aee-4aee-2aeo-2	NOUN
asir-5476	80	79	(	(	PUNCT
asir-5476	80	80	14	14	NUM
asir-5476	80	81	)	)	PUNCT
asir-5476	80	82	eio-2eae-1aee-4aeo-4	eio-2eae-1aee-4aeo-4	NOUN
asir-5476	80	83	(	(	PUNCT
asir-5476	80	84	15	15	NUM
asir-5476	80	85	)	)	PUNCT
asir-5476	80	86	eio-2eae-1aee-4aeo-4eao-4	eio-2eae-1aee-4aeo-4eao-4	NOUN
asir-5476	80	87	(	(	PUNCT
asir-5476	80	88	16	16	NUM
asir-5476	80	89	)	)	PUNCT
asir-5476	80	90	eio-2eae-1aee-4aeo-4eao-4eao-3	eio-2eae-1aee-4aeo-4eao-4eao-3	PROPN
asir-5476	80	91	(	(	PUNCT
asir-5476	80	92	17	17	NUM
asir-5476	80	93	)	)	PUNCT
asir-5476	80	94	eio-2eae-1eao-1	eio-2eae-1eao-1	NOUN
asir-5476	80	95	(	(	PUNCT
asir-5476	80	96	18	18	NUM
asir-5476	80	97	)	)	PUNCT
asir-5476	80	98	eio-2eae-1eao-1eao-2	eio-2eae-1eao-1eao-2	NOUN
asir-5476	80	99	(	(	PUNCT
asir-5476	80	100	19	19	NUM
asir-5476	80	101	)	)	PUNCT
asir-5476	81	1	eio-2eae-1eao-1eao-2aai-3	eio-2eae-1eao-1eao-2aai-3	INTJ
asir-5476	81	2	(	(	PUNCT
asir-5476	81	3	20	20	NUM
asir-5476	81	4	)	)	PUNCT
asir-5476	81	5	eio-2eae-1aaa-1	eio-2eae-1aaa-1	NOUN
asir-5476	81	6	(	(	PUNCT
asir-5476	81	7	21	21	NUM
asir-5476	81	8	)	)	PUNCT
asir-5476	81	9	eio-2eae-1aaa-1aai-1	eio-2eae-1aaa-1aai-1	PROPN
asir-5476	81	10	(	(	PUNCT
asir-5476	81	11	22	22	NUM
asir-5476	81	12	)	)	PUNCT
asir-5476	81	13	eio-2eae-1aaa-1aai-1aai-4	eio-2eae-1aaa-1aai-1aai-4	NOUN
asir-5476	81	14	(	(	PUNCT
asir-5476	81	15	23	23	NUM
asir-5476	81	16	)	)	PUNCT
asir-5476	81	17	eio-2eae-1aaa-1oao-3	eio-2eae-1aaa-1oao-3	PROPN
asir-5476	81	18	proof	proof	NOUN
asir-5476	81	19	:	:	PUNCT
asir-5476	82	1	[	[	X
asir-5476	82	2	1	1	X
asir-5476	82	3	]	]	X
asir-5476	82	4	⊢no(a	⊢no(a	PROPN
asir-5476	82	5	,	,	PUNCT
asir-5476	82	6	b)(some(c	b)(some(c	ADJ
asir-5476	82	7	,	,	PUNCT
asir-5476	82	8	b)not	b)not	PROPN
asir-5476	82	9	all(c	all(c	PROPN
asir-5476	82	10	,	,	PUNCT
asir-5476	82	11	a	a	PRON
asir-5476	82	12	)	)	PUNCT
asir-5476	82	13	)	)	PUNCT
asir-5476	82	14	(	(	PUNCT
asir-5476	82	15	i.e.	i.e.	X
asir-5476	82	16	eio-2	eio-2	NUM
asir-5476	82	17	,	,	PUNCT
asir-5476	82	18	by	by	ADP
asir-5476	82	19	axiom	axiom	NOUN
asir-5476	82	20	a2	a2	PROPN
asir-5476	82	21	)	)	PUNCT
asir-5476	83	1	[	[	X
asir-5476	83	2	2	2	X
asir-5476	83	3	]	]	X
asir-5476	83	4	⊢no(a	⊢no(a	PROPN
asir-5476	83	5	,	,	PUNCT
asir-5476	83	6	b)no(b	b)no(b	PROPN
asir-5476	83	7	,	,	PUNCT
asir-5476	83	8	a	a	PRON
asir-5476	83	9	)	)	PUNCT
asir-5476	83	10	(	(	PUNCT
asir-5476	83	11	by	by	ADP
asir-5476	83	12	(	(	PUNCT
asir-5476	83	13	2	2	NUM
asir-5476	83	14	)	)	PUNCT
asir-5476	83	15	in	in	ADP
asir-5476	83	16	fact	fact	NOUN
asir-5476	83	17	1	1	NUM
asir-5476	83	18	)	)	PUNCT
asir-5476	83	19	[	[	X
asir-5476	83	20	3	3	NUM
asir-5476	83	21	]	]	X
asir-5476	83	22	⊢no(b	⊢no(b	PROPN
asir-5476	83	23	,	,	PUNCT
asir-5476	83	24	a)(some(c	a)(some(c	ADJ
asir-5476	83	25	,	,	PUNCT
asir-5476	83	26	b)not	b)not	PROPN
asir-5476	83	27	all(c	all(c	PROPN
asir-5476	83	28	,	,	PUNCT
asir-5476	83	29	a	a	PRON
asir-5476	83	30	)	)	PUNCT
asir-5476	83	31	)	)	PUNCT
asir-5476	83	32	(	(	PUNCT
asir-5476	83	33	i.e.	i.e.	X
asir-5476	83	34	eio-1	eio-1	NUM
asir-5476	83	35	,	,	PUNCT
asir-5476	83	36	by	by	ADP
asir-5476	83	37	[	[	X
asir-5476	83	38	1	1	NUM
asir-5476	83	39	]	]	PUNCT
asir-5476	83	40	and	and	CCONJ
asir-5476	83	41	[	[	X
asir-5476	83	42	2	2	NUM
asir-5476	83	43	]	]	PUNCT
asir-5476	83	44	)	)	PUNCT
asir-5476	84	1	[	[	X
asir-5476	84	2	4	4	NUM
asir-5476	84	3	]	]	X
asir-5476	84	4	⊢some(c	⊢some(c	ADJ
asir-5476	84	5	,	,	PUNCT
asir-5476	84	6	b)some(b	b)some(b	ADP
asir-5476	84	7	,	,	PUNCT
asir-5476	84	8	c	c	NOUN
asir-5476	84	9	)	)	PUNCT
asir-5476	84	10	(	(	PUNCT
asir-5476	84	11	by	by	ADP
asir-5476	84	12	(	(	PUNCT
asir-5476	84	13	1	1	X
asir-5476	84	14	)	)	PUNCT
asir-5476	84	15	in	in	ADP
asir-5476	84	16	fact	fact	NOUN
asir-5476	84	17	1	1	NUM
asir-5476	84	18	)	)	PUNCT
asir-5476	84	19	[	[	X
asir-5476	84	20	5	5	NUM
asir-5476	84	21	]	]	X
asir-5476	84	22	⊢no(a	⊢no(a	PROPN
asir-5476	84	23	,	,	PUNCT
asir-5476	84	24	b)(some(b	b)(some(b	NOUN
asir-5476	84	25	,	,	PUNCT
asir-5476	84	26	c)not	c)not	PROPN
asir-5476	84	27	all(c	all(c	PROPN
asir-5476	84	28	,	,	PUNCT
asir-5476	84	29	a	a	PRON
asir-5476	84	30	)	)	PUNCT
asir-5476	84	31	)	)	PUNCT
asir-5476	84	32	(	(	PUNCT
asir-5476	84	33	i.e.	i.e.	X
asir-5476	84	34	eio-4	eio-4	NOUN
asir-5476	84	35	,	,	PUNCT
asir-5476	84	36	by	by	ADP
asir-5476	84	37	[	[	X
asir-5476	84	38	1	1	NUM
asir-5476	84	39	]	]	PUNCT
asir-5476	84	40	and	and	CCONJ
asir-5476	84	41	[	[	X
asir-5476	84	42	4	4	NUM
asir-5476	84	43	]	]	PUNCT
asir-5476	84	44	)	)	PUNCT
asir-5476	85	1	[	[	X
asir-5476	85	2	6	6	NUM
asir-5476	85	3	]	]	PUNCT
asir-5476	85	4	⊢no(b	⊢no(b	PROPN
asir-5476	85	5	,	,	PUNCT
asir-5476	85	6	a)(some(b	a)(some(b	ADJ
asir-5476	85	7	,	,	PUNCT
asir-5476	85	8	c)not	c)not	PROPN
asir-5476	85	9	all(c	all(c	PROPN
asir-5476	85	10	,	,	PUNCT
asir-5476	85	11	a	a	PRON
asir-5476	85	12	)	)	PUNCT
asir-5476	85	13	)	)	PUNCT
asir-5476	85	14	(	(	PUNCT
asir-5476	85	15	i.e.	i.e.	X
asir-5476	85	16	eio-3	eio-3	ADV
asir-5476	85	17	,	,	PUNCT
asir-5476	85	18	by	by	ADP
asir-5476	85	19	[	[	X
asir-5476	85	20	2	2	NUM
asir-5476	85	21	]	]	PUNCT
asir-5476	85	22	and	and	CCONJ
asir-5476	85	23	[	[	X
asir-5476	85	24	5	5	NUM
asir-5476	85	25	]	]	PUNCT
asir-5476	85	26	)	)	PUNCT
asir-5476	85	27	www.scholink.org/ojs/index.php/asir	www.scholink.org/ojs/index.php/asir	NOUN
asir-5476	85	28	applied	apply	VERB
asir-5476	85	29	science	science	NOUN
asir-5476	85	30	and	and	CCONJ
asir-5476	85	31	innovative	innovative	ADJ
asir-5476	85	32	research	research	NOUN
asir-5476	85	33	vol	vol	NOUN
asir-5476	85	34	.	.	PUNCT
asir-5476	86	1	7	7	NUM
asir-5476	86	2	,	,	PUNCT
asir-5476	86	3	no	no	INTJ
asir-5476	86	4	.	.	NOUN
asir-5476	86	5	1	1	NUM
asir-5476	86	6	,	,	PUNCT
asir-5476	86	7	2023	2023	NUM
asir-5476	86	8	35	35	NUM
asir-5476	86	9	published	publish	VERB
asir-5476	86	10	by	by	ADP
asir-5476	86	11	scholink	scholink	PROPN
asir-5476	86	12	inc	inc	PROPN
asir-5476	86	13	.	.	PUNCT
asir-5476	87	1	[	[	X
asir-5476	87	2	7	7	X
asir-5476	87	3	]	]	X
asir-5476	87	4	⊢no(a	⊢no(a	PROPN
asir-5476	87	5	,	,	PUNCT
asir-5476	87	6	b)(not	b)(not	NOUN
asir-5476	87	7	all(c	all(c	PROPN
asir-5476	87	8	,	,	PUNCT
asir-5476	87	9	a)some(c	a)some(c	PROPN
asir-5476	87	10	,	,	PUNCT
asir-5476	87	11	b	b	NOUN
asir-5476	87	12	)	)	PUNCT
asir-5476	87	13	)	)	PUNCT
asir-5476	87	14	(	(	PUNCT
asir-5476	87	15	by	by	ADP
asir-5476	87	16	[	[	X
asir-5476	87	17	1	1	NUM
asir-5476	87	18	]	]	PUNCT
asir-5476	87	19	and	and	CCONJ
asir-5476	87	20	rule	rule	VERB
asir-5476	87	21	5	5	NUM
asir-5476	87	22	)	)	PUNCT
asir-5476	88	1	[	[	X
asir-5476	88	2	8	8	NUM
asir-5476	88	3	]	]	X
asir-5476	88	4	⊢no(a	⊢no(a	PROPN
asir-5476	88	5	,	,	PUNCT
asir-5476	88	6	b)(all(c	b)(all(c	NOUN
asir-5476	88	7	,	,	PUNCT
asir-5476	88	8	a)no(c	a)no(c	PROPN
asir-5476	88	9	,	,	PUNCT
asir-5476	88	10	b	b	NOUN
asir-5476	88	11	)	)	PUNCT
asir-5476	88	12	)	)	PUNCT
asir-5476	88	13	(	(	PUNCT
asir-5476	88	14	i.e.	i.e.	X
asir-5476	88	15	eae-1	eae-1	NUM
asir-5476	88	16	,	,	PUNCT
asir-5476	88	17	by	by	ADP
asir-5476	88	18	[	[	PUNCT
asir-5476	88	19	7	7	NUM
asir-5476	88	20	]	]	PUNCT
asir-5476	88	21	,	,	PUNCT
asir-5476	88	22	(	(	PUNCT
asir-5476	88	23	1	1	X
asir-5476	88	24	)	)	PUNCT
asir-5476	88	25	and	and	CCONJ
asir-5476	88	26	(	(	PUNCT
asir-5476	88	27	4	4	X
asir-5476	88	28	)	)	PUNCT
asir-5476	88	29	in	in	ADP
asir-5476	88	30	table	table	NOUN
asir-5476	88	31	2	2	NUM
asir-5476	88	32	)	)	PUNCT
asir-5476	88	33	[	[	X
asir-5476	88	34	9	9	NUM
asir-5476	88	35	]	]	X
asir-5476	88	36	⊢all(a	⊢all(a	NOUN
asir-5476	88	37	,	,	PUNCT
asir-5476	88	38	b)(not	b)(not	ADV
asir-5476	88	39	all(c	all(c	ADJ
asir-5476	88	40	,	,	PUNCT
asir-5476	88	41	b)not	b)not	PROPN
asir-5476	88	42	all(c	all(c	PROPN
asir-5476	88	43	,	,	PUNCT
asir-5476	88	44	a	a	PRON
asir-5476	88	45	)	)	PUNCT
asir-5476	88	46	)	)	PUNCT
asir-5476	88	47	(	(	PUNCT
asir-5476	88	48	by	by	ADP
asir-5476	88	49	[	[	X
asir-5476	88	50	1	1	NUM
asir-5476	88	51	]	]	PUNCT
asir-5476	88	52	,	,	PUNCT
asir-5476	88	53	(	(	PUNCT
asir-5476	88	54	2	2	NUM
asir-5476	88	55	)	)	PUNCT
asir-5476	88	56	and	and	CCONJ
asir-5476	88	57	(	(	PUNCT
asir-5476	88	58	3	3	X
asir-5476	88	59	)	)	PUNCT
asir-5476	88	60	in	in	ADP
asir-5476	88	61	table	table	NOUN
asir-5476	88	62	1	1	NUM
asir-5476	88	63	)	)	PUNCT
asir-5476	88	64	[	[	X
asir-5476	88	65	10	10	NUM
asir-5476	88	66	]	]	X
asir-5476	88	67	⊢all(a	⊢all(a	PROPN
asir-5476	88	68	,	,	PUNCT
asir-5476	88	69	db)(not	db)(not	NOUN
asir-5476	88	70	all(c	all(c	PROPN
asir-5476	88	71	,	,	PUNCT
asir-5476	88	72	db)not	db)not	ADV
asir-5476	88	73	all(c	all(c	PROPN
asir-5476	88	74	,	,	PUNCT
asir-5476	88	75	a	a	PRON
asir-5476	88	76	)	)	PUNCT
asir-5476	88	77	)	)	PUNCT
asir-5476	88	78	(	(	PUNCT
asir-5476	88	79	by	by	ADP
asir-5476	88	80	[	[	X
asir-5476	88	81	9	9	NUM
asir-5476	88	82	]	]	PUNCT
asir-5476	88	83	and	and	CCONJ
asir-5476	88	84	(	(	PUNCT
asir-5476	88	85	2	2	X
asir-5476	88	86	)	)	PUNCT
asir-5476	88	87	in	in	ADP
asir-5476	88	88	definition	definition	NOUN
asir-5476	88	89	(	(	PUNCT
asir-5476	88	90	3	3	NUM
asir-5476	88	91	)	)	PUNCT
asir-5476	88	92	)	)	PUNCT
asir-5476	89	1	[	[	X
asir-5476	89	2	11	11	NUM
asir-5476	89	3	]	]	SYM
asir-5476	89	4	⊢all(a	⊢all(a	ADJ
asir-5476	89	5	,	,	PUNCT
asir-5476	89	6	b)(not	b)(not	ADV
asir-5476	89	7	all(c	all(c	PROPN
asir-5476	89	8	,	,	PUNCT
asir-5476	89	9	b)not	b)not	PROPN
asir-5476	89	10	all(c	all(c	PROPN
asir-5476	89	11	,	,	PUNCT
asir-5476	89	12	a	a	PRON
asir-5476	89	13	)	)	PUNCT
asir-5476	89	14	)	)	PUNCT
asir-5476	89	15	(	(	PUNCT
asir-5476	89	16	i.e.	i.e.	X
asir-5476	89	17	aoo-2	aoo-2	NUM
asir-5476	89	18	,	,	PUNCT
asir-5476	89	19	by	by	ADP
asir-5476	89	20	[	[	PUNCT
asir-5476	89	21	10	10	NUM
asir-5476	89	22	]	]	PUNCT
asir-5476	89	23	)	)	PUNCT
asir-5476	90	1	[	[	X
asir-5476	90	2	12	12	NUM
asir-5476	90	3	]	]	X
asir-5476	90	4	⊢some(c	⊢some(c	PROPN
asir-5476	90	5	,	,	PUNCT
asir-5476	90	6	b)(not	b)(not	NOUN
asir-5476	90	7	all(c	all(c	PROPN
asir-5476	90	8	,	,	PUNCT
asir-5476	90	9	a)no(a	a)no(a	PROPN
asir-5476	90	10	,	,	PUNCT
asir-5476	90	11	b	b	NOUN
asir-5476	90	12	)	)	PUNCT
asir-5476	90	13	)	)	PUNCT
asir-5476	90	14	(	(	PUNCT
asir-5476	90	15	by	by	ADP
asir-5476	90	16	[	[	X
asir-5476	90	17	1	1	NUM
asir-5476	90	18	]	]	PUNCT
asir-5476	90	19	,	,	PUNCT
asir-5476	90	20	rule	rule	NOUN
asir-5476	90	21	2	2	NUM
asir-5476	90	22	and	and	CCONJ
asir-5476	90	23	rule	rule	VERB
asir-5476	90	24	5	5	NUM
asir-5476	90	25	)	)	PUNCT
asir-5476	91	1	[	[	X
asir-5476	91	2	13	13	NUM
asir-5476	91	3	]	]	X
asir-5476	91	4	⊢some(c	⊢some(c	PROPN
asir-5476	91	5	,	,	PUNCT
asir-5476	91	6	b)(all(c	b)(all(c	NOUN
asir-5476	91	7	,	,	PUNCT
asir-5476	91	8	a)some(a	a)some(a	ADJ
asir-5476	91	9	,	,	PUNCT
asir-5476	91	10	b	b	NOUN
asir-5476	91	11	)	)	PUNCT
asir-5476	91	12	)	)	PUNCT
asir-5476	91	13	(	(	PUNCT
asir-5476	91	14	i.e.	i.e.	X
asir-5476	91	15	iai-3	iai-3	NUM
asir-5476	91	16	,	,	PUNCT
asir-5476	91	17	by	by	ADP
asir-5476	91	18	[	[	X
asir-5476	91	19	12	12	NUM
asir-5476	91	20	]	]	PUNCT
asir-5476	91	21	,	,	PUNCT
asir-5476	91	22	(	(	PUNCT
asir-5476	91	23	1	1	X
asir-5476	91	24	)	)	PUNCT
asir-5476	91	25	and	and	CCONJ
asir-5476	91	26	(	(	PUNCT
asir-5476	91	27	3	3	X
asir-5476	91	28	)	)	PUNCT
asir-5476	91	29	in	in	ADP
asir-5476	91	30	table	table	NOUN
asir-5476	91	31	2	2	NUM
asir-5476	91	32	)	)	PUNCT
asir-5476	92	1	[	[	X
asir-5476	92	2	14	14	NUM
asir-5476	92	3	]	]	X
asir-5476	92	4	⊢some(a	⊢some(a	ADP
asir-5476	92	5	,	,	PUNCT
asir-5476	92	6	b)some(b	b)some(b	ADP
asir-5476	92	7	,	,	PUNCT
asir-5476	92	8	a	a	PRON
asir-5476	92	9	)	)	PUNCT
asir-5476	92	10	(	(	PUNCT
asir-5476	92	11	by	by	ADP
asir-5476	92	12	(	(	PUNCT
asir-5476	92	13	1	1	X
asir-5476	92	14	)	)	PUNCT
asir-5476	92	15	in	in	ADP
asir-5476	92	16	fact	fact	NOUN
asir-5476	92	17	1	1	NUM
asir-5476	92	18	)	)	PUNCT
asir-5476	92	19	[	[	X
asir-5476	92	20	15	15	NUM
asir-5476	92	21	]	]	X
asir-5476	92	22	⊢all(c	⊢all(c	NOUN
asir-5476	92	23	,	,	PUNCT
asir-5476	92	24	a)(some(c	a)(some(c	ADV
asir-5476	92	25	,	,	PUNCT
asir-5476	92	26	b)some(b	b)some(b	PROPN
asir-5476	92	27	,	,	PUNCT
asir-5476	92	28	a	a	PRON
asir-5476	92	29	)	)	PUNCT
asir-5476	92	30	)	)	PUNCT
asir-5476	92	31	(	(	PUNCT
asir-5476	92	32	i.e.	i.e.	X
asir-5476	92	33	aii-3	aii-3	NUM
asir-5476	92	34	,	,	PUNCT
asir-5476	92	35	by	by	ADP
asir-5476	92	36	[	[	PUNCT
asir-5476	92	37	13	13	NUM
asir-5476	92	38	]	]	PUNCT
asir-5476	92	39	,	,	PUNCT
asir-5476	92	40	[	[	X
asir-5476	92	41	14	14	NUM
asir-5476	92	42	]	]	PUNCT
asir-5476	92	43	and	and	CCONJ
asir-5476	92	44	rule	rule	VERB
asir-5476	92	45	2	2	NUM
asir-5476	92	46	)	)	PUNCT
asir-5476	93	1	[	[	X
asir-5476	93	2	16	16	NUM
asir-5476	93	3	]	]	PUNCT
asir-5476	93	4	⊢some(b	⊢some(b	ADP
asir-5476	93	5	,	,	PUNCT
asir-5476	93	6	c)(all(c	c)(all(c	NOUN
asir-5476	93	7	,	,	PUNCT
asir-5476	93	8	a)some(a	a)some(a	ADJ
asir-5476	93	9	,	,	PUNCT
asir-5476	93	10	b	b	NOUN
asir-5476	93	11	)	)	PUNCT
asir-5476	93	12	)	)	PUNCT
asir-5476	93	13	(	(	PUNCT
asir-5476	93	14	i.e.	i.e.	X
asir-5476	93	15	iai-4	iai-4	X
asir-5476	93	16	,	,	PUNCT
asir-5476	93	17	by	by	ADP
asir-5476	93	18	[	[	PUNCT
asir-5476	93	19	13	13	NUM
asir-5476	93	20	]	]	PUNCT
asir-5476	93	21	and	and	CCONJ
asir-5476	93	22	[	[	X
asir-5476	93	23	4	4	NUM
asir-5476	93	24	]	]	PUNCT
asir-5476	93	25	)	)	PUNCT
asir-5476	94	1	[	[	X
asir-5476	94	2	17	17	NUM
asir-5476	94	3	]	]	X
asir-5476	94	4	⊢all(c	⊢all(c	NOUN
asir-5476	94	5	,	,	PUNCT
asir-5476	94	6	a)(some(b	a)(some(b	ADJ
asir-5476	94	7	,	,	PUNCT
asir-5476	94	8	c)some(b	c)some(b	NUM
asir-5476	94	9	,	,	PUNCT
asir-5476	94	10	a	a	PRON
asir-5476	94	11	)	)	PUNCT
asir-5476	94	12	)	)	PUNCT
asir-5476	94	13	(	(	PUNCT
asir-5476	94	14	i.e.	i.e.	X
asir-5476	94	15	aii-1	aii-1	NUM
asir-5476	94	16	,	,	PUNCT
asir-5476	94	17	by	by	ADP
asir-5476	94	18	[	[	X
asir-5476	94	19	15	15	NUM
asir-5476	94	20	]	]	PUNCT
asir-5476	94	21	and	and	CCONJ
asir-5476	94	22	[	[	X
asir-5476	94	23	4	4	NUM
asir-5476	94	24	]	]	PUNCT
asir-5476	94	25	)	)	PUNCT
asir-5476	94	26	[	[	X
asir-5476	94	27	18	18	NUM
asir-5476	94	28	]	]	X
asir-5476	94	29	⊢no(b	⊢no(b	PROPN
asir-5476	94	30	,	,	PUNCT
asir-5476	94	31	a)(all(c	a)(all(c	ADV
asir-5476	94	32	,	,	PUNCT
asir-5476	94	33	a)no(c	a)no(c	PROPN
asir-5476	94	34	,	,	PUNCT
asir-5476	94	35	b	b	NOUN
asir-5476	94	36	)	)	PUNCT
asir-5476	94	37	)	)	PUNCT
asir-5476	94	38	(	(	PUNCT
asir-5476	94	39	i.e.	i.e.	X
asir-5476	94	40	eae-2	eae-2	NUM
asir-5476	94	41	,	,	PUNCT
asir-5476	94	42	by	by	ADP
asir-5476	94	43	[	[	X
asir-5476	94	44	8	8	NUM
asir-5476	94	45	]	]	PUNCT
asir-5476	94	46	and	and	CCONJ
asir-5476	94	47	[	[	X
asir-5476	94	48	2	2	NUM
asir-5476	94	49	]	]	PUNCT
asir-5476	94	50	)	)	PUNCT
asir-5476	95	1	[	[	X
asir-5476	95	2	19	19	NUM
asir-5476	95	3	]	]	SYM
asir-5476	95	4	⊢no(c	⊢no(c	PROPN
asir-5476	95	5	,	,	PUNCT
asir-5476	95	6	b)no(b	b)no(b	PROPN
asir-5476	95	7	,	,	PUNCT
asir-5476	95	8	c	c	NOUN
asir-5476	95	9	)	)	PUNCT
asir-5476	95	10	(	(	PUNCT
asir-5476	95	11	by	by	ADP
asir-5476	95	12	(	(	PUNCT
asir-5476	95	13	2	2	NUM
asir-5476	95	14	)	)	PUNCT
asir-5476	95	15	in	in	ADP
asir-5476	95	16	fact	fact	NOUN
asir-5476	95	17	1	1	NUM
asir-5476	95	18	)	)	PUNCT
asir-5476	95	19	[	[	X
asir-5476	95	20	20	20	NUM
asir-5476	95	21	]	]	X
asir-5476	95	22	⊢all(c	⊢all(c	NOUN
asir-5476	95	23	,	,	PUNCT
asir-5476	95	24	a)(no(a	a)(no(a	NOUN
asir-5476	95	25	,	,	PUNCT
asir-5476	95	26	b)no(b	b)no(b	NOUN
asir-5476	95	27	,	,	PUNCT
asir-5476	95	28	c	c	NOUN
asir-5476	95	29	)	)	PUNCT
asir-5476	95	30	)	)	PUNCT
asir-5476	95	31	(	(	PUNCT
asir-5476	95	32	i.e.	i.e.	X
asir-5476	95	33	aee-4	aee-4	NOUN
asir-5476	95	34	,	,	PUNCT
asir-5476	95	35	by	by	ADP
asir-5476	95	36	[	[	X
asir-5476	95	37	8	8	NUM
asir-5476	95	38	]	]	PUNCT
asir-5476	95	39	,	,	PUNCT
asir-5476	95	40	[	[	X
asir-5476	95	41	19	19	NUM
asir-5476	95	42	]	]	PUNCT
asir-5476	95	43	and	and	CCONJ
asir-5476	95	44	rule	rule	VERB
asir-5476	95	45	2	2	NUM
asir-5476	95	46	)	)	PUNCT
asir-5476	95	47	[	[	X
asir-5476	95	48	21	21	NUM
asir-5476	95	49	]	]	X
asir-5476	95	50	⊢all(c	⊢all(c	NOUN
asir-5476	95	51	,	,	PUNCT
asir-5476	95	52	a)(no(b	a)(no(b	NOUN
asir-5476	95	53	,	,	PUNCT
asir-5476	95	54	a)no(b	a)no(b	NOUN
asir-5476	95	55	,	,	PUNCT
asir-5476	95	56	c	c	NOUN
asir-5476	95	57	)	)	PUNCT
asir-5476	95	58	)	)	PUNCT
asir-5476	96	1	(	(	PUNCT
asir-5476	96	2	i.e.	i.e.	X
asir-5476	96	3	aee-2	aee-2	NUM
asir-5476	96	4	,	,	PUNCT
asir-5476	96	5	by	by	ADP
asir-5476	96	6	[	[	X
asir-5476	96	7	20	20	NUM
asir-5476	96	8	]	]	PUNCT
asir-5476	96	9	and	and	CCONJ
asir-5476	96	10	[	[	X
asir-5476	96	11	2	2	NUM
asir-5476	96	12	]	]	PUNCT
asir-5476	96	13	)	)	PUNCT
asir-5476	97	1	[	[	X
asir-5476	97	2	22	22	NUM
asir-5476	97	3	]	]	X
asir-5476	97	4	⊢all(c	⊢all(c	NOUN
asir-5476	97	5	,	,	PUNCT
asir-5476	97	6	a)(no(b	a)(no(b	NOUN
asir-5476	97	7	,	,	PUNCT
asir-5476	97	8	a)not	a)not	PROPN
asir-5476	97	9	all(b	all(b	PROPN
asir-5476	97	10	,	,	PUNCT
asir-5476	97	11	c	c	NOUN
asir-5476	97	12	)	)	PUNCT
asir-5476	97	13	)	)	PUNCT
asir-5476	97	14	(	(	PUNCT
asir-5476	97	15	i.e.	i.e.	X
asir-5476	97	16	aeo-2	aeo-2	NUM
asir-5476	97	17	,	,	PUNCT
asir-5476	97	18	by	by	ADP
asir-5476	97	19	[	[	PUNCT
asir-5476	97	20	21	21	NUM
asir-5476	97	21	]	]	PUNCT
asir-5476	97	22	,	,	PUNCT
asir-5476	97	23	(	(	PUNCT
asir-5476	97	24	2	2	X
asir-5476	97	25	)	)	PUNCT
asir-5476	97	26	in	in	ADP
asir-5476	97	27	fact	fact	NOUN
asir-5476	97	28	2	2	NUM
asir-5476	97	29	and	and	CCONJ
asir-5476	97	30	rule	rule	VERB
asir-5476	97	31	3	3	NUM
asir-5476	97	32	)	)	PUNCT
asir-5476	98	1	[	[	X
asir-5476	98	2	23	23	NUM
asir-5476	98	3	]	]	X
asir-5476	98	4	⊢all(c	⊢all(c	NOUN
asir-5476	98	5	,	,	PUNCT
asir-5476	98	6	a)(no(a	a)(no(a	NOUN
asir-5476	98	7	,	,	PUNCT
asir-5476	98	8	b)not	b)not	ADV
asir-5476	98	9	all(b	all(b	PROPN
asir-5476	98	10	,	,	PUNCT
asir-5476	98	11	c	c	NOUN
asir-5476	98	12	)	)	PUNCT
asir-5476	98	13	)	)	PUNCT
asir-5476	99	1	(	(	PUNCT
asir-5476	99	2	i.e.	i.e.	X
asir-5476	99	3	aeo-4	aeo-4	X
asir-5476	99	4	,	,	PUNCT
asir-5476	99	5	by	by	ADP
asir-5476	99	6	[	[	X
asir-5476	99	7	20	20	NUM
asir-5476	99	8	]	]	PUNCT
asir-5476	99	9	,	,	PUNCT
asir-5476	99	10	(	(	PUNCT
asir-5476	99	11	2	2	X
asir-5476	99	12	)	)	PUNCT
asir-5476	99	13	in	in	ADP
asir-5476	99	14	fact	fact	NOUN
asir-5476	99	15	2	2	NUM
asir-5476	99	16	and	and	CCONJ
asir-5476	99	17	rule	rule	VERB
asir-5476	99	18	3	3	NUM
asir-5476	99	19	)	)	PUNCT
asir-5476	99	20	[	[	X
asir-5476	99	21	24	24	NUM
asir-5476	99	22	]	]	X
asir-5476	99	23	⊢no(a	⊢no(a	PROPN
asir-5476	99	24	,	,	PUNCT
asir-5476	99	25	b)(not	b)(not	X
asir-5476	99	26	all(b	all(b	PROPN
asir-5476	99	27	,	,	PUNCT
asir-5476	99	28	c)all(c	c)all(c	NOUN
asir-5476	99	29	,	,	PUNCT
asir-5476	99	30	a	a	PRON
asir-5476	99	31	)	)	PUNCT
asir-5476	99	32	)	)	PUNCT
asir-5476	99	33	(	(	PUNCT
asir-5476	99	34	by	by	ADP
asir-5476	99	35	[	[	X
asir-5476	99	36	23	23	NUM
asir-5476	99	37	]	]	PUNCT
asir-5476	99	38	,	,	PUNCT
asir-5476	99	39	rule	rule	VERB
asir-5476	99	40	2	2	NUM
asir-5476	99	41	and	and	CCONJ
asir-5476	99	42	rule	rule	VERB
asir-5476	99	43	5	5	NUM
asir-5476	99	44	)	)	PUNCT
asir-5476	100	1	[	[	X
asir-5476	100	2	25	25	NUM
asir-5476	100	3	]	]	X
asir-5476	100	4	⊢no(a	⊢no(a	PROPN
asir-5476	100	5	,	,	PUNCT
asir-5476	100	6	b)(all(b	b)(all(b	NOUN
asir-5476	100	7	,	,	PUNCT
asir-5476	100	8	c)not	c)not	PROPN
asir-5476	100	9	all(c	all(c	PROPN
asir-5476	100	10	,	,	PUNCT
asir-5476	100	11	a	a	PRON
asir-5476	100	12	)	)	PUNCT
asir-5476	100	13	)	)	PUNCT
asir-5476	100	14	(	(	PUNCT
asir-5476	100	15	i.e.	i.e.	X
asir-5476	100	16	eao-4	eao-4	NOUN
asir-5476	100	17	,	,	PUNCT
asir-5476	100	18	by	by	ADP
asir-5476	100	19	[	[	PUNCT
asir-5476	100	20	24	24	NUM
asir-5476	100	21	]	]	PUNCT
asir-5476	100	22	,	,	PUNCT
asir-5476	100	23	(	(	PUNCT
asir-5476	100	24	1	1	X
asir-5476	100	25	)	)	PUNCT
asir-5476	100	26	and	and	CCONJ
asir-5476	100	27	(	(	PUNCT
asir-5476	100	28	2	2	X
asir-5476	100	29	)	)	PUNCT
asir-5476	100	30	in	in	ADP
asir-5476	100	31	table	table	NOUN
asir-5476	100	32	2	2	NUM
asir-5476	100	33	)	)	PUNCT
asir-5476	101	1	[	[	X
asir-5476	101	2	26	26	NUM
asir-5476	101	3	]	]	X
asir-5476	101	4	⊢no(b	⊢no(b	PROPN
asir-5476	101	5	,	,	PUNCT
asir-5476	101	6	a)(all(b	a)(all(b	NOUN
asir-5476	101	7	,	,	PUNCT
asir-5476	101	8	c)not	c)not	PROPN
asir-5476	101	9	all(c	all(c	PROPN
asir-5476	101	10	,	,	PUNCT
asir-5476	101	11	a	a	PRON
asir-5476	101	12	)	)	PUNCT
asir-5476	101	13	)	)	PUNCT
asir-5476	101	14	(	(	PUNCT
asir-5476	101	15	i.e.	i.e.	X
asir-5476	101	16	eao-3	eao-3	ADV
asir-5476	101	17	,	,	PUNCT
asir-5476	101	18	by	by	ADP
asir-5476	101	19	[	[	X
asir-5476	101	20	25	25	NUM
asir-5476	101	21	]	]	PUNCT
asir-5476	101	22	and	and	CCONJ
asir-5476	101	23	[	[	X
asir-5476	101	24	2	2	NUM
asir-5476	101	25	]	]	PUNCT
asir-5476	101	26	)	)	PUNCT
asir-5476	102	1	[	[	X
asir-5476	102	2	27	27	NUM
asir-5476	102	3	]	]	X
asir-5476	102	4	⊢no(a	⊢no(a	PROPN
asir-5476	102	5	,	,	PUNCT
asir-5476	102	6	b)(all(c	b)(all(c	NOUN
asir-5476	102	7	,	,	PUNCT
asir-5476	102	8	a)not	a)not	PROPN
asir-5476	102	9	all(c	all(c	PROPN
asir-5476	102	10	,	,	PUNCT
asir-5476	102	11	b	b	NOUN
asir-5476	102	12	)	)	PUNCT
asir-5476	102	13	)	)	PUNCT
asir-5476	102	14	(	(	PUNCT
asir-5476	102	15	i.e.	i.e.	X
asir-5476	102	16	eao-1	eao-1	NUM
asir-5476	102	17	,	,	PUNCT
asir-5476	102	18	by	by	ADP
asir-5476	102	19	[	[	X
asir-5476	102	20	8	8	NUM
asir-5476	102	21	]	]	PUNCT
asir-5476	102	22	,	,	PUNCT
asir-5476	102	23	(	(	PUNCT
asir-5476	102	24	2	2	X
asir-5476	102	25	)	)	PUNCT
asir-5476	102	26	in	in	ADP
asir-5476	102	27	fact	fact	NOUN
asir-5476	102	28	2	2	NUM
asir-5476	102	29	and	and	CCONJ
asir-5476	102	30	rule	rule	VERB
asir-5476	102	31	3	3	NUM
asir-5476	102	32	)	)	PUNCT
asir-5476	103	1	[	[	X
asir-5476	103	2	28	28	NUM
asir-5476	103	3	]	]	X
asir-5476	103	4	⊢no(b	⊢no(b	PROPN
asir-5476	103	5	,	,	PUNCT
asir-5476	103	6	a)(all(c	a)(all(c	ADV
asir-5476	103	7	,	,	PUNCT
asir-5476	103	8	a)not	a)not	PROPN
asir-5476	103	9	all(c	all(c	PROPN
asir-5476	103	10	,	,	PUNCT
asir-5476	103	11	b	b	NOUN
asir-5476	103	12	)	)	PUNCT
asir-5476	103	13	)	)	PUNCT
asir-5476	103	14	(	(	PUNCT
asir-5476	103	15	i.e.	i.e.	X
asir-5476	103	16	eao-2	eao-2	NUM
asir-5476	103	17	,	,	PUNCT
asir-5476	103	18	by	by	ADP
asir-5476	103	19	[	[	PUNCT
asir-5476	103	20	27	27	NUM
asir-5476	103	21	]	]	PUNCT
asir-5476	103	22	and	and	CCONJ
asir-5476	103	23	[	[	X
asir-5476	103	24	2	2	NUM
asir-5476	103	25	]	]	PUNCT
asir-5476	103	26	)	)	PUNCT
asir-5476	103	27	[	[	X
asir-5476	103	28	29	29	NUM
asir-5476	103	29	]	]	X
asir-5476	103	30	⊢all(c	⊢all(c	NOUN
asir-5476	103	31	,	,	PUNCT
asir-5476	103	32	a)(not	a)(not	ADV
asir-5476	103	33	all(c	all(c	PROPN
asir-5476	103	34	,	,	PUNCT
asir-5476	103	35	b)no(b	b)no(b	PROPN
asir-5476	103	36	,	,	PUNCT
asir-5476	103	37	a	a	NOUN
asir-5476	103	38	)	)	PUNCT
asir-5476	103	39	)	)	PUNCT
asir-5476	103	40	(	(	PUNCT
asir-5476	103	41	by	by	ADP
asir-5476	103	42	[	[	X
asir-5476	103	43	28	28	NUM
asir-5476	103	44	]	]	PUNCT
asir-5476	103	45	,	,	PUNCT
asir-5476	103	46	rule	rule	NOUN
asir-5476	103	47	2	2	NUM
asir-5476	103	48	and	and	CCONJ
asir-5476	103	49	rule	rule	VERB
asir-5476	103	50	5	5	NUM
asir-5476	103	51	)	)	PUNCT
asir-5476	104	1	[	[	X
asir-5476	104	2	30	30	NUM
asir-5476	104	3	]	]	X
asir-5476	104	4	⊢all(c	⊢all(c	NOUN
asir-5476	104	5	,	,	PUNCT
asir-5476	104	6	a)(all(c	a)(all(c	ADV
asir-5476	104	7	,	,	PUNCT
asir-5476	104	8	b)some(b	b)some(b	PROPN
asir-5476	104	9	,	,	PUNCT
asir-5476	104	10	a	a	DET
asir-5476	104	11	)	)	PUNCT
asir-5476	104	12	)	)	PUNCT
asir-5476	104	13	(	(	PUNCT
asir-5476	104	14	i.e.	i.e.	X
asir-5476	104	15	aai-3	aai-3	NUM
asir-5476	104	16	,	,	PUNCT
asir-5476	104	17	by	by	ADP
asir-5476	104	18	[	[	PUNCT
asir-5476	104	19	29	29	NUM
asir-5476	104	20	]	]	PUNCT
asir-5476	104	21	,	,	PUNCT
asir-5476	104	22	(	(	PUNCT
asir-5476	104	23	1	1	X
asir-5476	104	24	)	)	PUNCT
asir-5476	104	25	and	and	CCONJ
asir-5476	104	26	(	(	PUNCT
asir-5476	104	27	3	3	X
asir-5476	104	28	)	)	PUNCT
asir-5476	104	29	in	in	ADP
asir-5476	104	30	table	table	NOUN
asir-5476	104	31	2	2	NUM
asir-5476	104	32	)	)	PUNCT
asir-5476	105	1	[	[	X
asir-5476	105	2	31	31	NUM
asir-5476	105	3	]	]	X
asir-5476	105	4	⊢all(a	⊢all(a	PROPN
asir-5476	105	5	,	,	PUNCT
asir-5476	105	6	b)(all(c	b)(all(c	NOUN
asir-5476	105	7	,	,	PUNCT
asir-5476	105	8	a)all(c	a)all(c	NOUN
asir-5476	105	9	,	,	PUNCT
asir-5476	105	10	b	b	NOUN
asir-5476	105	11	)	)	PUNCT
asir-5476	105	12	)	)	PUNCT
asir-5476	105	13	(	(	PUNCT
asir-5476	105	14	by	by	ADP
asir-5476	105	15	[	[	X
asir-5476	105	16	10	10	NUM
asir-5476	105	17	]	]	PUNCT
asir-5476	105	18	,	,	PUNCT
asir-5476	105	19	(	(	PUNCT
asir-5476	105	20	2	2	NUM
asir-5476	105	21	)	)	PUNCT
asir-5476	105	22	and	and	CCONJ
asir-5476	105	23	(	(	PUNCT
asir-5476	105	24	4	4	X
asir-5476	105	25	)	)	PUNCT
asir-5476	105	26	in	in	ADP
asir-5476	105	27	table	table	NOUN
asir-5476	105	28	1	1	NUM
asir-5476	105	29	)	)	PUNCT
asir-5476	106	1	[	[	X
asir-5476	106	2	32	32	NUM
asir-5476	106	3	]	]	SYM
asir-5476	106	4	⊢all(a	⊢all(a	PROPN
asir-5476	106	5	,	,	PUNCT
asir-5476	106	6	db)(all(c	db)(all(c	PROPN
asir-5476	106	7	,	,	PUNCT
asir-5476	106	8	a)all(c	a)all(c	NOUN
asir-5476	106	9	,	,	PUNCT
asir-5476	106	10	db	db	NOUN
asir-5476	106	11	)	)	PUNCT
asir-5476	106	12	)	)	PUNCT
asir-5476	107	1	(	(	PUNCT
asir-5476	107	2	by	by	ADP
asir-5476	107	3	[	[	X
asir-5476	107	4	31	31	NUM
asir-5476	107	5	]	]	PUNCT
asir-5476	107	6	and	and	CCONJ
asir-5476	107	7	(	(	PUNCT
asir-5476	107	8	2	2	X
asir-5476	107	9	)	)	PUNCT
asir-5476	107	10	in	in	ADP
asir-5476	107	11	definition	definition	NOUN
asir-5476	107	12	(	(	PUNCT
asir-5476	107	13	3.3	3.3	NUM
asir-5476	107	14	)	)	PUNCT
asir-5476	107	15	)	)	PUNCT
asir-5476	108	1	[	[	X
asir-5476	108	2	33	33	NUM
asir-5476	108	3	]	]	X
asir-5476	108	4	⊢all(a	⊢all(a	PROPN
asir-5476	108	5	,	,	PUNCT
asir-5476	108	6	b)(all(c	b)(all(c	NOUN
asir-5476	108	7	,	,	PUNCT
asir-5476	108	8	a)all(c	a)all(c	PROPN
asir-5476	108	9	,	,	PUNCT
asir-5476	108	10	b	b	NOUN
asir-5476	108	11	)	)	PUNCT
asir-5476	108	12	)	)	PUNCT
asir-5476	108	13	(	(	PUNCT
asir-5476	108	14	i.e.	i.e.	X
asir-5476	108	15	aaa-1	aaa-1	NUM
asir-5476	108	16	,	,	PUNCT
asir-5476	108	17	by	by	ADP
asir-5476	108	18	[	[	X
asir-5476	108	19	32	32	NUM
asir-5476	108	20	]	]	PUNCT
asir-5476	108	21	)	)	PUNCT
asir-5476	109	1	[	[	X
asir-5476	109	2	34	34	NUM
asir-5476	109	3	]	]	X
asir-5476	109	4	⊢all(a	⊢all(a	PROPN
asir-5476	109	5	,	,	PUNCT
asir-5476	109	6	b)(all(c	b)(all(c	NOUN
asir-5476	109	7	,	,	PUNCT
asir-5476	109	8	a)some(c	a)some(c	PROPN
asir-5476	109	9	,	,	PUNCT
asir-5476	109	10	b	b	NOUN
asir-5476	109	11	)	)	PUNCT
asir-5476	109	12	)	)	PUNCT
asir-5476	109	13	(	(	PUNCT
asir-5476	109	14	i.e.	i.e.	X
asir-5476	109	15	aai-1	aai-1	NUM
asir-5476	109	16	,	,	PUNCT
asir-5476	109	17	by	by	ADP
asir-5476	109	18	[	[	PUNCT
asir-5476	109	19	33	33	NUM
asir-5476	109	20	]	]	PUNCT
asir-5476	109	21	,	,	PUNCT
asir-5476	109	22	(	(	PUNCT
asir-5476	109	23	1	1	X
asir-5476	109	24	)	)	PUNCT
asir-5476	109	25	in	in	ADP
asir-5476	109	26	fact	fact	NOUN
asir-5476	109	27	2	2	NUM
asir-5476	109	28	and	and	CCONJ
asir-5476	109	29	rule	rule	VERB
asir-5476	109	30	3	3	NUM
asir-5476	109	31	)	)	PUNCT
asir-5476	110	1	[	[	X
asir-5476	110	2	35	35	NUM
asir-5476	110	3	]	]	X
asir-5476	110	4	⊢all(c	⊢all(c	NOUN
asir-5476	110	5	,	,	PUNCT
asir-5476	110	6	a)(all(a	a)(all(a	ADJ
asir-5476	110	7	,	,	PUNCT
asir-5476	110	8	b)some(b	b)some(b	X
asir-5476	110	9	,	,	PUNCT
asir-5476	110	10	c	c	NOUN
asir-5476	110	11	)	)	PUNCT
asir-5476	110	12	)	)	PUNCT
asir-5476	111	1	(	(	PUNCT
asir-5476	111	2	i.e.	i.e.	X
asir-5476	111	3	aai-4	aai-4	X
asir-5476	111	4	,	,	PUNCT
asir-5476	111	5	by	by	ADP
asir-5476	111	6	[	[	PUNCT
asir-5476	111	7	34	34	NUM
asir-5476	111	8	]	]	PUNCT
asir-5476	111	9	,	,	PUNCT
asir-5476	111	10	[	[	X
asir-5476	111	11	6	6	NUM
asir-5476	111	12	]	]	PUNCT
asir-5476	111	13	and	and	CCONJ
asir-5476	111	14	rule	rule	VERB
asir-5476	111	15	2	2	NUM
asir-5476	111	16	)	)	PUNCT
asir-5476	111	17	[	[	X
asir-5476	111	18	36	36	NUM
asir-5476	111	19	]	]	X
asir-5476	111	20	⊢all(c	⊢all(c	NOUN
asir-5476	111	21	,	,	PUNCT
asir-5476	111	22	a)(all(c	a)(all(c	PROPN
asir-5476	111	23	,	,	PUNCT
asir-5476	111	24	b)all(a	b)all(a	NUM
asir-5476	111	25	,	,	PUNCT
asir-5476	111	26	b	b	NOUN
asir-5476	111	27	)	)	PUNCT
asir-5476	111	28	)	)	PUNCT
asir-5476	111	29	(	(	PUNCT
asir-5476	111	30	by	by	ADP
asir-5476	111	31	[	[	X
asir-5476	111	32	33	33	NUM
asir-5476	111	33	]	]	PUNCT
asir-5476	111	34	,	,	PUNCT
asir-5476	111	35	rule	rule	NOUN
asir-5476	111	36	2	2	NUM
asir-5476	111	37	and	and	CCONJ
asir-5476	111	38	rule	rule	VERB
asir-5476	111	39	5	5	NUM
asir-5476	111	40	)	)	PUNCT
asir-5476	111	41	[	[	X
asir-5476	111	42	37	37	NUM
asir-5476	111	43	]	]	PUNCT
asir-5476	111	44	⊢not	⊢not	ADV
asir-5476	111	45	all(c	all(c	PROPN
asir-5476	111	46	,	,	PUNCT
asir-5476	111	47	b)(all(c	b)(all(c	NOUN
asir-5476	111	48	,	,	PUNCT
asir-5476	111	49	a)not	a)not	PROPN
asir-5476	111	50	all(a	all(a	PROPN
asir-5476	111	51	,	,	PUNCT
asir-5476	111	52	b	b	NOUN
asir-5476	111	53	)	)	PUNCT
asir-5476	111	54	)	)	PUNCT
asir-5476	111	55	(	(	PUNCT
asir-5476	111	56	i.e.	i.e.	X
asir-5476	111	57	oao-3	oao-3	ADV
asir-5476	111	58	,	,	PUNCT
asir-5476	111	59	by	by	ADP
asir-5476	111	60	[	[	X
asir-5476	111	61	36	36	NUM
asir-5476	111	62	]	]	PUNCT
asir-5476	111	63	,	,	PUNCT
asir-5476	111	64	(	(	PUNCT
asir-5476	111	65	2	2	X
asir-5476	111	66	)	)	PUNCT
asir-5476	111	67	in	in	ADP
asir-5476	111	68	table	table	NOUN
asir-5476	111	69	2	2	NUM
asir-5476	111	70	,	,	PUNCT
asir-5476	111	71	rule	rule	NOUN
asir-5476	111	72	2	2	NUM
asir-5476	111	73	)	)	PUNCT
asir-5476	111	74	this	this	PRON
asir-5476	111	75	ends	end	VERB
asir-5476	111	76	the	the	DET
asir-5476	111	77	proof	proof	ADJ
asir-5476	111	78	process	process	NOUN
asir-5476	111	79	of	of	ADP
asir-5476	111	80	theorem	theorem	NOUN
asir-5476	111	81	1	1	NUM
asir-5476	111	82	.	.	PUNCT
asir-5476	112	1	in	in	ADP
asir-5476	112	2	fact	fact	NOUN
asir-5476	112	3	,	,	PUNCT
asir-5476	112	4	the	the	DET
asir-5476	112	5	way	way	NOUN
asir-5476	112	6	to	to	PART
asir-5476	112	7	deduce	deduce	VERB
asir-5476	112	8	the	the	DET
asir-5476	112	9	same	same	ADJ
asir-5476	112	10	valid	valid	ADJ
asir-5476	112	11	syllogisms	syllogism	NOUN
asir-5476	112	12	are	be	AUX
asir-5476	112	13	not	not	PART
asir-5476	112	14	unique	unique	ADJ
asir-5476	112	15	.	.	PUNCT
asir-5476	113	1	6	6	X
asir-5476	113	2	.	.	X
asir-5476	113	3	conclusion	conclusion	NOUN
asir-5476	113	4	logic	logic	NOUN
asir-5476	113	5	not	not	PART
asir-5476	113	6	only	only	ADV
asir-5476	113	7	studies	study	NOUN
asir-5476	113	8	thinking	think	VERB
asir-5476	113	9	forms	form	NOUN
asir-5476	113	10	and	and	CCONJ
asir-5476	113	11	their	their	PRON
asir-5476	113	12	laws	law	NOUN
asir-5476	113	13	,	,	PUNCT
asir-5476	113	14	but	but	CCONJ
asir-5476	113	15	also	also	ADV
asir-5476	113	16	studies	study	VERB
asir-5476	113	17	the	the	DET
asir-5476	113	18	formal	formal	ADJ
asir-5476	113	19	structures	structure	NOUN
asir-5476	113	20	of	of	ADP
asir-5476	113	21	thinking	think	VERB
asir-5476	113	22	objects	object	NOUN
asir-5476	113	23	and	and	CCONJ
asir-5476	113	24	the	the	DET
asir-5476	113	25	relations	relation	NOUN
asir-5476	113	26	between	between	ADP
asir-5476	113	27	structures	structure	NOUN
asir-5476	113	28	.	.	PUNCT
asir-5476	114	1	the	the	DET
asir-5476	114	2	article	article	NOUN
asir-5476	114	3	takes	take	VERB
asir-5476	114	4	advantage	advantage	NOUN
asir-5476	114	5	of	of	ADP
asir-5476	114	6	the	the	DET
asir-5476	114	7	trisection	trisection	NOUN
asir-5476	114	8	structure	structure	NOUN
asir-5476	114	9	of	of	ADP
asir-5476	114	10	www.scholink.org/ojs/index.php/asir	www.scholink.org/ojs/index.php/asir	NOUN
asir-5476	114	11	applied	apply	VERB
asir-5476	114	12	science	science	NOUN
asir-5476	114	13	and	and	CCONJ
asir-5476	114	14	innovative	innovative	ADJ
asir-5476	114	15	research	research	NOUN
asir-5476	114	16	vol	vol	NOUN
asir-5476	114	17	.	.	PUNCT
asir-5476	115	1	7	7	NUM
asir-5476	115	2	,	,	PUNCT
asir-5476	115	3	no	no	INTJ
asir-5476	115	4	.	.	NOUN
asir-5476	115	5	1	1	NUM
asir-5476	115	6	,	,	PUNCT
asir-5476	115	7	2023	2023	NUM
asir-5476	115	8	36	36	NUM
asir-5476	115	9	published	publish	VERB
asir-5476	115	10	by	by	ADP
asir-5476	115	11	scholink	scholink	PROPN
asir-5476	115	12	inc	inc	PROPN
asir-5476	115	13	.	.	PROPN
asir-5476	115	14	categorical	categorical	ADJ
asir-5476	115	15	propositions	proposition	NOUN
asir-5476	115	16	such	such	ADJ
asir-5476	115	17	as	as	ADP
asir-5476	115	18	q(a	q(a	NOUN
asir-5476	115	19	,	,	PUNCT
asir-5476	115	20	b	b	NOUN
asir-5476	115	21	)	)	PUNCT
asir-5476	115	22	,	,	PUNCT
asir-5476	115	23	the	the	DET
asir-5476	115	24	transformation	transformation	NOUN
asir-5476	115	25	relations	relation	NOUN
asir-5476	115	26	between	between	ADP
asir-5476	115	27	an	an	DET
asir-5476	115	28	aristotelian	aristotelian	ADJ
asir-5476	115	29	quantifier	quantifier	NOUN
asir-5476	115	30	and	and	CCONJ
asir-5476	115	31	its	its	PRON
asir-5476	115	32	inner	inner	ADJ
asir-5476	115	33	and	and	CCONJ
asir-5476	115	34	outer	outer	ADJ
asir-5476	115	35	negation	negation	NOUN
asir-5476	115	36	,	,	PUNCT
asir-5476	115	37	the	the	DET
asir-5476	115	38	symmetry	symmetry	NOUN
asir-5476	115	39	of	of	ADP
asir-5476	115	40	the	the	DET
asir-5476	115	41	two	two	NUM
asir-5476	115	42	aristotelian	aristotelian	ADJ
asir-5476	115	43	quantifier	quantifier	NOUN
asir-5476	115	44	(	(	PUNCT
asir-5476	115	45	that	that	ADV
asir-5476	115	46	is	is	ADV
asir-5476	115	47	,	,	PUNCT
asir-5476	115	48	no	no	PRON
asir-5476	115	49	and	and	CCONJ
asir-5476	115	50	some	some	PRON
asir-5476	115	51	)	)	PUNCT
asir-5476	115	52	,	,	PUNCT
asir-5476	115	53	and	and	CCONJ
asir-5476	115	54	some	some	DET
asir-5476	115	55	inference	inference	NOUN
asir-5476	115	56	rules	rule	NOUN
asir-5476	115	57	in	in	ADP
asir-5476	115	58	classical	classical	ADJ
asir-5476	115	59	propositional	propositional	ADJ
asir-5476	115	60	logic	logic	NOUN
asir-5476	115	61	,	,	PUNCT
asir-5476	115	62	and	and	CCONJ
asir-5476	115	63	derives	derive	VERB
asir-5476	115	64	the	the	DET
asir-5476	115	65	remaining	remain	VERB
asir-5476	115	66	23	23	NUM
asir-5476	115	67	valid	valid	ADJ
asir-5476	115	68	syllogisms	syllogism	NOUN
asir-5476	115	69	from	from	ADP
asir-5476	115	70	the	the	DET
asir-5476	115	71	syllogism	syllogism	NOUN
asir-5476	115	72	eio-2	eio-2	ADV
asir-5476	115	73	,	,	PUNCT
asir-5476	115	74	so	so	SCONJ
asir-5476	115	75	as	as	SCONJ
asir-5476	115	76	to	to	PART
asir-5476	115	77	realize	realize	VERB
asir-5476	115	78	the	the	DET
asir-5476	115	79	reduction	reduction	NOUN
asir-5476	115	80	between	between	ADP
asir-5476	115	81	different	different	ADJ
asir-5476	115	82	valid	valid	ADJ
asir-5476	115	83	categorical	categorical	ADJ
asir-5476	115	84	syllogisms	syllogism	NOUN
asir-5476	115	85	,	,	PUNCT
asir-5476	115	86	and	and	CCONJ
asir-5476	115	87	then	then	ADV
asir-5476	115	88	establish	establish	VERB
asir-5476	115	89	a	a	DET
asir-5476	115	90	concise	concise	ADJ
asir-5476	115	91	formal	formal	ADJ
asir-5476	115	92	axiom	axiom	NOUN
asir-5476	115	93	system	system	NOUN
asir-5476	115	94	for	for	ADP
asir-5476	115	95	categorical	categorical	ADJ
asir-5476	115	96	syllogistic	syllogistic	ADJ
asir-5476	115	97	logic	logic	NOUN
asir-5476	115	98	.	.	PUNCT
asir-5476	116	1	the	the	DET
asir-5476	116	2	research	research	NOUN
asir-5476	116	3	method	method	NOUN
asir-5476	116	4	of	of	ADP
asir-5476	116	5	this	this	DET
asir-5476	116	6	paper	paper	NOUN
asir-5476	116	7	provides	provide	VERB
asir-5476	116	8	a	a	DET
asir-5476	116	9	concise	concise	ADJ
asir-5476	116	10	mathematical	mathematical	ADJ
asir-5476	116	11	paradigm	paradigm	NOUN
asir-5476	116	12	for	for	ADP
asir-5476	116	13	studying	study	VERB
asir-5476	116	14	other	other	ADJ
asir-5476	116	15	kinds	kind	NOUN
asir-5476	116	16	of	of	ADP
asir-5476	116	17	syllogisms	syllogism	NOUN
asir-5476	116	18	.	.	PUNCT
asir-5476	117	1	under	under	ADP
asir-5476	117	2	the	the	DET
asir-5476	117	3	objective	objective	ADJ
asir-5476	117	4	needs	need	NOUN
asir-5476	117	5	of	of	ADP
asir-5476	117	6	the	the	DET
asir-5476	117	7	rapid	rapid	ADJ
asir-5476	117	8	development	development	NOUN
asir-5476	117	9	of	of	ADP
asir-5476	117	10	artificial	artificial	ADJ
asir-5476	117	11	intelligence	intelligence	NOUN
asir-5476	117	12	technology	technology	NOUN
asir-5476	117	13	,	,	PUNCT
asir-5476	117	14	the	the	DET
asir-5476	117	15	formal	formal	ADJ
asir-5476	117	16	processing	processing	NOUN
asir-5476	117	17	of	of	ADP
asir-5476	117	18	natural	natural	ADJ
asir-5476	117	19	language	language	NOUN
asir-5476	117	20	has	have	AUX
asir-5476	117	21	gradually	gradually	ADV
asir-5476	117	22	become	become	VERB
asir-5476	117	23	indispensable	indispensable	ADJ
asir-5476	117	24	.	.	PUNCT
asir-5476	118	1	how	how	SCONJ
asir-5476	118	2	to	to	PART
asir-5476	118	3	make	make	VERB
asir-5476	118	4	full	full	ADJ
asir-5476	118	5	use	use	NOUN
asir-5476	118	6	of	of	ADP
asir-5476	118	7	this	this	DET
asir-5476	118	8	research	research	NOUN
asir-5476	118	9	method	method	NOUN
asir-5476	118	10	to	to	PART
asir-5476	118	11	serve	serve	VERB
asir-5476	118	12	for	for	ADP
asir-5476	118	13	natural	natural	ADJ
asir-5476	118	14	language	language	NOUN
asir-5476	118	15	information	information	NOUN
asir-5476	118	16	processing	processing	NOUN
asir-5476	118	17	remains	remain	VERB
asir-5476	118	18	to	to	PART
asir-5476	118	19	be	be	AUX
asir-5476	118	20	discussed	discuss	VERB
asir-5476	118	21	in	in	ADP
asir-5476	118	22	depth	depth	NOUN
asir-5476	118	23	.	.	PUNCT
asir-5476	119	1	acknowledgements	acknowledgement	NOUN
asir-5476	119	2	this	this	DET
asir-5476	119	3	work	work	NOUN
asir-5476	119	4	was	be	AUX
asir-5476	119	5	supported	support	VERB
asir-5476	119	6	by	by	ADP
asir-5476	119	7	the	the	DET
asir-5476	119	8	scientific	scientific	ADJ
asir-5476	119	9	research	research	NOUN
asir-5476	119	10	projects	project	NOUN
asir-5476	119	11	of	of	ADP
asir-5476	119	12	colleges	college	NOUN
asir-5476	119	13	and	and	CCONJ
asir-5476	119	14	universities	university	NOUN
asir-5476	119	15	in	in	ADP
asir-5476	119	16	anhui	anhui	PROPN
asir-5476	119	17	province	province	PROPN
asir-5476	119	18	,	,	PUNCT
asir-5476	119	19	china	china	PROPN
asir-5476	119	20	under	under	ADP
asir-5476	119	21	grant	grant	PROPN
asir-5476	119	22	no.sk2021a0023	no.sk2021a0023	PROPN
asir-5476	119	23	.	.	PUNCT
asir-5476	119	24	references	reference	NOUN
asir-5476	119	25	cai	cai	PROPN
asir-5476	119	26	,	,	PUNCT
asir-5476	119	27	s.	s.	PROPN
asir-5476	119	28	s.	s.	PROPN
asir-5476	119	29	(	(	PUNCT
asir-5476	119	30	1984	1984	NUM
asir-5476	119	31	)	)	PUNCT
asir-5476	119	32	.	.	PUNCT
asir-5476	120	1	a	a	DET
asir-5476	120	2	formal	formal	ADJ
asir-5476	120	3	system	system	NOUN
asir-5476	120	4	of	of	ADP
asir-5476	120	5	aristotle	aristotle	PROPN
asir-5476	120	6	’s	’s	PART
asir-5476	120	7	syllogism	syllogism	NOUN
asir-5476	120	8	different	different	ADJ
asir-5476	120	9	from	from	ADP
asir-5476	120	10	that	that	PRON
asir-5476	120	11	of	of	ADP
asir-5476	120	12	łukasiewicz	łukasiewicz	NOUN
asir-5476	120	13	.	.	PUNCT
asir-5476	121	1	philosophical	philosophical	ADJ
asir-5476	121	2	research	research	NOUN
asir-5476	121	3	,	,	PUNCT
asir-5476	121	4	(	(	PUNCT
asir-5476	121	5	4	4	NUM
asir-5476	121	6	)	)	PUNCT
asir-5476	121	7	,	,	PUNCT
asir-5476	121	8	33	33	NUM
asir-5476	121	9	-	-	SYM
asir-5476	121	10	41	41	NUM
asir-5476	121	11	.	.	PUNCT
asir-5476	122	1	(	(	PUNCT
asir-5476	122	2	in	in	ADP
asir-5476	122	3	chinese	chinese	ADJ
asir-5476	122	4	)	)	PUNCT
asir-5476	122	5	endrullis	endrullis	PROPN
asir-5476	122	6	,	,	PUNCT
asir-5476	122	7	j.	j.	PROPN
asir-5476	122	8	,	,	PUNCT
asir-5476	122	9	&	&	CCONJ
asir-5476	122	10	moss	moss	PROPN
asir-5476	122	11	,	,	PUNCT
asir-5476	122	12	l.	l.	PROPN
asir-5476	122	13	s.	s.	PROPN
asir-5476	122	14	(	(	PUNCT
asir-5476	122	15	2015	2015	NUM
asir-5476	122	16	)	)	PUNCT
asir-5476	122	17	.	.	PUNCT
asir-5476	123	1	syllogistic	syllogistic	ADJ
asir-5476	123	2	logic	logic	NOUN
asir-5476	123	3	with	with	ADP
asir-5476	123	4	‘	'	PUNCT
asir-5476	123	5	most	most	ADJ
asir-5476	123	6	’	'	PUNCT
asir-5476	123	7	.	.	PUNCT
asir-5476	124	1	in	in	ADP
asir-5476	124	2	v.	v.	PROPN
asir-5476	124	3	de	de	PROPN
asir-5476	124	4	paiva	paiva	PROPN
asir-5476	124	5	et	et	PROPN
asir-5476	124	6	al	al	PROPN
asir-5476	124	7	.	.	PROPN
asir-5476	125	1	(	(	PUNCT
asir-5476	125	2	eds	ed	NOUN
asir-5476	125	3	.	.	PUNCT
asir-5476	125	4	)	)	PUNCT
asir-5476	125	5	,	,	PUNCT
asir-5476	125	6	logic	logic	NOUN
asir-5476	125	7	,	,	PUNCT
asir-5476	125	8	language	language	NOUN
asir-5476	125	9	,	,	PUNCT
asir-5476	125	10	information	information	NOUN
asir-5476	125	11	,	,	PUNCT
asir-5476	125	12	and	and	CCONJ
asir-5476	125	13	computation	computation	NOUN
asir-5476	125	14	(	(	PUNCT
asir-5476	125	15	pp	pp	ADJ
asir-5476	125	16	.	.	PUNCT
asir-5476	126	1	124	124	NUM
asir-5476	126	2	-	-	SYM
asir-5476	126	3	139	139	NUM
asir-5476	126	4	)	)	PUNCT
asir-5476	126	5	.	.	PUNCT
asir-5476	127	1	https://doi.org/10.1007/978-3-662-47709-0_10	https://doi.org/10.1007/978-3-662-47709-0_10	PROPN
asir-5476	127	2	hao	hao	PROPN
asir-5476	127	3	,	,	PUNCT
asir-5476	127	4	y.	y.	PROPN
asir-5476	127	5	j.	j.	PROPN
asir-5476	127	6	(	(	PUNCT
asir-5476	127	7	2013	2013	NUM
asir-5476	127	8	)	)	PUNCT
asir-5476	127	9	.	.	PUNCT
asir-5476	128	1	language	language	NOUN
asir-5476	128	2	construction	construction	NOUN
asir-5476	128	3	of	of	ADP
asir-5476	128	4	mathematical	mathematical	ADJ
asir-5476	128	5	existence	existence	NOUN
asir-5476	128	6	:	:	PUNCT
asir-5476	128	7	the	the	DET
asir-5476	128	8	research	research	NOUN
asir-5476	128	9	paradigm	paradigm	NOUN
asir-5476	128	10	of	of	ADP
asir-5476	128	11	structuralism	structuralism	NOUN
asir-5476	128	12	.	.	PUNCT
asir-5476	129	1	journal	journal	NOUN
asir-5476	129	2	of	of	ADP
asir-5476	129	3	chongqing	chongqing	PROPN
asir-5476	129	4	university	university	PROPN
asir-5476	129	5	of	of	ADP
asir-5476	129	6	technology	technology	NOUN
asir-5476	129	7	(	(	PUNCT
asir-5476	129	8	social	social	ADJ
asir-5476	129	9	science	science	NOUN
asir-5476	129	10	edition	edition	PROPN
asir-5476	129	11	)	)	PUNCT
asir-5476	129	12	,	,	PUNCT
asir-5476	129	13	(	(	PUNCT
asir-5476	129	14	3	3	NUM
asir-5476	129	15	)	)	PUNCT
asir-5476	129	16	,	,	PUNCT
asir-5476	129	17	9	9	NUM
asir-5476	129	18	-	-	SYM
asir-5476	129	19	14	14	NUM
asir-5476	129	20	.	.	PUNCT
asir-5476	130	1	(	(	PUNCT
asir-5476	130	2	in	in	ADP
asir-5476	130	3	chinese	chinese	PROPN
asir-5476	130	4	)	)	PUNCT
asir-5476	130	5	hao	hao	PROPN
asir-5476	130	6	,	,	PUNCT
asir-5476	130	7	y.	y.	PROPN
asir-5476	130	8	j.	j.	PROPN
asir-5476	130	9	,	,	PUNCT
asir-5476	130	10	&	&	CCONJ
asir-5476	130	11	kan	kan	PROPN
asir-5476	130	12	,	,	PUNCT
asir-5476	130	13	t.	t.	PROPN
asir-5476	130	14	(	(	PUNCT
asir-5476	130	15	2018	2018	NUM
asir-5476	130	16	)	)	PUNCT
asir-5476	130	17	.	.	PUNCT
asir-5476	131	1	modern	modern	ADJ
asir-5476	131	2	logic	logic	NOUN
asir-5476	131	3	from	from	ADP
asir-5476	131	4	the	the	DET
asir-5476	131	5	perspective	perspective	NOUN
asir-5476	131	6	of	of	ADP
asir-5476	131	7	structuralism	structuralism	NOUN
asir-5476	131	8	.	.	PUNCT
asir-5476	132	1	journal	journal	PROPN
asir-5476	132	2	of	of	ADP
asir-5476	132	3	sichuan	sichuan	PROPN
asir-5476	132	4	normal	normal	PROPN
asir-5476	132	5	university	university	PROPN
asir-5476	132	6	(	(	PUNCT
asir-5476	132	7	social	social	PROPN
asir-5476	132	8	sciences	science	NOUN
asir-5476	132	9	edition	edition	NOUN
asir-5476	132	10	)	)	PUNCT
asir-5476	132	11	,	,	PUNCT
asir-5476	132	12	(	(	PUNCT
asir-5476	132	13	3	3	NUM
asir-5476	132	14	)	)	PUNCT
asir-5476	132	15	,	,	PUNCT
asir-5476	132	16	78	78	NUM
asir-5476	132	17	-	-	SYM
asir-5476	132	18	83	83	NUM
asir-5476	132	19	.	.	PUNCT
asir-5476	133	1	(	(	PUNCT
asir-5476	133	2	in	in	ADP
asir-5476	133	3	chinese	chinese	ADJ
asir-5476	133	4	)	)	PUNCT
asir-5476	133	5	hellman	hellman	NOUN
asir-5476	133	6	,	,	PUNCT
asir-5476	133	7	g.	g.	PROPN
asir-5476	133	8	(	(	PUNCT
asir-5476	133	9	2001	2001	NUM
asir-5476	133	10	)	)	PUNCT
asir-5476	133	11	.	.	PUNCT
asir-5476	134	1	three	three	NUM
asir-5476	134	2	varietes	variete	NOUN
asir-5476	134	3	of	of	ADP
asir-5476	134	4	mathematical	mathematical	ADJ
asir-5476	134	5	structuralism	structuralism	NOUN
asir-5476	134	6	.	.	PUNCT
asir-5476	135	1	philosophia	philosophia	PROPN
asir-5476	135	2	mathematica	mathematica	PROPN
asir-5476	135	3	,	,	PUNCT
asir-5476	135	4	9(3	9(3	NUM
asir-5476	135	5	)	)	PUNCT
asir-5476	135	6	,	,	PUNCT
asir-5476	135	7	184	184	NUM
asir-5476	135	8	-	-	SYM
asir-5476	135	9	211	211	NUM
asir-5476	135	10	.	.	PUNCT
asir-5476	136	1	https://doi.org/10.1093/philmat/9.2.184	https://doi.org/10.1093/philmat/9.2.184	NOUN
asir-5476	136	2	huang	huang	PROPN
asir-5476	136	3	,	,	PUNCT
asir-5476	136	4	m.	m.	NOUN
asir-5476	136	5	y.	y.	PROPN
asir-5476	136	6	,	,	PUNCT
asir-5476	136	7	&	&	CCONJ
asir-5476	136	8	zhang	zhang	PROPN
asir-5476	136	9	,	,	PUNCT
asir-5476	136	10	x.	x.	PROPN
asir-5476	136	11	j.	j.	PROPN
asir-5476	136	12	(	(	PUNCT
asir-5476	136	13	2020	2020	NUM
asir-5476	136	14	)	)	PUNCT
asir-5476	136	15	.	.	PUNCT
asir-5476	137	1	assertion	assertion	NOUN
asir-5476	137	2	or	or	CCONJ
asir-5476	137	3	rejection	rejection	NOUN
asir-5476	137	4	of	of	ADP
asir-5476	137	5	łukasiewicz	łukasiewicz	NOUN
asir-5476	137	6	’s	’s	PART
asir-5476	137	7	assertoric	assertoric	ADJ
asir-5476	137	8	syllogism	syllogism	NOUN
asir-5476	137	9	system	system	NOUN
asir-5476	137	10	ła	ła	PROPN
asir-5476	137	11	.	.	PROPN
asir-5476	137	12	journal	journal	PROPN
asir-5476	137	13	of	of	ADP
asir-5476	137	14	chongqing	chongqing	PROPN
asir-5476	137	15	university	university	PROPN
asir-5476	137	16	of	of	ADP
asir-5476	137	17	science	science	NOUN
asir-5476	137	18	and	and	CCONJ
asir-5476	137	19	technology	technology	NOUN
asir-5476	137	20	(	(	PUNCT
asir-5476	137	21	social	social	ADJ
asir-5476	137	22	sciences	science	NOUN
asir-5476	137	23	edition	edition	NOUN
asir-5476	137	24	)	)	PUNCT
asir-5476	137	25	,	,	PUNCT
asir-5476	137	26	(	(	PUNCT
asir-5476	137	27	2	2	NUM
asir-5476	137	28	)	)	PUNCT
asir-5476	137	29	,	,	PUNCT
asir-5476	137	30	10	10	NUM
asir-5476	137	31	-	-	SYM
asir-5476	137	32	18	18	NUM
asir-5476	137	33	.	.	PUNCT
asir-5476	138	1	(	(	PUNCT
asir-5476	138	2	in	in	ADP
asir-5476	138	3	chinese	chinese	ADJ
asir-5476	138	4	)	)	PUNCT
asir-5476	138	5	ivanov	ivanov	PROPN
asir-5476	138	6	,	,	PUNCT
asir-5476	138	7	n.	n.	NOUN
asir-5476	138	8	,	,	PUNCT
asir-5476	138	9	&	&	CCONJ
asir-5476	138	10	vakarelov	vakarelov	PROPN
asir-5476	138	11	,	,	PUNCT
asir-5476	138	12	d.	d.	PROPN
asir-5476	138	13	(	(	PUNCT
asir-5476	138	14	2012	2012	NUM
asir-5476	138	15	)	)	PUNCT
asir-5476	138	16	.	.	PUNCT
asir-5476	139	1	a	a	DET
asir-5476	139	2	system	system	NOUN
asir-5476	139	3	of	of	ADP
asir-5476	139	4	relational	relational	ADJ
asir-5476	139	5	syllogistic	syllogistic	NOUN
asir-5476	139	6	incorporating	incorporate	VERB
asir-5476	139	7	full	full	ADJ
asir-5476	139	8	boolean	boolean	ADJ
asir-5476	139	9	reasoning	reasoning	NOUN
asir-5476	139	10	.	.	PUNCT
asir-5476	140	1	journal	journal	NOUN
asir-5476	140	2	of	of	ADP
asir-5476	140	3	logic	logic	NOUN
asir-5476	140	4	,	,	PUNCT
asir-5476	140	5	language	language	NOUN
asir-5476	140	6	and	and	CCONJ
asir-5476	140	7	information	information	NOUN
asir-5476	140	8	,	,	PUNCT
asir-5476	140	9	(	(	PUNCT
asir-5476	140	10	21	21	NUM
asir-5476	140	11	)	)	PUNCT
asir-5476	140	12	,	,	PUNCT
asir-5476	140	13	433	433	NUM
asir-5476	140	14	-	-	SYM
asir-5476	140	15	459	459	NUM
asir-5476	140	16	.	.	PUNCT
asir-5476	141	1	https://doi.org/10.1007/s10849-012-9165-1	https://doi.org/10.1007/s10849-012-9165-1	PROPN
asir-5476	141	2	johnson	johnson	PROPN
asir-5476	141	3	,	,	PUNCT
asir-5476	141	4	f.	f.	PROPN
asir-5476	141	5	(	(	PUNCT
asir-5476	141	6	2004	2004	NUM
asir-5476	141	7	)	)	PUNCT
asir-5476	141	8	.	.	PUNCT
asir-5476	142	1	aristotle	aristotle	PROPN
asir-5476	142	2	’s	’s	PART
asir-5476	142	3	modal	modal	ADJ
asir-5476	142	4	syllogisms	syllogism	NOUN
asir-5476	142	5	.	.	PUNCT
asir-5476	143	1	handbook	handbook	NOUN
asir-5476	143	2	of	of	ADP
asir-5476	143	3	the	the	DET
asir-5476	143	4	history	history	NOUN
asir-5476	143	5	of	of	ADP
asir-5476	143	6	logic	logic	NOUN
asir-5476	143	7	,	,	PUNCT
asir-5476	143	8	1	1	NUM
asir-5476	143	9	,	,	PUNCT
asir-5476	143	10	247	247	NUM
asir-5476	143	11	-	-	SYM
asir-5476	143	12	308	308	NUM
asir-5476	143	13	.	.	PUNCT
asir-5476	144	1	https://doi.org/10.1016/s1874-5857(04)80006-2	https://doi.org/10.1016/s1874-5857(04)80006-2	PROPN
asir-5476	144	2	kulicki	kulicki	PROPN
asir-5476	144	3	,	,	PUNCT
asir-5476	144	4	p.	p.	NOUN
asir-5476	144	5	(	(	PUNCT
asir-5476	144	6	2020	2020	NUM
asir-5476	144	7	)	)	PUNCT
asir-5476	144	8	.	.	PUNCT
asir-5476	145	1	aristotle	aristotle	PROPN
asir-5476	145	2	’s	’s	PROPN
asir-5476	145	3	syllogistic	syllogistic	NOUN
asir-5476	145	4	as	as	ADP
asir-5476	145	5	a	a	DET
asir-5476	145	6	deductive	deductive	ADJ
asir-5476	145	7	system	system	NOUN
asir-5476	145	8	.	.	PUNCT
asir-5476	146	1	axioms	axiom	NOUN
asir-5476	146	2	,	,	PUNCT
asir-5476	146	3	9(2	9(2	NUM
asir-5476	146	4	)	)	PUNCT
asir-5476	146	5	,	,	PUNCT
asir-5476	146	6	1	1	NUM
asir-5476	146	7	-	-	SYM
asir-5476	146	8	16	16	NUM
asir-5476	146	9	.	.	PUNCT
asir-5476	147	1	www.scholink.org/ojs/index.php/asir	www.scholink.org/ojs/index.php/asir	PROPN
asir-5476	147	2	applied	apply	VERB
asir-5476	147	3	science	science	NOUN
asir-5476	147	4	and	and	CCONJ
asir-5476	147	5	innovative	innovative	ADJ
asir-5476	147	6	research	research	NOUN
asir-5476	147	7	vol	vol	NOUN
asir-5476	147	8	.	.	PUNCT
asir-5476	148	1	7	7	NUM
asir-5476	148	2	,	,	PUNCT
asir-5476	148	3	no	no	INTJ
asir-5476	148	4	.	.	NOUN
asir-5476	148	5	1	1	NUM
asir-5476	148	6	,	,	PUNCT
asir-5476	148	7	2023	2023	NUM
asir-5476	148	8	37	37	NUM
asir-5476	148	9	published	publish	VERB
asir-5476	148	10	by	by	ADP
asir-5476	148	11	scholink	scholink	PROPN
asir-5476	148	12	inc	inc	PROPN
asir-5476	148	13	.	.	PROPN
asir-5476	148	14	https://doi.org/10.3390/axioms9020056	https://doi.org/10.3390/axioms9020056	PROPN
asir-5476	148	15	łukasiewicz	łukasiewicz	PROPN
asir-5476	148	16	,	,	PUNCT
asir-5476	148	17	j.	j.	PROPN
asir-5476	148	18	(	(	PUNCT
asir-5476	148	19	1957	1957	NUM
asir-5476	148	20	)	)	PUNCT
asir-5476	148	21	.	.	PUNCT
asir-5476	149	1	aristotle	aristotle	PROPN
asir-5476	149	2	’s	’s	PART
asir-5476	149	3	syllogistic	syllogistic	NOUN
asir-5476	149	4	from	from	ADP
asir-5476	149	5	the	the	DET
asir-5476	149	6	standpoint	standpoint	NOUN
asir-5476	149	7	of	of	ADP
asir-5476	149	8	modern	modern	ADJ
asir-5476	149	9	formal	formal	ADJ
asir-5476	149	10	logic	logic	NOUN
asir-5476	149	11	.	.	PUNCT
asir-5476	150	1	oxford	oxford	NOUN
asir-5476	150	2	:	:	PUNCT
asir-5476	150	3	clarendon	clarendon	PROPN
asir-5476	150	4	press	press	NOUN
asir-5476	150	5	.	.	PUNCT
asir-5476	151	1	moss	moss	NOUN
asir-5476	151	2	,	,	PUNCT
asir-5476	151	3	l.	l.	PROPN
asir-5476	151	4	s.	s.	PROPN
asir-5476	151	5	(	(	PUNCT
asir-5476	151	6	2008	2008	NUM
asir-5476	151	7	)	)	PUNCT
asir-5476	151	8	.	.	PUNCT
asir-5476	152	1	completeness	completeness	NOUN
asir-5476	152	2	theorems	theorem	VERB
asir-5476	152	3	for	for	ADP
asir-5476	152	4	syllogistic	syllogistic	ADJ
asir-5476	152	5	fragments	fragment	NOUN
asir-5476	152	6	.	.	PUNCT
asir-5476	153	1	in	in	ADP
asir-5476	153	2	f.	f.	PROPN
asir-5476	153	3	hamm	hamm	PROPN
asir-5476	153	4	,	,	PUNCT
asir-5476	153	5	&	&	CCONJ
asir-5476	153	6	s.	s.	PROPN
asir-5476	153	7	kepser	kepser	PROPN
asir-5476	153	8	(	(	PUNCT
asir-5476	153	9	eds	ed	NOUN
asir-5476	153	10	.	.	PUNCT
asir-5476	153	11	)	)	PUNCT
asir-5476	153	12	,	,	PUNCT
asir-5476	153	13	logics	logic	NOUN
asir-5476	153	14	for	for	ADP
asir-5476	153	15	linguistic	linguistic	ADJ
asir-5476	153	16	structures	structure	NOUN
asir-5476	153	17	(	(	PUNCT
asir-5476	153	18	pp	pp	ADJ
asir-5476	153	19	.	.	PUNCT
asir-5476	153	20	143	143	NUM
asir-5476	153	21	-	-	SYM
asir-5476	153	22	173	173	NUM
asir-5476	153	23	)	)	PUNCT
asir-5476	153	24	.	.	PUNCT
asir-5476	154	1	berlin	berlin	PROPN
asir-5476	154	2	:	:	PUNCT
asir-5476	154	3	mouton	mouton	PROPN
asir-5476	154	4	de	de	X
asir-5476	154	5	gruyter	gruyter	NOUN
asir-5476	154	6	.	.	PUNCT
asir-5476	155	1	moss	moss	NOUN
asir-5476	155	2	,	,	PUNCT
asir-5476	155	3	l.	l.	PROPN
asir-5476	155	4	s.	s.	PROPN
asir-5476	155	5	(	(	PUNCT
asir-5476	155	6	2010	2010	NUM
asir-5476	155	7	)	)	PUNCT
asir-5476	155	8	.	.	PUNCT
asir-5476	156	1	syllogistic	syllogistic	ADJ
asir-5476	156	2	logics	logic	NOUN
asir-5476	156	3	with	with	ADP
asir-5476	156	4	verbs	verbs	PROPN
asir-5476	156	5	.	.	PROPN
asir-5476	156	6	journal	journal	PROPN
asir-5476	156	7	of	of	ADP
asir-5476	156	8	logic	logic	NOUN
asir-5476	156	9	and	and	CCONJ
asir-5476	156	10	computation	computation	NOUN
asir-5476	156	11	,	,	PUNCT
asir-5476	156	12	20(4	20(4	NOUN
asir-5476	156	13	)	)	PUNCT
asir-5476	156	14	,	,	PUNCT
asir-5476	156	15	947	947	NUM
asir-5476	156	16	-	-	SYM
asir-5476	156	17	967	967	NUM
asir-5476	156	18	.	.	PUNCT
asir-5476	157	1	https://doi.org/10.1093/logcom/exn086	https://doi.org/10.1093/logcom/exn086	NOUN
asir-5476	157	2	murinová	murinová	PROPN
asir-5476	157	3	,	,	PUNCT
asir-5476	157	4	p.	p.	NOUN
asir-5476	157	5	,	,	PUNCT
asir-5476	157	6	&	&	CCONJ
asir-5476	157	7	novák	novák	PROPN
asir-5476	157	8	,	,	PUNCT
asir-5476	157	9	v.	v.	PROPN
asir-5476	157	10	(	(	PUNCT
asir-5476	157	11	2012	2012	NUM
asir-5476	157	12	)	)	PUNCT
asir-5476	157	13	.	.	PUNCT
asir-5476	158	1	a	a	DET
asir-5476	158	2	formal	formal	ADJ
asir-5476	158	3	theory	theory	NOUN
asir-5476	158	4	of	of	ADP
asir-5476	158	5	generalized	generalized	ADJ
asir-5476	158	6	intermediate	intermediate	ADJ
asir-5476	158	7	syllogisms	syllogism	NOUN
asir-5476	158	8	.	.	PUNCT
asir-5476	159	1	fuzzy	fuzzy	ADJ
asir-5476	159	2	sets	set	NOUN
asir-5476	159	3	and	and	CCONJ
asir-5476	159	4	systems	system	NOUN
asir-5476	159	5	,	,	PUNCT
asir-5476	159	6	186	186	NUM
asir-5476	159	7	,	,	PUNCT
asir-5476	159	8	47	47	NUM
asir-5476	159	9	-	-	SYM
asir-5476	159	10	80	80	NUM
asir-5476	159	11	.	.	PUNCT
asir-5476	160	1	https://doi.org/10.1016/j.fss.2011.07.004	https://doi.org/10.1016/j.fss.2011.07.004	PROPN
asir-5476	160	2	patzig	patzig	PROPN
asir-5476	160	3	,	,	PUNCT
asir-5476	160	4	g.	g.	PROPN
asir-5476	160	5	(	(	PUNCT
asir-5476	160	6	1969	1969	NUM
asir-5476	160	7	)	)	PUNCT
asir-5476	160	8	.	.	PUNCT
asir-5476	161	1	aristotle	aristotle	PROPN
asir-5476	161	2	’s	’s	PROPN
asir-5476	161	3	theory	theory	NOUN
asir-5476	161	4	of	of	ADP
asir-5476	161	5	the	the	DET
asir-5476	161	6	syllogism	syllogism	NOUN
asir-5476	161	7	(	(	PUNCT
asir-5476	161	8	j.	j.	PROPN
asir-5476	161	9	barnes	barnes	PROPN
asir-5476	161	10	,	,	PUNCT
asir-5476	161	11	trans	trans	PROPN
asir-5476	161	12	.	.	PUNCT
asir-5476	161	13	)	)	PUNCT
asir-5476	161	14	.	.	PUNCT
asir-5476	162	1	dordrecht	dordrecht	PROPN
asir-5476	162	2	:	:	PUNCT
asir-5476	162	3	d.	d.	PROPN
asir-5476	162	4	reidel	reidel	PROPN
asir-5476	162	5	.	.	PUNCT
asir-5476	163	1	https://doi.org/10.1007/978-94-017-0787-9	https://doi.org/10.1007/978-94-017-0787-9	PROPN
asir-5476	163	2	pereira	pereira	PROPN
asir-5476	163	3	-	-	PUNCT
asir-5476	163	4	fariña	fariña	ADJ
asir-5476	163	5	,	,	PUNCT
asir-5476	163	6	m.	m.	NOUN
asir-5476	163	7	,	,	PUNCT
asir-5476	163	8	vidal	vidal	NOUN
asir-5476	163	9	,	,	PUNCT
asir-5476	163	10	j.	j.	PROPN
asir-5476	163	11	c.	c.	PROPN
asir-5476	163	12	,	,	PUNCT
asir-5476	163	13	dĺaz	dĺaz	NOUN
asir-5476	163	14	-	-	PUNCT
asir-5476	163	15	hermida	hermida	NOUN
asir-5476	163	16	,	,	PUNCT
asir-5476	163	17	f.	f.	PROPN
asir-5476	163	18	,	,	PUNCT
asir-5476	163	19	&	&	CCONJ
asir-5476	163	20	bugarĺn	bugarĺn	PROPN
asir-5476	163	21	,	,	PUNCT
asir-5476	163	22	a.	a.	NOUN
asir-5476	163	23	(	(	PUNCT
asir-5476	163	24	2014	2014	NUM
asir-5476	163	25	)	)	PUNCT
asir-5476	163	26	.	.	PUNCT
asir-5476	164	1	a	a	DET
asir-5476	164	2	fuzzy	fuzzy	ADJ
asir-5476	164	3	syllogistic	syllogistic	ADJ
asir-5476	164	4	reasoning	reasoning	NOUN
asir-5476	164	5	schema	schema	NOUN
asir-5476	164	6	for	for	ADP
asir-5476	164	7	generalized	generalized	ADJ
asir-5476	164	8	quantifiers	quantifier	NOUN
asir-5476	164	9	.	.	PUNCT
asir-5476	165	1	fuzzy	fuzzy	ADJ
asir-5476	165	2	sets	set	NOUN
asir-5476	165	3	and	and	CCONJ
asir-5476	165	4	systems	system	NOUN
asir-5476	165	5	,	,	PUNCT
asir-5476	165	6	234(1	234(1	NUM
asir-5476	165	7	)	)	PUNCT
asir-5476	165	8	,	,	PUNCT
asir-5476	165	9	79	79	NUM
asir-5476	165	10	-	-	SYM
asir-5476	165	11	96	96	NUM
asir-5476	165	12	.	.	PUNCT
asir-5476	166	1	https://doi.org/10.1016/j.fss.2013.02.007	https://doi.org/10.1016/j.fss.2013.02.007	PROPN
asir-5476	166	2	preston	preston	PROPN
asir-5476	166	3	,	,	PUNCT
asir-5476	166	4	s.	s.	PROPN
asir-5476	166	5	(	(	PUNCT
asir-5476	166	6	2020	2020	NUM
asir-5476	166	7	)	)	PUNCT
asir-5476	166	8	.	.	PUNCT
asir-5476	167	1	syllogistic	syllogistic	ADJ
asir-5476	167	2	reasoning	reasoning	NOUN
asir-5476	167	3	as	as	ADP
asir-5476	167	4	a	a	DET
asir-5476	167	5	ground	ground	NOUN
asir-5476	167	6	for	for	ADP
asir-5476	167	7	the	the	DET
asir-5476	167	8	content	content	NOUN
asir-5476	167	9	of	of	ADP
asir-5476	167	10	judgment	judgment	NOUN
asir-5476	167	11	:	:	PUNCT
asir-5476	167	12	a	a	DET
asir-5476	167	13	line	line	NOUN
asir-5476	167	14	of	of	ADP
asir-5476	167	15	thought	thought	NOUN
asir-5476	167	16	from	from	ADP
asir-5476	167	17	kant	kant	PROPN
asir-5476	167	18	through	through	ADP
asir-5476	167	19	hegel	hegel	PROPN
asir-5476	167	20	to	to	ADP
asir-5476	167	21	peirce	peirce	PROPN
asir-5476	167	22	.	.	PUNCT
asir-5476	168	1	european	european	PROPN
asir-5476	168	2	journal	journal	PROPN
asir-5476	168	3	of	of	ADP
asir-5476	168	4	philosophy	philosophy	NOUN
asir-5476	168	5	,	,	PUNCT
asir-5476	168	6	29(4	29(4	NOUN
asir-5476	168	7	)	)	PUNCT
asir-5476	168	8	,	,	PUNCT
asir-5476	168	9	864	864	NUM
asir-5476	168	10	-	-	SYM
asir-5476	168	11	886	886	NUM
asir-5476	168	12	.	.	PUNCT
asir-5476	169	1	https://doi.org/10.1111/ejop.12609	https://doi.org/10.1111/ejop.12609	PROPN
asir-5476	169	2	tennant	tennant	PROPN
asir-5476	169	3	,	,	PUNCT
asir-5476	169	4	n.	n.	PROPN
asir-5476	169	5	(	(	PUNCT
asir-5476	169	6	2014	2014	NUM
asir-5476	169	7	)	)	PUNCT
asir-5476	169	8	.	.	PUNCT
asir-5476	170	1	aristotle	aristotle	PROPN
asir-5476	170	2	’s	’s	PART
asir-5476	170	3	syllogistic	syllogistic	ADJ
asir-5476	170	4	and	and	CCONJ
asir-5476	170	5	core	core	ADJ
asir-5476	170	6	logic	logic	NOUN
asir-5476	170	7	.	.	PUNCT
asir-5476	171	1	history	history	NOUN
asir-5476	171	2	and	and	CCONJ
asir-5476	171	3	philosophy	philosophy	NOUN
asir-5476	171	4	of	of	ADP
asir-5476	171	5	logic	logic	NOUN
asir-5476	171	6	,	,	PUNCT
asir-5476	171	7	35(2	35(2	NUM
asir-5476	171	8	)	)	PUNCT
asir-5476	171	9	,	,	PUNCT
asir-5476	171	10	120	120	NUM
asir-5476	171	11	-	-	SYM
asir-5476	171	12	147	147	NUM
asir-5476	171	13	.	.	PUNCT
asir-5476	172	1	https://doi.org/10.1080/01445340.2013.867144	https://doi.org/10.1080/01445340.2013.867144	PROPN
asir-5476	172	2	westerståhl	westerståhl	NOUN
asir-5476	172	3	,	,	PUNCT
asir-5476	172	4	d.	d.	PROPN
asir-5476	172	5	(	(	PUNCT
asir-5476	172	6	1989	1989	NUM
asir-5476	172	7	)	)	PUNCT
asir-5476	172	8	.	.	PUNCT
asir-5476	173	1	aristotelian	aristotelian	PROPN
asir-5476	173	2	syllogisms	syllogism	NOUN
asir-5476	173	3	and	and	CCONJ
asir-5476	173	4	generalized	generalized	ADJ
asir-5476	173	5	quantifiers	quantifier	NOUN
asir-5476	173	6	,	,	PUNCT
asir-5476	173	7	studia	studia	PROPN
asir-5476	173	8	logica	logica	PROPN
asir-5476	173	9	,	,	PUNCT
asir-5476	173	10	xlvii(4	xlvii(4	PROPN
asir-5476	173	11	)	)	PUNCT
asir-5476	173	12	,	,	PUNCT
asir-5476	173	13	577	577	NUM
asir-5476	173	14	-	-	SYM
asir-5476	173	15	585	585	NUM
asir-5476	173	16	.	.	PUNCT
asir-5476	174	1	https://doi.org/10.1007/bf00370209	https://doi.org/10.1007/bf00370209	PROPN
asir-5476	174	2	zhang	zhang	PROPN
asir-5476	174	3	,	,	PUNCT
asir-5476	174	4	x.	x.	PROPN
asir-5476	174	5	j.	j.	PROPN
asir-5476	174	6	(	(	PUNCT
asir-5476	174	7	2018	2018	NUM
asir-5476	174	8	)	)	PUNCT
asir-5476	174	9	.	.	PUNCT
asir-5476	175	1	axiomatization	axiomatization	NOUN
asir-5476	175	2	of	of	ADP
asir-5476	175	3	aristotelian	aristotelian	ADJ
asir-5476	175	4	syllogistic	syllogistic	ADJ
asir-5476	175	5	logic	logic	NOUN
asir-5476	175	6	based	base	VERB
asir-5476	175	7	on	on	ADP
asir-5476	175	8	generalized	generalized	ADJ
asir-5476	175	9	quantifier	quantifier	NOUN
asir-5476	175	10	theory	theory	NOUN
asir-5476	175	11	.	.	PUNCT
asir-5476	176	1	applied	apply	VERB
asir-5476	176	2	and	and	CCONJ
asir-5476	176	3	computational	computational	ADJ
asir-5476	176	4	mathematics	mathematic	NOUN
asir-5476	176	5	,	,	PUNCT
asir-5476	176	6	7(3	7(3	NUM
asir-5476	176	7	)	)	PUNCT
asir-5476	176	8	,	,	PUNCT
asir-5476	176	9	167	167	NUM
asir-5476	176	10	-	-	SYM
asir-5476	176	11	172	172	NUM
asir-5476	176	12	.	.	PUNCT
asir-5476	177	1	https://doi.org/10.11648/j.acm.20180703.23	https://doi.org/10.11648/j.acm.20180703.23	PROPN
asir-5476	177	2	zhang	zhang	PROPN
asir-5476	177	3	,	,	PUNCT
asir-5476	177	4	x.	x.	PROPN
asir-5476	177	5	j.	j.	PROPN
asir-5476	177	6	(	(	PUNCT
asir-5476	177	7	2020a	2020a	NUM
asir-5476	177	8	)	)	PUNCT
asir-5476	177	9	.	.	PUNCT
asir-5476	178	1	reducible	reducible	ADJ
asir-5476	178	2	relations	relation	NOUN
asir-5476	178	3	between	between	ADP
asir-5476	178	4	/	/	PUNCT
asir-5476	178	5	among	among	ADP
asir-5476	178	6	aristotle	aristotle	PROPN
asir-5476	178	7	’s	’s	PART
asir-5476	178	8	modal	modal	ADJ
asir-5476	178	9	syllogisms	syllogism	NOUN
asir-5476	178	10	.	.	PUNCT
asir-5476	179	1	scirea	scirea	PROPN
asir-5476	179	2	journal	journal	PROPN
asir-5476	179	3	of	of	ADP
asir-5476	179	4	computer	computer	NOUN
asir-5476	179	5	,	,	PUNCT
asir-5476	179	6	5(1	5(1	NUM
asir-5476	179	7	)	)	PUNCT
asir-5476	179	8	,	,	PUNCT
asir-5476	179	9	1	1	NUM
asir-5476	179	10	-	-	SYM
asir-5476	179	11	33	33	NUM
asir-5476	179	12	.	.	PUNCT
asir-5476	180	1	zhang	zhang	PROPN
asir-5476	180	2	,	,	PUNCT
asir-5476	180	3	x.	x.	PROPN
asir-5476	180	4	j.	j.	PROPN
asir-5476	180	5	(	(	PUNCT
asir-5476	180	6	2020b	2020b	NUM
asir-5476	180	7	)	)	PUNCT
asir-5476	180	8	.	.	PUNCT
asir-5476	181	1	screening	screen	VERB
asir-5476	181	2	out	out	ADP
asir-5476	181	3	all	all	DET
asir-5476	181	4	valid	valid	ADJ
asir-5476	181	5	aristotelian	aristotelian	ADJ
asir-5476	181	6	modal	modal	NOUN
asir-5476	181	7	syllogisms	syllogism	NOUN
asir-5476	181	8	.	.	PUNCT
asir-5476	182	1	applied	apply	VERB
asir-5476	182	2	and	and	CCONJ
asir-5476	182	3	computational	computational	ADJ
asir-5476	182	4	mathematics	mathematic	NOUN
asir-5476	182	5	,	,	PUNCT
asir-5476	182	6	8(6	8(6	NUM
asir-5476	182	7	)	)	PUNCT
asir-5476	182	8	,	,	PUNCT
asir-5476	182	9	95	95	NUM
asir-5476	182	10	-	-	SYM
asir-5476	182	11	104	104	NUM
asir-5476	182	12	.	.	PUNCT
asir-5476	183	1	https://doi.org/10.11648/j.acm.20190806.12	https://doi.org/10.11648/j.acm.20190806.12	PROPN
asir-5476	183	2	zhang	zhang	PROPN
asir-5476	183	3	,	,	PUNCT
asir-5476	183	4	x.	x.	PROPN
asir-5476	183	5	j.	j.	PROPN
asir-5476	183	6	,	,	PUNCT
asir-5476	183	7	&	&	CCONJ
asir-5476	183	8	huang	huang	PROPN
asir-5476	183	9	,	,	PUNCT
asir-5476	183	10	c.	c.	PROPN
asir-5476	183	11	y.	y.	PROPN
asir-5476	183	12	(	(	PUNCT
asir-5476	183	13	2012	2012	NUM
asir-5476	183	14	)	)	PUNCT
asir-5476	183	15	.	.	PUNCT
asir-5476	184	1	relationship	relationship	NOUN
asir-5476	184	2	between	between	ADP
asir-5476	184	3	the	the	DET
asir-5476	184	4	monotonicity	monotonicity	NOUN
asir-5476	184	5	of	of	ADP
asir-5476	184	6	generalized	generalized	ADJ
asir-5476	184	7	quantifiers	quantifier	NOUN
asir-5476	184	8	and	and	CCONJ
asir-5476	184	9	that	that	PRON
asir-5476	184	10	of	of	ADP
asir-5476	184	11	their	their	PRON
asir-5476	184	12	three	three	NUM
asir-5476	184	13	negative	negative	ADJ
asir-5476	184	14	quantifiers	quantifier	NOUN
asir-5476	184	15	.	.	PUNCT
asir-5476	185	1	journal	journal	PROPN
asir-5476	185	2	of	of	ADP
asir-5476	185	3	anhui	anhui	PROPN
asir-5476	185	4	normal	normal	PROPN
asir-5476	185	5	university	university	PROPN
asir-5476	185	6	(	(	PUNCT
asir-5476	185	7	humanities	humanity	NOUN
asir-5476	185	8	and	and	CCONJ
asir-5476	185	9	social	social	ADJ
asir-5476	185	10	sciences	sciences	PROPN
asir-5476	185	11	edition	edition	NOUN
asir-5476	185	12	)	)	PUNCT
asir-5476	185	13	,	,	PUNCT
asir-5476	185	14	(	(	PUNCT
asir-5476	185	15	6	6	NUM
asir-5476	185	16	)	)	PUNCT
asir-5476	185	17	,	,	PUNCT
asir-5476	185	18	673	673	NUM
asir-5476	185	19	-	-	SYM
asir-5476	185	20	678	678	NUM
asir-5476	185	21	.	.	PUNCT
asir-5476	186	1	(	(	PUNCT
asir-5476	186	2	in	in	ADP
asir-5476	186	3	chinese	chinese	PROPN
asir-5476	186	4	)	)	PUNCT
asir-5476	186	5	zhang	zhang	PROPN
asir-5476	186	6	,	,	PUNCT
asir-5476	186	7	x.	x.	PROPN
asir-5476	186	8	j.	j.	PROPN
asir-5476	186	9	,	,	PUNCT
asir-5476	186	10	&	&	CCONJ
asir-5476	186	11	li	li	PROPN
asir-5476	186	12	,	,	PUNCT
asir-5476	186	13	s.	s.	PROPN
asir-5476	186	14	(	(	PUNCT
asir-5476	186	15	2016	2016	NUM
asir-5476	186	16	)	)	PUNCT
asir-5476	186	17	.	.	PUNCT
asir-5476	187	1	research	research	NOUN
asir-5476	187	2	on	on	ADP
asir-5476	187	3	the	the	DET
asir-5476	187	4	formalization	formalization	NOUN
asir-5476	187	5	and	and	CCONJ
asir-5476	187	6	axiomatization	axiomatization	NOUN
asir-5476	187	7	of	of	ADP
asir-5476	187	8	traditional	traditional	ADJ
asir-5476	187	9	syllogisms	syllogism	NOUN
asir-5476	187	10	.	.	PUNCT
asir-5476	188	1	journal	journal	PROPN
asir-5476	188	2	of	of	ADP
asir-5476	188	3	hubei	hubei	PROPN
asir-5476	188	4	university	university	PROPN
asir-5476	188	5	(	(	PUNCT
asir-5476	188	6	philosophy	philosophy	NOUN
asir-5476	188	7	and	and	CCONJ
asir-5476	188	8	social	social	ADJ
asir-5476	188	9	sciences	science	NOUN
asir-5476	188	10	)	)	PUNCT
asir-5476	188	11	,	,	PUNCT
asir-5476	188	12	(	(	PUNCT
asir-5476	188	13	6	6	NUM
asir-5476	188	14	)	)	PUNCT
asir-5476	188	15	,	,	PUNCT
asir-5476	188	16	32	32	NUM
asir-5476	188	17	-	-	SYM
asir-5476	188	18	37	37	NUM
asir-5476	188	19	.	.	PUNCT
asir-5476	189	1	(	(	PUNCT
asir-5476	189	2	in	in	ADP
asir-5476	189	3	chinese	chinese	PROPN
asir-5476	189	4	)	)	PUNCT
asir-5476	189	5	zhang	zhang	PROPN
asir-5476	189	6	,	,	PUNCT
asir-5476	189	7	x.	x.	PROPN
asir-5476	189	8	j.	j.	PROPN
asir-5476	189	9	,	,	PUNCT
asir-5476	189	10	&	&	CCONJ
asir-5476	189	11	wu	wu	PROPN
asir-5476	189	12	,	,	PUNCT
asir-5476	189	13	b.	b.	PROPN
asir-5476	189	14	x.	x.	PROPN
asir-5476	189	15	(	(	PUNCT
asir-5476	189	16	2021	2021	NUM
asir-5476	189	17	)	)	PUNCT
asir-5476	189	18	.	.	PUNCT
asir-5476	190	1	research	research	NOUN
asir-5476	190	2	on	on	ADP
asir-5476	190	3	chinese	chinese	ADJ
asir-5476	190	4	textual	textual	ADJ
asir-5476	190	5	reasoning	reasoning	NOUN
asir-5476	190	6	.	.	PUNCT
asir-5476	191	1	beijing	beijing	PROPN
asir-5476	191	2	:	:	PUNCT
asir-5476	192	1	people	people	NOUN
asir-5476	192	2	’s	’s	PART
asir-5476	192	3	publishing	publishing	PROPN
asir-5476	192	4	house	house	NOUN
asir-5476	192	5	.	.	PUNCT
asir-5476	193	1	(	(	PUNCT
asir-5476	193	2	in	in	ADP
asir-5476	193	3	chinese	chinese	ADJ
asir-5476	193	4	)	)	PUNCT
asir-5476	193	5	zhou	zhou	PROPN
asir-5476	193	6	,	,	PUNCT
asir-5476	193	7	b.	b.	PROPN
asir-5476	193	8	h.	h.	PROPN
asir-5476	193	9	,	,	PUNCT
asir-5476	193	10	wang	wang	PROPN
asir-5476	193	11	,	,	PUNCT
asir-5476	193	12	q.	q.	PROPN
asir-5476	193	13	,	,	PUNCT
asir-5476	193	14	&	&	CCONJ
asir-5476	193	15	zheng	zheng	PROPN
asir-5476	193	16	,	,	PUNCT
asir-5476	193	17	z.	z.	PROPN
asir-5476	193	18	(	(	PUNCT
asir-5476	193	19	2018	2018	NUM
asir-5476	193	20	)	)	PUNCT
asir-5476	193	21	.	.	PUNCT
asir-5476	194	1	aristotle	aristotle	PROPN
asir-5476	194	2	’s	’s	PROPN
asir-5476	194	3	division	division	NOUN
asir-5476	194	4	lattice	lattice	NOUN
asir-5476	194	5	and	and	CCONJ
asir-5476	194	6	aristotelian	aristotelian	ADJ
asir-5476	194	7	logic	logic	NOUN
asir-5476	194	8	.	.	PUNCT
asir-5476	195	1	logic	logic	NOUN
asir-5476	195	2	research	research	NOUN
asir-5476	195	3	,	,	PUNCT
asir-5476	195	4	(	(	PUNCT
asir-5476	195	5	2	2	NUM
asir-5476	195	6	)	)	PUNCT
asir-5476	195	7	,	,	PUNCT
asir-5476	195	8	2	2	NUM
asir-5476	195	9	-	-	SYM
asir-5476	195	10	20	20	NUM
asir-5476	195	11	.	.	PUNCT
asir-5476	196	1	(	(	PUNCT
asir-5476	196	2	in	in	ADP
asir-5476	196	3	chinese	chinese	ADJ
asir-5476	196	4	)	)	PUNCT