id	sid	eid	entity	type
asir-56165	1	1	2474-4972	CARDINAL
asir-56165	1	2	issn 2474-4980	PERSON
asir-56165	2	1	9	CARDINAL
asir-56165	2	2	2	CARDINAL
asir-56165	2	3	2025	CARDINAL
asir-56165	2	4	square{at least half	DATE
asir-56165	2	5	sichuan	GPE
asir-56165	2	6	chengdu	GPE
asir-56165	2	7	china	GPE
asir-56165	3	1	1	CARDINAL
asir-56165	4	1	2	CARDINAL
asir-56165	4	2	14	CARDINAL
asir-56165	4	3	square{at least half	DATE
asir-56165	5	1	15	CARDINAL
asir-56165	7	1	1	CARDINAL
asir-56165	8	1	1957	DATE
asir-56165	8	2	hao	PERSON
asir-56165	8	3	2024a	DATE
asir-56165	9	1	at least one	CARDINAL
asir-56165	9	2	peters & westerståhl	ORG
asir-56165	9	3	2006	DATE
asir-56165	9	4	xu & yu	ORG
asir-56165	9	5	2024	DATE
asir-56165	10	1	only four	CARDINAL
asir-56165	10	2	wang & yuan	ORG
asir-56165	10	3	2024	DATE
asir-56165	11	1	at least half	CARDINAL
asir-56165	11	2	fewer than half	CARDINAL
asir-56165	11	3	half	CARDINAL
asir-56165	12	1	ma & cao	ORG
asir-56165	12	2	2024	DATE
asir-56165	13	1	2010	DATE
asir-56165	13	2	endrullis & moss	ORG
asir-56165	13	3	2015	DATE
asir-56165	13	4	cao & li	ORG
asir-56165	13	5	2024	DATE
asir-56165	14	1	eight	CARDINAL
asir-56165	14	2	square{at least half	CARDINAL
asir-56165	15	1	2	CARDINAL
asir-56165	19	1	9	CARDINAL
asir-56165	19	2	2	CARDINAL
asir-56165	19	3	2025 65	DATE
asir-56165	19	4	scholink inc	ORG
asir-56165	20	1	halmos	PERSON
asir-56165	20	2	1974	DATE
asir-56165	22	1	four	CARDINAL
asir-56165	22	2	hao	PERSON
asir-56165	22	3	2024b	DATE
asir-56165	23	1	square{at least half	CARDINAL
asir-56165	23	2	fewer than half	CARDINAL
asir-56165	23	3	half	CARDINAL
asir-56165	24	1	8 quantifiers	QUANTITY
asir-56165	24	2	square{at least half	CARDINAL
asir-56165	24	3	2024	DATE
asir-56165	25	1	8	CARDINAL
asir-56165	25	2	at least one	CARDINAL
asir-56165	25	3	four	CARDINAL
asir-56165	26	1	at least half	CARDINAL
asir-56165	26	2	p)→some(p	ORG
asir-56165	26	3	third	ORDINAL
asir-56165	27	1	1	CARDINAL
asir-56165	27	2	at least half	CARDINAL
asir-56165	30	1	at least half	CARDINAL
asir-56165	30	2	p)→some(p	ORG
asir-56165	31	1	one	CARDINAL
asir-56165	31	2	four	CARDINAL
asir-56165	32	1	3	CARDINAL
asir-56165	32	2	at least half	CARDINAL
asir-56165	32	3	3.1	CARDINAL
asir-56165	32	4	1	CARDINAL
asir-56165	32	5	at least half	CARDINAL
asir-56165	32	6	3	CARDINAL
asir-56165	32	7	4	CARDINAL
asir-56165	32	8	3.2	CARDINAL
asir-56165	32	9	1	CARDINAL
asir-56165	32	10	q(p	GPE
asir-56165	33	1	2	CARDINAL
asir-56165	33	2	3	CARDINAL
asir-56165	33	3	two	CARDINAL
asir-56165	34	1	3.3	CARDINAL
asir-56165	34	2	⊢at least half	CARDINAL
asir-56165	34	3	p)→some(p	ORG
asir-56165	35	1	3.4	CARDINAL
asir-56165	35	2	1	CARDINAL
asir-56165	36	1	2	CARDINAL
asir-56165	36	2	⊢(→	ORG
asir-56165	36	3	⊢(→	PERSON
asir-56165	37	1	3	CARDINAL
asir-56165	39	1	9	CARDINAL
asir-56165	39	2	2	CARDINAL
asir-56165	39	3	scholink inc	ORG
asir-56165	39	4	3.5	CARDINAL
asir-56165	40	1	q(p	GPE
asir-56165	40	2	d−n	PERSON
asir-56165	40	3	d4	ORG
asir-56165	40	4	q(p	GPE
asir-56165	40	5	d7	PERSON
asir-56165	40	6	d9	PERSON
asir-56165	40	7	at least half	CARDINAL
asir-56165	40	8	fewer than half	CARDINAL
asir-56165	40	9	d11	ORG
asir-56165	40	10	most half of the(p	CARDINAL
asir-56165	41	1	3.6	CARDINAL
asir-56165	41	2	1	CARDINAL
asir-56165	41	3	1.1	CARDINAL
asir-56165	41	4	⊢all(p	ORG
asir-56165	41	5	1.2) ⊢no(p	PERCENT
asir-56165	41	6	1.3	CARDINAL
asir-56165	41	7	1.4	CARDINAL
asir-56165	41	8	1.5	CARDINAL
asir-56165	41	9	n)fewer than half	CARDINAL
asir-56165	41	10	1.6	CARDINAL
asir-56165	41	11	⊢fewer than half	CARDINAL
asir-56165	41	12	n)most(p	GPE
asir-56165	41	13	1.7	CARDINAL
asir-56165	41	14	half	CARDINAL
asir-56165	41	15	1.8	CARDINAL
asir-56165	41	16	most half of the(p	CARDINAL
asir-56165	41	17	n)at least half	CARDINAL
asir-56165	42	1	2	CARDINAL
asir-56165	42	2	2.1	CARDINAL
asir-56165	42	3	2.2	CARDINAL
asir-56165	42	4	2.3) ⊢no(p	DATE
asir-56165	42	5	n)some(p	ORG
asir-56165	42	6	2.4	CARDINAL
asir-56165	42	7	n)no(p	GPE
asir-56165	42	8	2.5	CARDINAL
asir-56165	42	9	most half of the(p	CARDINAL
asir-56165	42	10	2.6	CARDINAL
asir-56165	42	11	2.7	CARDINAL
asir-56165	42	12	⊢fewer than half	CARDINAL
asir-56165	42	13	n)at least half	CARDINAL
asir-56165	42	14	2.8	CARDINAL
asir-56165	43	1	3	CARDINAL
asir-56165	43	2	3.1	CARDINAL
asir-56165	43	3	3.2) ⊢no(p	PERCENT
asir-56165	44	1	4	CARDINAL
asir-56165	44	2	4.1	CARDINAL
asir-56165	44	3	⊢all(p	ORG
asir-56165	44	4	n)→some(p	NORP
asir-56165	45	1	9	CARDINAL
asir-56165	45	2	2	CARDINAL
asir-56165	45	3	scholink inc.	ORG
asir-56165	46	1	4.2) ⊢no(p	PERCENT
asir-56165	46	2	4.3	CARDINAL
asir-56165	46	3	⊢all(p	ORG
asir-56165	46	4	n)→most(p	GPE
asir-56165	46	5	4.4	CARDINAL
asir-56165	46	6	4.5	CARDINAL
asir-56165	46	7	⊢all(p	ORG
asir-56165	46	8	n)→at least half of the(p	DATE
asir-56165	46	9	4.6	CARDINAL
asir-56165	46	10	⊢at least half	CARDINAL
asir-56165	46	11	n)→some(p	NORP
asir-56165	46	12	4.7	CARDINAL
asir-56165	46	13	n)→most(p	GPE
asir-56165	46	14	4.8	CARDINAL
asir-56165	46	15	most half of the(p	CARDINAL
asir-56165	46	16	n)→fewer than half	CARDINAL
asir-56165	46	17	4.9	CARDINAL
asir-56165	46	18	⊢fewer than half	CARDINAL
asir-56165	46	19	4.10	CARDINAL
asir-56165	46	20	most half of the(p	CARDINAL
asir-56165	46	21	n)→fewer than half	CARDINAL
asir-56165	47	1	peters & westerståhl	ORG
asir-56165	47	2	2006	DATE
asir-56165	48	1	4	CARDINAL
asir-56165	48	2	1	CARDINAL
asir-56165	49	1	2	CARDINAL
asir-56165	49	2	14	CARDINAL
asir-56165	50	1	1	CARDINAL
asir-56165	50	2	at least half	CARDINAL
asir-56165	50	3	p)→some(p	ORG
asir-56165	51	1	at least half	CARDINAL
asir-56165	51	2	d9	PERSON
asir-56165	51	3	tp	PERSON
asir-56165	53	1	p∩n=	ORG
asir-56165	53	2	tp	PERSON
asir-56165	56	1	2	CARDINAL
asir-56165	56	2	14	CARDINAL
asir-56165	56	3	1	CARDINAL
asir-56165	56	4	2	CARDINAL
asir-56165	56	5	3	CARDINAL
asir-56165	56	6	5	CARDINAL
asir-56165	56	7	9	CARDINAL
asir-56165	57	1	10	CARDINAL
asir-56165	57	2	11) ⊢sai-3→eaf-1→eaf-2→aef-2→aef-4	PERCENT
asir-56165	57	3	12	CARDINAL
asir-56165	57	4	13	CARDINAL
asir-56165	58	1	9	CARDINAL
asir-56165	58	2	2	CARDINAL
asir-56165	58	3	scholink inc.	ORG
asir-56165	59	1	14	CARDINAL
asir-56165	60	1	1	CARDINAL
asir-56165	60	2	⊢at least half	CARDINAL
asir-56165	60	3	p)→some(p	ORG
asir-56165	61	1	2	CARDINAL
asir-56165	61	2	⊢at least half	CARDINAL
asir-56165	61	3	p)→some(n	PERSON
asir-56165	61	4	1	CARDINAL
asir-56165	61	5	3.1	CARDINAL
asir-56165	62	1	3	CARDINAL
asir-56165	62	2	most half	CARDINAL
asir-56165	62	3	1	CARDINAL
asir-56165	62	4	1.7	CARDINAL
asir-56165	62	5	1.3	CARDINAL
asir-56165	63	1	4	CARDINAL
asir-56165	63	2	most half	CARDINAL
asir-56165	63	3	d−n	PERSON
asir-56165	63	4	1	CARDINAL
asir-56165	64	1	5	CARDINAL
asir-56165	64	2	half	CARDINAL
asir-56165	64	3	1	CARDINAL
asir-56165	64	4	3	CARDINAL
asir-56165	65	1	p)→fewer than half	CARDINAL
asir-56165	65	2	5	CARDINAL
asir-56165	65	3	2.4	CARDINAL
asir-56165	65	4	2.8	CARDINAL
asir-56165	66	1	p)→fewer than half	CARDINAL
asir-56165	66	2	6	CARDINAL
asir-56165	66	3	3.2	CARDINAL
asir-56165	67	1	n)at least half	CARDINAL
asir-56165	67	2	1	CARDINAL
asir-56165	67	3	3	CARDINAL
asir-56165	68	1	n)at least half	CARDINAL
asir-56165	68	2	8	CARDINAL
asir-56165	68	3	2.4	CARDINAL
asir-56165	68	4	2.1	CARDINAL
asir-56165	69	1	10	CARDINAL
asir-56165	69	2	9	CARDINAL
asir-56165	69	3	3.2	CARDINAL
asir-56165	70	1	11	CARDINAL
asir-56165	70	2	⊢at least half	CARDINAL
asir-56165	70	3	2	CARDINAL
asir-56165	70	4	1.1	CARDINAL
asir-56165	70	5	1.3	CARDINAL
asir-56165	71	1	12	CARDINAL
asir-56165	71	2	⊢at least half	CARDINAL
asir-56165	71	3	d−p	GPE
asir-56165	71	4	11	CARDINAL
asir-56165	72	1	13	CARDINAL
asir-56165	72	2	⊢at least half	CARDINAL
asir-56165	72	3	d−p	GPE
asir-56165	72	4	12	CARDINAL
asir-56165	72	5	3.2	CARDINAL
asir-56165	73	1	14	CARDINAL
asir-56165	73	2	6	CARDINAL
asir-56165	73	3	1.2	CARDINAL
asir-56165	73	4	1.6	CARDINAL
asir-56165	74	1	15	CARDINAL
asir-56165	74	2	⊢all(p	ORG
asir-56165	74	3	d−n	PERSON
asir-56165	74	4	14	CARDINAL
asir-56165	75	1	16	CARDINAL
asir-56165	75	2	1.1	CARDINAL
asir-56165	75	3	1.2	CARDINAL
asir-56165	76	1	17	CARDINAL
asir-56165	76	2	aef-2	PERSON
asir-56165	76	3	16	CARDINAL
asir-56165	77	1	18	CARDINAL
asir-56165	77	2	t)→fewer than half	CARDINAL
asir-56165	77	3	17	CARDINAL
asir-56165	77	4	3.2	CARDINAL
asir-56165	78	1	19	CARDINAL
asir-56165	78	2	half	CARDINAL
asir-56165	78	3	9	CARDINAL
asir-56165	78	4	1.2	CARDINAL
asir-56165	78	5	1.7	CARDINAL
asir-56165	79	1	20	CARDINAL
asir-56165	79	2	⊢all(p	ORG
asir-56165	79	3	d−n)at	GPE
asir-56165	79	4	most half	CARDINAL
asir-56165	79	5	aho-2	PERSON
asir-56165	79	6	19	CARDINAL
asir-56165	80	1	21	CARDINAL
asir-56165	80	2	10	CARDINAL
asir-56165	80	3	1.2	CARDINAL
asir-56165	80	4	1.4	CARDINAL
asir-56165	81	1	22	CARDINAL
asir-56165	81	2	⊢all(n	ORG
asir-56165	81	3	d−p)at least half	CARDINAL
asir-56165	81	4	n)→some(t	PERSON
asir-56165	81	5	d−p	GPE
asir-56165	81	6	21	CARDINAL
asir-56165	82	1	23	CARDINAL
asir-56165	82	2	d−p)at least half	CARDINAL
asir-56165	82	3	sai-4	ORG
asir-56165	82	4	22	CARDINAL
asir-56165	82	5	3.1	CARDINAL
asir-56165	85	1	2	CARDINAL
asir-56165	85	2	14	CARDINAL
asir-56165	86	1	15	CARDINAL
asir-56165	86	2	square{at least half	DATE
asir-56165	87	1	5	CARDINAL
asir-56165	87	2	1	CARDINAL
asir-56165	88	1	2	CARDINAL
asir-56165	88	2	14	CARDINAL
asir-56165	88	3	square{at least half	DATE
asir-56165	89	1	15	CARDINAL
asir-56165	91	1	9	CARDINAL
asir-56165	91	2	2	CARDINAL
asir-56165	91	3	scholink inc.	ORG
asir-56165	91	4	the national social science fund of china	ORG
asir-56165	93	1	& li	PERSON
asir-56165	93	2	2024	CARDINAL
asir-56165	95	1	scirea journal of philosophy	ORG
asir-56165	95	2	4(2	CARDINAL
asir-56165	95	3	34	CARDINAL
asir-56165	96	1	j., & moss	ORG
asir-56165	96	2	l. s.	PERSON
asir-56165	96	3	2015	DATE
asir-56165	98	1	de paiva	PERSON
asir-56165	100	1	124	CARDINAL
asir-56165	101	1	47709	CARDINAL
asir-56165	101	2	1974	DATE
asir-56165	103	1	new york	GPE
asir-56165	104	1	978	CARDINAL
asir-56165	104	2	1645	CARDINAL
asir-56165	104	3	l. h.	PERSON
asir-56165	104	4	2024a	DATE
asir-56165	105	1	scirea journal of computer	ORG
asir-56165	105	2	9(1	CARDINAL
asir-56165	105	3	1-8	DATE
asir-56165	106	1	https://doi.org/10.54647/computer520396 hao	PERSON
asir-56165	106	2	l. h.	PERSON
asir-56165	108	1	8(1	CARDINAL
asir-56165	108	2	31	CARDINAL
asir-56165	109	1	https://doi.org/10.22158/	PERSON
asir-56165	109	2	łukasiewicz	NORP
asir-56165	109	3	1957	DATE
asir-56165	110	1	aristotle	PERSON
asir-56165	110	2	2nd	ORDINAL
asir-56165	111	1	oxford	NORP
asir-56165	112	1	m. w	PERSON
asir-56165	112	2	q.	PERSON
asir-56165	112	3	2024	CARDINAL
asir-56165	113	1	◇	PERSON
asir-56165	113	2	square{no	DATE
asir-56165	114	1	scirea journal of computer	ORG
asir-56165	114	2	9(2	CARDINAL
asir-56165	114	3	37	CARDINAL
asir-56165	115	1	10947	DATE
asir-56165	115	2	l. s.	PERSON
asir-56165	115	3	2010	DATE
asir-56165	116	1	947	CARDINAL
asir-56165	117	1	s., & westerståhl	ORG
asir-56165	117	2	2006	DATE
asir-56165	119	1	oxford	NORP
asir-56165	119	2	claredon press	ORG
asir-56165	120	1	wang, h. p., & yuan	ORG
asir-56165	120	2	j. j.	PERSON
asir-56165	120	3	2024	CARDINAL
asir-56165	122	1	scirea journal of mathematics	ORG
asir-56165	122	2	9(4	CARDINAL
asir-56165	122	3	84	CARDINAL
asir-56165	123	1	https://doi.org/10.54647/mathematics110491 xu	PERSON
asir-56165	123	2	j., & yu	ORG
asir-56165	123	3	z. p.	PERSON
asir-56165	123	4	2024	CARDINAL
asir-56165	125	1	7(3	CARDINAL
asir-56165	125	2	000339	DATE