id	sid	eid	entity	type
bracis-19040	1	1	aspic ^?$$	PERSON
bracis-19040	2	1	first	ORDINAL
bracis-19040	2	2	28	CARDINAL
bracis-19040	2	3	november 2021	DATE
bracis-19040	2	4	328–343	CARDINAL
bracis-19040	2	5	university of notre dame hesburgh	ORG
bracis-19040	2	6	pdf download book epub intelligent systems	ORG
bracis-19040	3	1	pdf download book epub	ORG
bracis-19040	3	2	rafael silva	PERSON
bracis-19040	3	3	13073	DATE
bracis-19040	3	4	732	PRODUCT
bracis-19040	9	1	two	CARDINAL
bracis-19040	11	1	university of notre dame hesburgh	ORG
bracis-19040	12	1	2021	CARDINAL
bracis-19040	12	2	$	MONEY
bracis-19040	12	3	2022	CARDINAL
bracis-19040	12	4	2022	CARDINAL
bracis-19040	13	1	1	CARDINAL
bracis-19040	13	2	1	CARDINAL
bracis-19040	14	1	2	CARDINAL
bracis-19040	17	1	3	CARDINAL
bracis-19040	17	2	one	CARDINAL
bracis-19040	18	1	two	CARDINAL
bracis-19040	21	1	\(\lnot	PRODUCT
bracis-19040	21	2	\(\lnot	PRODUCT
bracis-19040	21	3	\(\lnot	PRODUCT
bracis-19040	22	1	one	CARDINAL
bracis-19040	23	1	first	ORDINAL
bracis-19040	23	2	second	ORDINAL
bracis-19040	24	1	\(\lnot	PRODUCT
bracis-19040	26	1	3,4,5	CARDINAL
bracis-19040	26	2	two	CARDINAL
bracis-19040	27	1	6	CARDINAL
bracis-19040	27	2	\(\lnot	PRODUCT
bracis-19040	27	3	two	CARDINAL
bracis-19040	29	1	wu	PERSON
bracis-19040	30	1	7	CARDINAL
bracis-19040	30	2	8	CARDINAL
bracis-19040	31	1	6	CARDINAL
bracis-19040	31	2	9	CARDINAL
bracis-19040	32	1	two	CARDINAL
bracis-19040	32	2	1	CARDINAL
bracis-19040	32	3	6	CARDINAL
bracis-19040	33	1	2	CARDINAL
bracis-19040	33	2	7	CARDINAL
bracis-19040	33	3	8	CARDINAL
bracis-19040	35	1	two	CARDINAL
bracis-19040	36	1	10	CARDINAL
bracis-19040	38	1	2	CARDINAL
bracis-19040	39	1	two	CARDINAL
bracis-19040	40	1	3	CARDINAL
bracis-19040	42	1	2	CARDINAL
bracis-19040	43	1	11	CARDINAL
bracis-19040	45	1	3	CARDINAL
bracis-19040	45	2	12	CARDINAL
bracis-19040	50	1	1	CARDINAL
bracis-19040	54	1	\left\	ORG
bracis-19040	55	1	\in \mathcal l^*\right\	ORG
bracis-19040	56	1	l}\	GPE
bracis-19040	56	2	\(\mathcal r= \mathcal r_s\cup \mathcal r_d\	MONEY
bracis-19040	60	1	\(n	CARDINAL
bracis-19040	61	1	\gamma	ORG
bracis-19040	64	1	\(\lnot	PRODUCT
bracis-19040	65	1	\(\lnot	PRODUCT
bracis-19040	67	1	\(\lnot	PRODUCT
bracis-19040	68	1	\(\left\	GPE
bracis-19040	69	1	two	CARDINAL
bracis-19040	71	1	2	CARDINAL
bracis-19040	72	1	two	CARDINAL
bracis-19040	74	1	3	CARDINAL
bracis-19040	74	2	\(\mathcal k\	PERSON
bracis-19040	75	1	4 (	PERCENT
bracis-19040	76	1	1	CARDINAL
bracis-19040	77	1	\left\	ORG
bracis-19040	77	2	\(\mathtt	DATE
bracis-19040	77	3	\(\mathtt	DATE
bracis-19040	77	4	\left\	PERSON
bracis-19040	77	5	\(\mathtt	DATE
bracis-19040	77	6	\(\mathtt	DATE
bracis-19040	77	7	\(\mathtt	DATE
bracis-19040	78	1	2	CARDINAL
bracis-19040	78	2	\ldots	ORG
bracis-19040	78	3	\(a_1	GPE
bracis-19040	78	4	s.t	PERSON
bracis-19040	79	1	\(\mathtt	DATE
bracis-19040	79	2	conc}(a_n	GPE
bracis-19040	79	3	\(\mathtt	DATE
bracis-19040	79	4	\(\mathtt	DATE
bracis-19040	79	5	\(\mathtt	DATE
bracis-19040	79	6	\left\	ORG
bracis-19040	79	7	\(\mathtt	DATE
bracis-19040	79	8	rules}(a_n	ORG
bracis-19040	79	9	\left\	ORG
bracis-19040	79	10	conc}(a_n	GPE
bracis-19040	79	11	\(\mathtt	DATE
bracis-19040	79	12	conc}(a_n	GPE
bracis-19040	80	1	3	CARDINAL
bracis-19040	80	2	\ldots	ORG
bracis-19040	82	1	\(a_1	GPE
bracis-19040	82	2	\(\mathtt	DATE
bracis-19040	82	3	conc}(a_n	GPE
bracis-19040	84	1	\(\mathtt	DATE
bracis-19040	84	2	\(\mathtt	DATE
bracis-19040	84	3	\(\mathtt	DATE
bracis-19040	84	4	\left\	ORG
bracis-19040	84	5	\(\mathtt	DATE
bracis-19040	84	6	rules}(a_n	ORG
bracis-19040	84	7	\left\	ORG
bracis-19040	84	8	conc}(a_n	GPE
bracis-19040	84	9	\(\mathtt	DATE
bracis-19040	84	10	conc}(a_n	GPE
bracis-19040	85	1	\(\mathtt	DATE
bracis-19040	85	2	\(\mathtt	DATE
bracis-19040	86	1	\(\mathtt	DATE
bracis-19040	86	2	\left\	DATE
bracis-19040	86	3	\(\mathtt	DATE
bracis-19040	86	4	\left\	DATE
bracis-19040	88	1	1	CARDINAL
bracis-19040	88	2	w	GPE
bracis-19040	90	1	1	CARDINAL
bracis-19040	90	2	\gamma	ORG
bracis-19040	91	1	2	CARDINAL
bracis-19040	93	1	\lnot w	PERSON
bracis-19040	93	2	\lnot w	PERSON
bracis-19040	95	1	\(\mathcal k\	PERSON
bracis-19040	95	2	\(\mathcal k_n= \emptyset	PERSON
bracis-19040	95	3	\(\mathcal	ORG
bracis-19040	96	1	\(\mathcal k\	PERSON
bracis-19040	97	1	\(a_2	ORG
bracis-19040	98	1	\(a_3	ORG
bracis-19040	99	1	\(a_4	ORG
bracis-19040	100	1	a_3	ORG
bracis-19040	100	2	\(a_5	CARDINAL
bracis-19040	101	1	a_2	ORG
bracis-19040	101	2	\(a_6	ORG
bracis-19040	103	1	\(\mathtt	DATE
bracis-19040	103	2	\(\mathtt	DATE
bracis-19040	104	1	\(\mathtt	DATE
bracis-19040	104	2	\(\mathtt	DATE
bracis-19040	104	3	\(\mathtt	DATE
bracis-19040	107	1	3	CARDINAL
bracis-19040	107	2	5	CARDINAL
bracis-19040	109	1	\left\	ORG
bracis-19040	110	1	\(\mathfrak	ORG
bracis-19040	110	2	\left\	ORG
bracis-19040	110	3	{ \phi \in \mathcal f	PERSON
bracis-19040	111	1	1	CARDINAL
bracis-19040	112	1	1	CARDINAL
bracis-19040	113	1	1	CARDINAL
bracis-19040	114	1	1	CARDINAL
bracis-19040	115	1	\(\mathcal	ORG
bracis-19040	115	2	\left\	ORG
bracis-19040	115	3	s_1	NORP
bracis-19040	115	4	\cdots	ORG
bracis-19040	115	5	atoms}(s_n)\	PERSON
bracis-19040	116	1	d_n\right\} \	PERSON
bracis-19040	117	1	\mid	DATE
bracis-19040	119	1	\texttt	TIME
bracis-19040	121	1	\cdots	ORG
bracis-19040	122	1	\(\mathcal	ORG
bracis-19040	123	1	\(\mathcal	ORG
bracis-19040	123	2	\(\mathcal	ORG
bracis-19040	127	1	\left\	EVENT
bracis-19040	128	1	\left\	EVENT
bracis-19040	129	1	\(\texttt	DATE
bracis-19040	130	1	2.1	CARDINAL
bracis-19040	130	2	6	CARDINAL
bracis-19040	133	1	\(\mathtt	DATE
bracis-19040	135	1	\(\mathtt	DATE
bracis-19040	136	1	\(\mathtt	DATE
bracis-19040	138	1	\(\mathtt	DATE
bracis-19040	139	1	\(\mathtt	DATE
bracis-19040	143	1	\(\mathtt	DATE
bracis-19040	145	1	\(\mathtt	DATE
bracis-19040	147	1	\(\mathtt	DATE
bracis-19040	149	1	\(\mathtt	DATE
bracis-19040	151	1	2	CARDINAL
bracis-19040	151	2	1	CARDINAL
bracis-19040	154	1	\(a_7\	ORG
bracis-19040	155	1	7	CARDINAL
bracis-19040	156	1	4 and \(\texttt	TIME
bracis-19040	158	1	8	CARDINAL
bracis-19040	159	1	3	CARDINAL
bracis-19040	161	1	\prec b'\	PERSON
bracis-19040	162	1	one	CARDINAL
bracis-19040	163	1	a. 2.2	PERSON
bracis-19040	163	2	two	CARDINAL
bracis-19040	163	3	two	CARDINAL
bracis-19040	163	4	two	CARDINAL
bracis-19040	163	5	9	CARDINAL
bracis-19040	163	6	two	CARDINAL
bracis-19040	164	1	two	CARDINAL
bracis-19040	165	1	\left\	EVENT
bracis-19040	165	2	\prec y\right\	PERSON
bracis-19040	166	1	\(a \in \mathcal	GPE
bracis-19040	166	2	$	MONEY
bracis-19040	166	3	\left\	ORG
bracis-19040	166	4	{ b \in \mathcal a\mid	PERSON
bracis-19040	166	5	\left\	ORG
bracis-19040	167	1	$	MONEY
bracis-19040	168	1	3	CARDINAL
bracis-19040	168	2	2	CARDINAL
bracis-19040	169	1	\left\	ORG
bracis-19040	169	2	\(a_6 \prec	PERSON
bracis-19040	169	3	\left\	ORG
bracis-19040	169	4	a_2	GPE
bracis-19040	169	5	a_3	GPE
bracis-19040	170	1	\left\	ORG
bracis-19040	170	2	\left\	ORG
bracis-19040	170	3	a_5,a_6	LANGUAGE
bracis-19040	175	1	10	CARDINAL
bracis-19040	180	1	3	CARDINAL
bracis-19040	180	2	a_2	ORG
bracis-19040	181	1	11	CARDINAL
bracis-19040	183	1	\(x \in \mathcal a\	GPE
bracis-19040	185	1	\left\	ORG
bracis-19040	187	1	1	CARDINAL
bracis-19040	188	1	iff	ORG
bracis-19040	188	2	2	CARDINAL
bracis-19040	188	3	3	CARDINAL
bracis-19040	189	1	4	CARDINAL
bracis-19040	189	2	5	CARDINAL
bracis-19040	190	1	s.t	PERSON
bracis-19040	192	1	6	CARDINAL
bracis-19040	192	2	\(s_1\	NORP
bracis-19040	192	3	s_1	NORP
bracis-19040	195	1	4	CARDINAL
bracis-19040	195	2	3	CARDINAL
bracis-19040	196	1	example 3	DATE
bracis-19040	196	2	a_3	GPE
bracis-19040	196	3	a_3	GPE
bracis-19040	196	4	a_3	GPE
bracis-19040	197	1	a_3	GPE
bracis-19040	197	2	a_3	GPE
bracis-19040	197	3	a_3	GPE
bracis-19040	197	4	a_3	GPE
bracis-19040	197	5	3	CARDINAL
bracis-19040	197	6	two	CARDINAL
bracis-19040	198	1	5	CARDINAL
bracis-19040	198	2	6	CARDINAL
bracis-19040	199	1	\(\mathcal	ORG
bracis-19040	199	2	\(\mathcal k_n= \left\	PERSON
bracis-19040	199	3	t\right\	DATE
bracis-19040	199	4	\(\mathcal r_s\	PERSON
bracis-19040	200	1	\(a_2	ORG
bracis-19040	200	2	\(b_1	ORG
bracis-19040	201	1	\(b_2	ORG
bracis-19040	202	1	\(c	CARDINAL
bracis-19040	203	1	a_2	ORG
bracis-19040	203	2	b_2 \rightarrow \lnot s]\	PERSON
bracis-19040	203	3	\(d_2	ORG
bracis-19040	204	1	d_1 \rightarrow s]\	PERSON
bracis-19040	205	1	\(c \not \prec	GPE
bracis-19040	208	1	10	CARDINAL
bracis-19040	208	2	22	CARDINAL
bracis-19040	208	3	25	DATE
bracis-19040	209	1	7	CARDINAL
bracis-19040	209	2	8	CARDINAL
bracis-19040	210	1	\(\left\	GPE
bracis-19040	210	2	14	CARDINAL
bracis-19040	211	1	12	CARDINAL
bracis-19040	213	1	\in \mathcal a\	ORG
bracis-19040	213	2	iff \(\forall \phi \in \mathcal	ORG
bracis-19040	216	1	\(\mathcal	ORG
bracis-19040	216	2	\(\mathtt	DATE
bracis-19040	217	1	sub}(a_n	WORK_OF_ART
bracis-19040	219	1	\(\mathcal	ORG
bracis-19040	221	1	13	CARDINAL
bracis-19040	224	1	1	CARDINAL
bracis-19040	224	2	\(1	PERSON
bracis-19040	226	1	2	CARDINAL
bracis-19040	226	2	\(\left\	DATE
bracis-19040	226	3	1	CARDINAL
bracis-19040	226	4	\psi	DATE
bracis-19040	228	1	\(1	PERSON
bracis-19040	228	2	1	CARDINAL
bracis-19040	230	1	14	DATE
bracis-19040	231	1	\(\langle \mathcal	ORG
bracis-19040	232	1	\(\mathcal	ORG
bracis-19040	233	1	\(\mathcal	ORG
bracis-19040	234	1	\((\mathcal a_c	PERSON
bracis-19040	236	1	15	CARDINAL
bracis-19040	238	1	\(\mathtt	DATE
bracis-19040	239	1	\(1	PERSON
bracis-19040	239	2	one	CARDINAL
bracis-19040	239	3	1	CARDINAL
bracis-19040	239	4	\(\mathtt	DATE
bracis-19040	239	5	toprule}(a_i)\	ORG
bracis-19040	239	6	2	CARDINAL
bracis-19040	240	1	\(\mathtt	DATE
bracis-19040	243	1	16	CARDINAL
bracis-19040	243	2	4	CARDINAL
bracis-19040	244	1	\(\mathtt	DATE
bracis-19040	244	2	\left\	PERSON
bracis-19040	246	1	17	CARDINAL
bracis-19040	246	2	\(\mathfrak	ORG
bracis-19040	248	1	2^{2^{\mathtt	CARDINAL
bracis-19040	248	2	2	CARDINAL
bracis-19040	250	1	\(\mathfrak	ORG
bracis-19040	250	2	\mathfrak	PERSON
bracis-19040	251	1	two	CARDINAL
bracis-19040	251	2	18	CARDINAL
bracis-19040	252	1	2	CARDINAL
bracis-19040	253	1	s.t	PERSON
bracis-19040	253	2	\(\mathcal k_1	PERSON
bracis-19040	253	3	\mathcal k_{p_2}\	PERSON
bracis-19040	254	1	\(n_1(r	GPE
bracis-19040	255	1	n_2(r)\	GPE
bracis-19040	256	1	s.t	PERSON
bracis-19040	257	1	\(\mathcal	ORG
bracis-19040	257	2	\mathcal k_{p_2}\	PERSON
bracis-19040	258	1	n_2(r)\	GPE
bracis-19040	259	1	22	CARDINAL
bracis-19040	259	2	24	CARDINAL
bracis-19040	260	1	19	CARDINAL
bracis-19040	264	1	1	CARDINAL
bracis-19040	264	2	20	CARDINAL
bracis-19040	265	1	4	CARDINAL
bracis-19040	266	1	1	CARDINAL
bracis-19040	267	1	1 + max \{\texttt	QUANTITY
bracis-19040	270	1	a. lemma 1	PERSON
bracis-19040	270	2	s.t	PERSON
bracis-19040	271	1	2	CARDINAL
bracis-19040	273	1	\(c \in \mathcal a\	LOC
bracis-19040	274	1	conc}(c	PERSON
bracis-19040	274	2	\(c'^\subseteq c^-\	PERSON
bracis-19040	275	1	\(\mathcal k_1	PERSON
bracis-19040	275	2	\(\mathcal	ORG
bracis-19040	275	3	\mathcal k_{p_2}\	PERSON
bracis-19040	276	1	conc}(c	PERSON
bracis-19040	276	2	conc}(c	PERSON
bracis-19040	277	1	\(\mathtt	DATE
bracis-19040	278	1	2	CARDINAL
bracis-19040	279	1	\(\mathtt	DATE
bracis-19040	279	2	conc}(c	PERSON
bracis-19040	280	1	1	CARDINAL
bracis-19040	280	2	2	CARDINAL
bracis-19040	280	3	\(c'^\subseteq c^-\	PERSON
bracis-19040	280	4	1\	CARDINAL
bracis-19040	281	1	two	CARDINAL
bracis-19040	281	2	\(c \in \mathcal k_{n_1}\	ORG
bracis-19040	281	3	\(c	CARDINAL
bracis-19040	282	1	\(c	ORG
bracis-19040	282	2	\(\mathtt	CARDINAL
bracis-19040	282	3	conc}(c	PERSON
bracis-19040	284	1	1	CARDINAL
bracis-19040	284	2	2	CARDINAL
bracis-19040	284	3	k\	PERSON
bracis-19040	288	1	two	CARDINAL
bracis-19040	288	2	\(\mathtt	DATE
bracis-19040	290	1	conc}(c	PERSON
bracis-19040	292	1	\(i	CARDINAL
bracis-19040	292	2	1	CARDINAL
bracis-19040	294	1	k\	PERSON
bracis-19040	294	2	conc}(c'_i	ORG
bracis-19040	295	1	\(\mathtt	DATE
bracis-19040	295	2	sub}(c'_i	GPE
bracis-19040	296	1	sub}(c_i))\	GPE
bracis-19040	297	1	\(\mathtt	DATE
bracis-19040	297	2	\(c	ORG
bracis-19040	297	3	c'_1	PERSON
bracis-19040	297	4	\(at_1\	ORG
bracis-19040	300	1	atoms}(c'_i	GPE
bracis-19040	301	1	conc}(c	PERSON
bracis-19040	303	1	\(\mathtt	DATE
bracis-19040	304	1	\left\	DATE
bracis-19040	304	2	\left\	ORG
bracis-19040	305	1	\left\	GPE
bracis-19040	306	1	\(\mathtt	DATE
bracis-19040	307	1	\left\	ORG
bracis-19040	307	2	\left\	ORG
bracis-19040	308	1	\left\	GPE
bracis-19040	309	1	\(\mathtt	DATE
bracis-19040	311	1	two	CARDINAL
bracis-19040	311	2	\(\mathfrak	ORG
bracis-19040	312	1	\mathfrak	ORG
bracis-19040	312	2	\left\	ORG
bracis-19040	312	3	1	CARDINAL
bracis-19040	312	4	\(\mathtt	DATE
bracis-19040	312	5	\(\mathtt	CARDINAL
bracis-19040	312	6	\(\mathtt	DATE
bracis-19040	318	1	two	CARDINAL
bracis-19040	318	2	\(\mathfrak	ORG
bracis-19040	318	3	\(\mathfrak	ORG
bracis-19040	318	4	\(\mathtt	DATE
bracis-19040	318	5	\(\mathtt	DATE
bracis-19040	319	1	\(\mathfrak	ORG
bracis-19040	320	1	\left\	ORG
bracis-19040	320	2	\(\mathfrak	ORG
bracis-19040	321	1	\left\	ORG
bracis-19040	321	2	\(\mathfrak	NORP
bracis-19040	321	3	\left\	ORG
bracis-19040	321	4	b_1	PERSON
bracis-19040	322	1	\mathfrak	NORP
bracis-19040	322	2	k\	PERSON
bracis-19040	323	1	\mathfrak	NORP
bracis-19040	323	2	s.t \(\mathtt {	PERSON
bracis-19040	324	1	defr}(c_{d_i})\	NORP
bracis-19040	325	1	\(\mathtt	DATE
bracis-19040	329	1	\(\mathtt	DATE
bracis-19040	329	2	13	CARDINAL
bracis-19040	330	1	s.t	PERSON
bracis-19040	330	2	conc}(c	PERSON
bracis-19040	334	1	\le	GPE
bracis-19040	334	2	atoms}(c'_i	GPE
bracis-19040	335	1	conc}(c	PERSON
bracis-19040	337	1	\(c_i\	ORG
bracis-19040	337	2	s.t	PERSON
bracis-19040	338	1	\(\mathtt	DATE
bracis-19040	338	2	defr}(c'_j	ORG
bracis-19040	338	3	\(\mathtt	DATE
bracis-19040	340	1	\(\mathtt	DATE
bracis-19040	341	1	\(\mathtt	DATE
bracis-19040	343	1	21	DATE
bracis-19040	346	1	1	CARDINAL
bracis-19040	346	2	\in \mathcal d\	ORG
bracis-19040	346	3	2	CARDINAL
bracis-19040	347	1	lemma 1	ORG
bracis-19040	347	2	2	CARDINAL
bracis-19040	347	3	3	DATE
bracis-19040	347	4	5	DATE
bracis-19040	347	5	6	CARDINAL
bracis-19040	347	6	1	CARDINAL
bracis-19040	348	1	2	CARDINAL
bracis-19040	348	2	d'_1)\	GPE
bracis-19040	349	1	\(\mathtt	DATE
bracis-19040	349	2	concs}(e \cap \mathcal a_1	ORG
bracis-19040	354	1	s.t	PERSON
bracis-19040	354	2	\(\mathtt	DATE
bracis-19040	356	1	lemma 1	ORG
bracis-19040	361	1	3	CARDINAL
bracis-19040	361	2	5	CARDINAL
bracis-19040	362	1	3	CARDINAL
bracis-19040	362	2	1}\	CARDINAL
bracis-19040	362	3	af	ORG
bracis-19040	362	4	1\	DATE
bracis-19040	362	5	3	CARDINAL
bracis-19040	362	6	d'_1)\	GPE
bracis-19040	366	1	1}(s	DATE
bracis-19040	374	1	lemma 1	ORG
bracis-19040	374	2	s.t	PERSON
bracis-19040	374	3	\(\mathtt	DATE
bracis-19040	375	1	\(b'^\subseteq b^-\	DATE
bracis-19040	378	1	s.t	PERSON
bracis-19040	379	1	\(b'^\subseteq b^-\	DATE
bracis-19040	386	1	lemma 4	ORG
bracis-19040	386	2	5	CARDINAL
bracis-19040	387	1	4	CARDINAL
bracis-19040	389	1	\(a \in \mathcal	GPE
bracis-19040	396	1	5	CARDINAL
bracis-19040	396	2	af	ORG
bracis-19040	396	3	1\	DATE
bracis-19040	396	4	1\	DATE
bracis-19040	396	5	5	CARDINAL
bracis-19040	396	6	d'_1)\	GPE
bracis-19040	397	1	1\	DATE
bracis-19040	400	1	\(e'\	NORP
bracis-19040	400	2	1\	DATE
bracis-19040	401	1	\(e'\	NORP
bracis-19040	401	2	af	ORG
bracis-19040	401	3	1\	DATE
bracis-19040	401	4	af	ORG
bracis-19040	401	5	1\	DATE
bracis-19040	405	1	conc}(c	PERSON
bracis-19040	407	1	lemma 1	ORG
bracis-19040	407	2	conc}(c	PERSON
bracis-19040	407	3	\(c'^\subseteq c^-\	PERSON
bracis-19040	408	1	lemma 4,	ORG
bracis-19040	414	1	3	CARDINAL
bracis-19040	414	2	1}(e	CARDINAL
bracis-19040	421	1	6	CARDINAL
bracis-19040	421	2	af	ORG
bracis-19040	421	3	1\	DATE
bracis-19040	421	4	6	CARDINAL
bracis-19040	421	5	d'_1)\	GPE
bracis-19040	423	1	af	ORG
bracis-19040	423	2	1\	DATE
bracis-19040	424	1	af	ORG
bracis-19040	424	2	1\	DATE
bracis-19040	424	3	\(\mathcal a_1 \subseteq \mathcal a\	DATE
bracis-19040	429	1	lemma 1	ORG
bracis-19040	429	2	\(b'^\subseteq b^-\	DATE
bracis-19040	430	1	af	ORG
bracis-19040	430	2	1\	DATE
bracis-19040	431	1	af	ORG
bracis-19040	431	2	1\	DATE
bracis-19040	431	3	11	DATE
bracis-19040	432	1	\(b'^\subseteq b^-\	DATE
bracis-19040	436	1	22	DATE
bracis-19040	441	1	1	CARDINAL
bracis-19040	442	1	d'_1)\	GPE
bracis-19040	443	1	\(\mathfrak	GPE
bracis-19040	443	2	\left\	ORG
bracis-19040	443	3	b_1	PERSON
bracis-19040	443	4	\(\mathfrak s_2	PERSON
bracis-19040	443	5	\left\	GPE
bracis-19040	443	6	s_1	NORP
bracis-19040	444	1	af	ORG
bracis-19040	445	1	\mid	DATE
bracis-19040	445	2	\texttt	TIME
bracis-19040	445	3	\left\	ORG
bracis-19040	445	4	concs}(b_n)_{\mid	DATE
bracis-19040	445	5	\left\	ORG
bracis-19040	445	6	{concs}(s_1	PERSON
bracis-19040	446	1	lemma 2	ORG
bracis-19040	446	2	\left\	ORG
bracis-19040	446	3	concs}(b_n	FAC
bracis-19040	447	1	5	CARDINAL
bracis-19040	449	1	6	CARDINAL
bracis-19040	450	1	s.	PERSON
bracis-19040	451	1	3	CARDINAL
bracis-19040	455	1	23	CARDINAL
bracis-19040	456	1	\(\mathfrak	ORG
bracis-19040	457	1	\texttt	TIME
bracis-19040	458	1	2	CARDINAL
bracis-19040	459	1	\(\mathfrak	ORG
bracis-19040	459	2	\left\	ORG
bracis-19040	459	3	n \ge 1)\	ORG
bracis-19040	460	1	two	CARDINAL
bracis-19040	460	2	d_1')\	PERSON
bracis-19040	460	3	2	CARDINAL
bracis-19040	462	1	\left\	ORG
bracis-19040	462	2	\left\	ORG
bracis-19040	463	1	\left\	DATE
bracis-19040	463	2	\left\	ORG
bracis-19040	463	3	a_n\right\}	PERSON
bracis-19040	463	4	\left\	DATE
bracis-19040	463	5	\right\	DATE
bracis-19040	464	1	24	DATE
bracis-19040	468	1	25	CARDINAL
bracis-19040	471	1	3	CARDINAL
bracis-19040	472	1	1	CARDINAL
bracis-19040	473	1	\mathfrak	NORP
bracis-19040	474	1	\(\mathfrak	ORG
bracis-19040	475	1	2	CARDINAL
bracis-19040	477	1	\texttt	TIME
bracis-19040	478	1	3)_{\mid \mathfrak	PRODUCT
bracis-19040	479	1	3\	CARDINAL
bracis-19040	480	1	3	CARDINAL
bracis-19040	480	2	1)_{\mid	CARDINAL
bracis-19040	481	1	3)_{\mid \mathfrak	PRODUCT
bracis-19040	482	1	4	CARDINAL
bracis-19040	484	1	3)_{\mid \mathfrak	PRODUCT
bracis-19040	485	1	3	CARDINAL
bracis-19040	485	2	4	CARDINAL
bracis-19040	486	1	3)_{\mid \mathfrak	PRODUCT
bracis-19040	487	1	2	CARDINAL
bracis-19040	488	1	3)_{\mid \mathfrak	PRODUCT
bracis-19040	488	2	4	CARDINAL
bracis-19040	489	1	theorems 2	ORG
bracis-19040	489	2	1	CARDINAL
bracis-19040	489	3	3	CARDINAL
bracis-19040	489	4	4	CARDINAL
bracis-19040	490	1	3	CARDINAL
bracis-19040	493	1	2	CARDINAL
bracis-19040	496	1	6	CARDINAL
bracis-19040	496	2	7	CARDINAL
bracis-19040	496	3	1	CARDINAL
bracis-19040	496	4	6	CARDINAL
bracis-19040	497	1	2	CARDINAL
bracis-19040	497	2	7	CARDINAL
bracis-19040	497	3	8	CARDINAL
bracis-19040	501	1	13	CARDINAL
bracis-19040	502	1	w.	GPE
bracis-19040	502	2	marcos	PERSON
bracis-19040	502	3	j.:	PERSON
bracis-19040	504	1	24–117	CARDINAL
bracis-19040	504	2	crc press	ORG
bracis-19040	504	3	2002	DATE
bracis-19040	504	4	pequeno	PERSON
bracis-19040	504	5	t.	GPE
bracis-19040	504	6	buchsbaum	GPE
bracis-19040	504	7	a.	PERSON
bracis-19040	505	1	second	ORDINAL
bracis-19040	506	1	453–460	CARDINAL
bracis-19040	506	2	1991	DATE
bracis-19040	506	3	modgil, s.	ORG
bracis-19040	507	1	artif	PERSON
bracis-19040	508	1	intell	PERSON
bracis-19040	509	1	195	CARDINAL
bracis-19040	509	2	361–397	CARDINAL
bracis-19040	509	3	2013	DATE
bracis-19040	509	4	a.	PERSON
bracis-19040	510	1	artif	PERSON
bracis-19040	511	1	intell	PERSON
bracis-19040	512	1	175(9–10	CARDINAL
bracis-19040	512	2	1479–1497	CARDINAL
bracis-19040	512	3	2011	DATE
bracis-19040	512	4	caminada	ORG
bracis-19040	512	5	m., modgil	PERSON
bracis-19040	512	6	s.	PERSON
bracis-19040	513	1	2014	DATE
bracis-19040	513	2	d.	NORP
bracis-19040	513	3	prakken, h.:	ORG
bracis-19040	515	1	301–312	CARDINAL
bracis-19040	515	2	2014	DATE
bracis-19040	515	3	wu	PERSON
bracis-19040	516	1	ph.d	ORG
bracis-19040	517	1	university of luxembourg	ORG
bracis-19040	517	2	2012	DATE
bracis-19040	517	3	wu	PERSON
bracis-19040	517	4	m.	PERSON
bracis-19040	518	1	j. logic comput	PERSON
bracis-19040	519	1	25(2	CARDINAL
bracis-19040	519	2	303–333	CARDINAL
bracis-19040	519	3	2015	CARDINAL
bracis-19040	519	4	r.	NORP
bracis-19040	520	1	1(2	CARDINAL
bracis-19040	520	2	179–217	CARDINAL
bracis-19040	520	3	1970	DATE
bracis-19040	520	4	caminada	ORG
bracis-19040	520	5	m.	PERSON
bracis-19040	521	1	omma 144	PERSON
bracis-19040	521	2	121–130 (2006	DATE
bracis-19040	522	1	artif	PERSON
bracis-19040	523	1	intell	PERSON
bracis-19040	524	1	321–357	CARDINAL
bracis-19040	524	2	1995	DATE
bracis-19040	526	1	1(2	CARDINAL
bracis-19040	527	1	93–124	CARDINAL
bracis-19040	527	2	2010	DATE
bracis-19040	527	3	moniz pereira	PERSON
bracis-19040	527	4	l.	PERSON
bracis-19040	528	1	a.	PERSON
bracis-19040	529	1	2	CARDINAL
bracis-19040	530	1	241–320	CARDINAL
bracis-19040	530	2	1998	DATE
bracis-19040	531	1	university of ceará	ORG
bracis-19040	531	2	brazil	GPE
bracis-19040	531	3	rafael silva & joão	PERSON
bracis-19040	531	4	silvaview author publications	ORG
bracis-19040	531	5	joão alcântaraview	ORG
bracis-19040	531	6	rafael silva	PERSON
bracis-19040	532	1	federal de sergipe	ORG
bracis-19040	532	2	são	ORG
bracis-19040	532	3	brazil	GPE
bracis-19040	532	4	andré britto universidade de são paulo	PERSON
bracis-19040	532	5	são paulo	PERSON
bracis-19040	532	6	brazil	GPE
bracis-19040	532	7	karina valdivia delgado	PERSON
bracis-19040	532	8	2021	CARDINAL
bracis-19040	532	9	switzerland ag	ORG
bracis-19040	532	10	r.	NORP
bracis-19040	532	11	j.	PERSON
bracis-19040	532	12	2021	CARDINAL
bracis-19040	534	1	britto, a.	PERSON
bracis-19040	534	2	valdivia delgado	PERSON
bracis-19040	534	3	k.	PERSON
bracis-19040	535	1	bracis 2021	ORG
bracis-19040	536	1	13073	DATE
bracis-19040	539	1	28	CARDINAL
bracis-19040	539	2	november 2021	DATE
bracis-19040	539	3	978	CARDINAL
bracis-19040	539	4	978	CARDINAL
bracis-19040	540	1	bmc palgrave macmillan	ORG
bracis-19040	541	1	129.74.145.123	CARDINAL
bracis-19040	541	2	3005732405	CARDINAL
bracis-19040	541	3	8200828607	DATE
bracis-19040	541	4	3006206169	CARDINAL
bracis-19040	541	5	university of notre dame hesburgh	ORG
bracis-19040	541	6	3000184373	DATE
bracis-19040	542	1	2025	CARDINAL