id	sid	tid	token	lemma	pos
asir-15739	1	1	applied	apply	VERB
asir-15739	1	2	science	science	NOUN
asir-15739	1	3	and	and	CCONJ
asir-15739	1	4	innovative	innovative	ADJ
asir-15739	1	5	research	research	NOUN
asir-15739	1	6	issn	issn	VERB
asir-15739	1	7	2474	2474	NUM
asir-15739	1	8	-	-	SYM
asir-15739	1	9	4972	4972	NUM
asir-15739	1	10	(	(	PUNCT
asir-15739	1	11	print	print	NOUN
asir-15739	1	12	)	)	PUNCT
asir-15739	1	13	issn	issn	VERB
asir-15739	1	14	2474	2474	NUM
asir-15739	1	15	-	-	SYM
asir-15739	1	16	4980	4980	NUM
asir-15739	1	17	(	(	PUNCT
asir-15739	1	18	online	online	ADJ
asir-15739	1	19	)	)	PUNCT
asir-15739	1	20	vol	vol	NOUN
asir-15739	1	21	.	.	PROPN
asir-15739	2	1	7	7	NUM
asir-15739	2	2	,	,	PUNCT
asir-15739	2	3	no	no	INTJ
asir-15739	2	4	.	.	NOUN
asir-15739	2	5	2	2	NUM
asir-15739	2	6	,	,	PUNCT
asir-15739	2	7	2023	2023	NUM
asir-15739	2	8	www.scholink.org/ojs/index.php/asir	www.scholink.org/ojs/index.php/asir	NOUN
asir-15739	2	9	45	45	NUM
asir-15739	2	10	original	original	ADJ
asir-15739	2	11	paper	paper	NOUN
asir-15739	2	12	how	how	SCONJ
asir-15739	2	13	to	to	PART
asir-15739	2	14	obtain	obtain	VERB
asir-15739	2	15	valid	valid	ADJ
asir-15739	2	16	generalized	generalized	ADJ
asir-15739	2	17	modal	modal	ADJ
asir-15739	2	18	syllogisms	syllogism	NOUN
asir-15739	2	19	from	from	ADP
asir-15739	2	20	valid	valid	ADJ
asir-15739	2	21	generalized	generalized	ADJ
asir-15739	2	22	syllogisms	syllogism	NOUN
asir-15739	2	23	jing	je	VERB
asir-15739	2	24	xu1,2	xu1,2	PROPN
asir-15739	2	25	&	&	CCONJ
asir-15739	2	26	xiaojun	xiaojun	PROPN
asir-15739	2	27	zhang3	zhang3	PROPN
asir-15739	3	1	1	1	NUM
asir-15739	3	2	school	school	NOUN
asir-15739	3	3	of	of	ADP
asir-15739	3	4	philosophy	philosophy	NOUN
asir-15739	3	5	,	,	PUNCT
asir-15739	3	6	anhui	anhui	PROPN
asir-15739	3	7	university	university	PROPN
asir-15739	3	8	,	,	PUNCT
asir-15739	3	9	hefei	hefei	PROPN
asir-15739	3	10	,	,	PUNCT
asir-15739	3	11	china	china	PROPN
asir-15739	3	12	2	2	NUM
asir-15739	3	13	school	school	NOUN
asir-15739	3	14	of	of	ADP
asir-15739	3	15	marxism	marxism	PROPN
asir-15739	3	16	,	,	PUNCT
asir-15739	3	17	anhui	anhui	PROPN
asir-15739	3	18	medical	medical	PROPN
asir-15739	3	19	university	university	PROPN
asir-15739	3	20	,	,	PUNCT
asir-15739	3	21	hefei	hefei	PROPN
asir-15739	3	22	,	,	PUNCT
asir-15739	3	23	china	china	PROPN
asir-15739	3	24	3	3	NUM
asir-15739	3	25	school	school	NOUN
asir-15739	3	26	of	of	ADP
asir-15739	3	27	philosophy	philosophy	NOUN
asir-15739	3	28	,	,	PUNCT
asir-15739	3	29	anhui	anhui	PROPN
asir-15739	3	30	university	university	PROPN
asir-15739	3	31	,	,	PUNCT
asir-15739	3	32	hefei	hefei	PROPN
asir-15739	3	33	,	,	PUNCT
asir-15739	3	34	china	china	PROPN
asir-15739	3	35	received	receive	VERB
asir-15739	3	36	:	:	PUNCT
asir-15739	3	37	march	march	PROPN
asir-15739	3	38	9	9	NUM
asir-15739	3	39	,	,	PUNCT
asir-15739	3	40	2023	2023	NUM
asir-15739	3	41	accepted	accept	VERB
asir-15739	3	42	:	:	PUNCT
asir-15739	3	43	march	march	PROPN
asir-15739	3	44	19	19	NUM
asir-15739	3	45	,	,	PUNCT
asir-15739	3	46	2023	2023	NUM
asir-15739	3	47	online	online	ADV
asir-15739	3	48	published	publish	VERB
asir-15739	3	49	:	:	PUNCT
asir-15739	3	50	march	march	PROPN
asir-15739	3	51	21	21	NUM
asir-15739	3	52	,	,	PUNCT
asir-15739	3	53	2023	2023	NUM
asir-15739	3	54	doi:10.22158	doi:10.22158	NOUN
asir-15739	3	55	/	/	SYM
asir-15739	3	56	asir.v7n2p45	asir.v7n2p45	PROPN
asir-15739	3	57	url	url	PROPN
asir-15739	3	58	:	:	PUNCT
asir-15739	3	59	http://doi.org/10.22158/asir.v7n2p45	http://doi.org/10.22158/asir.v7n2p45	X
asir-15739	3	60	abstract	abstract	ADV
asir-15739	3	61	making	make	VERB
asir-15739	3	62	full	full	ADJ
asir-15739	3	63	use	use	NOUN
asir-15739	3	64	of	of	ADP
asir-15739	3	65	the	the	DET
asir-15739	3	66	truth	truth	NOUN
asir-15739	3	67	value	value	NOUN
asir-15739	3	68	definitions	definition	NOUN
asir-15739	3	69	of	of	ADP
asir-15739	3	70	sentences	sentence	NOUN
asir-15739	3	71	with	with	ADP
asir-15739	3	72	quantification	quantification	NOUN
asir-15739	3	73	,	,	PUNCT
asir-15739	3	74	possible	possible	ADJ
asir-15739	3	75	world	world	NOUN
asir-15739	3	76	semantics	semantic	NOUN
asir-15739	3	77	and/or	and/or	CCONJ
asir-15739	3	78	fuzzy	fuzzy	ADJ
asir-15739	3	79	logic	logic	NOUN
asir-15739	3	80	,	,	PUNCT
asir-15739	3	81	one	one	PRON
asir-15739	3	82	can	can	AUX
asir-15739	3	83	prove	prove	VERB
asir-15739	3	84	the	the	DET
asir-15739	3	85	validity	validity	NOUN
asir-15739	3	86	of	of	ADP
asir-15739	3	87	generalized	generalized	ADJ
asir-15739	3	88	modal	modal	ADJ
asir-15739	3	89	syllogisms	syllogism	NOUN
asir-15739	3	90	.	.	PUNCT
asir-15739	4	1	this	this	DET
asir-15739	4	2	paper	paper	NOUN
asir-15739	4	3	shows	show	VERB
asir-15739	4	4	that	that	SCONJ
asir-15739	4	5	the	the	DET
asir-15739	4	6	proof	proof	NOUN
asir-15739	4	7	of	of	ADP
asir-15739	4	8	the	the	DET
asir-15739	4	9	validity	validity	NOUN
asir-15739	4	10	of	of	ADP
asir-15739	4	11	a	a	DET
asir-15739	4	12	generalized	generalize	VERB
asir-15739	4	13	modal	modal	NOUN
asir-15739	4	14	syllogism	syllogism	NOUN
asir-15739	4	15	can	can	AUX
asir-15739	4	16	be	be	AUX
asir-15739	4	17	transformed	transform	VERB
asir-15739	4	18	into	into	ADP
asir-15739	4	19	that	that	PRON
asir-15739	4	20	of	of	ADP
asir-15739	4	21	its	its	PRON
asir-15739	4	22	corresponding	corresponding	ADJ
asir-15739	4	23	generalized	generalized	ADJ
asir-15739	4	24	syllogism	syllogism	NOUN
asir-15739	4	25	,	,	PUNCT
asir-15739	4	26	and	and	CCONJ
asir-15739	4	27	that	that	SCONJ
asir-15739	4	28	the	the	DET
asir-15739	4	29	generalized	generalized	ADJ
asir-15739	4	30	syllogism	syllogism	NOUN
asir-15739	4	31	obtained	obtain	VERB
asir-15739	4	32	by	by	ADP
asir-15739	4	33	removing	remove	VERB
asir-15739	4	34	all	all	DET
asir-15739	4	35	modalities	modality	NOUN
asir-15739	4	36	in	in	ADP
asir-15739	4	37	any	any	DET
asir-15739	4	38	valid	valid	ADJ
asir-15739	4	39	generalized	generalized	ADJ
asir-15739	4	40	modal	modal	ADJ
asir-15739	4	41	syllogism	syllogism	NOUN
asir-15739	4	42	is	be	AUX
asir-15739	4	43	still	still	ADV
asir-15739	4	44	valid	valid	ADJ
asir-15739	4	45	.	.	PUNCT
asir-15739	5	1	therefore	therefore	ADV
asir-15739	5	2	,	,	PUNCT
asir-15739	5	3	the	the	DET
asir-15739	5	4	simplest	simple	ADJ
asir-15739	5	5	way	way	NOUN
asir-15739	5	6	to	to	PART
asir-15739	5	7	screen	screen	VERB
asir-15739	5	8	out	out	ADP
asir-15739	5	9	valid	valid	ADJ
asir-15739	5	10	generalized	generalized	ADJ
asir-15739	5	11	modal	modal	ADJ
asir-15739	5	12	syllogisms	syllogism	NOUN
asir-15739	5	13	is	be	AUX
asir-15739	5	14	to	to	PART
asir-15739	5	15	add	add	VERB
asir-15739	5	16	modalities	modality	NOUN
asir-15739	5	17	to	to	PART
asir-15739	5	18	valid	valid	ADJ
asir-15739	5	19	generalized	generalized	ADJ
asir-15739	5	20	syllogisms	syllogism	NOUN
asir-15739	5	21	,	,	PUNCT
asir-15739	5	22	and	and	CCONJ
asir-15739	5	23	then	then	ADV
asir-15739	5	24	to	to	PART
asir-15739	5	25	delete	delete	VERB
asir-15739	5	26	all	all	DET
asir-15739	5	27	invalid	invalid	ADJ
asir-15739	5	28	syllogisms	syllogism	NOUN
asir-15739	5	29	by	by	ADP
asir-15739	5	30	means	mean	NOUN
asir-15739	5	31	of	of	ADP
asir-15739	5	32	the	the	DET
asir-15739	5	33	basic	basic	ADJ
asir-15739	5	34	rules	rule	NOUN
asir-15739	5	35	with	with	ADP
asir-15739	5	36	which	which	PRON
asir-15739	5	37	valid	valid	ADJ
asir-15739	5	38	generalized	generalized	ADJ
asir-15739	5	39	modal	modal	ADJ
asir-15739	5	40	syllogisms	syllogism	NOUN
asir-15739	5	41	should	should	AUX
asir-15739	5	42	meet	meet	VERB
asir-15739	5	43	.	.	PUNCT
asir-15739	6	1	and	and	CCONJ
asir-15739	6	2	then	then	ADV
asir-15739	6	3	the	the	DET
asir-15739	6	4	remainders	remainder	NOUN
asir-15739	6	5	are	be	AUX
asir-15739	6	6	valid	valid	ADJ
asir-15739	6	7	.	.	PUNCT
asir-15739	7	1	this	this	DET
asir-15739	7	2	paper	paper	NOUN
asir-15739	7	3	illustrates	illustrate	VERB
asir-15739	7	4	how	how	SCONJ
asir-15739	7	5	to	to	PART
asir-15739	7	6	obtain	obtain	VERB
asir-15739	7	7	12	12	NUM
asir-15739	7	8	valid	valid	ADJ
asir-15739	7	9	generalized	generalized	ADJ
asir-15739	7	10	modal	modal	ADJ
asir-15739	7	11	syllogisms	syllogism	NOUN
asir-15739	7	12	by	by	ADP
asir-15739	7	13	adding	add	VERB
asir-15739	7	14	necessary	necessary	ADJ
asir-15739	7	15	modalities	modality	NOUN
asir-15739	7	16	and/or	and/or	CCONJ
asir-15739	7	17	possible	possible	ADJ
asir-15739	7	18	modalities	modality	NOUN
asir-15739	7	19	to	to	ADP
asir-15739	7	20	any	any	DET
asir-15739	7	21	valid	valid	ADJ
asir-15739	7	22	generalized	generalized	ADJ
asir-15739	7	23	syllogism	syllogism	NOUN
asir-15739	7	24	.	.	PUNCT
asir-15739	8	1	the	the	DET
asir-15739	8	2	two	two	NUM
asir-15739	8	3	kinds	kind	NOUN
asir-15739	8	4	of	of	ADP
asir-15739	8	5	syllogisms	syllogism	NOUN
asir-15739	8	6	discussed	discuss	VERB
asir-15739	8	7	in	in	ADP
asir-15739	8	8	this	this	DET
asir-15739	8	9	paper	paper	NOUN
asir-15739	8	10	are	be	AUX
asir-15739	8	11	composed	compose	VERB
asir-15739	8	12	of	of	ADP
asir-15739	8	13	sentences	sentence	NOUN
asir-15739	8	14	with	with	ADP
asir-15739	8	15	quantification	quantification	NOUN
asir-15739	8	16	which	which	PRON
asir-15739	8	17	is	be	AUX
asir-15739	8	18	the	the	DET
asir-15739	8	19	largest	large	ADJ
asir-15739	8	20	number	number	NOUN
asir-15739	8	21	of	of	ADP
asir-15739	8	22	sentences	sentence	NOUN
asir-15739	8	23	in	in	ADP
asir-15739	8	24	natural	natural	ADJ
asir-15739	8	25	language	language	NOUN
asir-15739	8	26	.	.	PUNCT
asir-15739	9	1	hence	hence	ADV
asir-15739	9	2	,	,	PUNCT
asir-15739	9	3	this	this	DET
asir-15739	9	4	innovative	innovative	ADJ
asir-15739	9	5	research	research	NOUN
asir-15739	9	6	can	can	AUX
asir-15739	9	7	provide	provide	VERB
asir-15739	9	8	theoretical	theoretical	ADJ
asir-15739	9	9	support	support	NOUN
asir-15739	9	10	for	for	ADP
asir-15739	9	11	linguistics	linguistic	NOUN
asir-15739	9	12	,	,	PUNCT
asir-15739	9	13	logic	logic	NOUN
asir-15739	9	14	,	,	PUNCT
asir-15739	9	15	artificial	artificial	ADJ
asir-15739	9	16	intelligence	intelligence	NOUN
asir-15739	9	17	,	,	PUNCT
asir-15739	9	18	and	and	CCONJ
asir-15739	9	19	among	among	ADP
asir-15739	9	20	other	other	ADJ
asir-15739	9	21	fields	field	NOUN
asir-15739	9	22	.	.	PUNCT
asir-15739	10	1	keywords	keyword	NOUN
asir-15739	10	2	generalized	generalize	VERB
asir-15739	10	3	modal	modal	ADJ
asir-15739	10	4	syllogisms	syllogism	NOUN
asir-15739	10	5	,	,	PUNCT
asir-15739	10	6	generalized	generalized	ADJ
asir-15739	10	7	syllogisms	syllogism	NOUN
asir-15739	10	8	,	,	PUNCT
asir-15739	10	9	validity	validity	NOUN
asir-15739	10	10	,	,	PUNCT
asir-15739	10	11	truth	truth	NOUN
asir-15739	10	12	value	value	NOUN
asir-15739	10	13	definition	definition	NOUN
asir-15739	10	14	1	1	NUM
asir-15739	10	15	.	.	PUNCT
asir-15739	11	1	introduction	introduction	NOUN
asir-15739	11	2	there	there	PRON
asir-15739	11	3	are	be	VERB
asir-15739	11	4	many	many	ADJ
asir-15739	11	5	kinds	kind	NOUN
asir-15739	11	6	of	of	ADP
asir-15739	11	7	syllogisms	syllogism	NOUN
asir-15739	11	8	in	in	ADP
asir-15739	11	9	natural	natural	ADJ
asir-15739	11	10	language	language	NOUN
asir-15739	11	11	,	,	PUNCT
asir-15739	11	12	such	such	ADJ
asir-15739	11	13	as	as	ADP
asir-15739	11	14	aristotelian	aristotelian	ADJ
asir-15739	11	15	syllogisms	syllogism	NOUN
asir-15739	11	16	(	(	PUNCT
asir-15739	11	17	hui	hui	PROPN
asir-15739	11	18	,	,	PUNCT
asir-15739	11	19	2023	2023	NUM
asir-15739	11	20	)	)	PUNCT
asir-15739	11	21	,	,	PUNCT
asir-15739	11	22	generalized	generalized	ADJ
asir-15739	11	23	syllogisms	syllogism	NOUN
asir-15739	11	24	(	(	PUNCT
asir-15739	11	25	xiaojun	xiaojun	PROPN
asir-15739	11	26	,	,	PUNCT
asir-15739	11	27	2020a	2020a	NUM
asir-15739	11	28	)	)	PUNCT
asir-15739	11	29	,	,	PUNCT
asir-15739	11	30	aristotelian	aristotelian	PROPN
asir-15739	11	31	modal	modal	NOUN
asir-15739	11	32	syllogisms	syllogism	NOUN
asir-15739	11	33	(	(	PUNCT
asir-15739	11	34	johnson	johnson	PROPN
asir-15739	11	35	,	,	PUNCT
asir-15739	11	36	2004	2004	NUM
asir-15739	11	37	)	)	PUNCT
asir-15739	11	38	,	,	PUNCT
asir-15739	11	39	generalized	generalize	VERB
asir-15739	11	40	modal	modal	ADJ
asir-15739	11	41	syllogisms	syllogism	NOUN
asir-15739	11	42	,	,	PUNCT
asir-15739	11	43	and	and	CCONJ
asir-15739	11	44	so	so	ADV
asir-15739	11	45	on	on	ADV
asir-15739	11	46	.	.	PUNCT
asir-15739	12	1	this	this	DET
asir-15739	12	2	paper	paper	NOUN
asir-15739	12	3	shall	shall	AUX
asir-15739	12	4	restrict	restrict	VERB
asir-15739	12	5	attention	attention	NOUN
asir-15739	12	6	entirely	entirely	ADV
asir-15739	12	7	to	to	ADP
asir-15739	12	8	how	how	SCONJ
asir-15739	12	9	to	to	PART
asir-15739	12	10	obtain	obtain	VERB
asir-15739	12	11	valid	valid	ADJ
asir-15739	12	12	generalized	generalized	ADJ
asir-15739	12	13	modal	modal	ADJ
asir-15739	12	14	syllogisms	syllogism	NOUN
asir-15739	12	15	from	from	ADP
asir-15739	12	16	valid	valid	ADJ
asir-15739	12	17	generalized	generalized	ADJ
asir-15739	12	18	syllogisms	syllogism	NOUN
asir-15739	12	19	.	.	PUNCT
asir-15739	13	1	www.scholink.org/ojs/index.php/asir	www.scholink.org/ojs/index.php/asir	PROPN
asir-15739	13	2	applied	apply	VERB
asir-15739	13	3	science	science	NOUN
asir-15739	13	4	and	and	CCONJ
asir-15739	13	5	innovative	innovative	ADJ
asir-15739	13	6	research	research	NOUN
asir-15739	13	7	vol	vol	NOUN
asir-15739	13	8	.	.	PUNCT
asir-15739	14	1	7	7	NUM
asir-15739	14	2	,	,	PUNCT
asir-15739	14	3	no	no	INTJ
asir-15739	14	4	.	.	NOUN
asir-15739	14	5	2	2	NUM
asir-15739	14	6	,	,	PUNCT
asir-15739	14	7	2023	2023	NUM
asir-15739	14	8	46	46	NUM
asir-15739	14	9	published	publish	VERB
asir-15739	14	10	by	by	ADP
asir-15739	14	11	scholink	scholink	PROPN
asir-15739	14	12	inc	inc	PROPN
asir-15739	14	13	.	.	PUNCT
asir-15739	15	1	there	there	PRON
asir-15739	15	2	are	be	VERB
asir-15739	15	3	some	some	DET
asir-15739	15	4	studies	study	NOUN
asir-15739	15	5	on	on	ADP
asir-15739	15	6	generalized	generalized	ADJ
asir-15739	15	7	syllogisms	syllogism	NOUN
asir-15739	15	8	,	,	PUNCT
asir-15739	15	9	such	such	ADJ
asir-15739	15	10	as	as	ADP
asir-15739	15	11	peterson	peterson	NOUN
asir-15739	15	12	(	(	PUNCT
asir-15739	15	13	2000	2000	NUM
asir-15739	15	14	)	)	PUNCT
asir-15739	15	15	,	,	PUNCT
asir-15739	15	16	novák	novák	NOUN
asir-15739	15	17	(	(	PUNCT
asir-15739	15	18	2008a	2008a	NUM
asir-15739	15	19	,	,	PUNCT
asir-15739	15	20	2008b	2008b	NUM
asir-15739	15	21	)	)	PUNCT
asir-15739	15	22	,	,	PUNCT
asir-15739	15	23	moss	moss	NOUN
asir-15739	15	24	(	(	PUNCT
asir-15739	15	25	2010	2010	NUM
asir-15739	15	26	)	)	PUNCT
asir-15739	15	27	,	,	PUNCT
asir-15739	15	28	novák	novák	NOUN
asir-15739	15	29	(	(	PUNCT
asir-15739	15	30	2012	2012	NUM
asir-15739	15	31	)	)	PUNCT
asir-15739	15	32	,	,	PUNCT
asir-15739	15	33	endullis	endullis	PROPN
asir-15739	15	34	and	and	CCONJ
asir-15739	15	35	moss	moss	NOUN
asir-15739	15	36	(	(	PUNCT
asir-15739	15	37	2015	2015	NUM
asir-15739	15	38	)	)	PUNCT
asir-15739	15	39	,	,	PUNCT
asir-15739	15	40	xiaojun	xiaojun	PROPN
asir-15739	15	41	(	(	PUNCT
asir-15739	15	42	2016	2016	NUM
asir-15739	15	43	)	)	PUNCT
asir-15739	15	44	,	,	PUNCT
asir-15739	15	45	cheng	cheng	PROPN
asir-15739	15	46	(	(	PUNCT
asir-15739	15	47	2023	2023	NUM
asir-15739	15	48	)	)	PUNCT
asir-15739	15	49	,	,	PUNCT
asir-15739	15	50	and	and	CCONJ
asir-15739	15	51	so	so	ADV
asir-15739	15	52	on	on	ADV
asir-15739	15	53	.	.	PUNCT
asir-15739	16	1	nevertheless	nevertheless	ADV
asir-15739	16	2	,	,	PUNCT
asir-15739	16	3	up	up	ADP
asir-15739	16	4	to	to	ADP
asir-15739	16	5	now	now	ADV
asir-15739	16	6	,	,	PUNCT
asir-15739	16	7	there	there	PRON
asir-15739	16	8	are	be	VERB
asir-15739	16	9	no	no	DET
asir-15739	16	10	relevant	relevant	ADJ
asir-15739	16	11	literature	literature	NOUN
asir-15739	16	12	of	of	ADP
asir-15739	16	13	generalized	generalized	ADJ
asir-15739	16	14	modal	modal	ADJ
asir-15739	16	15	syllogisms	syllogism	NOUN
asir-15739	16	16	found	find	VERB
asir-15739	16	17	at	at	ADP
asir-15739	16	18	home	home	NOUN
asir-15739	16	19	or	or	CCONJ
asir-15739	16	20	abroad	abroad	ADV
asir-15739	16	21	.	.	PUNCT
asir-15739	17	1	therefore	therefore	ADV
asir-15739	17	2	,	,	PUNCT
asir-15739	17	3	this	this	DET
asir-15739	17	4	study	study	NOUN
asir-15739	17	5	is	be	AUX
asir-15739	17	6	a	a	DET
asir-15739	17	7	pioneering	pioneering	ADJ
asir-15739	17	8	research	research	NOUN
asir-15739	17	9	.	.	PUNCT
asir-15739	18	1	the	the	DET
asir-15739	18	2	largest	large	ADJ
asir-15739	18	3	number	number	NOUN
asir-15739	18	4	of	of	ADP
asir-15739	18	5	sentences	sentence	NOUN
asir-15739	18	6	in	in	ADP
asir-15739	18	7	natural	natural	ADJ
asir-15739	18	8	language	language	NOUN
asir-15739	18	9	is	be	AUX
asir-15739	18	10	sentences	sentence	NOUN
asir-15739	18	11	with	with	ADP
asir-15739	18	12	quantification	quantification	NOUN
asir-15739	18	13	(	(	PUNCT
asir-15739	18	14	cheng	cheng	PROPN
asir-15739	18	15	,	,	PUNCT
asir-15739	18	16	2022	2022	NUM
asir-15739	18	17	)	)	PUNCT
asir-15739	18	18	.	.	PUNCT
asir-15739	19	1	the	the	DET
asir-15739	19	2	two	two	NUM
asir-15739	19	3	kinds	kind	NOUN
asir-15739	19	4	of	of	ADP
asir-15739	19	5	syllogisms	syllogism	NOUN
asir-15739	19	6	discussed	discuss	VERB
asir-15739	19	7	in	in	ADP
asir-15739	19	8	this	this	DET
asir-15739	19	9	paper	paper	NOUN
asir-15739	19	10	are	be	AUX
asir-15739	19	11	composed	compose	VERB
asir-15739	19	12	of	of	ADP
asir-15739	19	13	sentences	sentence	NOUN
asir-15739	19	14	with	with	ADP
asir-15739	19	15	quantification	quantification	NOUN
asir-15739	19	16	(	(	PUNCT
asir-15739	19	17	long	long	ADJ
asir-15739	19	18	,	,	PUNCT
asir-15739	19	19	2023	2023	NUM
asir-15739	19	20	)	)	PUNCT
asir-15739	19	21	.	.	PUNCT
asir-15739	20	1	and	and	CCONJ
asir-15739	20	2	they	they	PRON
asir-15739	20	3	play	play	VERB
asir-15739	20	4	an	an	DET
asir-15739	20	5	important	important	ADJ
asir-15739	20	6	role	role	NOUN
asir-15739	20	7	in	in	ADP
asir-15739	20	8	natural	natural	ADJ
asir-15739	20	9	language	language	NOUN
asir-15739	20	10	information	information	NOUN
asir-15739	20	11	processing	processing	NOUN
asir-15739	20	12	,	,	PUNCT
asir-15739	20	13	which	which	PRON
asir-15739	20	14	involves	involve	VERB
asir-15739	20	15	interdisciplinary	interdisciplinary	ADJ
asir-15739	20	16	research	research	NOUN
asir-15739	20	17	fields	field	NOUN
asir-15739	20	18	such	such	ADJ
asir-15739	20	19	as	as	ADP
asir-15739	20	20	linguistics	linguistic	NOUN
asir-15739	20	21	,	,	PUNCT
asir-15739	20	22	logic	logic	NOUN
asir-15739	20	23	,	,	PUNCT
asir-15739	20	24	artificial	artificial	ADJ
asir-15739	20	25	intelligence	intelligence	NOUN
asir-15739	20	26	,	,	PUNCT
asir-15739	20	27	and	and	CCONJ
asir-15739	20	28	among	among	ADP
asir-15739	20	29	other	other	ADJ
asir-15739	20	30	fields	field	NOUN
asir-15739	20	31	.	.	PUNCT
asir-15739	21	1	it	it	PRON
asir-15739	21	2	is	be	AUX
asir-15739	21	3	hoped	hope	VERB
asir-15739	21	4	that	that	SCONJ
asir-15739	21	5	this	this	DET
asir-15739	21	6	study	study	NOUN
asir-15739	21	7	can	can	AUX
asir-15739	21	8	provide	provide	VERB
asir-15739	21	9	theoretical	theoretical	ADJ
asir-15739	21	10	support	support	NOUN
asir-15739	21	11	for	for	ADP
asir-15739	21	12	these	these	DET
asir-15739	21	13	fields	field	NOUN
asir-15739	21	14	.	.	PUNCT
asir-15739	22	1	2	2	X
asir-15739	22	2	.	.	X
asir-15739	22	3	preliminaries	preliminary	NOUN
asir-15739	22	4	in	in	ADP
asir-15739	22	5	the	the	DET
asir-15739	22	6	paper	paper	NOUN
asir-15739	22	7	,	,	PUNCT
asir-15739	22	8	let	let	VERB
asir-15739	22	9	s	s	PRON
asir-15739	22	10	,	,	PUNCT
asir-15739	22	11	m	m	VERB
asir-15739	22	12	and	and	CCONJ
asir-15739	22	13	p	p	PROPN
asir-15739	22	14	be	be	AUX
asir-15739	22	15	the	the	DET
asir-15739	22	16	lexical	lexical	ADJ
asir-15739	22	17	variables	variable	NOUN
asir-15739	22	18	in	in	ADP
asir-15739	22	19	sentences	sentence	NOUN
asir-15739	22	20	with	with	ADP
asir-15739	22	21	quantification	quantification	NOUN
asir-15739	22	22	,	,	PUNCT
asir-15739	22	23	and	and	CCONJ
asir-15739	22	24	d	d	ADP
asir-15739	22	25	the	the	DET
asir-15739	22	26	domain	domain	NOUN
asir-15739	22	27	of	of	ADP
asir-15739	22	28	lexical	lexical	ADJ
asir-15739	22	29	variables	variable	NOUN
asir-15739	22	30	.	.	PUNCT
asir-15739	23	1	syllogisms	syllogism	NOUN
asir-15739	23	2	often	often	ADV
asir-15739	23	3	contain	contain	VERB
asir-15739	23	4	sentences	sentence	NOUN
asir-15739	23	5	in	in	ADP
asir-15739	23	6	the	the	DET
asir-15739	23	7	following	follow	VERB
asir-15739	23	8	forms	form	NOUN
asir-15739	23	9	:	:	PUNCT
asir-15739	23	10	all	all	DET
asir-15739	23	11	ss	ss	VERB
asir-15739	23	12	are	be	AUX
asir-15739	23	13	p	p	X
asir-15739	23	14	,	,	PUNCT
asir-15739	23	15	no	no	INTJ
asir-15739	23	16	ss	ss	NOUN
asir-15739	23	17	are	be	AUX
asir-15739	23	18	p	p	X
asir-15739	23	19	,	,	PUNCT
asir-15739	23	20	some	some	DET
asir-15739	23	21	ss	ss	NOUN
asir-15739	23	22	are	be	AUX
asir-15739	23	23	p	p	NOUN
asir-15739	23	24	,	,	PUNCT
asir-15739	23	25	not	not	PART
asir-15739	23	26	all	all	DET
asir-15739	23	27	ss	ss	VERB
asir-15739	23	28	are	be	AUX
asir-15739	23	29	p.	p.	NOUN
asir-15739	23	30	the	the	DET
asir-15739	23	31	four	four	NUM
asir-15739	23	32	sentences	sentence	NOUN
asir-15739	23	33	can	can	AUX
asir-15739	23	34	be	be	AUX
asir-15739	23	35	symbolized	symbolize	VERB
asir-15739	23	36	as	as	ADP
asir-15739	23	37	all(s	all(s	PROPN
asir-15739	23	38	,	,	PUNCT
asir-15739	23	39	p	p	NOUN
asir-15739	23	40	)	)	PUNCT
asir-15739	23	41	,	,	PUNCT
asir-15739	23	42	no(s	no(s	PROPN
asir-15739	23	43	,	,	PUNCT
asir-15739	23	44	p	p	NOUN
asir-15739	23	45	)	)	PUNCT
asir-15739	23	46	,	,	PUNCT
asir-15739	23	47	some(s	some(s	ADJ
asir-15739	23	48	,	,	PUNCT
asir-15739	23	49	p	p	NOUN
asir-15739	23	50	)	)	PUNCT
asir-15739	23	51	and	and	CCONJ
asir-15739	23	52	not	not	PART
asir-15739	23	53	all(s	all(s	PROPN
asir-15739	23	54	,	,	PUNCT
asir-15739	23	55	p	p	NOUN
asir-15739	23	56	)	)	PUNCT
asir-15739	23	57	,	,	PUNCT
asir-15739	23	58	and	and	CCONJ
asir-15739	23	59	abbreviated	abbreviate	VERB
asir-15739	23	60	as	as	ADP
asir-15739	23	61	the	the	DET
asir-15739	23	62	proposition	proposition	NOUN
asir-15739	23	63	a	a	PRON
asir-15739	23	64	,	,	PUNCT
asir-15739	23	65	e	e	NOUN
asir-15739	23	66	,	,	PUNCT
asir-15739	23	67	i	i	PRON
asir-15739	23	68	and	and	CCONJ
asir-15739	23	69	o	o	NOUN
asir-15739	23	70	,	,	PUNCT
asir-15739	23	71	respectively	respectively	ADV
asir-15739	23	72	.	.	PUNCT
asir-15739	24	1			NOUN
asir-15739	24	2	is	be	AUX
asir-15739	24	3	the	the	DET
asir-15739	24	4	symbol	symbol	NOUN
asir-15739	24	5	of	of	ADP
asir-15739	24	6	a	a	DET
asir-15739	24	7	necessary	necessary	ADJ
asir-15739	24	8	modality	modality	NOUN
asir-15739	24	9	,	,	PUNCT
asir-15739	24	10			PROPN
asir-15739	24	11	is	be	AUX
asir-15739	24	12	that	that	PRON
asir-15739	24	13	of	of	ADP
asir-15739	24	14	a	a	DET
asir-15739	24	15	possible	possible	ADJ
asir-15739	24	16	modality.s	modality.s	PROPN
asir-15739	24	17	represents	represent	VERB
asir-15739	24	18	the	the	DET
asir-15739	24	19	cardinality	cardinality	NOUN
asir-15739	24	20	of	of	ADP
asir-15739	24	21	the	the	DET
asir-15739	24	22	set	set	NOUN
asir-15739	24	23	composed	compose	VERB
asir-15739	24	24	of	of	ADP
asir-15739	24	25	the	the	DET
asir-15739	24	26	variable	variable	NOUN
asir-15739	24	27	s.	s.	PROPN
asir-15739	24	28	a	a	DET
asir-15739	24	29	generalized	generalize	VERB
asir-15739	24	30	modal	modal	NOUN
asir-15739	24	31	syllogism	syllogism	NOUN
asir-15739	24	32	can	can	AUX
asir-15739	24	33	be	be	AUX
asir-15739	24	34	obtained	obtain	VERB
asir-15739	24	35	by	by	ADP
asir-15739	24	36	adding	add	VERB
asir-15739	24	37	necessary	necessary	ADJ
asir-15739	24	38	modalities	modality	NOUN
asir-15739	24	39	and/or	and/or	CCONJ
asir-15739	24	40	possible	possible	ADJ
asir-15739	24	41	modalities	modality	NOUN
asir-15739	24	42	to	to	ADP
asir-15739	24	43	a	a	DET
asir-15739	24	44	generalized	generalized	ADJ
asir-15739	24	45	syllogism	syllogism	NOUN
asir-15739	24	46	.	.	PUNCT
asir-15739	25	1	example	example	NOUN
asir-15739	26	1	1	1	NUM
asir-15739	26	2	:	:	PUNCT
asir-15739	26	3	major	major	ADJ
asir-15739	26	4	premise	premise	NOUN
asir-15739	26	5	:	:	PUNCT
asir-15739	26	6	all	all	DET
asir-15739	26	7	middle	middle	ADJ
asir-15739	26	8	-	-	PUNCT
asir-15739	26	9	aged	aged	ADJ
asir-15739	26	10	healthy	healthy	ADJ
asir-15739	26	11	hens	hen	NOUN
asir-15739	26	12	are	be	AUX
asir-15739	26	13	egg	egg	NOUN
asir-15739	26	14	-	-	PUNCT
asir-15739	26	15	laying	lay	VERB
asir-15739	26	16	hens	hen	NOUN
asir-15739	26	17	.	.	PUNCT
asir-15739	27	1	minor	minor	ADJ
asir-15739	27	2	premise	premise	NOUN
asir-15739	27	3	:	:	PUNCT
asir-15739	27	4	most	most	ADJ
asir-15739	27	5	chickens	chicken	NOUN
asir-15739	27	6	in	in	ADP
asir-15739	27	7	this	this	DET
asir-15739	27	8	farm	farm	NOUN
asir-15739	27	9	are	be	AUX
asir-15739	27	10	middle	middle	ADJ
asir-15739	27	11	-	-	PUNCT
asir-15739	27	12	aged	aged	ADJ
asir-15739	27	13	healthy	healthy	ADJ
asir-15739	27	14	hens	hen	NOUN
asir-15739	27	15	.	.	PUNCT
asir-15739	28	1	conclusion	conclusion	NOUN
asir-15739	28	2	:	:	PUNCT
asir-15739	28	3	some	some	DET
asir-15739	28	4	chickens	chicken	NOUN
asir-15739	28	5	in	in	ADP
asir-15739	28	6	this	this	DET
asir-15739	28	7	farm	farm	NOUN
asir-15739	28	8	are	be	AUX
asir-15739	28	9	egg	egg	NOUN
asir-15739	28	10	-	-	PUNCT
asir-15739	28	11	laying	lay	VERB
asir-15739	28	12	hens	hen	NOUN
asir-15739	28	13	.	.	PUNCT
asir-15739	29	1	let	let	VERB
asir-15739	29	2	s	s	PRON
asir-15739	29	3	be	be	AUX
asir-15739	29	4	the	the	DET
asir-15739	29	5	chickens	chicken	NOUN
asir-15739	29	6	in	in	ADP
asir-15739	29	7	the	the	DET
asir-15739	29	8	domain	domain	NOUN
asir-15739	29	9	,	,	PUNCT
asir-15739	29	10	m	m	VERB
asir-15739	29	11	the	the	DET
asir-15739	29	12	middle	middle	ADJ
asir-15739	29	13	-	-	PUNCT
asir-15739	29	14	aged	aged	ADJ
asir-15739	29	15	healthy	healthy	ADJ
asir-15739	29	16	hens	hen	NOUN
asir-15739	29	17	in	in	ADP
asir-15739	29	18	the	the	DET
asir-15739	29	19	domain	domain	NOUN
asir-15739	29	20	,	,	PUNCT
asir-15739	29	21	and	and	CCONJ
asir-15739	29	22	p	p	X
asir-15739	29	23	the	the	DET
asir-15739	29	24	egg	egg	NOUN
asir-15739	29	25	-	-	PUNCT
asir-15739	29	26	laying	lay	VERB
asir-15739	29	27	hens	hen	NOUN
asir-15739	29	28	in	in	ADP
asir-15739	29	29	the	the	DET
asir-15739	29	30	domain	domain	NOUN
asir-15739	29	31	.	.	PUNCT
asir-15739	30	1	then	then	ADV
asir-15739	30	2	the	the	DET
asir-15739	30	3	generalized	generalized	ADJ
asir-15739	30	4	syllogism	syllogism	NOUN
asir-15739	30	5	in	in	ADP
asir-15739	30	6	example	example	NOUN
asir-15739	30	7	1	1	NUM
asir-15739	30	8	can	can	AUX
asir-15739	30	9	be	be	AUX
asir-15739	30	10	formalized	formalize	VERB
asir-15739	30	11	by	by	ADP
asir-15739	30	12	all(m	all(m	PROPN
asir-15739	30	13	,	,	PUNCT
asir-15739	30	14	p)most(s	p)most(s	PROPN
asir-15739	30	15	,	,	PUNCT
asir-15739	30	16	m)some(s	m)some(s	NUM
asir-15739	30	17	,	,	PUNCT
asir-15739	30	18	p	p	NOUN
asir-15739	30	19	)	)	PUNCT
asir-15739	30	20	.	.	PUNCT
asir-15739	31	1	the	the	DET
asir-15739	31	2	following	follow	VERB
asir-15739	31	3	generalized	generalized	ADJ
asir-15739	31	4	modal	modal	ADJ
asir-15739	31	5	syllogism	syllogism	NOUN
asir-15739	31	6	in	in	ADP
asir-15739	31	7	example	example	NOUN
asir-15739	31	8	2	2	NUM
asir-15739	31	9	can	can	AUX
asir-15739	31	10	be	be	AUX
asir-15739	31	11	obtained	obtain	VERB
asir-15739	31	12	by	by	ADP
asir-15739	31	13	adding	add	VERB
asir-15739	31	14	modalities	modality	NOUN
asir-15739	31	15	to	to	PART
asir-15739	31	16	example	example	VERB
asir-15739	31	17	1	1	NUM
asir-15739	31	18	.	.	PUNCT
asir-15739	31	19	example	example	NOUN
asir-15739	32	1	2	2	NUM
asir-15739	32	2	:	:	PUNCT
asir-15739	32	3	major	major	ADJ
asir-15739	32	4	premise	premise	NOUN
asir-15739	32	5	:	:	PUNCT
asir-15739	32	6	all	all	DET
asir-15739	32	7	middle	middle	ADJ
asir-15739	32	8	-	-	PUNCT
asir-15739	32	9	aged	aged	ADJ
asir-15739	32	10	healthy	healthy	ADJ
asir-15739	32	11	hens	hen	NOUN
asir-15739	32	12	are	be	AUX
asir-15739	32	13	necessarily	necessarily	ADV
asir-15739	32	14	egg	egg	NOUN
asir-15739	32	15	-	-	PUNCT
asir-15739	32	16	laying	lay	VERB
asir-15739	32	17	hens	hen	NOUN
asir-15739	32	18	.	.	PUNCT
asir-15739	33	1	minor	minor	ADJ
asir-15739	33	2	premise	premise	NOUN
asir-15739	33	3	:	:	PUNCT
asir-15739	33	4	most	most	ADJ
asir-15739	33	5	chickens	chicken	NOUN
asir-15739	33	6	in	in	ADP
asir-15739	33	7	this	this	DET
asir-15739	33	8	farm	farm	NOUN
asir-15739	33	9	are	be	AUX
asir-15739	33	10	middle	middle	ADJ
asir-15739	33	11	-	-	PUNCT
asir-15739	33	12	aged	aged	ADJ
asir-15739	33	13	healthy	healthy	ADJ
asir-15739	33	14	hens	hen	NOUN
asir-15739	33	15	.	.	PUNCT
asir-15739	34	1	conclusion	conclusion	NOUN
asir-15739	34	2	:	:	PUNCT
asir-15739	34	3	some	some	DET
asir-15739	34	4	chickens	chicken	NOUN
asir-15739	34	5	in	in	ADP
asir-15739	34	6	this	this	DET
asir-15739	34	7	farm	farm	NOUN
asir-15739	34	8	are	be	AUX
asir-15739	34	9	possibly	possibly	ADV
asir-15739	34	10	egg	egg	NOUN
asir-15739	34	11	-	-	PUNCT
asir-15739	34	12	laying	lay	VERB
asir-15739	34	13	hens	hen	NOUN
asir-15739	34	14	.	.	PUNCT
asir-15739	35	1	similarly	similarly	ADV
asir-15739	35	2	to	to	PART
asir-15739	35	3	example	example	VERB
asir-15739	35	4	1	1	NUM
asir-15739	35	5	,	,	PUNCT
asir-15739	35	6	example	example	NOUN
asir-15739	35	7	2	2	NUM
asir-15739	35	8	can	can	AUX
asir-15739	35	9	be	be	AUX
asir-15739	35	10	formalized	formalize	VERB
asir-15739	35	11	by	by	ADP
asir-15739	35	12	all(m	all(m	PROPN
asir-15739	35	13	,	,	PUNCT
asir-15739	35	14	p)most(s	p)most(s	PROPN
asir-15739	35	15	,	,	PUNCT
asir-15739	35	16	m)some(s	m)some(s	PROPN
asir-15739	35	17	,	,	PUNCT
asir-15739	35	18	p	p	NOUN
asir-15739	35	19	)	)	PUNCT
asir-15739	35	20	.	.	PUNCT
asir-15739	36	1	in	in	ADP
asir-15739	36	2	fact	fact	NOUN
asir-15739	36	3	,	,	PUNCT
asir-15739	36	4	a	a	DET
asir-15739	36	5	sentence	sentence	NOUN
asir-15739	36	6	with	with	ADP
asir-15739	36	7	quantification	quantification	NOUN
asir-15739	36	8	discussed	discuss	VERB
asir-15739	36	9	in	in	ADP
asir-15739	36	10	this	this	DET
asir-15739	36	11	paper	paper	NOUN
asir-15739	36	12	can	can	AUX
asir-15739	36	13	be	be	AUX
asir-15739	36	14	formalized	formalize	VERB
asir-15739	36	15	into	into	ADP
asir-15739	36	16	a	a	DET
asir-15739	36	17	tripartite	tripartite	ADJ
asir-15739	36	18	structure	structure	NOUN
asir-15739	36	19	like	like	ADP
asir-15739	36	20	q(s	q(s	PROPN
asir-15739	36	21	,	,	PUNCT
asir-15739	36	22	p	p	NOUN
asir-15739	36	23	)	)	PUNCT
asir-15739	36	24	.	.	PUNCT
asir-15739	37	1	let	let	VERB
asir-15739	37	2	q1	q1	PROPN
asir-15739	37	3	,	,	PUNCT
asir-15739	37	4	q2	q2	PROPN
asir-15739	37	5	,	,	PUNCT
asir-15739	37	6	q3	q3	PROPN
asir-15739	37	7	be	be	AUX
asir-15739	37	8	generalized	generalized	ADJ
asir-15739	37	9	quantifiers	quantifier	NOUN
asir-15739	37	10	,	,	PUNCT
asir-15739	37	11	and	and	CCONJ
asir-15739	37	12	take	take	VERB
asir-15739	37	13	the	the	DET
asir-15739	37	14	first	first	ADJ
asir-15739	37	15	figure	figure	NOUN
asir-15739	37	16	syllogism	syllogism	NOUN
asir-15739	37	17	as	as	ADP
asir-15739	37	18	an	an	DET
asir-15739	37	19	example	example	NOUN
asir-15739	37	20	.	.	PUNCT
asir-15739	38	1	it	it	PRON
asir-15739	38	2	can	can	AUX
asir-15739	38	3	be	be	AUX
asir-15739	38	4	formalized	formalize	VERB
asir-15739	38	5	as	as	ADP
asir-15739	38	6	q1(m	q1(m	PROPN
asir-15739	38	7	,	,	PUNCT
asir-15739	38	8	p)q2(s	p)q2(s	NOUN
asir-15739	38	9	,	,	PUNCT
asir-15739	38	10	m)q3(s	m)q3(s	PROPN
asir-15739	38	11	,	,	PUNCT
asir-15739	38	12	p	p	NOUN
asir-15739	38	13	)	)	PUNCT
asir-15739	38	14	.	.	PUNCT
asir-15739	39	1	there	there	PRON
asir-15739	39	2	are	be	VERB
asir-15739	39	3	four	four	NUM
asir-15739	39	4	situations	situation	NOUN
asir-15739	39	5	as	as	SCONJ
asir-15739	39	6	follows	follow	VERB
asir-15739	39	7	:	:	PUNCT
asir-15739	39	8	(	(	PUNCT
asir-15739	39	9	1	1	X
asir-15739	39	10	)	)	PUNCT
asir-15739	39	11	if	if	SCONJ
asir-15739	39	12	q1	q1	PROPN
asir-15739	39	13	,	,	PUNCT
asir-15739	39	14	q2	q2	NOUN
asir-15739	39	15	and	and	CCONJ
asir-15739	39	16	q3	q3	PROPN
asir-15739	39	17	only	only	ADV
asir-15739	39	18	range	range	VERB
asir-15739	39	19	over	over	ADP
asir-15739	39	20	the	the	DET
asir-15739	39	21	four	four	NUM
asir-15739	39	22	aristotelian	aristotelian	ADJ
asir-15739	39	23	quantifiers	quantifier	NOUN
asir-15739	39	24	(	(	PUNCT
asir-15739	39	25	that	that	PRON
asir-15739	39	26	is	is	ADV
asir-15739	39	27	,	,	PUNCT
asir-15739	39	28	all	all	PRON
asir-15739	39	29	,	,	PUNCT
asir-15739	39	30	some	some	PRON
asir-15739	39	31	,	,	PUNCT
asir-15739	39	32	no	no	INTJ
asir-15739	39	33	and	and	CCONJ
asir-15739	39	34	not	not	PART
asir-15739	39	35	all	all	PRON
asir-15739	39	36	)	)	PUNCT
asir-15739	39	37	,	,	PUNCT
asir-15739	39	38	one	one	PRON
asir-15739	39	39	can	can	AUX
asir-15739	39	40	obtain	obtain	VERB
asir-15739	39	41	aristotelian	aristotelian	ADJ
asir-15739	39	42	syllogisms	syllogism	NOUN
asir-15739	39	43	(	(	PUNCT
asir-15739	39	44	long	long	ADJ
asir-15739	39	45	,	,	PUNCT
asir-15739	39	46	2023	2023	NUM
asir-15739	39	47	)	)	PUNCT
asir-15739	39	48	.	.	PUNCT
asir-15739	40	1	(	(	PUNCT
asir-15739	40	2	2	2	X
asir-15739	40	3	)	)	PUNCT
asir-15739	40	4	if	if	SCONJ
asir-15739	40	5	q1	q1	PROPN
asir-15739	40	6	,	,	PUNCT
asir-15739	40	7	q2	q2	NOUN
asir-15739	40	8	and	and	CCONJ
asir-15739	40	9	q3	q3	PROPN
asir-15739	40	10	range	range	VERB
asir-15739	40	11	over	over	ADP
asir-15739	40	12	all	all	DET
asir-15739	40	13	the	the	DET
asir-15739	40	14	generalized	generalized	ADJ
asir-15739	40	15	quantifiers	quantifier	NOUN
asir-15739	40	16	including	include	VERB
asir-15739	40	17	aristotelian	aristotelian	PROPN
asir-15739	40	18	quantifiers	quantifier	NOUN
asir-15739	40	19	,	,	PUNCT
asir-15739	40	20	one	one	PRON
asir-15739	40	21	can	can	AUX
asir-15739	40	22	obtain	obtain	VERB
asir-15739	40	23	generalized	generalized	ADJ
asir-15739	40	24	syllogisms	syllogism	NOUN
asir-15739	40	25	(	(	PUNCT
asir-15739	40	26	xiaojun	xiaojun	PROPN
asir-15739	40	27	,	,	PUNCT
asir-15739	40	28	2021	2021	NUM
asir-15739	40	29	)	)	PUNCT
asir-15739	40	30	.	.	PUNCT
asir-15739	41	1	(	(	PUNCT
asir-15739	41	2	3	3	X
asir-15739	41	3	)	)	PUNCT
asir-15739	41	4	www.scholink.org/ojs/index.php/asir	www.scholink.org/ojs/index.php/asir	NOUN
asir-15739	41	5	applied	apply	VERB
asir-15739	41	6	science	science	NOUN
asir-15739	41	7	and	and	CCONJ
asir-15739	41	8	innovative	innovative	ADJ
asir-15739	41	9	research	research	NOUN
asir-15739	41	10	vol	vol	NOUN
asir-15739	41	11	.	.	PUNCT
asir-15739	42	1	7	7	NUM
asir-15739	42	2	,	,	PUNCT
asir-15739	42	3	no	no	INTJ
asir-15739	42	4	.	.	NOUN
asir-15739	42	5	2	2	NUM
asir-15739	42	6	,	,	PUNCT
asir-15739	42	7	2023	2023	NUM
asir-15739	42	8	47	47	NUM
asir-15739	42	9	published	publish	VERB
asir-15739	42	10	by	by	ADP
asir-15739	42	11	scholink	scholink	PROPN
asir-15739	42	12	inc	inc	PROPN
asir-15739	42	13	.	.	PROPN
asir-15739	43	1	if	if	SCONJ
asir-15739	43	2	q1	q1	PROPN
asir-15739	43	3	,	,	PUNCT
asir-15739	43	4	q2	q2	NOUN
asir-15739	43	5	and	and	CCONJ
asir-15739	43	6	q3	q3	PROPN
asir-15739	43	7	range	range	VERB
asir-15739	43	8	over	over	ADP
asir-15739	43	9	the	the	DET
asir-15739	43	10	following	follow	VERB
asir-15739	43	11	12	12	NUM
asir-15739	43	12	aristotelian	aristotelian	PROPN
asir-15739	43	13	modal	modal	NOUN
asir-15739	43	14	quantifiers	quantifier	NOUN
asir-15739	43	15	:	:	PUNCT
asir-15739	43	16	all	all	PRON
asir-15739	43	17	,	,	PUNCT
asir-15739	43	18	some	some	PRON
asir-15739	43	19	,	,	PUNCT
asir-15739	43	20	no	no	INTJ
asir-15739	43	21	,	,	PUNCT
asir-15739	43	22	not	not	PART
asir-15739	43	23	all	all	PRON
asir-15739	43	24	,	,	PUNCT
asir-15739	43	25	all	all	ADV
asir-15739	43	26	,	,	PUNCT
asir-15739	43	27	some	some	PROPN
asir-15739	43	28	,	,	PUNCT
asir-15739	43	29	no	no	NUM
asir-15739	43	30	,	,	PUNCT
asir-15739	43	31	not	not	ADV
asir-15739	43	32	all	all	PRON
asir-15739	43	33	,	,	PUNCT
asir-15739	43	34	all	all	ADV
asir-15739	43	35	,	,	PUNCT
asir-15739	43	36	some	some	PROPN
asir-15739	43	37	,	,	PUNCT
asir-15739	43	38	no	no	NOUN
asir-15739	43	39	and	and	CCONJ
asir-15739	43	40	not	not	ADV
asir-15739	43	41	all	all	PRON
asir-15739	43	42	,	,	PUNCT
asir-15739	43	43	one	one	PRON
asir-15739	43	44	can	can	AUX
asir-15739	43	45	obtain	obtain	VERB
asir-15739	43	46	aristotelian	aristotelian	ADJ
asir-15739	43	47	modal	modal	NOUN
asir-15739	43	48	syllogisms	syllogism	NOUN
asir-15739	43	49	(	(	PUNCT
asir-15739	43	50	cheng	cheng	PROPN
asir-15739	43	51	,	,	PUNCT
asir-15739	43	52	2023	2023	NUM
asir-15739	43	53	)	)	PUNCT
asir-15739	43	54	.	.	PUNCT
asir-15739	44	1	(	(	PUNCT
asir-15739	44	2	4	4	X
asir-15739	44	3	)	)	PUNCT
asir-15739	44	4	if	if	SCONJ
asir-15739	44	5	q1	q1	PROPN
asir-15739	44	6	,	,	PUNCT
asir-15739	44	7	q2	q2	NOUN
asir-15739	44	8	and	and	CCONJ
asir-15739	44	9	q3	q3	PROPN
asir-15739	44	10	range	range	VERB
asir-15739	44	11	over	over	ADP
asir-15739	44	12	all	all	DET
asir-15739	44	13	generalized	generalized	ADJ
asir-15739	44	14	modal	modal	ADJ
asir-15739	44	15	quantifiers	quantifier	NOUN
asir-15739	44	16	including	include	VERB
asir-15739	44	17	the	the	DET
asir-15739	44	18	above	above	ADJ
asir-15739	44	19	12	12	NUM
asir-15739	44	20	aristotelian	aristotelian	PROPN
asir-15739	44	21	modal	modal	NOUN
asir-15739	44	22	quantifiers	quantifier	NOUN
asir-15739	44	23	,	,	PUNCT
asir-15739	44	24	one	one	PRON
asir-15739	44	25	can	can	AUX
asir-15739	44	26	obtain	obtain	VERB
asir-15739	44	27	generalized	generalized	ADJ
asir-15739	44	28	modal	modal	ADJ
asir-15739	44	29	syllogisms	syllogism	NOUN
asir-15739	44	30	.	.	PUNCT
asir-15739	45	1	definition	definition	NOUN
asir-15739	45	2	1	1	NUM
asir-15739	45	3	(	(	PUNCT
asir-15739	45	4	truth	truth	NOUN
asir-15739	45	5	value	value	NOUN
asir-15739	45	6	definitions	definition	NOUN
asir-15739	45	7	of	of	ADP
asir-15739	45	8	non	non	ADJ
asir-15739	45	9	-	-	ADJ
asir-15739	45	10	modal	modal	ADJ
asir-15739	45	11	sentences	sentence	NOUN
asir-15739	45	12	with	with	ADP
asir-15739	45	13	quantification	quantification	NOUN
asir-15739	45	14	):	):	PUNCT
asir-15739	45	15	(	(	PUNCT
asir-15739	45	16	1.1	1.1	NUM
asir-15739	45	17	)	)	PUNCT
asir-15739	45	18	all(s	all(s	PROPN
asir-15739	45	19	,	,	PUNCT
asir-15739	45	20	p)sp	p)sp	PROPN
asir-15739	45	21	;	;	PUNCT
asir-15739	45	22	(	(	PUNCT
asir-15739	45	23	1.2	1.2	NUM
asir-15739	45	24	)	)	PUNCT
asir-15739	45	25	no(s	no(s	PROPN
asir-15739	45	26	,	,	PUNCT
asir-15739	45	27	p)s∩p=	p)s∩p=	VERB
asir-15739	45	28	;	;	PUNCT
asir-15739	45	29	(	(	PUNCT
asir-15739	45	30	1.3	1.3	NUM
asir-15739	45	31	)	)	PUNCT
asir-15739	45	32	some(s	some(s	PROPN
asir-15739	45	33	,	,	PUNCT
asir-15739	45	34	p)s∩p	p)s∩p	PROPN
asir-15739	45	35	;	;	PUNCT
asir-15739	45	36	(	(	PUNCT
asir-15739	45	37	1.4	1.4	NUM
asir-15739	45	38	)	)	PUNCT
asir-15739	45	39	not	not	PART
asir-15739	45	40	all(s	all(s	PROPN
asir-15739	45	41	,	,	PUNCT
asir-15739	45	42	p)s⊈p	p)s⊈p	NOUN
asir-15739	45	43	;	;	PUNCT
asir-15739	45	44	(	(	PUNCT
asir-15739	45	45	1.5	1.5	NUM
asir-15739	45	46	)	)	PUNCT
asir-15739	45	47	most(s	most(s	PROPN
asir-15739	45	48	,	,	PUNCT
asir-15739	45	49	p)s∩p0.6s.	p)s∩p0.6s.	VERB
asir-15739	45	50	the	the	DET
asir-15739	45	51	truth	truth	NOUN
asir-15739	45	52	value	value	NOUN
asir-15739	45	53	definitions	definition	NOUN
asir-15739	45	54	of	of	ADP
asir-15739	45	55	modal	modal	ADJ
asir-15739	45	56	sentences	sentence	NOUN
asir-15739	45	57	with	with	ADP
asir-15739	45	58	quantification	quantification	NOUN
asir-15739	45	59	can	can	AUX
asir-15739	45	60	be	be	AUX
asir-15739	45	61	given	give	VERB
asir-15739	45	62	as	as	SCONJ
asir-15739	45	63	follows	follow	VERB
asir-15739	45	64	in	in	ADP
asir-15739	45	65	line	line	NOUN
asir-15739	45	66	with	with	ADP
asir-15739	45	67	definition	definition	NOUN
asir-15739	45	68	1	1	NUM
asir-15739	45	69	and	and	CCONJ
asir-15739	45	70	possible	possible	ADJ
asir-15739	45	71	world	world	NOUN
asir-15739	45	72	semantics	semantic	NOUN
asir-15739	45	73	(	(	PUNCT
asir-15739	45	74	chellas	chella	NOUN
asir-15739	45	75	,	,	PUNCT
asir-15739	45	76	1980	1980	NUM
asir-15739	45	77	)	)	PUNCT
asir-15739	45	78	.	.	PUNCT
asir-15739	46	1	definition	definition	NOUN
asir-15739	46	2	2	2	NUM
asir-15739	46	3	(	(	PUNCT
asir-15739	46	4	truth	truth	NOUN
asir-15739	46	5	value	value	NOUN
asir-15739	46	6	definitions	definition	NOUN
asir-15739	46	7	of	of	ADP
asir-15739	46	8	modal	modal	ADJ
asir-15739	46	9	sentences	sentence	NOUN
asir-15739	46	10	with	with	ADP
asir-15739	46	11	quantification	quantification	NOUN
asir-15739	46	12	):	):	PUNCT
asir-15739	46	13	(	(	PUNCT
asir-15739	46	14	2.1	2.1	NUM
asir-15739	46	15	)	)	PUNCT
asir-15739	46	16	all(s	all(s	PROPN
asir-15739	46	17	,	,	PUNCT
asir-15739	46	18	p	p	NOUN
asir-15739	46	19	)	)	PUNCT
asir-15739	46	20	is	be	AUX
asir-15739	46	21	true	true	ADJ
asir-15739	46	22	if	if	SCONJ
asir-15739	47	1	and	and	CCONJ
asir-15739	47	2	only	only	ADV
asir-15739	47	3	if	if	SCONJ
asir-15739	47	4	sp	sp	NOUN
asir-15739	47	5	is	be	AUX
asir-15739	47	6	true	true	ADJ
asir-15739	47	7	in	in	ADP
asir-15739	47	8	any	any	DET
asir-15739	47	9	possible	possible	ADJ
asir-15739	47	10	world	world	NOUN
asir-15739	47	11			NOUN
asir-15739	47	12	;	;	PUNCT
asir-15739	47	13	(	(	PUNCT
asir-15739	47	14	2.2	2.2	NUM
asir-15739	47	15	)	)	PUNCT
asir-15739	47	16	all(s	all(s	NUM
asir-15739	47	17	,	,	PUNCT
asir-15739	47	18	p	p	NOUN
asir-15739	47	19	)	)	PUNCT
asir-15739	47	20	is	be	AUX
asir-15739	47	21	true	true	ADJ
asir-15739	47	22	if	if	SCONJ
asir-15739	48	1	and	and	CCONJ
asir-15739	48	2	only	only	ADV
asir-15739	48	3	if	if	SCONJ
asir-15739	48	4	sp	sp	NOUN
asir-15739	48	5	is	be	AUX
asir-15739	48	6	true	true	ADJ
asir-15739	48	7	in	in	ADP
asir-15739	48	8	at	at	ADV
asir-15739	48	9	least	least	ADV
asir-15739	48	10	one	one	NUM
asir-15739	48	11	possible	possible	ADJ
asir-15739	48	12	world	world	NOUN
asir-15739	48	13			NOUN
asir-15739	48	14	;	;	PUNCT
asir-15739	48	15	(	(	PUNCT
asir-15739	48	16	2.3	2.3	NUM
asir-15739	48	17	)	)	PUNCT
asir-15739	48	18	no(s	no(s	NOUN
asir-15739	48	19	,	,	PUNCT
asir-15739	48	20	p	p	NOUN
asir-15739	48	21	)	)	PUNCT
asir-15739	48	22	is	be	AUX
asir-15739	48	23	true	true	ADJ
asir-15739	48	24	if	if	SCONJ
asir-15739	48	25	and	and	CCONJ
asir-15739	48	26	only	only	ADV
asir-15739	48	27	if	if	SCONJ
asir-15739	48	28	s∩p=	s∩p=	NOUN
asir-15739	48	29	is	be	AUX
asir-15739	48	30	true	true	ADJ
asir-15739	48	31	in	in	ADP
asir-15739	48	32	any	any	DET
asir-15739	48	33	possible	possible	ADJ
asir-15739	48	34	world	world	NOUN
asir-15739	48	35			NOUN
asir-15739	48	36	;	;	PUNCT
asir-15739	48	37	(	(	PUNCT
asir-15739	48	38	2.4)no(s	2.4)no(s	NUM
asir-15739	48	39	,	,	PUNCT
asir-15739	48	40	p	p	NOUN
asir-15739	48	41	)	)	PUNCT
asir-15739	48	42	is	be	AUX
asir-15739	48	43	true	true	ADJ
asir-15739	48	44	if	if	SCONJ
asir-15739	48	45	and	and	CCONJ
asir-15739	48	46	only	only	ADV
asir-15739	48	47	if	if	SCONJ
asir-15739	48	48	s∩p=	s∩p=	NOUN
asir-15739	48	49	is	be	AUX
asir-15739	48	50	true	true	ADJ
asir-15739	48	51	in	in	ADP
asir-15739	48	52	at	at	ADV
asir-15739	48	53	least	least	ADV
asir-15739	48	54	one	one	NUM
asir-15739	48	55	possible	possible	ADJ
asir-15739	48	56	world	world	NOUN
asir-15739	48	57			NOUN
asir-15739	48	58	;	;	PUNCT
asir-15739	48	59	(	(	PUNCT
asir-15739	48	60	2.5	2.5	NUM
asir-15739	48	61	)	)	PUNCT
asir-15739	48	62	some(s	some(s	NUM
asir-15739	48	63	,	,	PUNCT
asir-15739	48	64	p	p	NOUN
asir-15739	48	65	)	)	PUNCT
asir-15739	48	66	is	be	AUX
asir-15739	48	67	true	true	ADJ
asir-15739	48	68	if	if	SCONJ
asir-15739	48	69	and	and	CCONJ
asir-15739	48	70	only	only	ADV
asir-15739	48	71	if	if	SCONJ
asir-15739	48	72	s∩p	s∩p	NOUN
asir-15739	48	73	is	be	AUX
asir-15739	48	74	true	true	ADJ
asir-15739	48	75	in	in	ADP
asir-15739	48	76	any	any	DET
asir-15739	48	77	possible	possible	ADJ
asir-15739	48	78	world	world	NOUN
asir-15739	48	79			NOUN
asir-15739	48	80	;	;	PUNCT
asir-15739	48	81	(	(	PUNCT
asir-15739	48	82	2.6)some(s	2.6)some(s	NUM
asir-15739	48	83	,	,	PUNCT
asir-15739	48	84	p	p	NOUN
asir-15739	48	85	)	)	PUNCT
asir-15739	48	86	is	be	AUX
asir-15739	48	87	true	true	ADJ
asir-15739	48	88	if	if	SCONJ
asir-15739	48	89	and	and	CCONJ
asir-15739	48	90	only	only	ADV
asir-15739	48	91	if	if	SCONJ
asir-15739	48	92	s∩p	s∩p	NOUN
asir-15739	48	93	is	be	AUX
asir-15739	48	94	true	true	ADJ
asir-15739	48	95	in	in	ADP
asir-15739	48	96	at	at	ADV
asir-15739	48	97	least	least	ADV
asir-15739	48	98	one	one	NUM
asir-15739	48	99	possible	possible	ADJ
asir-15739	48	100	world	world	NOUN
asir-15739	48	101			NOUN
asir-15739	48	102	;	;	PUNCT
asir-15739	48	103	(	(	PUNCT
asir-15739	48	104	2.7	2.7	NUM
asir-15739	48	105	)	)	PUNCT
asir-15739	49	1	not	not	ADV
asir-15739	50	1	all(s	all(s	PROPN
asir-15739	50	2	,	,	PUNCT
asir-15739	50	3	p	p	NOUN
asir-15739	50	4	)	)	PUNCT
asir-15739	50	5	is	be	AUX
asir-15739	50	6	true	true	ADJ
asir-15739	50	7	if	if	SCONJ
asir-15739	51	1	and	and	CCONJ
asir-15739	51	2	only	only	ADV
asir-15739	51	3	if	if	SCONJ
asir-15739	51	4	s⊈p	s⊈p	NOUN
asir-15739	51	5	is	be	AUX
asir-15739	51	6	true	true	ADJ
asir-15739	51	7	in	in	ADP
asir-15739	51	8	any	any	DET
asir-15739	51	9	possible	possible	ADJ
asir-15739	51	10	world	world	NOUN
asir-15739	51	11			NOUN
asir-15739	51	12	;	;	PUNCT
asir-15739	51	13	(	(	PUNCT
asir-15739	51	14	2.8	2.8	NUM
asir-15739	51	15	)	)	PUNCT
asir-15739	51	16	not	not	ADV
asir-15739	52	1	all(s	all(s	PROPN
asir-15739	52	2	,	,	PUNCT
asir-15739	52	3	p	p	NOUN
asir-15739	52	4	)	)	PUNCT
asir-15739	52	5	is	be	AUX
asir-15739	52	6	true	true	ADJ
asir-15739	52	7	if	if	SCONJ
asir-15739	53	1	and	and	CCONJ
asir-15739	53	2	only	only	ADV
asir-15739	53	3	if	if	SCONJ
asir-15739	53	4	s⊈p	s⊈p	NOUN
asir-15739	53	5	is	be	AUX
asir-15739	53	6	true	true	ADJ
asir-15739	53	7	in	in	ADP
asir-15739	53	8	at	at	ADV
asir-15739	53	9	least	least	ADV
asir-15739	53	10	one	one	NUM
asir-15739	53	11	possible	possible	ADJ
asir-15739	53	12	world	world	NOUN
asir-15739	53	13			NOUN
asir-15739	53	14	;	;	PUNCT
asir-15739	53	15	(	(	PUNCT
asir-15739	53	16	2.9	2.9	NUM
asir-15739	53	17	)	)	PUNCT
asir-15739	53	18	most(s	most(s	X
asir-15739	53	19	,	,	PUNCT
asir-15739	53	20	p	p	NOUN
asir-15739	53	21	)	)	PUNCT
asir-15739	53	22	is	be	AUX
asir-15739	53	23	true	true	ADJ
asir-15739	53	24	if	if	SCONJ
asir-15739	54	1	and	and	CCONJ
asir-15739	54	2	only	only	ADV
asir-15739	54	3	if	if	SCONJ
asir-15739	54	4	s∩p0.6s	s∩p0.6s	PROPN
asir-15739	54	5	is	be	AUX
asir-15739	54	6	true	true	ADJ
asir-15739	54	7	in	in	ADP
asir-15739	54	8	any	any	DET
asir-15739	54	9	possible	possible	ADJ
asir-15739	54	10	world	world	NOUN
asir-15739	54	11			NOUN
asir-15739	54	12	;	;	PUNCT
asir-15739	54	13	(	(	PUNCT
asir-15739	54	14	2.10	2.10	NUM
asir-15739	54	15	)	)	PUNCT
asir-15739	54	16	most(s	most(	NOUN
asir-15739	54	17	,	,	PUNCT
asir-15739	54	18	p	p	NOUN
asir-15739	54	19	)	)	PUNCT
asir-15739	54	20	is	be	AUX
asir-15739	54	21	true	true	ADJ
asir-15739	54	22	if	if	SCONJ
asir-15739	55	1	and	and	CCONJ
asir-15739	55	2	only	only	ADV
asir-15739	55	3	if	if	SCONJ
asir-15739	55	4	s∩p0.6s	s∩p0.6s	PROPN
asir-15739	55	5	is	be	AUX
asir-15739	55	6	true	true	ADJ
asir-15739	55	7	in	in	ADP
asir-15739	55	8	at	at	ADV
asir-15739	55	9	least	least	ADV
asir-15739	55	10	one	one	NUM
asir-15739	55	11	possible	possible	ADJ
asir-15739	55	12	world	world	NOUN
asir-15739	55	13	.	.	NOUN
asir-15739	55	14	fact	fact	NOUN
asir-15739	55	15	1	1	NUM
asir-15739	55	16	(	(	PUNCT
asir-15739	55	17	a	a	DET
asir-15739	55	18	necessary	necessary	ADJ
asir-15739	55	19	proposition	proposition	NOUN
asir-15739	55	20	implies	imply	VERB
asir-15739	55	21	an	an	DET
asir-15739	55	22	assertoric	assertoric	ADJ
asir-15739	55	23	proposition	proposition	NOUN
asir-15739	55	24	):	):	PUNCT
asir-15739	55	25	(	(	PUNCT
asir-15739	55	26	1.1	1.1	NUM
asir-15739	55	27	)	)	PUNCT
asir-15739	55	28	all(s	all(s	PROPN
asir-15739	55	29	,	,	PUNCT
asir-15739	55	30	p)all(s	p)all(s	NUM
asir-15739	55	31	,	,	PUNCT
asir-15739	55	32	p	p	NOUN
asir-15739	55	33	)	)	PUNCT
asir-15739	55	34	;	;	PUNCT
asir-15739	55	35	(	(	PUNCT
asir-15739	55	36	1.2	1.2	NUM
asir-15739	55	37	)	)	PUNCT
asir-15739	55	38	no(s	no(s	NOUN
asir-15739	55	39	,	,	PUNCT
asir-15739	55	40	p)no(s	p)no(s	NOUN
asir-15739	55	41	,	,	PUNCT
asir-15739	55	42	p	p	NOUN
asir-15739	55	43	)	)	PUNCT
asir-15739	55	44	;	;	PUNCT
asir-15739	55	45	(	(	PUNCT
asir-15739	55	46	1.3	1.3	NUM
asir-15739	55	47	)	)	PUNCT
asir-15739	55	48	some(s	some(s	NUM
asir-15739	55	49	,	,	PUNCT
asir-15739	55	50	p)some(s	p)some(s	PROPN
asir-15739	55	51	,	,	PUNCT
asir-15739	55	52	p	p	NOUN
asir-15739	55	53	)	)	PUNCT
asir-15739	55	54	;	;	PUNCT
asir-15739	55	55	(	(	PUNCT
asir-15739	55	56	1.4	1.4	NUM
asir-15739	55	57	)	)	PUNCT
asir-15739	55	58	not	not	ADV
asir-15739	56	1	all(s	all(s	PROPN
asir-15739	56	2	,	,	PUNCT
asir-15739	56	3	p)not	p)not	PROPN
asir-15739	56	4	all(s	all(s	PROPN
asir-15739	56	5	,	,	PUNCT
asir-15739	56	6	p	p	NOUN
asir-15739	56	7	)	)	PUNCT
asir-15739	56	8	;	;	PUNCT
asir-15739	56	9	(	(	PUNCT
asir-15739	56	10	1.5	1.5	NUM
asir-15739	56	11	)	)	PUNCT
asir-15739	56	12	most(s	most(	NOUN
asir-15739	56	13	,	,	PUNCT
asir-15739	56	14	p)most(s	p)most(s	X
asir-15739	56	15	,	,	PUNCT
asir-15739	56	16	p	p	NOUN
asir-15739	56	17	)	)	PUNCT
asir-15739	56	18	.	.	PUNCT
asir-15739	57	1	fact	fact	NOUN
asir-15739	57	2	2	2	NUM
asir-15739	57	3	(	(	PUNCT
asir-15739	57	4	an	an	DET
asir-15739	57	5	assertoric	assertoric	ADJ
asir-15739	57	6	proposition	proposition	NOUN
asir-15739	57	7	implies	imply	VERB
asir-15739	57	8	a	a	DET
asir-15739	57	9	possible	possible	ADJ
asir-15739	57	10	proposition	proposition	NOUN
asir-15739	57	11	):	):	PUNCT
asir-15739	57	12	(	(	PUNCT
asir-15739	57	13	2.1	2.1	NUM
asir-15739	57	14	)	)	PUNCT
asir-15739	57	15	all(s	all(s	PROPN
asir-15739	57	16	,	,	PUNCT
asir-15739	57	17	p)all(s	p)all(s	NOUN
asir-15739	57	18	,	,	PUNCT
asir-15739	57	19	p	p	NOUN
asir-15739	57	20	)	)	PUNCT
asir-15739	57	21	;	;	PUNCT
asir-15739	57	22	(	(	PUNCT
asir-15739	57	23	2.2	2.2	NUM
asir-15739	57	24	)	)	PUNCT
asir-15739	57	25	no(s	no(s	NUM
asir-15739	57	26	,	,	PUNCT
asir-15739	57	27	p)no(s	p)no(s	NOUN
asir-15739	57	28	,	,	PUNCT
asir-15739	57	29	p	p	NOUN
asir-15739	57	30	)	)	PUNCT
asir-15739	57	31	;	;	PUNCT
asir-15739	57	32	(	(	PUNCT
asir-15739	57	33	2.3	2.3	NUM
asir-15739	57	34	)	)	PUNCT
asir-15739	57	35	some(s	some(s	ADJ
asir-15739	57	36	,	,	PUNCT
asir-15739	57	37	p)some(s	p)some(s	PROPN
asir-15739	57	38	,	,	PUNCT
asir-15739	57	39	p	p	NOUN
asir-15739	57	40	)	)	PUNCT
asir-15739	57	41	;	;	PUNCT
asir-15739	57	42	(	(	PUNCT
asir-15739	57	43	2.4	2.4	NUM
asir-15739	57	44	)	)	PUNCT
asir-15739	57	45	not	not	PART
asir-15739	57	46	all(s	all(s	PROPN
asir-15739	57	47	,	,	PUNCT
asir-15739	57	48	p)not	p)not	ADV
asir-15739	57	49	all(s	all(s	PROPN
asir-15739	57	50	,	,	PUNCT
asir-15739	57	51	p	p	NOUN
asir-15739	57	52	)	)	PUNCT
asir-15739	57	53	;	;	PUNCT
asir-15739	57	54	(	(	PUNCT
asir-15739	57	55	2.5	2.5	NUM
asir-15739	57	56	)	)	PUNCT
asir-15739	57	57	most(s	most(s	PROPN
asir-15739	57	58	,	,	PUNCT
asir-15739	57	59	p)most(s	p)most(s	PROPN
asir-15739	57	60	,	,	PUNCT
asir-15739	57	61	p	p	NOUN
asir-15739	57	62	)	)	PUNCT
asir-15739	57	63	.	.	PUNCT
asir-15739	58	1	fact	fact	NOUN
asir-15739	58	2	3	3	NUM
asir-15739	58	3	(	(	PUNCT
asir-15739	58	4	a	a	DET
asir-15739	58	5	necessary	necessary	ADJ
asir-15739	58	6	proposition	proposition	NOUN
asir-15739	58	7	implies	imply	VERB
asir-15739	58	8	an	an	DET
asir-15739	58	9	possible	possible	ADJ
asir-15739	58	10	proposition	proposition	NOUN
asir-15739	58	11	):	):	PUNCT
asir-15739	58	12	(	(	PUNCT
asir-15739	58	13	3.1	3.1	NUM
asir-15739	58	14	)	)	PUNCT
asir-15739	58	15	all(s	all(s	PROPN
asir-15739	58	16	,	,	PUNCT
asir-15739	58	17	p)all(s	p)all(s	NOUN
asir-15739	58	18	,	,	PUNCT
asir-15739	58	19	p	p	NOUN
asir-15739	58	20	)	)	PUNCT
asir-15739	58	21	;	;	PUNCT
asir-15739	58	22	(	(	PUNCT
asir-15739	58	23	3.2	3.2	NUM
asir-15739	58	24	)	)	PUNCT
asir-15739	58	25	no(s	no(s	NOUN
asir-15739	58	26	,	,	PUNCT
asir-15739	58	27	p)no(s	p)no(s	NOUN
asir-15739	58	28	,	,	PUNCT
asir-15739	58	29	p	p	NOUN
asir-15739	58	30	)	)	PUNCT
asir-15739	58	31	;	;	PUNCT
asir-15739	58	32	(	(	PUNCT
asir-15739	58	33	3.3	3.3	NUM
asir-15739	58	34	)	)	PUNCT
asir-15739	58	35	some(s	some(s	NUM
asir-15739	58	36	,	,	PUNCT
asir-15739	58	37	p)some(s	p)some(s	PROPN
asir-15739	58	38	,	,	PUNCT
asir-15739	58	39	p	p	NOUN
asir-15739	58	40	)	)	PUNCT
asir-15739	58	41	;	;	PUNCT
asir-15739	58	42	(	(	PUNCT
asir-15739	58	43	3.4	3.4	NUM
asir-15739	58	44	)	)	PUNCT
asir-15739	58	45	not	not	ADV
asir-15739	59	1	all(s	all(s	PROPN
asir-15739	59	2	,	,	PUNCT
asir-15739	59	3	p)not	p)not	ADV
asir-15739	59	4	all(s	all(s	PROPN
asir-15739	59	5	,	,	PUNCT
asir-15739	59	6	p	p	NOUN
asir-15739	59	7	)	)	PUNCT
asir-15739	59	8	;	;	PUNCT
asir-15739	59	9	(	(	PUNCT
asir-15739	59	10	3.5	3.5	NUM
asir-15739	59	11	)	)	PUNCT
asir-15739	59	12	most(s	most(	NOUN
asir-15739	59	13	,	,	PUNCT
asir-15739	59	14	p)most(s	p)most(s	PROPN
asir-15739	59	15	,	,	PUNCT
asir-15739	59	16	p	p	NOUN
asir-15739	59	17	)	)	PUNCT
asir-15739	59	18	.	.	PUNCT
asir-15739	60	1	the	the	DET
asir-15739	60	2	above	above	ADJ
asir-15739	60	3	facts	fact	NOUN
asir-15739	60	4	are	be	AUX
asir-15739	60	5	the	the	DET
asir-15739	60	6	basic	basic	ADJ
asir-15739	60	7	knowledge	knowledge	NOUN
asir-15739	60	8	of	of	ADP
asir-15739	60	9	generalized	generalized	ADJ
asir-15739	60	10	quantifier	quantifier	NOUN
asir-15739	60	11	theory	theory	NOUN
asir-15739	60	12	(	(	PUNCT
asir-15739	60	13	peters	peters	PROPN
asir-15739	60	14	and	and	CCONJ
asir-15739	60	15	westerståhl	westerståhl	NOUN
asir-15739	60	16	,	,	PUNCT
asir-15739	60	17	2006	2006	NUM
asir-15739	60	18	)	)	PUNCT
asir-15739	60	19	or	or	CCONJ
asir-15739	60	20	classical	classical	ADJ
asir-15739	60	21	modal	modal	ADJ
asir-15739	60	22	logic	logic	NOUN
asir-15739	60	23	(	(	PUNCT
asir-15739	60	24	chagrov	chagrov	PROPN
asir-15739	60	25	&	&	CCONJ
asir-15739	60	26	zakharyaschev	zakharyaschev	PROPN
asir-15739	60	27	,	,	PUNCT
asir-15739	60	28	1997	1997	NUM
asir-15739	60	29	)	)	PUNCT
asir-15739	60	30	.	.	PUNCT
asir-15739	61	1	generalized	generalize	VERB
asir-15739	61	2	modal	modal	ADJ
asir-15739	61	3	syllogistic	syllogistic	NOUN
asir-15739	61	4	is	be	AUX
asir-15739	61	5	an	an	DET
asir-15739	61	6	extension	extension	NOUN
asir-15739	61	7	of	of	ADP
asir-15739	61	8	classical	classical	ADJ
asir-15739	61	9	first	first	ADJ
asir-15739	61	10	-	-	PUNCT
asir-15739	61	11	order	order	NOUN
asir-15739	61	12	logic	logic	NOUN
asir-15739	61	13	,	,	PUNCT
asir-15739	61	14	so	so	CCONJ
asir-15739	61	15	the	the	DET
asir-15739	61	16	basic	basic	ADJ
asir-15739	61	17	rules	rule	NOUN
asir-15739	61	18	of	of	ADP
asir-15739	61	19	the	the	DET
asir-15739	61	20	latter	latter	ADJ
asir-15739	61	21	also	also	ADV
asir-15739	61	22	hold	hold	VERB
asir-15739	61	23	in	in	ADP
asir-15739	61	24	the	the	DET
asir-15739	61	25	former	former	NOUN
asir-15739	61	26	.	.	PUNCT
asir-15739	62	1	for	for	ADP
asir-15739	62	2	instance	instance	NOUN
asir-15739	62	3	,	,	PUNCT
asir-15739	62	4	let	let	VERB
asir-15739	62	5	p	p	PRON
asir-15739	62	6	,	,	PUNCT
asir-15739	62	7	q	q	ADJ
asir-15739	62	8	,	,	PUNCT
asir-15739	62	9	r	r	NOUN
asir-15739	62	10	and	and	CCONJ
asir-15739	62	11	s	s	VERB
asir-15739	62	12	be	be	AUX
asir-15739	62	13	propositions	proposition	NOUN
asir-15739	62	14	,	,	PUNCT
asir-15739	62	15	if	if	SCONJ
asir-15739	62	16	⊢(pqr	⊢(pqr	NOUN
asir-15739	62	17	)	)	PUNCT
asir-15739	62	18	and	and	CCONJ
asir-15739	62	19	⊢(rs	⊢(r	NOUN
asir-15739	62	20	)	)	PUNCT
asir-15739	62	21	,	,	PUNCT
asir-15739	62	22	then	then	ADV
asir-15739	62	23	⊢(pqs	⊢(pqs	PROPN
asir-15739	62	24	)	)	PUNCT
asir-15739	62	25	.	.	PUNCT
asir-15739	63	1	www.scholink.org/ojs/index.php/asir	www.scholink.org/ojs/index.php/asir	PROPN
asir-15739	63	2	applied	apply	VERB
asir-15739	63	3	science	science	NOUN
asir-15739	63	4	and	and	CCONJ
asir-15739	63	5	innovative	innovative	ADJ
asir-15739	63	6	research	research	NOUN
asir-15739	63	7	vol	vol	NOUN
asir-15739	63	8	.	.	PUNCT
asir-15739	64	1	7	7	NUM
asir-15739	64	2	,	,	PUNCT
asir-15739	64	3	no	no	INTJ
asir-15739	64	4	.	.	NOUN
asir-15739	64	5	2	2	NUM
asir-15739	64	6	,	,	PUNCT
asir-15739	64	7	2023	2023	NUM
asir-15739	64	8	48	48	NUM
asir-15739	64	9	published	publish	VERB
asir-15739	64	10	by	by	ADP
asir-15739	64	11	scholink	scholink	PROPN
asir-15739	64	12	inc	inc	PROPN
asir-15739	64	13	.	.	PROPN
asir-15739	65	1	3	3	X
asir-15739	65	2	.	.	X
asir-15739	65	3	how	how	SCONJ
asir-15739	65	4	to	to	PART
asir-15739	65	5	screen	screen	VERB
asir-15739	65	6	out	out	ADP
asir-15739	65	7	valid	valid	ADJ
asir-15739	65	8	generalized	generalized	ADJ
asir-15739	65	9	modal	modal	NOUN
asir-15739	65	10	syllogisms	syllogism	NOUN
asir-15739	65	11	the	the	DET
asir-15739	65	12	study	study	NOUN
asir-15739	65	13	of	of	ADP
asir-15739	65	14	generalized	generalized	ADJ
asir-15739	65	15	modal	modal	ADJ
asir-15739	65	16	syllogisms	syllogism	NOUN
asir-15739	65	17	in	in	ADP
asir-15739	65	18	this	this	DET
asir-15739	65	19	paper	paper	NOUN
asir-15739	65	20	is	be	AUX
asir-15739	65	21	inspired	inspire	VERB
asir-15739	65	22	by	by	ADP
asir-15739	65	23	that	that	PRON
asir-15739	65	24	of	of	ADP
asir-15739	65	25	aristotelian	aristotelian	ADJ
asir-15739	65	26	modal	modal	NOUN
asir-15739	65	27	syllogisms	syllogism	NOUN
asir-15739	65	28	.	.	PUNCT
asir-15739	66	1	it	it	PRON
asir-15739	66	2	is	be	AUX
asir-15739	66	3	shown	show	VERB
asir-15739	66	4	that	that	SCONJ
asir-15739	66	5	the	the	DET
asir-15739	66	6	aristotelian	aristotelian	ADJ
asir-15739	66	7	syllogism	syllogism	NOUN
asir-15739	66	8	obtained	obtain	VERB
asir-15739	66	9	by	by	ADP
asir-15739	66	10	removing	remove	VERB
asir-15739	66	11	all	all	DET
asir-15739	66	12	modalities	modality	NOUN
asir-15739	66	13	in	in	ADP
asir-15739	66	14	any	any	DET
asir-15739	66	15	valid	valid	ADJ
asir-15739	66	16	aristotelian	aristotelian	ADJ
asir-15739	66	17	modal	modal	ADJ
asir-15739	66	18	syllogism	syllogism	NOUN
asir-15739	66	19	is	be	AUX
asir-15739	66	20	still	still	ADV
asir-15739	66	21	valid	valid	ADJ
asir-15739	66	22	(	(	PUNCT
asir-15739	66	23	xiaojun	xiaojun	PROPN
asir-15739	66	24	,	,	PUNCT
asir-15739	66	25	2020b	2020b	NUM
asir-15739	66	26	)	)	PUNCT
asir-15739	66	27	,	,	PUNCT
asir-15739	66	28	and	and	CCONJ
asir-15739	66	29	the	the	DET
asir-15739	66	30	latter	latter	ADJ
asir-15739	66	31	can	can	AUX
asir-15739	66	32	be	be	AUX
asir-15739	66	33	obtained	obtain	VERB
asir-15739	66	34	by	by	ADP
asir-15739	66	35	adding	add	VERB
asir-15739	66	36	modalities	modality	NOUN
asir-15739	66	37	to	to	ADP
asir-15739	66	38	the	the	DET
asir-15739	66	39	former	former	NOUN
asir-15739	66	40	.	.	PUNCT
asir-15739	67	1	therefore	therefore	ADV
asir-15739	67	2	,	,	PUNCT
asir-15739	67	3	all	all	DET
asir-15739	67	4	valid	valid	ADJ
asir-15739	67	5	aristotelian	aristotelian	ADJ
asir-15739	67	6	modal	modal	NOUN
asir-15739	67	7	syllogisms	syllogism	NOUN
asir-15739	67	8	can	can	AUX
asir-15739	67	9	be	be	AUX
asir-15739	67	10	screened	screen	VERB
asir-15739	67	11	out	out	ADP
asir-15739	67	12	from	from	ADP
asir-15739	67	13	all	all	DET
asir-15739	67	14	this	this	DET
asir-15739	67	15	kind	kind	NOUN
asir-15739	67	16	of	of	ADP
asir-15739	67	17	syllogisms	syllogism	NOUN
asir-15739	67	18	in	in	ADP
asir-15739	67	19	the	the	DET
asir-15739	67	20	light	light	NOUN
asir-15739	67	21	of	of	ADP
asir-15739	67	22	some	some	DET
asir-15739	67	23	basic	basic	ADJ
asir-15739	67	24	rules	rule	NOUN
asir-15739	67	25	with	with	ADP
asir-15739	67	26	which	which	PRON
asir-15739	67	27	valid	valid	ADJ
asir-15739	67	28	aristotelian	aristotelian	PROPN
asir-15739	67	29	modal	modal	NOUN
asir-15739	67	30	syllogisms	syllogism	NOUN
asir-15739	67	31	should	should	AUX
asir-15739	67	32	meet	meet	VERB
asir-15739	67	33	(	(	PUNCT
asir-15739	67	34	xiaojun	xiaojun	PROPN
asir-15739	67	35	,	,	PUNCT
asir-15739	67	36	2020c	2020c	NUM
asir-15739	67	37	)	)	PUNCT
asir-15739	67	38	.	.	PUNCT
asir-15739	68	1	generalized	generalized	ADJ
asir-15739	68	2	syllogisms	syllogism	NOUN
asir-15739	68	3	are	be	AUX
asir-15739	68	4	extensions	extension	NOUN
asir-15739	68	5	of	of	ADP
asir-15739	68	6	aristotelian	aristotelian	ADJ
asir-15739	68	7	syllogisms	syllogism	NOUN
asir-15739	68	8	,	,	PUNCT
asir-15739	68	9	and	and	CCONJ
asir-15739	68	10	generalized	generalized	ADJ
asir-15739	68	11	modal	modal	ADJ
asir-15739	68	12	syllogisms	syllogism	NOUN
asir-15739	68	13	are	be	AUX
asir-15739	68	14	extensions	extension	NOUN
asir-15739	68	15	of	of	ADP
asir-15739	68	16	aristotelian	aristotelian	ADJ
asir-15739	68	17	modal	modal	NOUN
asir-15739	68	18	syllogisms	syllogism	NOUN
asir-15739	68	19	.	.	PUNCT
asir-15739	69	1	it	it	PRON
asir-15739	69	2	is	be	AUX
asir-15739	69	3	found	find	VERB
asir-15739	69	4	that	that	SCONJ
asir-15739	69	5	the	the	DET
asir-15739	69	6	study	study	NOUN
asir-15739	69	7	of	of	ADP
asir-15739	69	8	generalized	generalized	ADJ
asir-15739	69	9	modal	modal	ADJ
asir-15739	69	10	syllogistic	syllogistic	NOUN
asir-15739	69	11	is	be	AUX
asir-15739	69	12	along	along	ADP
asir-15739	69	13	similar	similar	ADJ
asir-15739	69	14	lines	line	NOUN
asir-15739	69	15	to	to	ADP
asir-15739	69	16	that	that	PRON
asir-15739	69	17	of	of	ADP
asir-15739	69	18	aristotelian	aristotelian	ADJ
asir-15739	69	19	modal	modal	ADJ
asir-15739	69	20	syllogistic	syllogistic	NOUN
asir-15739	69	21	.	.	PUNCT
asir-15739	70	1	in	in	ADP
asir-15739	70	2	other	other	ADJ
asir-15739	70	3	words	word	NOUN
asir-15739	70	4	,	,	PUNCT
asir-15739	70	5	it	it	PRON
asir-15739	70	6	can	can	AUX
asir-15739	70	7	be	be	AUX
asir-15739	70	8	shown	show	VERB
asir-15739	70	9	that	that	SCONJ
asir-15739	70	10	the	the	DET
asir-15739	70	11	generalized	generalized	ADJ
asir-15739	70	12	syllogism	syllogism	NOUN
asir-15739	70	13	obtained	obtain	VERB
asir-15739	70	14	by	by	ADP
asir-15739	70	15	removing	remove	VERB
asir-15739	70	16	all	all	DET
asir-15739	70	17	modalities	modality	NOUN
asir-15739	70	18	in	in	ADP
asir-15739	70	19	any	any	DET
asir-15739	70	20	valid	valid	ADJ
asir-15739	70	21	generalized	generalized	ADJ
asir-15739	70	22	modal	modal	ADJ
asir-15739	70	23	syllogism	syllogism	NOUN
asir-15739	70	24	is	be	AUX
asir-15739	70	25	still	still	ADV
asir-15739	70	26	valid	valid	ADJ
asir-15739	70	27	.	.	PUNCT
asir-15739	71	1	therefore	therefore	ADV
asir-15739	71	2	,	,	PUNCT
asir-15739	71	3	the	the	DET
asir-15739	71	4	simplest	simple	ADJ
asir-15739	71	5	way	way	NOUN
asir-15739	71	6	to	to	PART
asir-15739	71	7	screen	screen	VERB
asir-15739	71	8	out	out	ADP
asir-15739	71	9	valid	valid	ADJ
asir-15739	71	10	generalized	generalized	ADJ
asir-15739	71	11	modal	modal	ADJ
asir-15739	71	12	syllogisms	syllogism	NOUN
asir-15739	71	13	is	be	AUX
asir-15739	71	14	to	to	PART
asir-15739	71	15	add	add	VERB
asir-15739	71	16	modalities	modality	NOUN
asir-15739	71	17	to	to	PART
asir-15739	71	18	valid	valid	ADJ
asir-15739	71	19	generalized	generalized	ADJ
asir-15739	71	20	syllogisms	syllogism	NOUN
asir-15739	71	21	,	,	PUNCT
asir-15739	71	22	and	and	CCONJ
asir-15739	71	23	then	then	ADV
asir-15739	71	24	to	to	PART
asir-15739	71	25	delete	delete	VERB
asir-15739	71	26	all	all	DET
asir-15739	71	27	invalid	invalid	ADJ
asir-15739	71	28	syllogisms	syllogism	NOUN
asir-15739	71	29	by	by	ADP
asir-15739	71	30	means	mean	NOUN
asir-15739	71	31	of	of	ADP
asir-15739	71	32	the	the	DET
asir-15739	71	33	basic	basic	ADJ
asir-15739	71	34	rules	rule	NOUN
asir-15739	71	35	with	with	ADP
asir-15739	71	36	which	which	PRON
asir-15739	71	37	valid	valid	ADJ
asir-15739	71	38	generalized	generalized	ADJ
asir-15739	71	39	modal	modal	ADJ
asir-15739	71	40	syllogisms	syllogism	NOUN
asir-15739	71	41	should	should	AUX
asir-15739	71	42	meet	meet	VERB
asir-15739	71	43	,	,	PUNCT
asir-15739	71	44	and	and	CCONJ
asir-15739	71	45	then	then	ADV
asir-15739	71	46	all	all	DET
asir-15739	71	47	the	the	DET
asir-15739	71	48	rest	rest	NOUN
asir-15739	71	49	syllogisms	syllogism	NOUN
asir-15739	71	50	are	be	AUX
asir-15739	71	51	valid	valid	ADJ
asir-15739	71	52	.	.	PUNCT
asir-15739	72	1	for	for	ADP
asir-15739	72	2	every	every	DET
asir-15739	72	3	valid	valid	ADJ
asir-15739	72	4	generalized	generalized	ADJ
asir-15739	72	5	modal	modal	ADJ
asir-15739	72	6	syllogism	syllogism	NOUN
asir-15739	72	7	,	,	PUNCT
asir-15739	72	8	the	the	DET
asir-15739	72	9	assertive	assertive	ADJ
asir-15739	72	10	proposition	proposition	NOUN
asir-15739	72	11	of	of	ADP
asir-15739	72	12	the	the	DET
asir-15739	72	13	conclusion	conclusion	NOUN
asir-15739	72	14	can	can	AUX
asir-15739	72	15	not	not	PART
asir-15739	72	16	be	be	AUX
asir-15739	72	17	stronger	strong	ADJ
asir-15739	72	18	than	than	ADP
asir-15739	72	19	that	that	PRON
asir-15739	72	20	of	of	ADP
asir-15739	72	21	two	two	NUM
asir-15739	72	22	premises	premise	NOUN
asir-15739	72	23	.	.	PUNCT
asir-15739	73	1	specifically	specifically	ADV
asir-15739	73	2	,	,	PUNCT
asir-15739	73	3	if	if	SCONJ
asir-15739	73	4	the	the	DET
asir-15739	73	5	weakest	weak	ADJ
asir-15739	73	6	proposition	proposition	NOUN
asir-15739	73	7	in	in	ADP
asir-15739	73	8	two	two	NUM
asir-15739	73	9	premises	premise	NOUN
asir-15739	73	10	is	be	AUX
asir-15739	73	11	a	a	DET
asir-15739	73	12	possible	possible	ADJ
asir-15739	73	13	one	one	NOUN
asir-15739	73	14	,	,	PUNCT
asir-15739	73	15	then	then	ADV
asir-15739	73	16	the	the	DET
asir-15739	73	17	conclusion	conclusion	NOUN
asir-15739	73	18	can	can	AUX
asir-15739	73	19	only	only	ADV
asir-15739	73	20	be	be	AUX
asir-15739	73	21	a	a	DET
asir-15739	73	22	possible	possible	ADJ
asir-15739	73	23	one	one	NOUN
asir-15739	73	24	;	;	PUNCT
asir-15739	73	25	similarly	similarly	ADV
asir-15739	73	26	,	,	PUNCT
asir-15739	73	27	if	if	SCONJ
asir-15739	73	28	the	the	DET
asir-15739	73	29	weakest	weak	ADJ
asir-15739	73	30	proposition	proposition	NOUN
asir-15739	73	31	in	in	ADP
asir-15739	73	32	two	two	NUM
asir-15739	73	33	premises	premise	NOUN
asir-15739	73	34	is	be	AUX
asir-15739	73	35	an	an	DET
asir-15739	73	36	assertoric	assertoric	ADJ
asir-15739	73	37	one	one	NOUN
asir-15739	73	38	,	,	PUNCT
asir-15739	73	39	then	then	ADV
asir-15739	73	40	the	the	DET
asir-15739	73	41	conclusion	conclusion	NOUN
asir-15739	73	42	can	can	AUX
asir-15739	73	43	only	only	ADV
asir-15739	73	44	be	be	AUX
asir-15739	73	45	an	an	DET
asir-15739	73	46	assertoric	assertoric	ADJ
asir-15739	73	47	one	one	NOUN
asir-15739	73	48	or	or	CCONJ
asir-15739	73	49	a	a	DET
asir-15739	73	50	possible	possible	ADJ
asir-15739	73	51	one	one	NUM
asir-15739	73	52	.	.	PUNCT
asir-15739	74	1	theorem	theorem	NOUN
asir-15739	74	2	1	1	NUM
asir-15739	74	3	:	:	PUNCT
asir-15739	74	4	let	let	VERB
asir-15739	74	5	q1	q1	PROPN
asir-15739	74	6	,	,	PUNCT
asir-15739	74	7	q2	q2	PROPN
asir-15739	74	8	and	and	CCONJ
asir-15739	74	9	q3	q3	NOUN
asir-15739	74	10	be	be	AUX
asir-15739	74	11	generalized	generalized	ADJ
asir-15739	74	12	quantifiers	quantifier	NOUN
asir-15739	74	13	.	.	PUNCT
asir-15739	75	1	if	if	SCONJ
asir-15739	75	2	the	the	DET
asir-15739	75	3	generalized	generalized	ADJ
asir-15739	75	4	syllogism	syllogism	NOUN
asir-15739	75	5	q1(m	q1(m	NUM
asir-15739	75	6	,	,	PUNCT
asir-15739	75	7	p)q2(s	p)q2(s	NOUN
asir-15739	75	8	,	,	PUNCT
asir-15739	75	9	m)q3(s	m)q3(s	PROPN
asir-15739	75	10	,	,	PUNCT
asir-15739	75	11	p	p	NOUN
asir-15739	75	12	)	)	PUNCT
asir-15739	75	13	is	be	AUX
asir-15739	75	14	valid	valid	ADJ
asir-15739	75	15	,	,	PUNCT
asir-15739	75	16	then	then	ADV
asir-15739	75	17	the	the	DET
asir-15739	75	18	following	follow	VERB
asir-15739	75	19	12	12	NUM
asir-15739	75	20	valid	valid	ADJ
asir-15739	75	21	generalized	generalized	ADJ
asir-15739	75	22	modal	modal	NOUN
asir-15739	75	23	syllogisms	syllogism	NOUN
asir-15739	75	24	can	can	AUX
asir-15739	75	25	be	be	AUX
asir-15739	75	26	obtained	obtain	VERB
asir-15739	75	27	by	by	ADP
asir-15739	75	28	adding	add	VERB
asir-15739	75	29	modalities	modality	NOUN
asir-15739	75	30	to	to	ADP
asir-15739	75	31	the	the	DET
asir-15739	75	32	generalized	generalized	ADJ
asir-15739	75	33	syllogism	syllogism	NOUN
asir-15739	75	34	:	:	PUNCT
asir-15739	75	35	(	(	PUNCT
asir-15739	75	36	1	1	X
asir-15739	75	37	)	)	PUNCT
asir-15739	75	38	q1(m	q1(m	NUM
asir-15739	75	39	,	,	PUNCT
asir-15739	75	40	p)q2(s	p)q2(s	NOUN
asir-15739	75	41	,	,	PUNCT
asir-15739	75	42	m)q3(s	m)q3(s	INTJ
asir-15739	75	43	,	,	PUNCT
asir-15739	75	44	p	p	NOUN
asir-15739	75	45	)	)	PUNCT
asir-15739	75	46	;	;	PUNCT
asir-15739	75	47	(	(	PUNCT
asir-15739	75	48	2	2	X
asir-15739	75	49	)	)	PUNCT
asir-15739	75	50	q1(m	q1(m	NUM
asir-15739	75	51	,	,	PUNCT
asir-15739	75	52	p)q2(s	p)q2(s	NOUN
asir-15739	75	53	,	,	PUNCT
asir-15739	75	54	m)q3(s	m)q3(s	PROPN
asir-15739	75	55	,	,	PUNCT
asir-15739	75	56	p	p	NOUN
asir-15739	75	57	)	)	PUNCT
asir-15739	75	58	;	;	PUNCT
asir-15739	75	59	(	(	PUNCT
asir-15739	75	60	3	3	X
asir-15739	75	61	)	)	PUNCT
asir-15739	75	62	q1(m	q1(m	NUM
asir-15739	75	63	,	,	PUNCT
asir-15739	75	64	p)q2(s	p)q2(s	NOUN
asir-15739	75	65	,	,	PUNCT
asir-15739	75	66	m)q3(s	m)q3(s	NUM
asir-15739	75	67	,	,	PUNCT
asir-15739	75	68	p	p	NOUN
asir-15739	75	69	)	)	PUNCT
asir-15739	75	70	;	;	PUNCT
asir-15739	75	71	(	(	PUNCT
asir-15739	75	72	4	4	X
asir-15739	75	73	)	)	PUNCT
asir-15739	75	74	q1(m	q1(m	NUM
asir-15739	75	75	,	,	PUNCT
asir-15739	75	76	p)q2(s	p)q2(s	NOUN
asir-15739	75	77	,	,	PUNCT
asir-15739	75	78	m)q3(s	m)q3(s	PROPN
asir-15739	75	79	,	,	PUNCT
asir-15739	75	80	p	p	NOUN
asir-15739	75	81	)	)	PUNCT
asir-15739	75	82	;	;	PUNCT
asir-15739	75	83	(	(	PUNCT
asir-15739	75	84	5	5	X
asir-15739	75	85	)	)	PUNCT
asir-15739	75	86	q1(m	q1(m	NUM
asir-15739	75	87	,	,	PUNCT
asir-15739	75	88	p)q2(s	p)q2(s	NOUN
asir-15739	75	89	,	,	PUNCT
asir-15739	75	90	m)q3(s	m)q3(s	NUM
asir-15739	75	91	,	,	PUNCT
asir-15739	75	92	p	p	NOUN
asir-15739	75	93	)	)	PUNCT
asir-15739	75	94	;	;	PUNCT
asir-15739	75	95	(	(	PUNCT
asir-15739	75	96	6	6	X
asir-15739	75	97	)	)	PUNCT
asir-15739	75	98	q1(m	q1(m	NUM
asir-15739	75	99	,	,	PUNCT
asir-15739	75	100	p)q2(s	p)q2(s	NOUN
asir-15739	75	101	,	,	PUNCT
asir-15739	75	102	m)q3(s	m)q3(s	PROPN
asir-15739	75	103	,	,	PUNCT
asir-15739	75	104	p	p	NOUN
asir-15739	75	105	)	)	PUNCT
asir-15739	75	106	;	;	PUNCT
asir-15739	75	107	(	(	PUNCT
asir-15739	75	108	7	7	X
asir-15739	75	109	)	)	PUNCT
asir-15739	75	110	q1(m	q1(m	NUM
asir-15739	75	111	,	,	PUNCT
asir-15739	75	112	p)q2(s	p)q2(s	NOUN
asir-15739	75	113	,	,	PUNCT
asir-15739	75	114	m)q3(s	m)q3(s	NUM
asir-15739	75	115	,	,	PUNCT
asir-15739	75	116	p	p	NOUN
asir-15739	75	117	)	)	PUNCT
asir-15739	75	118	;	;	PUNCT
asir-15739	75	119	(	(	PUNCT
asir-15739	75	120	8)	8)	NUM
asir-15739	75	121	q1(m	q1(m	NUM
asir-15739	75	122	,	,	PUNCT
asir-15739	75	123	p)q2(s	p)q2(s	NOUN
asir-15739	75	124	,	,	PUNCT
asir-15739	75	125	m)q3(s	m)q3(s	PROPN
asir-15739	75	126	,	,	PUNCT
asir-15739	75	127	p	p	NOUN
asir-15739	75	128	)	)	PUNCT
asir-15739	75	129	;	;	PUNCT
asir-15739	75	130	(	(	PUNCT
asir-15739	75	131	9	9	X
asir-15739	75	132	)	)	PUNCT
asir-15739	75	133	q1(m	q1(m	PROPN
asir-15739	75	134	,	,	PUNCT
asir-15739	75	135	p)q2(s	p)q2(s	NOUN
asir-15739	75	136	,	,	PUNCT
asir-15739	75	137	m)q3(s	m)q3(s	NUM
asir-15739	75	138	,	,	PUNCT
asir-15739	75	139	p	p	NOUN
asir-15739	75	140	)	)	PUNCT
asir-15739	75	141	;	;	PUNCT
asir-15739	75	142	(	(	PUNCT
asir-15739	75	143	10	10	NUM
asir-15739	75	144	)	)	PUNCT
asir-15739	75	145	q1(m	q1(m	PROPN
asir-15739	75	146	,	,	PUNCT
asir-15739	75	147	p)q2(s	p)q2(s	NOUN
asir-15739	75	148	,	,	PUNCT
asir-15739	75	149	m)q3(s	m)q3(s	PROPN
asir-15739	75	150	,	,	PUNCT
asir-15739	75	151	p	p	NOUN
asir-15739	75	152	)	)	PUNCT
asir-15739	75	153	;	;	PUNCT
asir-15739	75	154	(	(	PUNCT
asir-15739	75	155	11	11	X
asir-15739	75	156	)	)	PUNCT
asir-15739	75	157	q1(m	q1(m	PROPN
asir-15739	75	158	,	,	PUNCT
asir-15739	75	159	p)q2(s	p)q2(s	NOUN
asir-15739	75	160	,	,	PUNCT
asir-15739	75	161	m)q3(s	m)q3(s	NUM
asir-15739	75	162	,	,	PUNCT
asir-15739	75	163	p	p	NOUN
asir-15739	75	164	)	)	PUNCT
asir-15739	75	165	;	;	PUNCT
asir-15739	75	166	(	(	PUNCT
asir-15739	75	167	12	12	NUM
asir-15739	75	168	)	)	PUNCT
asir-15739	75	169	q1(m	q1(m	PROPN
asir-15739	75	170	,	,	PUNCT
asir-15739	75	171	p)q2(s	p)q2(s	NOUN
asir-15739	75	172	,	,	PUNCT
asir-15739	75	173	m)q3(s	m)q3(s	NUM
asir-15739	75	174	,	,	PUNCT
asir-15739	75	175	p	p	NOUN
asir-15739	75	176	)	)	PUNCT
asir-15739	75	177	;	;	PUNCT
asir-15739	75	178	in	in	ADP
asir-15739	75	179	terms	term	NOUN
asir-15739	75	180	of	of	ADP
asir-15739	75	181	theorem	theorem	NOUN
asir-15739	75	182	1	1	NUM
asir-15739	75	183	,	,	PUNCT
asir-15739	75	184	the	the	DET
asir-15739	75	185	following	follow	VERB
asir-15739	75	186	will	will	AUX
asir-15739	75	187	use	use	VERB
asir-15739	75	188	several	several	ADJ
asir-15739	75	189	examples	example	NOUN
asir-15739	75	190	to	to	PART
asir-15739	75	191	illustrate	illustrate	VERB
asir-15739	75	192	how	how	SCONJ
asir-15739	75	193	to	to	PART
asir-15739	75	194	obtain	obtain	VERB
asir-15739	75	195	the	the	DET
asir-15739	75	196	corresponding	corresponding	ADJ
asir-15739	75	197	12	12	NUM
asir-15739	75	198	valid	valid	ADJ
asir-15739	75	199	generalized	generalized	ADJ
asir-15739	75	200	modal	modal	ADJ
asir-15739	75	201	syllogisms	syllogism	NOUN
asir-15739	75	202	from	from	ADP
asir-15739	75	203	a	a	DET
asir-15739	75	204	valid	valid	ADJ
asir-15739	75	205	generalized	generalized	ADJ
asir-15739	75	206	syllogism	syllogism	NOUN
asir-15739	75	207	.	.	PUNCT
asir-15739	76	1	before	before	ADP
asir-15739	76	2	doing	do	VERB
asir-15739	76	3	this	this	PRON
asir-15739	76	4	,	,	PUNCT
asir-15739	76	5	it	it	PRON
asir-15739	76	6	is	be	AUX
asir-15739	76	7	necessary	necessary	ADJ
asir-15739	76	8	to	to	PART
asir-15739	76	9	prove	prove	VERB
asir-15739	76	10	the	the	DET
asir-15739	76	11	validity	validity	NOUN
asir-15739	76	12	of	of	ADP
asir-15739	76	13	the	the	DET
asir-15739	76	14	following	follow	VERB
asir-15739	76	15	generalized	generalized	ADJ
asir-15739	76	16	syllogism	syllogism	NOUN
asir-15739	76	17	.	.	PUNCT
asir-15739	77	1	www.scholink.org/ojs/index.php/asir	www.scholink.org/ojs/index.php/asir	PROPN
asir-15739	77	2	applied	apply	VERB
asir-15739	77	3	science	science	NOUN
asir-15739	77	4	and	and	CCONJ
asir-15739	77	5	innovative	innovative	ADJ
asir-15739	77	6	research	research	NOUN
asir-15739	77	7	vol	vol	NOUN
asir-15739	77	8	.	.	PUNCT
asir-15739	78	1	7	7	NUM
asir-15739	78	2	,	,	PUNCT
asir-15739	78	3	no	no	INTJ
asir-15739	78	4	.	.	NOUN
asir-15739	78	5	2	2	NUM
asir-15739	78	6	,	,	PUNCT
asir-15739	78	7	2023	2023	NUM
asir-15739	78	8	49	49	NUM
asir-15739	78	9	published	publish	VERB
asir-15739	78	10	by	by	ADP
asir-15739	78	11	scholink	scholink	PROPN
asir-15739	78	12	inc	inc	PROPN
asir-15739	78	13	.	.	PROPN
asir-15739	79	1	theorem	theorem	VERB
asir-15739	79	2	2	2	NUM
asir-15739	79	3	:	:	PUNCT
asir-15739	79	4	the	the	DET
asir-15739	79	5	generalized	generalized	ADJ
asir-15739	79	6	syllogism	syllogism	NOUN
asir-15739	79	7	all(m	all(m	PROPN
asir-15739	79	8	,	,	PUNCT
asir-15739	79	9	p)most(s	p)most(s	PROPN
asir-15739	79	10	,	,	PUNCT
asir-15739	79	11	m)some(s	m)some(s	NUM
asir-15739	79	12	,	,	PUNCT
asir-15739	79	13	p	p	NOUN
asir-15739	79	14	)	)	PUNCT
asir-15739	79	15	is	be	AUX
asir-15739	79	16	valid	valid	ADJ
asir-15739	79	17	.	.	PUNCT
asir-15739	80	1	proof	proof	NOUN
asir-15739	80	2	:	:	PUNCT
asir-15739	80	3	suppose	suppose	VERB
asir-15739	80	4	that	that	SCONJ
asir-15739	80	5	all(m	all(m	PROPN
asir-15739	80	6	,	,	PUNCT
asir-15739	80	7	p	p	NOUN
asir-15739	80	8	)	)	PUNCT
asir-15739	80	9	and	and	CCONJ
asir-15739	80	10	most(s	most(s	PROPN
asir-15739	80	11	,	,	PUNCT
asir-15739	80	12	m	m	PRON
asir-15739	80	13	)	)	PUNCT
asir-15739	80	14	are	be	AUX
asir-15739	80	15	true	true	ADJ
asir-15739	80	16	,	,	PUNCT
asir-15739	80	17	then	then	ADV
asir-15739	80	18	all(m	all(m	PROPN
asir-15739	80	19	,	,	PUNCT
asir-15739	80	20	p)mp	p)mp	PROPN
asir-15739	80	21	and	and	CCONJ
asir-15739	80	22	most(s	most(s	PROPN
asir-15739	80	23	,	,	PUNCT
asir-15739	80	24	m)	m)	PROPN
asir-15739	80	25	s∩m0.6s	s∩m0.6s	PROPN
asir-15739	80	26	are	be	AUX
asir-15739	80	27	true	true	ADJ
asir-15739	80	28	in	in	ADP
asir-15739	80	29	the	the	DET
asir-15739	80	30	light	light	NOUN
asir-15739	80	31	of	of	ADP
asir-15739	80	32	the	the	DET
asir-15739	80	33	clause	clause	NOUN
asir-15739	80	34	(	(	PUNCT
asir-15739	80	35	1.1	1.1	NUM
asir-15739	80	36	)	)	PUNCT
asir-15739	80	37	and	and	CCONJ
asir-15739	80	38	(	(	PUNCT
asir-15739	80	39	1.5	1.5	NUM
asir-15739	80	40	)	)	PUNCT
asir-15739	80	41	in	in	ADP
asir-15739	80	42	definition	definition	NOUN
asir-15739	80	43	1	1	NUM
asir-15739	80	44	,	,	PUNCT
asir-15739	80	45	respectively	respectively	ADV
asir-15739	80	46	.	.	PUNCT
asir-15739	81	1	it	it	PRON
asir-15739	81	2	is	be	AUX
asir-15739	81	3	easily	easily	ADV
asir-15739	81	4	seen	see	VERB
asir-15739	81	5	that	that	DET
asir-15739	81	6	mp	mp	NOUN
asir-15739	81	7	and	and	CCONJ
asir-15739	81	8	s∩m0.6s.	s∩m0.6s.	NUM
asir-15739	81	9	it	it	PRON
asir-15739	81	10	follows	follow	VERB
asir-15739	81	11	that	that	SCONJ
asir-15739	81	12	s∩p0.6s.	s∩p0.6s.	ADV
asir-15739	82	1	and	and	CCONJ
asir-15739	82	2	it	it	PRON
asir-15739	82	3	is	be	AUX
asir-15739	82	4	clear	clear	ADJ
asir-15739	82	5	that	that	SCONJ
asir-15739	82	6	s∩p.	s∩p.	PROPN
asir-15739	82	7	thus	thus	ADV
asir-15739	82	8	,	,	PUNCT
asir-15739	82	9	some(s	some(s	ADJ
asir-15739	82	10	,	,	PUNCT
asir-15739	82	11	p	p	NOUN
asir-15739	82	12	)	)	PUNCT
asir-15739	82	13	is	be	AUX
asir-15739	82	14	true	true	ADJ
asir-15739	82	15	in	in	ADP
asir-15739	82	16	line	line	NOUN
asir-15739	82	17	with	with	ADP
asir-15739	82	18	the	the	DET
asir-15739	82	19	clause	clause	NOUN
asir-15739	82	20	(	(	PUNCT
asir-15739	82	21	1.3	1.3	NUM
asir-15739	82	22	)	)	PUNCT
asir-15739	82	23	in	in	ADP
asir-15739	82	24	definition	definition	NOUN
asir-15739	82	25	1	1	NUM
asir-15739	82	26	,	,	PUNCT
asir-15739	82	27	just	just	ADV
asir-15739	82	28	as	as	SCONJ
asir-15739	82	29	desired	desire	VERB
asir-15739	82	30	.	.	PUNCT
asir-15739	83	1	according	accord	VERB
asir-15739	83	2	to	to	ADP
asir-15739	83	3	theorem	theorem	ADJ
asir-15739	83	4	1	1	NUM
asir-15739	83	5	and	and	CCONJ
asir-15739	83	6	theorem	theorem	VERB
asir-15739	83	7	2	2	NUM
asir-15739	83	8	,	,	PUNCT
asir-15739	83	9	one	one	PRON
asir-15739	83	10	can	can	AUX
asir-15739	83	11	obtain	obtain	VERB
asir-15739	83	12	the	the	DET
asir-15739	83	13	following	following	NOUN
asir-15739	83	14	theorem	theorem	ADJ
asir-15739	83	15	3	3	NUM
asir-15739	83	16	:	:	PUNCT
asir-15739	83	17	theorem	theorem	NOUN
asir-15739	83	18	3	3	NUM
asir-15739	83	19	:	:	PUNCT
asir-15739	83	20	the	the	DET
asir-15739	83	21	following	follow	VERB
asir-15739	83	22	12	12	NUM
asir-15739	83	23	generalized	generalized	ADJ
asir-15739	83	24	modal	modal	ADJ
asir-15739	83	25	syllogisms	syllogism	NOUN
asir-15739	83	26	are	be	AUX
asir-15739	83	27	valid	valid	ADJ
asir-15739	83	28	:	:	PUNCT
asir-15739	83	29	(	(	PUNCT
asir-15739	83	30	3.1	3.1	NUM
asir-15739	83	31	)	)	PUNCT
asir-15739	83	32	all(m	all(m	PROPN
asir-15739	83	33	,	,	PUNCT
asir-15739	83	34	p)most(s	p)most(s	PROPN
asir-15739	83	35	,	,	PUNCT
asir-15739	83	36	m)some(s	m)some(s	PROPN
asir-15739	83	37	,	,	PUNCT
asir-15739	83	38	p	p	NOUN
asir-15739	83	39	)	)	PUNCT
asir-15739	83	40	;	;	PUNCT
asir-15739	83	41	(	(	PUNCT
asir-15739	83	42	3.2	3.2	NUM
asir-15739	83	43	)	)	PUNCT
asir-15739	83	44	all(m	all(m	PROPN
asir-15739	83	45	,	,	PUNCT
asir-15739	83	46	p)most(s	p)most(s	PROPN
asir-15739	83	47	,	,	PUNCT
asir-15739	83	48	m)some(s	m)some(s	NUM
asir-15739	83	49	,	,	PUNCT
asir-15739	83	50	p	p	NOUN
asir-15739	83	51	)	)	PUNCT
asir-15739	83	52	;	;	PUNCT
asir-15739	83	53	(	(	PUNCT
asir-15739	83	54	3.3	3.3	NUM
asir-15739	83	55	)	)	PUNCT
asir-15739	83	56	all(m	all(m	PROPN
asir-15739	83	57	,	,	PUNCT
asir-15739	83	58	p)most(s	p)most(s	PROPN
asir-15739	83	59	,	,	PUNCT
asir-15739	83	60	m)some(s	m)some(s	PROPN
asir-15739	83	61	,	,	PUNCT
asir-15739	83	62	p	p	NOUN
asir-15739	83	63	)	)	PUNCT
asir-15739	83	64	;	;	PUNCT
asir-15739	83	65	(	(	PUNCT
asir-15739	83	66	3.4	3.4	NUM
asir-15739	83	67	)	)	PUNCT
asir-15739	83	68	all(m	all(m	PROPN
asir-15739	83	69	,	,	PUNCT
asir-15739	83	70	p)most(s	p)most(s	PROPN
asir-15739	83	71	,	,	PUNCT
asir-15739	83	72	m)some(s	m)some(s	NUM
asir-15739	83	73	,	,	PUNCT
asir-15739	83	74	p	p	NOUN
asir-15739	83	75	)	)	PUNCT
asir-15739	83	76	;	;	PUNCT
asir-15739	83	77	(	(	PUNCT
asir-15739	83	78	3.5	3.5	X
asir-15739	83	79	)	)	PUNCT
asir-15739	83	80	all(m	all(m	PROPN
asir-15739	83	81	,	,	PUNCT
asir-15739	83	82	p)most(s	p)most(s	PROPN
asir-15739	83	83	,	,	PUNCT
asir-15739	83	84	m)some(s	m)some(s	PROPN
asir-15739	83	85	,	,	PUNCT
asir-15739	83	86	p	p	NOUN
asir-15739	83	87	)	)	PUNCT
asir-15739	83	88	;	;	PUNCT
asir-15739	83	89	(	(	PUNCT
asir-15739	83	90	3.6	3.6	NUM
asir-15739	83	91	)	)	PUNCT
asir-15739	83	92	all(m	all(m	PROPN
asir-15739	83	93	,	,	PUNCT
asir-15739	83	94	p)most(s	p)most(s	PROPN
asir-15739	83	95	,	,	PUNCT
asir-15739	83	96	m)some(s	m)some(s	NUM
asir-15739	83	97	,	,	PUNCT
asir-15739	83	98	p	p	NOUN
asir-15739	83	99	)	)	PUNCT
asir-15739	83	100	;	;	PUNCT
asir-15739	83	101	(	(	PUNCT
asir-15739	83	102	3.7	3.7	NUM
asir-15739	83	103	)	)	PUNCT
asir-15739	83	104	all(m	all(m	PROPN
asir-15739	83	105	,	,	PUNCT
asir-15739	83	106	p)most(s	p)most(s	PROPN
asir-15739	83	107	,	,	PUNCT
asir-15739	83	108	m)some(s	m)some(s	PROPN
asir-15739	83	109	,	,	PUNCT
asir-15739	83	110	p	p	NOUN
asir-15739	83	111	)	)	PUNCT
asir-15739	83	112	;	;	PUNCT
asir-15739	83	113	(	(	PUNCT
asir-15739	83	114	3.8	3.8	NUM
asir-15739	83	115	)	)	PUNCT
asir-15739	83	116	all(m	all(m	PROPN
asir-15739	83	117	,	,	PUNCT
asir-15739	83	118	p)most(s	p)most(s	PROPN
asir-15739	83	119	,	,	PUNCT
asir-15739	83	120	m)some(s	m)some(s	NOUN
asir-15739	83	121	,	,	PUNCT
asir-15739	83	122	p	p	NOUN
asir-15739	83	123	)	)	PUNCT
asir-15739	83	124	;	;	PUNCT
asir-15739	83	125	(	(	PUNCT
asir-15739	83	126	3.9	3.9	NUM
asir-15739	83	127	)	)	PUNCT
asir-15739	83	128	all(m	all(m	PROPN
asir-15739	83	129	,	,	PUNCT
asir-15739	83	130	p)most(s	p)most(s	PROPN
asir-15739	83	131	,	,	PUNCT
asir-15739	83	132	m)some(s	m)some(s	PROPN
asir-15739	83	133	,	,	PUNCT
asir-15739	83	134	p	p	NOUN
asir-15739	83	135	)	)	PUNCT
asir-15739	83	136	;	;	PUNCT
asir-15739	83	137	(	(	PUNCT
asir-15739	83	138	3.10	3.10	NUM
asir-15739	83	139	)	)	PUNCT
asir-15739	83	140	all(m	all(m	PROPN
asir-15739	83	141	,	,	PUNCT
asir-15739	83	142	p)most(s	p)most(s	PROPN
asir-15739	83	143	,	,	PUNCT
asir-15739	83	144	m)some(s	m)some(s	NOUN
asir-15739	83	145	,	,	PUNCT
asir-15739	83	146	p	p	NOUN
asir-15739	83	147	)	)	PUNCT
asir-15739	83	148	;	;	PUNCT
asir-15739	83	149	(	(	PUNCT
asir-15739	83	150	3.11	3.11	NUM
asir-15739	83	151	)	)	PUNCT
asir-15739	83	152	all(m	all(m	PROPN
asir-15739	83	153	,	,	PUNCT
asir-15739	83	154	p)most(s	p)most(s	PROPN
asir-15739	83	155	,	,	PUNCT
asir-15739	83	156	m)some(s	m)some(s	PROPN
asir-15739	83	157	,	,	PUNCT
asir-15739	83	158	p	p	NOUN
asir-15739	83	159	)	)	PUNCT
asir-15739	83	160	;	;	PUNCT
asir-15739	83	161	(	(	PUNCT
asir-15739	83	162	3.12	3.12	NUM
asir-15739	83	163	)	)	PUNCT
asir-15739	83	164	all(m	all(m	PROPN
asir-15739	83	165	,	,	PUNCT
asir-15739	83	166	p)most(s	p)most(s	PROPN
asir-15739	83	167	,	,	PUNCT
asir-15739	83	168	m)some(s	m)some(s	PROPN
asir-15739	83	169	,	,	PUNCT
asir-15739	83	170	p	p	NOUN
asir-15739	83	171	)	)	PUNCT
asir-15739	83	172	.	.	PUNCT
asir-15739	84	1	proof	proof	NOUN
asir-15739	84	2	:	:	PUNCT
asir-15739	84	3	the	the	DET
asir-15739	84	4	proof	proof	NOUN
asir-15739	84	5	of	of	ADP
asir-15739	84	6	the	the	DET
asir-15739	84	7	validity	validity	NOUN
asir-15739	84	8	of	of	ADP
asir-15739	84	9	a	a	DET
asir-15739	84	10	generalized	generalize	VERB
asir-15739	84	11	modal	modal	NOUN
asir-15739	84	12	syllogism	syllogism	NOUN
asir-15739	84	13	can	can	AUX
asir-15739	84	14	be	be	AUX
asir-15739	84	15	transformed	transform	VERB
asir-15739	84	16	into	into	ADP
asir-15739	84	17	that	that	PRON
asir-15739	84	18	of	of	ADP
asir-15739	84	19	its	its	PRON
asir-15739	84	20	corresponding	corresponding	ADJ
asir-15739	84	21	generalized	generalized	ADJ
asir-15739	84	22	syllogism	syllogism	NOUN
asir-15739	84	23	.	.	PUNCT
asir-15739	85	1	for	for	ADP
asir-15739	85	2	(	(	PUNCT
asir-15739	85	3	3.1	3.1	NUM
asir-15739	85	4	)	)	PUNCT
asir-15739	85	5	.	.	PUNCT
asir-15739	86	1	suppose	suppose	VERB
asir-15739	86	2	that	that	SCONJ
asir-15739	86	3	all(m	all(m	PROPN
asir-15739	86	4	,	,	PUNCT
asir-15739	86	5	p	p	NOUN
asir-15739	86	6	)	)	PUNCT
asir-15739	86	7	and	and	CCONJ
asir-15739	86	8	most(s	most(s	PROPN
asir-15739	86	9	,	,	PUNCT
asir-15739	86	10	m	m	PRON
asir-15739	86	11	)	)	PUNCT
asir-15739	86	12	are	be	AUX
asir-15739	86	13	true	true	ADJ
asir-15739	86	14	,	,	PUNCT
asir-15739	86	15	in	in	ADP
asir-15739	86	16	line	line	NOUN
asir-15739	86	17	with	with	ADP
asir-15739	86	18	the	the	DET
asir-15739	86	19	clause	clause	NOUN
asir-15739	86	20	(	(	PUNCT
asir-15739	86	21	2.1	2.1	NUM
asir-15739	86	22	)	)	PUNCT
asir-15739	86	23	in	in	ADP
asir-15739	86	24	definition	definition	NOUN
asir-15739	86	25	2	2	NUM
asir-15739	86	26	,	,	PUNCT
asir-15739	86	27	all(m	all(m	PROPN
asir-15739	86	28	,	,	PUNCT
asir-15739	86	29	p	p	NOUN
asir-15739	86	30	)	)	PUNCT
asir-15739	86	31	is	be	AUX
asir-15739	86	32	true	true	ADJ
asir-15739	86	33	if	if	SCONJ
asir-15739	86	34	and	and	CCONJ
asir-15739	86	35	only	only	ADV
asir-15739	86	36	if	if	SCONJ
asir-15739	86	37	mp	mp	NOUN
asir-15739	86	38	is	be	AUX
asir-15739	86	39	true	true	ADJ
asir-15739	86	40	in	in	ADP
asir-15739	86	41	any	any	DET
asir-15739	86	42	possible	possible	ADJ
asir-15739	86	43	world	world	NOUN
asir-15739	86	44	.	.	NOUN
asir-15739	86	45	similarly	similarly	ADV
asir-15739	86	46	,	,	PUNCT
asir-15739	86	47	with	with	ADP
asir-15739	86	48	the	the	DET
asir-15739	86	49	help	help	NOUN
asir-15739	86	50	of	of	ADP
asir-15739	86	51	the	the	DET
asir-15739	86	52	clause	clause	NOUN
asir-15739	86	53	(	(	PUNCT
asir-15739	86	54	2.9	2.9	NUM
asir-15739	86	55	)	)	PUNCT
asir-15739	86	56	in	in	ADP
asir-15739	86	57	definition	definition	NOUN
asir-15739	86	58	2	2	NUM
asir-15739	86	59	,	,	PUNCT
asir-15739	86	60	most(s	most(s	X
asir-15739	86	61	,	,	PUNCT
asir-15739	86	62	m	m	PRON
asir-15739	86	63	)	)	PUNCT
asir-15739	86	64	is	be	AUX
asir-15739	86	65	true	true	ADJ
asir-15739	86	66	if	if	SCONJ
asir-15739	86	67	and	and	CCONJ
asir-15739	86	68	only	only	ADV
asir-15739	86	69	if	if	SCONJ
asir-15739	86	70	s∩m0.6s	s∩m0.6s	PROPN
asir-15739	86	71	is	be	AUX
asir-15739	86	72	true	true	ADJ
asir-15739	86	73	in	in	ADP
asir-15739	86	74	any	any	DET
asir-15739	86	75	possible	possible	ADJ
asir-15739	86	76	world	world	NOUN
asir-15739	86	77	.	.	NOUN
asir-15739	86	78	thus	thus	ADV
asir-15739	86	79	it	it	PRON
asir-15739	86	80	follows	follow	VERB
asir-15739	86	81	that	that	DET
asir-15739	86	82	mp	mp	NOUN
asir-15739	86	83	and	and	CCONJ
asir-15739	86	84	s∩m0.6s	s∩m0.6s	PROPN
asir-15739	86	85	are	be	AUX
asir-15739	86	86	true	true	ADJ
asir-15739	86	87	in	in	ADP
asir-15739	86	88	any	any	DET
asir-15739	86	89	possible	possible	ADJ
asir-15739	86	90	world	world	NOUN
asir-15739	86	91	.	.	NOUN
asir-15739	86	92	it	it	PRON
asir-15739	86	93	follows	follow	VERB
asir-15739	86	94	that	that	SCONJ
asir-15739	86	95	s∩p0.6s.	s∩p0.6s.	ADV
asir-15739	87	1	and	and	CCONJ
asir-15739	87	2	it	it	PRON
asir-15739	87	3	can	can	AUX
asir-15739	87	4	be	be	AUX
asir-15739	87	5	seen	see	VERB
asir-15739	87	6	that	that	SCONJ
asir-15739	87	7	s∩p	s∩p	NOUN
asir-15739	87	8	is	be	AUX
asir-15739	87	9	true	true	ADJ
asir-15739	87	10	in	in	ADP
asir-15739	87	11	any	any	DET
asir-15739	87	12	possible	possible	ADJ
asir-15739	87	13	world	world	NOUN
asir-15739	87	14	.	.	NOUN
asir-15739	87	15	therefore	therefore	ADV
asir-15739	87	16	,	,	PUNCT
asir-15739	87	17	some(s	some(s	INTJ
asir-15739	87	18	,	,	PUNCT
asir-15739	87	19	p	p	NOUN
asir-15739	87	20	)	)	PUNCT
asir-15739	87	21	is	be	AUX
asir-15739	87	22	true	true	ADJ
asir-15739	87	23	in	in	ADP
asir-15739	87	24	accordance	accordance	NOUN
asir-15739	87	25	with	with	ADP
asir-15739	87	26	the	the	DET
asir-15739	87	27	clause	clause	NOUN
asir-15739	87	28	(	(	PUNCT
asir-15739	87	29	2.5	2.5	NUM
asir-15739	87	30	)	)	PUNCT
asir-15739	87	31	in	in	ADP
asir-15739	87	32	definition	definition	NOUN
asir-15739	87	33	2	2	NUM
asir-15739	87	34	.	.	PUNCT
asir-15739	88	1	the	the	DET
asir-15739	88	2	proof	proof	NOUN
asir-15739	88	3	of	of	ADP
asir-15739	88	4	(	(	PUNCT
asir-15739	88	5	2.1	2.1	NUM
asir-15739	88	6	)	)	PUNCT
asir-15739	88	7	has	have	AUX
asir-15739	88	8	been	be	AUX
asir-15739	88	9	completed	complete	VERB
asir-15739	88	10	.	.	PUNCT
asir-15739	89	1	the	the	DET
asir-15739	89	2	others	other	NOUN
asir-15739	89	3	can	can	AUX
asir-15739	89	4	be	be	AUX
asir-15739	89	5	similarly	similarly	ADV
asir-15739	89	6	proved	prove	VERB
asir-15739	89	7	on	on	ADP
asir-15739	89	8	the	the	DET
asir-15739	89	9	basis	basis	NOUN
asir-15739	89	10	of	of	ADP
asir-15739	89	11	the	the	DET
asir-15739	89	12	above	above	ADJ
asir-15739	89	13	theorems	theorem	NOUN
asir-15739	89	14	,	,	PUNCT
asir-15739	89	15	facts	fact	NOUN
asir-15739	89	16	and	and	CCONJ
asir-15739	89	17	rules	rule	NOUN
asir-15739	89	18	.	.	PUNCT
asir-15739	90	1	theorem	theorem	VERB
asir-15739	90	2	4	4	NUM
asir-15739	90	3	:	:	PUNCT
asir-15739	90	4	the	the	DET
asir-15739	90	5	generalized	generalized	ADJ
asir-15739	90	6	syllogism	syllogism	NOUN
asir-15739	90	7	no(p	no(p	NOUN
asir-15739	90	8	,	,	PUNCT
asir-15739	90	9	m)most(s	m)most(s	PROPN
asir-15739	90	10	,	,	PUNCT
asir-15739	90	11	m)not	m)not	PROPN
asir-15739	90	12	all(s	all(s	PROPN
asir-15739	90	13	,	,	PUNCT
asir-15739	90	14	p	p	NOUN
asir-15739	90	15	)	)	PUNCT
asir-15739	90	16	is	be	AUX
asir-15739	90	17	valid	valid	ADJ
asir-15739	90	18	.	.	PUNCT
asir-15739	91	1	proof	proof	NOUN
asir-15739	91	2	:	:	PUNCT
asir-15739	91	3	suppose	suppose	VERB
asir-15739	91	4	that	that	SCONJ
asir-15739	91	5	no(p	no(p	NOUN
asir-15739	91	6	,	,	PUNCT
asir-15739	91	7	m	m	PROPN
asir-15739	91	8	)	)	PUNCT
asir-15739	91	9	and	and	CCONJ
asir-15739	91	10	most(s	most(s	PROPN
asir-15739	91	11	,	,	PUNCT
asir-15739	91	12	m	m	PRON
asir-15739	91	13	)	)	PUNCT
asir-15739	91	14	are	be	AUX
asir-15739	91	15	true	true	ADJ
asir-15739	91	16	,	,	PUNCT
asir-15739	91	17	according	accord	VERB
asir-15739	91	18	to	to	ADP
asir-15739	91	19	the	the	DET
asir-15739	91	20	clause	clause	NOUN
asir-15739	91	21	(	(	PUNCT
asir-15739	91	22	1.2	1.2	NUM
asir-15739	91	23	)	)	PUNCT
asir-15739	91	24	and	and	CCONJ
asir-15739	91	25	(	(	PUNCT
asir-15739	91	26	1.5	1.5	NUM
asir-15739	91	27	)	)	PUNCT
asir-15739	91	28	in	in	ADP
asir-15739	91	29	definition	definition	NOUN
asir-15739	91	30	1	1	NUM
asir-15739	91	31	,	,	PUNCT
asir-15739	91	32	one	one	PRON
asir-15739	91	33	can	can	AUX
asir-15739	91	34	obtain	obtain	VERB
asir-15739	91	35	that	that	DET
asir-15739	91	36	no(p	no(p	NOUN
asir-15739	91	37	,	,	PUNCT
asir-15739	91	38	m)p∩m=	m)p∩m=	NOUN
asir-15739	91	39	and	and	CCONJ
asir-15739	91	40	most(s	most(s	PROPN
asir-15739	91	41	,	,	PUNCT
asir-15739	91	42	m)s∩m0.6s	m)s∩m0.6s	NOUN
asir-15739	91	43	are	be	AUX
asir-15739	91	44	true	true	ADJ
asir-15739	91	45	.	.	PUNCT
asir-15739	92	1	it	it	PRON
asir-15739	92	2	can	can	AUX
asir-15739	92	3	be	be	AUX
asir-15739	92	4	seen	see	VERB
asir-15739	92	5	that	that	SCONJ
asir-15739	92	6	p∩m=	p∩m=	NOUN
asir-15739	92	7	and	and	CCONJ
asir-15739	92	8	s∩m0.6s.	s∩m0.6s.	NUM
asir-15739	92	9	therefore	therefore	ADV
asir-15739	92	10	,	,	PUNCT
asir-15739	92	11	s⊈p	s⊈p	NOUN
asir-15739	92	12	.	.	PUNCT
asir-15739	93	1	this	this	PRON
asir-15739	93	2	can	can	AUX
asir-15739	93	3	be	be	AUX
asir-15739	93	4	prove	prove	VERB
asir-15739	93	5	by	by	ADP
asir-15739	93	6	reductio	reductio	NOUN
asir-15739	93	7	ad	ad	NOUN
asir-15739	93	8	absurdum	absurdum	NOUN
asir-15739	93	9	.	.	PUNCT
asir-15739	94	1	suppose	suppose	VERB
asir-15739	94	2	that	that	SCONJ
asir-15739	94	3	s⊈p	s⊈p	NOUN
asir-15739	94	4	is	be	AUX
asir-15739	94	5	not	not	PART
asir-15739	94	6	true	true	ADJ
asir-15739	94	7	.	.	PUNCT
asir-15739	95	1	it	it	PRON
asir-15739	95	2	is	be	AUX
asir-15739	95	3	clear	clear	ADJ
asir-15739	95	4	that	that	SCONJ
asir-15739	95	5	sp	sp	PROPN
asir-15739	95	6	is	be	AUX
asir-15739	95	7	true	true	ADJ
asir-15739	95	8	,	,	PUNCT
asir-15739	95	9	and	and	CCONJ
asir-15739	95	10	it	it	PRON
asir-15739	95	11	has	have	AUX
asir-15739	95	12	been	be	AUX
asir-15739	95	13	proved	prove	VERB
asir-15739	95	14	that	that	SCONJ
asir-15739	95	15	p∩m=.	p∩m=.	NOUN
asir-15739	95	16	thus	thus	ADV
asir-15739	95	17	,	,	PUNCT
asir-15739	95	18	it	it	PRON
asir-15739	95	19	follows	follow	VERB
asir-15739	95	20	that	that	SCONJ
asir-15739	95	21	s∩m=	s∩m=	PROPN
asir-15739	95	22	which	which	PRON
asir-15739	95	23	contradicts	contradict	VERB
asir-15739	95	24	s∩m0.6s.	s∩m0.6s.	NUM
asir-15739	95	25	so	so	ADV
asir-15739	95	26	sp	sp	NOUN
asir-15739	95	27	is	be	AUX
asir-15739	95	28	not	not	PART
asir-15739	95	29	true	true	ADJ
asir-15739	95	30	.	.	PUNCT
asir-15739	96	1	in	in	ADP
asir-15739	96	2	other	other	ADJ
asir-15739	96	3	words	word	NOUN
asir-15739	96	4	,	,	PUNCT
asir-15739	96	5	s⊈p	s⊈p	NOUN
asir-15739	96	6	is	be	AUX
asir-15739	96	7	true	true	ADJ
asir-15739	96	8	.	.	PUNCT
asir-15739	97	1	according	accord	VERB
asir-15739	97	2	to	to	ADP
asir-15739	97	3	definition	definition	NOUN
asir-15739	97	4	(	(	PUNCT
asir-15739	97	5	1.4	1.4	NUM
asir-15739	97	6	)	)	PUNCT
asir-15739	97	7	,	,	PUNCT
asir-15739	97	8	not	not	PART
asir-15739	97	9	all(s	all(s	PROPN
asir-15739	97	10	,	,	PUNCT
asir-15739	97	11	p	p	NOUN
asir-15739	97	12	)	)	PUNCT
asir-15739	97	13	is	be	AUX
asir-15739	97	14	true	true	ADJ
asir-15739	97	15	,	,	PUNCT
asir-15739	97	16	as	as	SCONJ
asir-15739	97	17	required	require	VERB
asir-15739	97	18	.	.	PUNCT
asir-15739	98	1	according	accord	VERB
asir-15739	98	2	to	to	ADP
asir-15739	98	3	theorem	theorem	ADJ
asir-15739	98	4	1	1	NUM
asir-15739	98	5	and	and	CCONJ
asir-15739	98	6	theorem	theorem	VERB
asir-15739	98	7	4	4	NUM
asir-15739	98	8	,	,	PUNCT
asir-15739	98	9	one	one	PRON
asir-15739	98	10	can	can	AUX
asir-15739	98	11	obtain	obtain	VERB
asir-15739	98	12	the	the	DET
asir-15739	98	13	following	following	NOUN
asir-15739	98	14	theorem	theorem	ADJ
asir-15739	98	15	5	5	NUM
asir-15739	98	16	:	:	PUNCT
asir-15739	98	17	www.scholink.org/ojs/index.php/asir	www.scholink.org/ojs/index.php/asir	NOUN
asir-15739	98	18	applied	apply	VERB
asir-15739	98	19	science	science	NOUN
asir-15739	98	20	and	and	CCONJ
asir-15739	98	21	innovative	innovative	ADJ
asir-15739	98	22	research	research	NOUN
asir-15739	98	23	vol	vol	NOUN
asir-15739	98	24	.	.	PUNCT
asir-15739	99	1	7	7	NUM
asir-15739	99	2	,	,	PUNCT
asir-15739	99	3	no	no	INTJ
asir-15739	99	4	.	.	NOUN
asir-15739	99	5	2	2	NUM
asir-15739	99	6	,	,	PUNCT
asir-15739	99	7	2023	2023	NUM
asir-15739	99	8	50	50	NUM
asir-15739	99	9	published	publish	VERB
asir-15739	99	10	by	by	ADP
asir-15739	99	11	scholink	scholink	PROPN
asir-15739	99	12	inc	inc	PROPN
asir-15739	99	13	.	.	PROPN
asir-15739	100	1	theorem	theorem	VERB
asir-15739	100	2	5	5	NUM
asir-15739	100	3	:	:	PUNCT
asir-15739	100	4	the	the	DET
asir-15739	100	5	following	follow	VERB
asir-15739	100	6	12	12	NUM
asir-15739	100	7	generalized	generalized	ADJ
asir-15739	100	8	modal	modal	ADJ
asir-15739	100	9	syllogisms	syllogism	NOUN
asir-15739	100	10	are	be	AUX
asir-15739	100	11	valid	valid	ADJ
asir-15739	100	12	:	:	PUNCT
asir-15739	100	13	(	(	PUNCT
asir-15739	100	14	5.1	5.1	NUM
asir-15739	100	15	)	)	PUNCT
asir-15739	100	16	no(p	no(p	PROPN
asir-15739	100	17	,	,	PUNCT
asir-15739	100	18	m)most(s	m)most(s	PROPN
asir-15739	100	19	,	,	PUNCT
asir-15739	100	20	m)not	m)not	ADV
asir-15739	101	1	all(s	all(s	PROPN
asir-15739	101	2	,	,	PUNCT
asir-15739	101	3	p	p	NOUN
asir-15739	101	4	)	)	PUNCT
asir-15739	101	5	;	;	PUNCT
asir-15739	101	6	(	(	PUNCT
asir-15739	101	7	5.2	5.2	X
asir-15739	101	8	)	)	PUNCT
asir-15739	101	9	no(p	no(p	PROPN
asir-15739	101	10	,	,	PUNCT
asir-15739	101	11	m)most(s	m)most(s	PROPN
asir-15739	101	12	,	,	PUNCT
asir-15739	101	13	m)not	m)not	PROPN
asir-15739	101	14	all(s	all(s	PROPN
asir-15739	101	15	,	,	PUNCT
asir-15739	101	16	p	p	NOUN
asir-15739	101	17	)	)	PUNCT
asir-15739	101	18	;	;	PUNCT
asir-15739	101	19	(	(	PUNCT
asir-15739	101	20	5.3	5.3	NUM
asir-15739	101	21	)	)	PUNCT
asir-15739	101	22	no(p	no(p	PROPN
asir-15739	101	23	,	,	PUNCT
asir-15739	101	24	m)most(s	m)most(s	PROPN
asir-15739	101	25	,	,	PUNCT
asir-15739	101	26	m)not	m)not	X
asir-15739	102	1	all(s	all(	VERB
asir-15739	102	2	,	,	PUNCT
asir-15739	102	3	p	p	NOUN
asir-15739	102	4	)	)	PUNCT
asir-15739	102	5	;	;	PUNCT
asir-15739	102	6	(	(	PUNCT
asir-15739	102	7	5.4	5.4	NUM
asir-15739	102	8	)	)	PUNCT
asir-15739	102	9	no(p	no(p	NOUN
asir-15739	102	10	,	,	PUNCT
asir-15739	102	11	m)most(s	m)most(s	PROPN
asir-15739	102	12	,	,	PUNCT
asir-15739	102	13	m)not	m)not	PROPN
asir-15739	102	14	all(s	all(s	PROPN
asir-15739	102	15	,	,	PUNCT
asir-15739	102	16	p	p	NOUN
asir-15739	102	17	)	)	PUNCT
asir-15739	102	18	;	;	PUNCT
asir-15739	102	19	(	(	PUNCT
asir-15739	102	20	5.5	5.5	NUM
asir-15739	102	21	)	)	PUNCT
asir-15739	102	22	no(p	no(p	NOUN
asir-15739	102	23	,	,	PUNCT
asir-15739	102	24	m)most(s	m)most(s	NOUN
asir-15739	102	25	,	,	PUNCT
asir-15739	102	26	m)not	m)not	X
asir-15739	103	1	all(s	all(	VERB
asir-15739	103	2	,	,	PUNCT
asir-15739	103	3	p	p	NOUN
asir-15739	103	4	)	)	PUNCT
asir-15739	103	5	;	;	PUNCT
asir-15739	103	6	(	(	PUNCT
asir-15739	103	7	5.6	5.6	NUM
asir-15739	103	8	)	)	PUNCT
asir-15739	103	9	no(p	no(p	NOUN
asir-15739	103	10	,	,	PUNCT
asir-15739	103	11	m)most(s	m)most(s	PROPN
asir-15739	103	12	,	,	PUNCT
asir-15739	103	13	m)not	m)not	PROPN
asir-15739	103	14	all(s	all(s	PROPN
asir-15739	103	15	,	,	PUNCT
asir-15739	103	16	p	p	NOUN
asir-15739	103	17	)	)	PUNCT
asir-15739	103	18	;	;	PUNCT
asir-15739	103	19	(	(	PUNCT
asir-15739	103	20	5.7	5.7	NUM
asir-15739	103	21	)	)	PUNCT
asir-15739	103	22	no(p	no(p	NOUN
asir-15739	103	23	,	,	PUNCT
asir-15739	103	24	m)most(s	m)most(s	PROPN
asir-15739	103	25	,	,	PUNCT
asir-15739	103	26	m)not	m)not	X
asir-15739	104	1	all(s	all(	VERB
asir-15739	104	2	,	,	PUNCT
asir-15739	104	3	p	p	NOUN
asir-15739	104	4	)	)	PUNCT
asir-15739	104	5	;	;	PUNCT
asir-15739	104	6	(	(	PUNCT
asir-15739	104	7	5.8	5.8	X
asir-15739	104	8	)	)	PUNCT
asir-15739	104	9	no(p	no(p	PROPN
asir-15739	104	10	,	,	PUNCT
asir-15739	104	11	m)most(s	m)most(s	PROPN
asir-15739	104	12	,	,	PUNCT
asir-15739	104	13	m)not	m)not	X
asir-15739	105	1	all(s	all(	VERB
asir-15739	105	2	,	,	PUNCT
asir-15739	105	3	p	p	NOUN
asir-15739	105	4	)	)	PUNCT
asir-15739	105	5	;	;	PUNCT
asir-15739	105	6	(	(	PUNCT
asir-15739	105	7	5.9	5.9	NUM
asir-15739	105	8	)	)	PUNCT
asir-15739	105	9	no(p	no(p	NOUN
asir-15739	105	10	,	,	PUNCT
asir-15739	105	11	m)most(s	m)most(s	PROPN
asir-15739	105	12	,	,	PUNCT
asir-15739	105	13	m)not	m)not	X
asir-15739	106	1	all(s	all(	VERB
asir-15739	106	2	,	,	PUNCT
asir-15739	106	3	p	p	NOUN
asir-15739	106	4	)	)	PUNCT
asir-15739	106	5	;	;	PUNCT
asir-15739	106	6	(	(	PUNCT
asir-15739	106	7	5.10	5.10	NUM
asir-15739	106	8	)	)	PUNCT
asir-15739	106	9	no(p	no(p	NOUN
asir-15739	106	10	,	,	PUNCT
asir-15739	106	11	m)most(s	m)most(s	PROPN
asir-15739	106	12	,	,	PUNCT
asir-15739	106	13	m)not	m)not	X
asir-15739	107	1	all(s	all(	VERB
asir-15739	107	2	,	,	PUNCT
asir-15739	107	3	p	p	NOUN
asir-15739	107	4	)	)	PUNCT
asir-15739	107	5	;	;	PUNCT
asir-15739	107	6	(	(	PUNCT
asir-15739	107	7	5.11	5.11	NUM
asir-15739	107	8	)	)	PUNCT
asir-15739	107	9	no(p	no(p	NOUN
asir-15739	107	10	,	,	PUNCT
asir-15739	107	11	m)most(s	m)most(s	NOUN
asir-15739	107	12	,	,	PUNCT
asir-15739	107	13	m)not	m)not	X
asir-15739	108	1	all(s	all(	VERB
asir-15739	108	2	,	,	PUNCT
asir-15739	108	3	p	p	NOUN
asir-15739	108	4	)	)	PUNCT
asir-15739	108	5	;	;	PUNCT
asir-15739	108	6	(	(	PUNCT
asir-15739	108	7	5.12	5.12	NUM
asir-15739	108	8	)	)	PUNCT
asir-15739	108	9	no(p	no(p	NOUN
asir-15739	108	10	,	,	PUNCT
asir-15739	108	11	m)most(s	m)most(s	NOUN
asir-15739	108	12	,	,	PUNCT
asir-15739	108	13	m)not	m)not	X
asir-15739	109	1	all(s	all(	VERB
asir-15739	109	2	,	,	PUNCT
asir-15739	109	3	p	p	NOUN
asir-15739	109	4	)	)	PUNCT
asir-15739	109	5	.	.	PUNCT
asir-15739	110	1	the	the	DET
asir-15739	110	2	proof	proof	NOUN
asir-15739	110	3	of	of	ADP
asir-15739	110	4	theorem	theorem	ADJ
asir-15739	110	5	5	5	NUM
asir-15739	110	6	is	be	AUX
asir-15739	110	7	similar	similar	ADJ
asir-15739	110	8	to	to	ADP
asir-15739	110	9	that	that	PRON
asir-15739	110	10	of	of	ADP
asir-15739	110	11	theorem	theorem	NOUN
asir-15739	110	12	3	3	NUM
asir-15739	110	13	.	.	PUNCT
asir-15739	110	14	that	that	PRON
asir-15739	110	15	is	be	AUX
asir-15739	110	16	to	to	PART
asir-15739	110	17	say	say	VERB
asir-15739	110	18	that	that	SCONJ
asir-15739	110	19	its	its	PRON
asir-15739	110	20	proof	proof	NOUN
asir-15739	110	21	can	can	AUX
asir-15739	110	22	be	be	AUX
asir-15739	110	23	transformed	transform	VERB
asir-15739	110	24	into	into	ADP
asir-15739	110	25	that	that	PRON
asir-15739	110	26	of	of	ADP
asir-15739	110	27	theorem	theorem	ADJ
asir-15739	110	28	4	4	NUM
asir-15739	110	29	.	.	NOUN
asir-15739	110	30	4	4	NUM
asir-15739	110	31	.	.	NOUN
asir-15739	110	32	conclusion	conclusion	NOUN
asir-15739	110	33	and	and	CCONJ
asir-15739	110	34	future	future	ADJ
asir-15739	110	35	work	work	NOUN
asir-15739	110	36	the	the	DET
asir-15739	110	37	research	research	NOUN
asir-15739	110	38	conclusions	conclusion	NOUN
asir-15739	110	39	of	of	ADP
asir-15739	110	40	this	this	DET
asir-15739	110	41	paper	paper	NOUN
asir-15739	110	42	are	be	AUX
asir-15739	110	43	as	as	SCONJ
asir-15739	110	44	follows	follow	VERB
asir-15739	110	45	:	:	PUNCT
asir-15739	110	46	(	(	PUNCT
asir-15739	110	47	1	1	X
asir-15739	110	48	)	)	PUNCT
asir-15739	110	49	making	make	VERB
asir-15739	110	50	full	full	ADJ
asir-15739	110	51	use	use	NOUN
asir-15739	110	52	of	of	ADP
asir-15739	110	53	the	the	DET
asir-15739	110	54	truth	truth	NOUN
asir-15739	110	55	value	value	NOUN
asir-15739	110	56	definitions	definition	NOUN
asir-15739	110	57	of	of	ADP
asir-15739	110	58	sentences	sentence	NOUN
asir-15739	110	59	with	with	ADP
asir-15739	110	60	quantification	quantification	NOUN
asir-15739	110	61	,	,	PUNCT
asir-15739	110	62	possible	possible	ADJ
asir-15739	110	63	world	world	NOUN
asir-15739	110	64	semantics	semantic	NOUN
asir-15739	110	65	and/or	and/or	CCONJ
asir-15739	110	66	fuzzy	fuzzy	ADJ
asir-15739	110	67	logic	logic	NOUN
asir-15739	110	68	,	,	PUNCT
asir-15739	110	69	one	one	PRON
asir-15739	110	70	can	can	AUX
asir-15739	110	71	prove	prove	VERB
asir-15739	110	72	the	the	DET
asir-15739	110	73	validity	validity	NOUN
asir-15739	110	74	of	of	ADP
asir-15739	110	75	generalized	generalized	ADJ
asir-15739	110	76	modal	modal	ADJ
asir-15739	110	77	syllogisms	syllogism	NOUN
asir-15739	110	78	.	.	PUNCT
asir-15739	111	1	(	(	PUNCT
asir-15739	111	2	2	2	X
asir-15739	111	3	)	)	PUNCT
asir-15739	111	4	the	the	DET
asir-15739	111	5	proof	proof	NOUN
asir-15739	111	6	of	of	ADP
asir-15739	111	7	the	the	DET
asir-15739	111	8	validity	validity	NOUN
asir-15739	111	9	of	of	ADP
asir-15739	111	10	a	a	DET
asir-15739	111	11	generalized	generalize	VERB
asir-15739	111	12	modal	modal	NOUN
asir-15739	111	13	syllogism	syllogism	NOUN
asir-15739	111	14	can	can	AUX
asir-15739	111	15	be	be	AUX
asir-15739	111	16	transformed	transform	VERB
asir-15739	111	17	into	into	ADP
asir-15739	111	18	that	that	PRON
asir-15739	111	19	of	of	ADP
asir-15739	111	20	its	its	PRON
asir-15739	111	21	corresponding	corresponding	ADJ
asir-15739	111	22	generalized	generalized	ADJ
asir-15739	111	23	syllogism	syllogism	NOUN
asir-15739	111	24	.	.	PUNCT
asir-15739	112	1	and	and	CCONJ
asir-15739	112	2	it	it	PRON
asir-15739	112	3	can	can	AUX
asir-15739	112	4	be	be	AUX
asir-15739	112	5	shown	show	VERB
asir-15739	112	6	that	that	SCONJ
asir-15739	112	7	the	the	DET
asir-15739	112	8	generalized	generalized	ADJ
asir-15739	112	9	syllogism	syllogism	NOUN
asir-15739	112	10	obtained	obtain	VERB
asir-15739	112	11	by	by	ADP
asir-15739	112	12	removing	remove	VERB
asir-15739	112	13	all	all	DET
asir-15739	112	14	modalities	modality	NOUN
asir-15739	112	15	in	in	ADP
asir-15739	112	16	any	any	DET
asir-15739	112	17	valid	valid	ADJ
asir-15739	112	18	generalized	generalized	ADJ
asir-15739	112	19	modal	modal	ADJ
asir-15739	112	20	syllogism	syllogism	NOUN
asir-15739	112	21	is	be	AUX
asir-15739	112	22	still	still	ADV
asir-15739	112	23	valid	valid	ADJ
asir-15739	112	24	.	.	PUNCT
asir-15739	113	1	so	so	ADV
asir-15739	113	2	the	the	DET
asir-15739	113	3	simplest	simple	ADJ
asir-15739	113	4	way	way	NOUN
asir-15739	113	5	to	to	PART
asir-15739	113	6	screen	screen	VERB
asir-15739	113	7	out	out	ADP
asir-15739	113	8	valid	valid	ADJ
asir-15739	113	9	generalized	generalized	ADJ
asir-15739	113	10	modal	modal	ADJ
asir-15739	113	11	syllogisms	syllogism	NOUN
asir-15739	113	12	is	be	AUX
asir-15739	113	13	to	to	PART
asir-15739	113	14	add	add	VERB
asir-15739	113	15	modalities	modality	NOUN
asir-15739	113	16	to	to	PART
asir-15739	113	17	valid	valid	ADJ
asir-15739	113	18	generalized	generalized	ADJ
asir-15739	113	19	syllogisms	syllogism	NOUN
asir-15739	113	20	,	,	PUNCT
asir-15739	113	21	and	and	CCONJ
asir-15739	113	22	then	then	ADV
asir-15739	113	23	to	to	PART
asir-15739	113	24	delete	delete	VERB
asir-15739	113	25	all	all	DET
asir-15739	113	26	invalid	invalid	ADJ
asir-15739	113	27	syllogisms	syllogism	NOUN
asir-15739	113	28	by	by	ADP
asir-15739	113	29	means	mean	NOUN
asir-15739	113	30	of	of	ADP
asir-15739	113	31	the	the	DET
asir-15739	113	32	basic	basic	ADJ
asir-15739	113	33	rules	rule	NOUN
asir-15739	113	34	with	with	ADP
asir-15739	113	35	which	which	PRON
asir-15739	113	36	valid	valid	ADJ
asir-15739	113	37	generalized	generalized	ADJ
asir-15739	113	38	modal	modal	ADJ
asir-15739	113	39	syllogisms	syllogism	NOUN
asir-15739	113	40	should	should	AUX
asir-15739	113	41	meet	meet	VERB
asir-15739	113	42	.	.	PUNCT
asir-15739	114	1	and	and	CCONJ
asir-15739	114	2	then	then	ADV
asir-15739	114	3	the	the	DET
asir-15739	114	4	remainders	remainder	NOUN
asir-15739	114	5	are	be	AUX
asir-15739	114	6	valid	valid	ADJ
asir-15739	114	7	.	.	PUNCT
asir-15739	115	1	(	(	PUNCT
asir-15739	115	2	3	3	X
asir-15739	115	3	)	)	PUNCT
asir-15739	115	4	one	one	NOUN
asir-15739	115	5	can	can	AUX
asir-15739	115	6	obtain	obtain	VERB
asir-15739	115	7	12	12	NUM
asir-15739	115	8	valid	valid	ADJ
asir-15739	115	9	generalized	generalized	ADJ
asir-15739	115	10	modal	modal	ADJ
asir-15739	115	11	syllogisms	syllogism	NOUN
asir-15739	115	12	by	by	ADP
asir-15739	115	13	adding	add	VERB
asir-15739	115	14	necessary	necessary	ADJ
asir-15739	115	15	modalities	modality	NOUN
asir-15739	115	16	and/or	and/or	CCONJ
asir-15739	115	17	possible	possible	ADJ
asir-15739	115	18	modalities	modality	NOUN
asir-15739	115	19	to	to	ADP
asir-15739	115	20	any	any	DET
asir-15739	115	21	valid	valid	ADJ
asir-15739	115	22	generalized	generalized	ADJ
asir-15739	115	23	syllogism	syllogism	NOUN
asir-15739	115	24	.	.	PUNCT
asir-15739	116	1	this	this	DET
asir-15739	116	2	study	study	NOUN
asir-15739	116	3	provides	provide	VERB
asir-15739	116	4	an	an	DET
asir-15739	116	5	unified	unified	ADJ
asir-15739	116	6	mathematical	mathematical	ADJ
asir-15739	116	7	paradigm	paradigm	NOUN
asir-15739	116	8	for	for	ADP
asir-15739	116	9	discussing	discuss	VERB
asir-15739	116	10	the	the	DET
asir-15739	116	11	other	other	ADJ
asir-15739	116	12	generalized	generalized	ADJ
asir-15739	116	13	modal	modal	ADJ
asir-15739	116	14	syllogisms	syllogism	NOUN
asir-15739	116	15	including	include	VERB
asir-15739	116	16	different	different	ADJ
asir-15739	116	17	generalized	generalized	ADJ
asir-15739	116	18	quantifiers	quantifier	NOUN
asir-15739	116	19	(	(	PUNCT
asir-15739	116	20	such	such	ADJ
asir-15739	116	21	as	as	ADP
asir-15739	116	22	a	a	DET
asir-15739	116	23	minority	minority	NOUN
asir-15739	116	24	of	of	ADP
asir-15739	116	25	,	,	PUNCT
asir-15739	116	26	few	few	ADJ
asir-15739	116	27	,	,	PUNCT
asir-15739	116	28	at	at	ADP
asir-15739	116	29	most	most	ADJ
asir-15739	116	30	n	n	CCONJ
asir-15739	116	31	,	,	PUNCT
asir-15739	116	32	at	at	ADP
asir-15739	116	33	least	least	ADJ
asir-15739	116	34	half	half	NOUN
asir-15739	116	35	of	of	ADP
asir-15739	116	36	the	the	PRON
asir-15739	116	37	,	,	PUNCT
asir-15739	116	38	a	a	DET
asir-15739	116	39	large	large	ADJ
asir-15739	116	40	part	part	NOUN
asir-15739	116	41	of	of	ADP
asir-15739	116	42	,	,	PUNCT
asir-15739	116	43	etc	etc	X
asir-15739	116	44	.	.	X
asir-15739	116	45	)	)	PUNCT
asir-15739	116	46	.	.	PUNCT
asir-15739	117	1	there	there	PRON
asir-15739	117	2	are	be	VERB
asir-15739	117	3	an	an	DET
asir-15739	117	4	infinite	infinite	ADJ
asir-15739	117	5	number	number	NOUN
asir-15739	117	6	of	of	ADP
asir-15739	117	7	instances	instance	NOUN
asir-15739	117	8	in	in	ADP
asir-15739	117	9	natural	natural	ADJ
asir-15739	117	10	language	language	NOUN
asir-15739	117	11	corresponding	correspond	VERB
asir-15739	117	12	to	to	ADP
asir-15739	117	13	any	any	DET
asir-15739	117	14	valid	valid	ADJ
asir-15739	117	15	generalized	generalized	ADJ
asir-15739	117	16	modal	modal	ADJ
asir-15739	117	17	syllogism	syllogism	NOUN
asir-15739	117	18	.	.	PUNCT
asir-15739	118	1	hence	hence	ADV
asir-15739	118	2	,	,	PUNCT
asir-15739	118	3	this	this	DET
asir-15739	118	4	study	study	NOUN
asir-15739	118	5	has	have	VERB
asir-15739	118	6	important	important	ADJ
asir-15739	118	7	theoretical	theoretical	ADJ
asir-15739	118	8	value	value	NOUN
asir-15739	118	9	and	and	CCONJ
asir-15739	118	10	practical	practical	ADJ
asir-15739	118	11	significance	significance	NOUN
asir-15739	118	12	.	.	PUNCT
asir-15739	119	1	acknowledgement	acknowledgement	NOUN
asir-15739	119	2	this	this	DET
asir-15739	119	3	work	work	NOUN
asir-15739	119	4	was	be	AUX
asir-15739	119	5	supported	support	VERB
asir-15739	119	6	by	by	ADP
asir-15739	119	7	the	the	DET
asir-15739	119	8	national	national	ADJ
asir-15739	119	9	social	social	PROPN
asir-15739	119	10	science	science	PROPN
asir-15739	119	11	foundation	foundation	PROPN
asir-15739	119	12	of	of	ADP
asir-15739	119	13	china	china	PROPN
asir-15739	119	14	under	under	ADP
asir-15739	119	15	grant	grant	PROPN
asir-15739	119	16	no.22&zd295	no.22&zd295	PROPN
asir-15739	119	17	.	.	PROPN
asir-15739	119	18	www.scholink.org/ojs/index.php/asir	www.scholink.org/ojs/index.php/asir	PROPN
asir-15739	119	19	applied	apply	VERB
asir-15739	119	20	science	science	NOUN
asir-15739	119	21	and	and	CCONJ
asir-15739	119	22	innovative	innovative	ADJ
asir-15739	119	23	research	research	NOUN
asir-15739	119	24	vol	vol	NOUN
asir-15739	119	25	.	.	PUNCT
asir-15739	120	1	7	7	NUM
asir-15739	120	2	,	,	PUNCT
asir-15739	120	3	no	no	INTJ
asir-15739	120	4	.	.	NOUN
asir-15739	120	5	2	2	NUM
asir-15739	120	6	,	,	PUNCT
asir-15739	120	7	2023	2023	NUM
asir-15739	120	8	51	51	NUM
asir-15739	120	9	published	publish	VERB
asir-15739	120	10	by	by	ADP
asir-15739	120	11	scholink	scholink	PROPN
asir-15739	120	12	inc	inc	PROPN
asir-15739	120	13	.	.	PROPN
asir-15739	120	14	references	reference	NOUN
asir-15739	120	15	chagrov	chagrov	PROPN
asir-15739	120	16	,	,	PUNCT
asir-15739	120	17	a.	a.	NOUN
asir-15739	120	18	,	,	PUNCT
asir-15739	120	19	&	&	CCONJ
asir-15739	120	20	zakharyaschev	zakharyaschev	PROPN
asir-15739	120	21	,	,	PUNCT
asir-15739	120	22	m.	m.	NOUN
asir-15739	120	23	(	(	PUNCT
asir-15739	120	24	1997	1997	NUM
asir-15739	120	25	)	)	PUNCT
asir-15739	120	26	.	.	PUNCT
asir-15739	121	1	modal	modal	ADJ
asir-15739	121	2	logic	logic	NOUN
asir-15739	121	3	.	.	PUNCT
asir-15739	122	1	oxford	oxford	NOUN
asir-15739	122	2	:	:	PUNCT
asir-15739	122	3	clarendon	clarendon	PROPN
asir-15739	122	4	press	press	PROPN
asir-15739	122	5	.	.	PUNCT
asir-15739	123	1	chellas	chellas	PROPN
asir-15739	123	2	,	,	PUNCT
asir-15739	123	3	b.	b.	PROPN
asir-15739	123	4	f.	f.	PROPN
asir-15739	123	5	(	(	PUNCT
asir-15739	123	6	1980	1980	NUM
asir-15739	123	7	)	)	PUNCT
asir-15739	123	8	.	.	PUNCT
asir-15739	124	1	modal	modal	ADJ
asir-15739	124	2	logic	logic	NOUN
asir-15739	124	3	:	:	PUNCT
asir-15739	124	4	an	an	DET
asir-15739	124	5	introduction	introduction	NOUN
asir-15739	124	6	.	.	PUNCT
asir-15739	125	1	cambridge	cambridge	PROPN
asir-15739	125	2	:	:	PUNCT
asir-15739	125	3	cambridge	cambridge	PROPN
asir-15739	125	4	university	university	PROPN
asir-15739	125	5	press	press	NOUN
asir-15739	125	6	.	.	PUNCT
asir-15739	126	1	https://doi.org/10.1017/cbo9780511621192	https://doi.org/10.1017/cbo9780511621192	PROPN
asir-15739	126	2	cheng	cheng	PROPN
asir-15739	126	3	,	,	PUNCT
asir-15739	126	4	z.	z.	PROPN
asir-15739	126	5	(	(	PUNCT
asir-15739	126	6	2022	2022	NUM
asir-15739	126	7	)	)	PUNCT
asir-15739	126	8	.	.	PUNCT
asir-15739	127	1	the	the	DET
asir-15739	127	2	remaining	remain	VERB
asir-15739	127	3	23	23	NUM
asir-15739	127	4	valid	valid	ADJ
asir-15739	127	5	aristotelian	aristotelian	ADJ
asir-15739	127	6	syllogisms	syllogism	NOUN
asir-15739	127	7	can	can	AUX
asir-15739	127	8	be	be	AUX
asir-15739	127	9	deduced	deduce	VERB
asir-15739	127	10	only	only	ADV
asir-15739	127	11	from	from	ADP
asir-15739	127	12	the	the	DET
asir-15739	127	13	syllogism	syllogism	NOUN
asir-15739	127	14	iai-3	iai-3	ADJ
asir-15739	127	15	.	.	PUNCT
asir-15739	127	16	scirea	scirea	PROPN
asir-15739	127	17	journal	journal	PROPN
asir-15739	127	18	of	of	ADP
asir-15739	127	19	computer	computer	NOUN
asir-15739	127	20	,	,	PUNCT
asir-15739	127	21	7(5	7(5	NUM
asir-15739	127	22	)	)	PUNCT
asir-15739	127	23	,	,	PUNCT
asir-15739	127	24	85	85	NUM
asir-15739	127	25	-	-	SYM
asir-15739	127	26	95	95	NUM
asir-15739	127	27	.	.	PUNCT
asir-15739	128	1	cheng	cheng	PROPN
asir-15739	128	2	,	,	PUNCT
asir-15739	128	3	z.	z.	PROPN
asir-15739	128	4	(	(	PUNCT
asir-15739	128	5	2023	2023	NUM
asir-15739	128	6	)	)	PUNCT
asir-15739	128	7	.	.	PUNCT
asir-15739	129	1	how	how	SCONJ
asir-15739	129	2	to	to	PART
asir-15739	129	3	deduce	deduce	VERB
asir-15739	129	4	the	the	DET
asir-15739	129	5	other	other	ADJ
asir-15739	129	6	91	91	NUM
asir-15739	129	7	valid	valid	ADJ
asir-15739	129	8	aristotelian	aristotelian	ADJ
asir-15739	129	9	modal	modal	NOUN
asir-15739	129	10	syllogisms	syllogism	NOUN
asir-15739	129	11	from	from	ADP
asir-15739	129	12	the	the	DET
asir-15739	129	13	syllogism	syllogism	NOUN
asir-15739	129	14	iai-3	iai-3	ADJ
asir-15739	129	15	.	.	PUNCT
asir-15739	130	1	applied	apply	VERB
asir-15739	130	2	science	science	NOUN
asir-15739	130	3	and	and	CCONJ
asir-15739	130	4	innovative	innovative	ADJ
asir-15739	130	5	research	research	NOUN
asir-15739	130	6	,	,	PUNCT
asir-15739	130	7	7(1	7(1	NUM
asir-15739	130	8	)	)	PUNCT
asir-15739	130	9	,	,	PUNCT
asir-15739	130	10	46	46	NUM
asir-15739	130	11	-	-	SYM
asir-15739	130	12	57	57	NUM
asir-15739	130	13	.	.	PUNCT
asir-15739	131	1	https://doi.org/10.22158/asir.v7n1p46	https://doi.org/10.22158/asir.v7n1p46	PROPN
asir-15739	131	2	endrullis	endrullis	PROPN
asir-15739	131	3	,	,	PUNCT
asir-15739	131	4	j.	j.	PROPN
asir-15739	131	5	,	,	PUNCT
asir-15739	131	6	&	&	CCONJ
asir-15739	131	7	moss	moss	PROPN
asir-15739	131	8	,	,	PUNCT
asir-15739	131	9	l.	l.	PROPN
asir-15739	131	10	s.	s.	PROPN
asir-15739	131	11	(	(	PUNCT
asir-15739	131	12	2015	2015	NUM
asir-15739	131	13	)	)	PUNCT
asir-15739	131	14	.	.	PUNCT
asir-15739	132	1	syllogistic	syllogistic	ADJ
asir-15739	132	2	logic	logic	NOUN
asir-15739	132	3	with	with	ADP
asir-15739	132	4	‘	'	PUNCT
asir-15739	132	5	most	most	ADJ
asir-15739	132	6	’	'	PUNCT
asir-15739	132	7	.	.	PUNCT
asir-15739	133	1	in	in	ADP
asir-15739	133	2	v.	v.	PROPN
asir-15739	133	3	de	de	PROPN
asir-15739	133	4	paiva	paiva	PROPN
asir-15739	133	5	et	et	PROPN
asir-15739	133	6	al	al	PROPN
asir-15739	133	7	.	.	PROPN
asir-15739	134	1	(	(	PUNCT
asir-15739	134	2	eds	ed	NOUN
asir-15739	134	3	.	.	PUNCT
asir-15739	134	4	)	)	PUNCT
asir-15739	134	5	,	,	PUNCT
asir-15739	134	6	logic	logic	NOUN
asir-15739	134	7	,	,	PUNCT
asir-15739	134	8	language	language	NOUN
asir-15739	134	9	,	,	PUNCT
asir-15739	134	10	information	information	NOUN
asir-15739	134	11	,	,	PUNCT
asir-15739	134	12	and	and	CCONJ
asir-15739	134	13	computation	computation	NOUN
asir-15739	134	14	(	(	PUNCT
asir-15739	134	15	pp	pp	ADJ
asir-15739	134	16	.	.	PUNCT
asir-15739	135	1	124	124	NUM
asir-15739	135	2	-	-	SYM
asir-15739	135	3	139	139	NUM
asir-15739	135	4	)	)	PUNCT
asir-15739	135	5	.	.	PUNCT
asir-15739	136	1	johnson	johnson	PROPN
asir-15739	136	2	,	,	PUNCT
asir-15739	136	3	f.	f.	PROPN
asir-15739	136	4	(	(	PUNCT
asir-15739	136	5	2004	2004	NUM
asir-15739	136	6	)	)	PUNCT
asir-15739	136	7	.	.	PUNCT
asir-15739	137	1	aristotle	aristotle	PROPN
asir-15739	137	2	’s	’s	PART
asir-15739	137	3	modal	modal	ADJ
asir-15739	137	4	syllogisms	syllogism	NOUN
asir-15739	137	5	.	.	PUNCT
asir-15739	138	1	handbook	handbook	NOUN
asir-15739	138	2	of	of	ADP
asir-15739	138	3	the	the	DET
asir-15739	138	4	history	history	NOUN
asir-15739	138	5	of	of	ADP
asir-15739	138	6	logic	logic	NOUN
asir-15739	138	7	,	,	PUNCT
asir-15739	138	8	i	i	PRON
asir-15739	138	9	,	,	PUNCT
asir-15739	138	10	247	247	NUM
asir-15739	138	11	-	-	SYM
asir-15739	138	12	338	338	NUM
asir-15739	138	13	.	.	PUNCT
asir-15739	139	1	https://doi.org/10.1016/s1874-5857(04)80006-2	https://doi.org/10.1016/s1874-5857(04)80006-2	PROPN
asir-15739	139	2	li	li	PROPN
asir-15739	139	3	,	,	PUNCT
asir-15739	139	4	h.	h.	PROPN
asir-15739	139	5	(	(	PUNCT
asir-15739	139	6	2023	2023	NUM
asir-15739	139	7	)	)	PUNCT
asir-15739	139	8	.	.	PUNCT
asir-15739	140	1	reduction	reduction	NOUN
asir-15739	140	2	between	between	ADP
asir-15739	140	3	categorical	categorical	ADJ
asir-15739	140	4	syllogisms	syllogism	NOUN
asir-15739	140	5	based	base	VERB
asir-15739	140	6	on	on	ADP
asir-15739	140	7	the	the	DET
asir-15739	140	8	syllogism	syllogism	NOUN
asir-15739	140	9	eio-2	eio-2	NUM
asir-15739	140	10	.	.	PUNCT
asir-15739	140	11	applied	apply	VERB
asir-15739	140	12	science	science	NOUN
asir-15739	140	13	and	and	CCONJ
asir-15739	140	14	innovative	innovative	ADJ
asir-15739	140	15	research	research	NOUN
asir-15739	140	16	,	,	PUNCT
asir-15739	140	17	7(1	7(1	NUM
asir-15739	140	18	)	)	PUNCT
asir-15739	140	19	,	,	PUNCT
asir-15739	140	20	30	30	NUM
asir-15739	140	21	-	-	SYM
asir-15739	140	22	37	37	NUM
asir-15739	140	23	.	.	PUNCT
asir-15739	141	1	https://doi.org/10.22158/asir.v7n1p30	https://doi.org/10.22158/asir.v7n1p30	PROPN
asir-15739	141	2	moss	moss	PROPN
asir-15739	141	3	,	,	PUNCT
asir-15739	141	4	l.	l.	PROPN
asir-15739	141	5	s.	s.	PROPN
asir-15739	141	6	(	(	PUNCT
asir-15739	141	7	2010	2010	NUM
asir-15739	141	8	)	)	PUNCT
asir-15739	141	9	.	.	PUNCT
asir-15739	142	1	syllogistic	syllogistic	ADJ
asir-15739	142	2	logics	logic	NOUN
asir-15739	142	3	with	with	ADP
asir-15739	142	4	verbs	verbs	PROPN
asir-15739	142	5	.	.	PROPN
asir-15739	142	6	journal	journal	PROPN
asir-15739	142	7	of	of	ADP
asir-15739	142	8	logic	logic	NOUN
asir-15739	142	9	and	and	CCONJ
asir-15739	142	10	computation	computation	NOUN
asir-15739	142	11	,	,	PUNCT
asir-15739	142	12	20(4	20(4	NOUN
asir-15739	142	13	)	)	PUNCT
asir-15739	142	14	,	,	PUNCT
asir-15739	142	15	947	947	NUM
asir-15739	142	16	-	-	SYM
asir-15739	142	17	967	967	NUM
asir-15739	142	18	.	.	PUNCT
asir-15739	143	1	https://doi.org/10.1093/logcom/exn086	https://doi.org/10.1093/logcom/exn086	NOUN
asir-15739	143	2	murinová	murinová	PROPN
asir-15739	143	3	,	,	PUNCT
asir-15739	143	4	p.	p.	NOUN
asir-15739	143	5	,	,	PUNCT
asir-15739	143	6	&	&	CCONJ
asir-15739	143	7	novák	novák	PROPN
asir-15739	143	8	,	,	PUNCT
asir-15739	143	9	v.	v.	PROPN
asir-15739	143	10	(	(	PUNCT
asir-15739	143	11	2012	2012	NUM
asir-15739	143	12	)	)	PUNCT
asir-15739	143	13	.	.	PUNCT
asir-15739	144	1	a	a	DET
asir-15739	144	2	formal	formal	ADJ
asir-15739	144	3	theory	theory	NOUN
asir-15739	144	4	of	of	ADP
asir-15739	144	5	generalized	generalized	ADJ
asir-15739	144	6	intermediate	intermediate	ADJ
asir-15739	144	7	syllogisms	syllogism	NOUN
asir-15739	144	8	.	.	PUNCT
asir-15739	145	1	fuzzy	fuzzy	ADJ
asir-15739	145	2	sets	set	NOUN
asir-15739	145	3	and	and	CCONJ
asir-15739	145	4	systems	system	NOUN
asir-15739	145	5	,	,	PUNCT
asir-15739	145	6	186	186	NUM
asir-15739	145	7	,	,	PUNCT
asir-15739	145	8	47	47	NUM
asir-15739	145	9	-	-	SYM
asir-15739	145	10	80	80	NUM
asir-15739	145	11	.	.	PUNCT
asir-15739	146	1	https://doi.org/10.1016/j.fss.2011.07.004	https://doi.org/10.1016/j.fss.2011.07.004	ADJ
asir-15739	146	2	novák	novák	NOUN
asir-15739	146	3	,	,	PUNCT
asir-15739	146	4	v.	v.	PROPN
asir-15739	146	5	(	(	PUNCT
asir-15739	146	6	2008a	2008a	NUM
asir-15739	146	7	)	)	PUNCT
asir-15739	146	8	.	.	PUNCT
asir-15739	147	1	a	a	DET
asir-15739	147	2	formal	formal	ADJ
asir-15739	147	3	theory	theory	NOUN
asir-15739	147	4	of	of	ADP
asir-15739	147	5	intermediate	intermediate	ADJ
asir-15739	147	6	quantifiers	quantifier	NOUN
asir-15739	147	7	.	.	PUNCT
asir-15739	148	1	fuzzy	fuzzy	ADJ
asir-15739	148	2	sets	set	NOUN
asir-15739	148	3	and	and	CCONJ
asir-15739	148	4	systems	system	NOUN
asir-15739	148	5	,	,	PUNCT
asir-15739	148	6	159(10	159(10	NUM
asir-15739	148	7	)	)	PUNCT
asir-15739	148	8	,	,	PUNCT
asir-15739	148	9	1229	1229	NUM
asir-15739	148	10	-	-	SYM
asir-15739	148	11	1246	1246	NUM
asir-15739	148	12	.	.	PUNCT
asir-15739	149	1	https://doi.org/10.1016/j.fss.2007.12.008	https://doi.org/10.1016/j.fss.2007.12.008	NOUN
asir-15739	149	2	novák	novák	NOUN
asir-15739	149	3	,	,	PUNCT
asir-15739	149	4	v.	v.	PROPN
asir-15739	149	5	(	(	PUNCT
asir-15739	149	6	2008b	2008b	NUM
asir-15739	149	7	)	)	PUNCT
asir-15739	149	8	.	.	PUNCT
asir-15739	150	1	a	a	DET
asir-15739	150	2	comprehensive	comprehensive	ADJ
asir-15739	150	3	theory	theory	NOUN
asir-15739	150	4	of	of	ADP
asir-15739	150	5	trichotomous	trichotomous	ADJ
asir-15739	150	6	evaluative	evaluative	ADJ
asir-15739	150	7	linguistic	linguistic	ADJ
asir-15739	150	8	expressions	expression	NOUN
asir-15739	150	9	.	.	PUNCT
asir-15739	151	1	fuzzy	fuzzy	ADJ
asir-15739	151	2	sets	set	NOUN
asir-15739	151	3	and	and	CCONJ
asir-15739	151	4	systems	system	NOUN
asir-15739	151	5	,	,	PUNCT
asir-15739	151	6	159(22	159(22	NUM
asir-15739	151	7	)	)	PUNCT
asir-15739	151	8	,	,	PUNCT
asir-15739	151	9	2939	2939	NUM
asir-15739	151	10	-	-	SYM
asir-15739	151	11	2969	2969	NUM
asir-15739	151	12	.	.	PUNCT
asir-15739	152	1	https://doi.org/10.1016/j.fss.2008.02.023	https://doi.org/10.1016/j.fss.2008.02.023	PROPN
asir-15739	152	2	peters	peters	PROPN
asir-15739	152	3	,	,	PUNCT
asir-15739	152	4	s.	s.	PROPN
asir-15739	152	5	,	,	PUNCT
asir-15739	152	6	&	&	CCONJ
asir-15739	152	7	westerståhl	westerståhl	PROPN
asir-15739	152	8	,	,	PUNCT
asir-15739	152	9	d.	d.	PROPN
asir-15739	152	10	(	(	PUNCT
asir-15739	152	11	2006	2006	NUM
asir-15739	152	12	)	)	PUNCT
asir-15739	152	13	.	.	PUNCT
asir-15739	153	1	quantifiers	quantifier	NOUN
asir-15739	153	2	in	in	ADP
asir-15739	153	3	language	language	NOUN
asir-15739	153	4	and	and	CCONJ
asir-15739	153	5	logic	logic	NOUN
asir-15739	153	6	.	.	PUNCT
asir-15739	154	1	claredon	claredon	PROPN
asir-15739	154	2	press	press	PROPN
asir-15739	154	3	,	,	PUNCT
asir-15739	154	4	oxford	oxford	PROPN
asir-15739	154	5	.	.	PUNCT
asir-15739	155	1	peterson	peterson	PROPN
asir-15739	155	2	,	,	PUNCT
asir-15739	155	3	p.	p.	NOUN
asir-15739	155	4	(	(	PUNCT
asir-15739	155	5	2000	2000	NUM
asir-15739	155	6	)	)	PUNCT
asir-15739	155	7	.	.	PUNCT
asir-15739	156	1	intermediate	intermediate	ADJ
asir-15739	156	2	quantifiers	quantifier	NOUN
asir-15739	156	3	.	.	PUNCT
asir-15739	157	1	logic	logic	NOUN
asir-15739	157	2	,	,	PUNCT
asir-15739	157	3	linguistics	linguistic	NOUN
asir-15739	157	4	,	,	PUNCT
asir-15739	157	5	and	and	CCONJ
asir-15739	157	6	aristotelian	aristotelian	PROPN
asir-15739	157	7	semantics	semantic	NOUN
asir-15739	157	8	.	.	PUNCT
asir-15739	158	1	ashagate	ashagate	PROPN
asir-15739	158	2	:	:	PUNCT
asir-15739	158	3	aldershot	aldershot	PROPN
asir-15739	158	4	.	.	PUNCT
asir-15739	159	1	wei	wei	PROPN
asir-15739	159	2	,	,	PUNCT
asir-15739	159	3	l.	l.	PROPN
asir-15739	159	4	(	(	PUNCT
asir-15739	159	5	2023	2023	NUM
asir-15739	159	6	)	)	PUNCT
asir-15739	159	7	.	.	PUNCT
asir-15739	160	1	formal	formal	ADJ
asir-15739	160	2	system	system	NOUN
asir-15739	160	3	of	of	ADP
asir-15739	160	4	categorical	categorical	ADJ
asir-15739	160	5	syllogistic	syllogistic	ADJ
asir-15739	160	6	logic	logic	NOUN
asir-15739	160	7	based	base	VERB
asir-15739	160	8	on	on	ADP
asir-15739	160	9	the	the	DET
asir-15739	160	10	syllogism	syllogism	NOUN
asir-15739	160	11	aee-4	aee-4	NOUN
asir-15739	160	12	.	.	PUNCT
asir-15739	161	1	open	open	ADJ
asir-15739	161	2	journal	journal	NOUN
asir-15739	161	3	of	of	ADP
asir-15739	161	4	philosophy	philosophy	NOUN
asir-15739	161	5	,	,	PUNCT
asir-15739	161	6	(	(	PUNCT
asir-15739	161	7	13	13	NUM
asir-15739	161	8	)	)	PUNCT
asir-15739	161	9	,	,	PUNCT
asir-15739	161	10	97	97	NUM
asir-15739	161	11	-	-	SYM
asir-15739	161	12	103	103	NUM
asir-15739	161	13	.	.	PUNCT
asir-15739	162	1	https://doi.org/10.4236/ojpp.2023.131006	https://doi.org/10.4236/ojpp.2023.131006	PROPN
asir-15739	162	2	xiaojun	xiaojun	PROPN
asir-15739	162	3	,	,	PUNCT
asir-15739	162	4	z.	z.	PROPN
asir-15739	162	5	(	(	PUNCT
asir-15739	162	6	2016	2016	NUM
asir-15739	162	7	)	)	PUNCT
asir-15739	162	8	.	.	PUNCT
asir-15739	163	1	the	the	DET
asir-15739	163	2	validity	validity	NOUN
asir-15739	163	3	of	of	ADP
asir-15739	163	4	generalized	generalized	ADJ
asir-15739	163	5	syllogisms	syllogism	NOUN
asir-15739	163	6	including	include	VERB
asir-15739	163	7	the	the	DET
asir-15739	163	8	intermediate	intermediate	ADJ
asir-15739	163	9	quantifier	quantifier	NOUN
asir-15739	163	10	most	most	ADV
asir-15739	163	11	.	.	PUNCT
asir-15739	164	1	journal	journal	PROPN
asir-15739	164	2	of	of	ADP
asir-15739	164	3	hunan	hunan	PROPN
asir-15739	164	4	university	university	PROPN
asir-15739	164	5	of	of	ADP
asir-15739	164	6	science	science	PROPN
asir-15739	164	7	&	&	CCONJ
asir-15739	164	8	technology	technology	PROPN
asir-15739	164	9	(	(	PUNCT
asir-15739	164	10	social	social	ADJ
asir-15739	164	11	science	science	NOUN
asir-15739	164	12	edition	edition	PROPN
asir-15739	164	13	)	)	PUNCT
asir-15739	164	14	,	,	PUNCT
asir-15739	164	15	(	(	PUNCT
asir-15739	164	16	4	4	NUM
asir-15739	164	17	)	)	PUNCT
asir-15739	164	18	,	,	PUNCT
asir-15739	164	19	27	27	NUM
asir-15739	164	20	-	-	SYM
asir-15739	164	21	31	31	NUM
asir-15739	164	22	.	.	PUNCT
asir-15739	165	1	(	(	PUNCT
asir-15739	165	2	in	in	ADP
asir-15739	165	3	chinese	chinese	PROPN
asir-15739	165	4	)	)	PUNCT
asir-15739	165	5	xiaojun	xiaojun	PROPN
asir-15739	165	6	,	,	PUNCT
asir-15739	165	7	z.	z.	PROPN
asir-15739	165	8	(	(	PUNCT
asir-15739	165	9	2020a	2020a	NUM
asir-15739	165	10	)	)	PUNCT
asir-15739	165	11	.	.	PUNCT
asir-15739	166	1	research	research	NOUN
asir-15739	166	2	on	on	ADP
asir-15739	166	3	extended	extended	ADJ
asir-15739	166	4	syllogism	syllogism	NOUN
asir-15739	166	5	for	for	ADP
asir-15739	166	6	natural	natural	ADJ
asir-15739	166	7	language	language	NOUN
asir-15739	166	8	information	information	NOUN
asir-15739	166	9	processing	processing	NOUN
asir-15739	166	10	.	.	PUNCT
asir-15739	167	1	beijing	beijing	PROPN
asir-15739	167	2	:	:	PUNCT
asir-15739	167	3	science	science	NOUN
asir-15739	167	4	press	press	PROPN
asir-15739	167	5	.	.	PUNCT
asir-15739	168	1	(	(	PUNCT
asir-15739	168	2	in	in	ADP
asir-15739	168	3	chinese	chinese	PROPN
asir-15739	168	4	)	)	PUNCT
asir-15739	168	5	xiaojun	xiaojun	PROPN
asir-15739	168	6	,	,	PUNCT
asir-15739	168	7	z.	z.	PROPN
asir-15739	168	8	(	(	PUNCT
asir-15739	168	9	2020b	2020b	NUM
asir-15739	168	10	)	)	PUNCT
asir-15739	168	11	.	.	PUNCT
asir-15739	169	1	screening	screen	VERB
asir-15739	169	2	out	out	ADP
asir-15739	169	3	all	all	DET
asir-15739	169	4	valid	valid	ADJ
asir-15739	169	5	aristotelian	aristotelian	ADJ
asir-15739	169	6	modal	modal	NOUN
asir-15739	169	7	syllogisms	syllogism	NOUN
asir-15739	169	8	.	.	PUNCT
asir-15739	170	1	applied	apply	VERB
asir-15739	170	2	and	and	CCONJ
asir-15739	170	3	computational	computational	ADJ
asir-15739	170	4	mathematics	mathematic	NOUN
asir-15739	170	5	,	,	PUNCT
asir-15739	170	6	8(6	8(6	NUM
asir-15739	170	7	)	)	PUNCT
asir-15739	170	8	,	,	PUNCT
asir-15739	170	9	95	95	NUM
asir-15739	170	10	-	-	SYM
asir-15739	170	11	104	104	NUM
asir-15739	170	12	.	.	PUNCT
asir-15739	171	1	https://doi.org/10.11648/j.acm.20190806.12	https://doi.org/10.11648/j.acm.20190806.12	PROPN
asir-15739	171	2	xiaojun	xiaojun	PROPN
asir-15739	171	3	,	,	PUNCT
asir-15739	171	4	z.	z.	PROPN
asir-15739	171	5	(	(	PUNCT
asir-15739	171	6	2020c	2020c	NUM
asir-15739	171	7	)	)	PUNCT
asir-15739	171	8	.	.	PUNCT
asir-15739	172	1	reducible	reducible	ADJ
asir-15739	172	2	relations	relation	NOUN
asir-15739	172	3	between	between	ADP
asir-15739	172	4	/	/	PUNCT
asir-15739	172	5	among	among	ADP
asir-15739	172	6	aristotelian	aristotelian	ADJ
asir-15739	172	7	modal	modal	ADJ
asir-15739	172	8	syllogisms	syllogism	NOUN
asir-15739	172	9	.	.	PUNCT
asir-15739	173	1	scirea	scirea	PROPN
asir-15739	173	2	journal	journal	PROPN
asir-15739	173	3	of	of	ADP
asir-15739	173	4	computer	computer	NOUN
asir-15739	173	5	,	,	PUNCT
asir-15739	173	6	5(1	5(1	NUM
asir-15739	173	7	)	)	PUNCT
asir-15739	173	8	,	,	PUNCT
asir-15739	173	9	1	1	NUM
asir-15739	173	10	-	-	SYM
asir-15739	173	11	33	33	NUM
asir-15739	173	12	.	.	PUNCT
asir-15739	174	1	http://link.springer.com/book/10.1007/978-3-662-47709-0	http://link.springer.com/book/10.1007/978-3-662-47709-0	PROPN
asir-15739	174	2	http://link.springer.com/book/10.1007/978-3-662-47709-0	http://link.springer.com/book/10.1007/978-3-662-47709-0	ADV