id	sid	tid	token	lemma	pos
ejpam-3296	1	1	european	european	PROPN
ejpam-3296	1	2	journal	journal	PROPN
ejpam-3296	1	3	of	of	ADP
ejpam-3296	1	4	pure	pure	ADJ
ejpam-3296	1	5	and	and	CCONJ
ejpam-3296	1	6	applied	apply	VERB
ejpam-3296	1	7	mathematics	mathematic	NOUN
ejpam-3296	1	8	vol	vol	NOUN
ejpam-3296	1	9	.	.	PUNCT
ejpam-3296	2	1	11	11	NUM
ejpam-3296	2	2	,	,	PUNCT
ejpam-3296	2	3	no	no	INTJ
ejpam-3296	2	4	.	.	NOUN
ejpam-3296	2	5	3	3	NUM
ejpam-3296	2	6	,	,	PUNCT
ejpam-3296	2	7	2018	2018	NUM
ejpam-3296	2	8	,	,	PUNCT
ejpam-3296	2	9	876	876	NUM
ejpam-3296	2	10	-	-	SYM
ejpam-3296	2	11	881	881	NUM
ejpam-3296	2	12	issn	issn	PROPN
ejpam-3296	2	13	1307	1307	NUM
ejpam-3296	2	14	-	-	SYM
ejpam-3296	2	15	5543	5543	NUM
ejpam-3296	2	16	–	–	PUNCT
ejpam-3296	2	17	www.ejpam.com	www.ejpam.com	X
ejpam-3296	2	18	published	publish	VERB
ejpam-3296	2	19	by	by	ADP
ejpam-3296	2	20	new	new	PROPN
ejpam-3296	2	21	york	york	PROPN
ejpam-3296	2	22	business	business	PROPN
ejpam-3296	2	23	global	global	ADJ
ejpam-3296	2	24	introducing	introduce	VERB
ejpam-3296	2	25	partial	partial	ADJ
ejpam-3296	2	26	transformation	transformation	NOUN
ejpam-3296	2	27	up	up	ADP
ejpam-3296	2	28	-	-	PUNCT
ejpam-3296	2	29	algebras∗	algebras∗	NOUN
ejpam-3296	2	30	aiyared	aiyare	VERB
ejpam-3296	2	31	iampan1,∗	iampan1,∗	PROPN
ejpam-3296	2	32	,	,	PUNCT
ejpam-3296	2	33	phakawat	phakawat	NOUN
ejpam-3296	2	34	mosrijai1	mosrijai1	ADJ
ejpam-3296	2	35	,	,	PUNCT
ejpam-3296	2	36	akarachai	akarachai	PROPN
ejpam-3296	2	37	satirad1	satirad1	NOUN
ejpam-3296	2	38	1	1	NUM
ejpam-3296	2	39	department	department	NOUN
ejpam-3296	2	40	of	of	ADP
ejpam-3296	2	41	mathematics	mathematic	NOUN
ejpam-3296	2	42	,	,	PUNCT
ejpam-3296	2	43	school	school	NOUN
ejpam-3296	2	44	of	of	ADP
ejpam-3296	2	45	science	science	NOUN
ejpam-3296	2	46	,	,	PUNCT
ejpam-3296	2	47	university	university	NOUN
ejpam-3296	2	48	of	of	ADP
ejpam-3296	2	49	phayao	phayao	NOUN
ejpam-3296	2	50	,	,	PUNCT
ejpam-3296	2	51	phayao	phayao	NOUN
ejpam-3296	2	52	56000	56000	NUM
ejpam-3296	2	53	,	,	PUNCT
ejpam-3296	2	54	thailand	thailand	PROPN
ejpam-3296	2	55	abstract	abstract	NOUN
ejpam-3296	2	56	.	.	PUNCT
ejpam-3296	3	1	the	the	DET
ejpam-3296	3	2	main	main	ADJ
ejpam-3296	3	3	aim	aim	NOUN
ejpam-3296	3	4	of	of	ADP
ejpam-3296	3	5	this	this	DET
ejpam-3296	3	6	paper	paper	NOUN
ejpam-3296	3	7	is	be	AUX
ejpam-3296	3	8	to	to	PART
ejpam-3296	3	9	introduce	introduce	VERB
ejpam-3296	3	10	the	the	DET
ejpam-3296	3	11	notion	notion	NOUN
ejpam-3296	3	12	of	of	ADP
ejpam-3296	3	13	a	a	DET
ejpam-3296	3	14	partial	partial	ADJ
ejpam-3296	3	15	transformation	transformation	NOUN
ejpam-3296	3	16	upalgebra	upalgebra	NOUN
ejpam-3296	3	17	p	p	X
ejpam-3296	3	18	(	(	PUNCT
ejpam-3296	3	19	x	x	NOUN
ejpam-3296	3	20	)	)	PUNCT
ejpam-3296	3	21	induced	induce	VERB
ejpam-3296	3	22	by	by	ADP
ejpam-3296	3	23	a	a	DET
ejpam-3296	3	24	up	up	NOUN
ejpam-3296	3	25	-	-	PUNCT
ejpam-3296	3	26	algebra	algebra	NOUN
ejpam-3296	3	27	x	x	PUNCT
ejpam-3296	3	28	and	and	CCONJ
ejpam-3296	3	29	prove	prove	VERB
ejpam-3296	3	30	that	that	SCONJ
ejpam-3296	3	31	the	the	DET
ejpam-3296	3	32	set	set	NOUN
ejpam-3296	3	33	of	of	ADP
ejpam-3296	3	34	all	all	DET
ejpam-3296	3	35	full	full	ADJ
ejpam-3296	3	36	transformations	transformation	NOUN
ejpam-3296	3	37	t	t	NOUN
ejpam-3296	3	38	(	(	PUNCT
ejpam-3296	3	39	x	x	X
ejpam-3296	3	40	)	)	PUNCT
ejpam-3296	3	41	is	be	AUX
ejpam-3296	3	42	a	a	DET
ejpam-3296	3	43	up	up	ADJ
ejpam-3296	3	44	-	-	PUNCT
ejpam-3296	3	45	ideal	ideal	NOUN
ejpam-3296	3	46	of	of	ADP
ejpam-3296	3	47	p	p	NOUN
ejpam-3296	3	48	(	(	PUNCT
ejpam-3296	3	49	x	x	NOUN
ejpam-3296	3	50	)	)	PUNCT
ejpam-3296	3	51	.	.	PUNCT
ejpam-3296	4	1	2010	2010	NUM
ejpam-3296	4	2	mathematics	mathematic	NOUN
ejpam-3296	4	3	subject	subject	NOUN
ejpam-3296	4	4	classifications	classification	NOUN
ejpam-3296	4	5	:	:	PUNCT
ejpam-3296	4	6	03g25	03g25	NUM
ejpam-3296	4	7	key	key	ADJ
ejpam-3296	4	8	words	word	NOUN
ejpam-3296	4	9	and	and	CCONJ
ejpam-3296	4	10	phrases	phrase	NOUN
ejpam-3296	4	11	:	:	PUNCT
ejpam-3296	4	12	up	up	ADP
ejpam-3296	4	13	-	-	PUNCT
ejpam-3296	4	14	algebra	algebra	NOUN
ejpam-3296	4	15	,	,	PUNCT
ejpam-3296	4	16	partial	partial	ADJ
ejpam-3296	4	17	transformation	transformation	NOUN
ejpam-3296	4	18	,	,	PUNCT
ejpam-3296	4	19	full	full	ADJ
ejpam-3296	4	20	transformation	transformation	NOUN
ejpam-3296	4	21	.	.	PUNCT
ejpam-3296	5	1	1	1	X
ejpam-3296	5	2	.	.	X
ejpam-3296	5	3	introduction	introduction	NOUN
ejpam-3296	5	4	and	and	CCONJ
ejpam-3296	5	5	preliminaries	preliminary	NOUN
ejpam-3296	5	6	iampan	iampan	VERB
ejpam-3296	6	1	[	[	X
ejpam-3296	6	2	2	2	X
ejpam-3296	6	3	]	]	PUNCT
ejpam-3296	6	4	introduced	introduce	VERB
ejpam-3296	6	5	a	a	DET
ejpam-3296	6	6	new	new	ADJ
ejpam-3296	6	7	algebraic	algebraic	ADJ
ejpam-3296	6	8	structure	structure	NOUN
ejpam-3296	6	9	,	,	PUNCT
ejpam-3296	6	10	called	call	VERB
ejpam-3296	6	11	a	a	DET
ejpam-3296	6	12	up	up	NOUN
ejpam-3296	6	13	-	-	PUNCT
ejpam-3296	6	14	algebra	algebra	NOUN
ejpam-3296	6	15	,	,	PUNCT
ejpam-3296	6	16	which	which	PRON
ejpam-3296	6	17	is	be	AUX
ejpam-3296	6	18	a	a	DET
ejpam-3296	6	19	generalization	generalization	NOUN
ejpam-3296	6	20	of	of	ADP
ejpam-3296	6	21	a	a	DET
ejpam-3296	6	22	ku	ku	NOUN
ejpam-3296	6	23	-	-	PUNCT
ejpam-3296	6	24	algebra	algebra	NOUN
ejpam-3296	6	25	.	.	PUNCT
ejpam-3296	7	1	many	many	ADJ
ejpam-3296	7	2	researchers	researcher	NOUN
ejpam-3296	7	3	have	have	AUX
ejpam-3296	7	4	studied	study	VERB
ejpam-3296	7	5	on	on	ADP
ejpam-3296	7	6	up	up	ADV
ejpam-3296	7	7	-	-	PUNCT
ejpam-3296	7	8	algebras	algebra	NOUN
ejpam-3296	7	9	such	such	ADJ
ejpam-3296	7	10	as	as	ADP
ejpam-3296	7	11	[	[	X
ejpam-3296	7	12	4	4	NUM
ejpam-3296	7	13	,	,	PUNCT
ejpam-3296	7	14	6	6	NUM
ejpam-3296	7	15	,	,	PUNCT
ejpam-3296	7	16	7	7	NUM
ejpam-3296	7	17	]	]	PUNCT
ejpam-3296	7	18	.	.	PUNCT
ejpam-3296	8	1	let	let	VERB
ejpam-3296	8	2	x	x	PRON
ejpam-3296	8	3	be	be	AUX
ejpam-3296	8	4	a	a	DET
ejpam-3296	8	5	universal	universal	ADJ
ejpam-3296	8	6	set	set	NOUN
ejpam-3296	8	7	and	and	CCONJ
ejpam-3296	8	8	let	let	VERB
ejpam-3296	8	9	ω	ω	NUM
ejpam-3296	8	10	∈	∈	PROPN
ejpam-3296	8	11	p(x	p(x	PROPN
ejpam-3296	8	12	)	)	PUNCT
ejpam-3296	8	13	.	.	PUNCT
ejpam-3296	9	1	denote	denote	NOUN
ejpam-3296	9	2	pω(x	pω(x	NOUN
ejpam-3296	9	3	)	)	PUNCT
ejpam-3296	10	1	=	=	PRON
ejpam-3296	10	2	{	{	PUNCT
ejpam-3296	10	3	a	a	DET
ejpam-3296	10	4	∈	∈	PROPN
ejpam-3296	10	5	p(x	p(x	NOUN
ejpam-3296	10	6	)	)	PUNCT
ejpam-3296	10	7	|	|	ADV
ejpam-3296	10	8	ω	ω	NUM
ejpam-3296	10	9	⊆	⊆	NUM
ejpam-3296	10	10	a	a	PRON
ejpam-3296	10	11	}	}	PUNCT
ejpam-3296	10	12	and	and	CCONJ
ejpam-3296	10	13	pω(x	pω(x	NOUN
ejpam-3296	10	14	)	)	PUNCT
ejpam-3296	10	15	=	=	PRON
ejpam-3296	10	16	{	{	PUNCT
ejpam-3296	10	17	a	a	DET
ejpam-3296	10	18	∈	∈	PROPN
ejpam-3296	10	19	p(x	p(x	NOUN
ejpam-3296	10	20	)	)	PUNCT
ejpam-3296	10	21	|	|	ADV
ejpam-3296	10	22	a	a	DET
ejpam-3296	10	23	⊆	⊆	NUM
ejpam-3296	10	24	ω	ω	NUM
ejpam-3296	10	25	}	}	PUNCT
ejpam-3296	10	26	.	.	PUNCT
ejpam-3296	11	1	define	define	VERB
ejpam-3296	11	2	a	a	DET
ejpam-3296	11	3	binary	binary	ADJ
ejpam-3296	11	4	operation	operation	NOUN
ejpam-3296	11	5	·	·	PUNCT
ejpam-3296	11	6	on	on	ADP
ejpam-3296	11	7	pω(x	pω(x	NOUN
ejpam-3296	11	8	)	)	PUNCT
ejpam-3296	11	9	by	by	ADP
ejpam-3296	11	10	putting	put	VERB
ejpam-3296	11	11	a	a	DET
ejpam-3296	11	12	·	·	SYM
ejpam-3296	11	13	b	b	NOUN
ejpam-3296	11	14	=	=	SYM
ejpam-3296	11	15	b	b	PROPN
ejpam-3296	11	16	∩	∩	NOUN
ejpam-3296	11	17	(	(	PUNCT
ejpam-3296	11	18	a′	a′	PROPN
ejpam-3296	11	19	∪	∪	X
ejpam-3296	11	20	ω	ω	NOUN
ejpam-3296	11	21	)	)	PUNCT
ejpam-3296	11	22	for	for	ADP
ejpam-3296	11	23	all	all	DET
ejpam-3296	11	24	a	a	DET
ejpam-3296	11	25	,	,	PUNCT
ejpam-3296	11	26	b	b	NOUN
ejpam-3296	11	27	∈	∈	NOUN
ejpam-3296	11	28	pω(x	pω(x	NOUN
ejpam-3296	11	29	)	)	PUNCT
ejpam-3296	11	30	and	and	CCONJ
ejpam-3296	11	31	a	a	DET
ejpam-3296	11	32	binary	binary	ADJ
ejpam-3296	11	33	operation	operation	NOUN
ejpam-3296	11	34	∗	∗	NOUN
ejpam-3296	11	35	on	on	ADP
ejpam-3296	11	36	pω(x	pω(x	NOUN
ejpam-3296	11	37	)	)	PUNCT
ejpam-3296	11	38	by	by	ADP
ejpam-3296	11	39	putting	put	VERB
ejpam-3296	11	40	a	a	DET
ejpam-3296	11	41	∗b	∗b	NOUN
ejpam-3296	11	42	=	=	SYM
ejpam-3296	11	43	b	b	X
ejpam-3296	11	44	∪	∪	X
ejpam-3296	11	45	(	(	PUNCT
ejpam-3296	11	46	a′	a′	PROPN
ejpam-3296	11	47	∩	∩	ADJ
ejpam-3296	11	48	ω	ω	NOUN
ejpam-3296	11	49	)	)	PUNCT
ejpam-3296	11	50	for	for	ADP
ejpam-3296	11	51	all	all	DET
ejpam-3296	11	52	a	a	DET
ejpam-3296	11	53	,	,	PUNCT
ejpam-3296	11	54	b	b	NOUN
ejpam-3296	11	55	∈	∈	PROPN
ejpam-3296	11	56	pω(x	pω(x	NOUN
ejpam-3296	11	57	)	)	PUNCT
ejpam-3296	11	58	.	.	PUNCT
ejpam-3296	12	1	satirad	satirad	PROPN
ejpam-3296	12	2	et	et	PROPN
ejpam-3296	12	3	al	al	PROPN
ejpam-3296	12	4	.	.	PUNCT
ejpam-3296	13	1	[	[	X
ejpam-3296	13	2	5	5	NUM
ejpam-3296	13	3	]	]	PUNCT
ejpam-3296	13	4	proved	prove	VERB
ejpam-3296	13	5	that	that	SCONJ
ejpam-3296	13	6	(	(	PUNCT
ejpam-3296	13	7	pω(x	pω(x	NOUN
ejpam-3296	13	8	)	)	PUNCT
ejpam-3296	13	9	,	,	PUNCT
ejpam-3296	13	10	·	·	PUNCT
ejpam-3296	13	11	,	,	PUNCT
ejpam-3296	13	12	ω	ω	NUM
ejpam-3296	13	13	)	)	PUNCT
ejpam-3296	13	14	and	and	CCONJ
ejpam-3296	13	15	(	(	PUNCT
ejpam-3296	13	16	pω(x	pω(x	NOUN
ejpam-3296	13	17	)	)	PUNCT
ejpam-3296	13	18	,	,	PUNCT
ejpam-3296	13	19	∗,ω	∗,ω	PROPN
ejpam-3296	13	20	)	)	PUNCT
ejpam-3296	13	21	are	be	AUX
ejpam-3296	13	22	up	up	ADV
ejpam-3296	13	23	-	-	PUNCT
ejpam-3296	13	24	algebras	algebras	X
ejpam-3296	13	25	.	.	PUNCT
ejpam-3296	14	1	in	in	ADP
ejpam-3296	14	2	particular	particular	ADJ
ejpam-3296	14	3	,	,	PUNCT
ejpam-3296	14	4	(	(	PUNCT
ejpam-3296	14	5	p(x	p(x	PROPN
ejpam-3296	14	6	)	)	PUNCT
ejpam-3296	14	7	,	,	PUNCT
ejpam-3296	14	8	·	·	PUNCT
ejpam-3296	14	9	,	,	PUNCT
ejpam-3296	14	10	∅	∅	NOUN
ejpam-3296	14	11	)	)	PUNCT
ejpam-3296	14	12	and	and	CCONJ
ejpam-3296	14	13	(	(	PUNCT
ejpam-3296	14	14	p(x	p(x	PROPN
ejpam-3296	14	15	)	)	PUNCT
ejpam-3296	14	16	,	,	PUNCT
ejpam-3296	14	17	∗	∗	NOUN
ejpam-3296	14	18	,	,	PUNCT
ejpam-3296	14	19	x	x	X
ejpam-3296	14	20	)	)	PUNCT
ejpam-3296	14	21	are	be	AUX
ejpam-3296	14	22	up	up	ADV
ejpam-3296	14	23	-	-	PUNCT
ejpam-3296	14	24	algebras	algebras	X
ejpam-3296	14	25	.	.	PUNCT
ejpam-3296	15	1	in	in	ADP
ejpam-3296	15	2	this	this	DET
ejpam-3296	15	3	paper	paper	NOUN
ejpam-3296	15	4	,	,	PUNCT
ejpam-3296	15	5	we	we	PRON
ejpam-3296	15	6	introduce	introduce	VERB
ejpam-3296	15	7	the	the	DET
ejpam-3296	15	8	notion	notion	NOUN
ejpam-3296	15	9	of	of	ADP
ejpam-3296	15	10	a	a	DET
ejpam-3296	15	11	partial	partial	ADJ
ejpam-3296	15	12	transformation	transformation	NOUN
ejpam-3296	15	13	up	up	ADP
ejpam-3296	15	14	-	-	PUNCT
ejpam-3296	15	15	algebra	algebra	NOUN
ejpam-3296	15	16	p	p	X
ejpam-3296	15	17	(	(	PUNCT
ejpam-3296	15	18	x	x	NOUN
ejpam-3296	15	19	)	)	PUNCT
ejpam-3296	15	20	induced	induce	VERB
ejpam-3296	15	21	by	by	ADP
ejpam-3296	15	22	a	a	DET
ejpam-3296	15	23	up	up	NOUN
ejpam-3296	15	24	-	-	PUNCT
ejpam-3296	15	25	algebra	algebra	NOUN
ejpam-3296	15	26	x	x	PUNCT
ejpam-3296	15	27	and	and	CCONJ
ejpam-3296	15	28	prove	prove	VERB
ejpam-3296	15	29	that	that	SCONJ
ejpam-3296	15	30	the	the	DET
ejpam-3296	15	31	set	set	NOUN
ejpam-3296	15	32	of	of	ADP
ejpam-3296	15	33	all	all	DET
ejpam-3296	15	34	full	full	ADJ
ejpam-3296	15	35	transformations	transformation	NOUN
ejpam-3296	15	36	t	t	NOUN
ejpam-3296	15	37	(	(	PUNCT
ejpam-3296	15	38	x	x	X
ejpam-3296	15	39	)	)	PUNCT
ejpam-3296	15	40	is	be	AUX
ejpam-3296	15	41	a	a	DET
ejpam-3296	15	42	up	up	ADJ
ejpam-3296	15	43	-	-	PUNCT
ejpam-3296	15	44	ideal	ideal	NOUN
ejpam-3296	15	45	of	of	ADP
ejpam-3296	15	46	p	p	NOUN
ejpam-3296	15	47	(	(	PUNCT
ejpam-3296	15	48	x	x	NOUN
ejpam-3296	15	49	)	)	PUNCT
ejpam-3296	15	50	.	.	PUNCT
ejpam-3296	16	1	now	now	ADV
ejpam-3296	16	2	we	we	PRON
ejpam-3296	16	3	will	will	AUX
ejpam-3296	16	4	recall	recall	VERB
ejpam-3296	16	5	the	the	DET
ejpam-3296	16	6	definition	definition	NOUN
ejpam-3296	16	7	of	of	ADP
ejpam-3296	16	8	a	a	DET
ejpam-3296	16	9	up	up	NOUN
ejpam-3296	16	10	-	-	PUNCT
ejpam-3296	16	11	algebra	algebra	NOUN
ejpam-3296	16	12	from	from	ADP
ejpam-3296	16	13	[	[	X
ejpam-3296	16	14	2	2	NUM
ejpam-3296	16	15	]	]	PUNCT
ejpam-3296	16	16	.	.	PUNCT
ejpam-3296	17	1	an	an	DET
ejpam-3296	17	2	algebra	algebra	NOUN
ejpam-3296	17	3	x	x	X
ejpam-3296	17	4	=	=	SYM
ejpam-3296	17	5	(	(	PUNCT
ejpam-3296	17	6	x	x	NOUN
ejpam-3296	17	7	,	,	PUNCT
ejpam-3296	17	8	·	·	PUNCT
ejpam-3296	17	9	,	,	PUNCT
ejpam-3296	17	10	0	0	NUM
ejpam-3296	17	11	)	)	PUNCT
ejpam-3296	17	12	of	of	ADP
ejpam-3296	17	13	type	type	NOUN
ejpam-3296	17	14	(	(	PUNCT
ejpam-3296	17	15	2	2	NUM
ejpam-3296	17	16	,	,	PUNCT
ejpam-3296	17	17	0	0	NUM
ejpam-3296	17	18	)	)	PUNCT
ejpam-3296	17	19	is	be	AUX
ejpam-3296	17	20	called	call	VERB
ejpam-3296	17	21	a	a	DET
ejpam-3296	17	22	up	up	NOUN
ejpam-3296	17	23	-	-	PUNCT
ejpam-3296	17	24	algebra	algebra	NOUN
ejpam-3296	17	25	where	where	SCONJ
ejpam-3296	17	26	x	x	PRON
ejpam-3296	17	27	is	be	AUX
ejpam-3296	17	28	a	a	DET
ejpam-3296	17	29	nonempty	nonempty	ADJ
ejpam-3296	17	30	set	set	VERB
ejpam-3296	17	31	,	,	PUNCT
ejpam-3296	17	32	·	·	PUNCT
ejpam-3296	17	33	is	be	AUX
ejpam-3296	17	34	a	a	DET
ejpam-3296	17	35	binary	binary	ADJ
ejpam-3296	17	36	operation	operation	NOUN
ejpam-3296	17	37	on	on	ADP
ejpam-3296	17	38	x	x	NOUN
ejpam-3296	17	39	,	,	PUNCT
ejpam-3296	17	40	and	and	CCONJ
ejpam-3296	17	41	0	0	NUM
ejpam-3296	17	42	is	be	AUX
ejpam-3296	17	43	a	a	DET
ejpam-3296	17	44	fixed	fix	VERB
ejpam-3296	17	45	element	element	NOUN
ejpam-3296	17	46	of	of	ADP
ejpam-3296	17	47	x	x	X
ejpam-3296	17	48	(	(	PUNCT
ejpam-3296	17	49	i.e.	i.e.	X
ejpam-3296	17	50	,	,	PUNCT
ejpam-3296	17	51	a	a	DET
ejpam-3296	17	52	nullary	nullary	ADJ
ejpam-3296	17	53	operation	operation	NOUN
ejpam-3296	17	54	)	)	PUNCT
ejpam-3296	17	55	if	if	SCONJ
ejpam-3296	17	56	it	it	PRON
ejpam-3296	17	57	satisfies	satisfy	VERB
ejpam-3296	17	58	the	the	DET
ejpam-3296	17	59	following	follow	VERB
ejpam-3296	17	60	axioms	axiom	NOUN
ejpam-3296	17	61	:	:	PUNCT
ejpam-3296	17	62	for	for	ADP
ejpam-3296	17	63	any	any	DET
ejpam-3296	17	64	x	x	NOUN
ejpam-3296	17	65	,	,	PUNCT
ejpam-3296	17	66	y	y	PROPN
ejpam-3296	17	67	,	,	PUNCT
ejpam-3296	17	68	z	z	PROPN
ejpam-3296	17	69	∈	∈	PROPN
ejpam-3296	17	70	x	x	PRON
ejpam-3296	17	71	,	,	PUNCT
ejpam-3296	17	72	∗this	∗this	DET
ejpam-3296	17	73	work	work	NOUN
ejpam-3296	17	74	was	be	AUX
ejpam-3296	17	75	financially	financially	ADV
ejpam-3296	17	76	supported	support	VERB
ejpam-3296	17	77	by	by	ADP
ejpam-3296	17	78	the	the	DET
ejpam-3296	17	79	university	university	NOUN
ejpam-3296	17	80	of	of	ADP
ejpam-3296	17	81	phayao	phayao	NOUN
ejpam-3296	17	82	.	.	PUNCT
ejpam-3296	18	1	∗corresponding	∗corresponde	VERB
ejpam-3296	18	2	author	author	NOUN
ejpam-3296	18	3	.	.	PUNCT
ejpam-3296	19	1	doi	doi	NOUN
ejpam-3296	19	2	:	:	PUNCT
ejpam-3296	19	3	https://doi.org/10.29020/nybg.ejpam.v11i3.3296	https://doi.org/10.29020/nybg.ejpam.v11i3.3296	NOUN
ejpam-3296	19	4	email	email	NOUN
ejpam-3296	19	5	addresses	address	NOUN
ejpam-3296	19	6	:	:	PUNCT
ejpam-3296	20	1	aiyared.ia@up.ac.th	aiyared.ia@up.ac.th	NOUN
ejpam-3296	20	2	(	(	PUNCT
ejpam-3296	20	3	a.	a.	NOUN
ejpam-3296	20	4	iampan	iampan	PROPN
ejpam-3296	20	5	)	)	PUNCT
ejpam-3296	20	6	,	,	PUNCT
ejpam-3296	20	7	phakawat.mo@gmail.com	phakawat.mo@gmail.com	PROPN
ejpam-3296	20	8	(	(	PUNCT
ejpam-3296	20	9	p.	p.	NOUN
ejpam-3296	20	10	mosrijai	mosrijai	PROPN
ejpam-3296	20	11	)	)	PUNCT
ejpam-3296	20	12	,	,	PUNCT
ejpam-3296	20	13	akarachai.sa@gmail.com	akarachai.sa@gmail.com	PROPN
ejpam-3296	20	14	(	(	PUNCT
ejpam-3296	20	15	a.	a.	PROPN
ejpam-3296	20	16	satirad	satirad	PROPN
ejpam-3296	20	17	)	)	PUNCT
ejpam-3296	20	18	http://www.ejpam.com	http://www.ejpam.com	X
ejpam-3296	21	1	876	876	NUM
ejpam-3296	21	2	c	c	X
ejpam-3296	21	3	©	©	PROPN
ejpam-3296	21	4	2018	2018	NUM
ejpam-3296	21	5	ejpam	ejpam	VERB
ejpam-3296	21	6	all	all	DET
ejpam-3296	21	7	rights	right	NOUN
ejpam-3296	21	8	reserved	reserve	VERB
ejpam-3296	21	9	.	.	PUNCT
ejpam-3296	22	1	a.	a.	PROPN
ejpam-3296	22	2	iampan	iampan	PROPN
ejpam-3296	22	3	,	,	PUNCT
ejpam-3296	22	4	p.	p.	PROPN
ejpam-3296	22	5	mosrijai	mosrijai	PROPN
ejpam-3296	22	6	,	,	PUNCT
ejpam-3296	22	7	a.	a.	PROPN
ejpam-3296	22	8	satirad	satirad	PROPN
ejpam-3296	22	9	/	/	SYM
ejpam-3296	22	10	eur	eur	PROPN
ejpam-3296	22	11	.	.	PUNCT
ejpam-3296	23	1	j.	j.	PROPN
ejpam-3296	23	2	pure	pure	PROPN
ejpam-3296	23	3	appl	appl	PROPN
ejpam-3296	23	4	.	.	PROPN
ejpam-3296	23	5	math	math	PROPN
ejpam-3296	23	6	,	,	PUNCT
ejpam-3296	23	7	11	11	NUM
ejpam-3296	23	8	(	(	PUNCT
ejpam-3296	23	9	3	3	NUM
ejpam-3296	23	10	)	)	PUNCT
ejpam-3296	23	11	(	(	PUNCT
ejpam-3296	23	12	2018	2018	NUM
ejpam-3296	23	13	)	)	PUNCT
ejpam-3296	23	14	,	,	PUNCT
ejpam-3296	23	15	876	876	NUM
ejpam-3296	23	16	-	-	SYM
ejpam-3296	23	17	881	881	NUM
ejpam-3296	23	18	877	877	NUM
ejpam-3296	23	19	(	(	PUNCT
ejpam-3296	23	20	up-1	up-1	NUM
ejpam-3296	23	21	)	)	PUNCT
ejpam-3296	23	22	(	(	PUNCT
ejpam-3296	23	23	y	y	PROPN
ejpam-3296	23	24	·	·	PUNCT
ejpam-3296	23	25	z	z	X
ejpam-3296	23	26	)	)	PUNCT
ejpam-3296	23	27	·	·	PUNCT
ejpam-3296	23	28	(	(	PUNCT
ejpam-3296	23	29	(	(	PUNCT
ejpam-3296	23	30	x	x	SYM
ejpam-3296	23	31	·	·	PUNCT
ejpam-3296	23	32	y	y	X
ejpam-3296	23	33	)	)	PUNCT
ejpam-3296	23	34	·	·	PUNCT
ejpam-3296	24	1	(	(	PUNCT
ejpam-3296	24	2	x	x	X
ejpam-3296	24	3	·	·	PUNCT
ejpam-3296	24	4	z	z	NOUN
ejpam-3296	24	5	)	)	PUNCT
ejpam-3296	24	6	)	)	PUNCT
ejpam-3296	25	1	=	=	SYM
ejpam-3296	25	2	0	0	NUM
ejpam-3296	25	3	,	,	PUNCT
ejpam-3296	25	4	(	(	PUNCT
ejpam-3296	25	5	up-2	up-2	NUM
ejpam-3296	25	6	)	)	PUNCT
ejpam-3296	25	7	0	0	NUM
ejpam-3296	25	8	·	·	PUNCT
ejpam-3296	25	9	x	x	PUNCT
ejpam-3296	25	10	=	=	SYM
ejpam-3296	25	11	x	x	X
ejpam-3296	25	12	,	,	PUNCT
ejpam-3296	25	13	(	(	PUNCT
ejpam-3296	25	14	up-3	up-3	NOUN
ejpam-3296	25	15	)	)	PUNCT
ejpam-3296	25	16	x	x	X
ejpam-3296	25	17	·	·	PUNCT
ejpam-3296	25	18	0	0	PUNCT
ejpam-3296	26	1	=	=	SYM
ejpam-3296	26	2	0	0	NUM
ejpam-3296	26	3	,	,	PUNCT
ejpam-3296	26	4	and	and	CCONJ
ejpam-3296	26	5	(	(	PUNCT
ejpam-3296	26	6	up-4	up-4	ADV
ejpam-3296	26	7	)	)	PUNCT
ejpam-3296	26	8	x	x	X
ejpam-3296	26	9	·	·	PUNCT
ejpam-3296	26	10	y	y	X
ejpam-3296	26	11	=	=	SYM
ejpam-3296	26	12	0	0	PROPN
ejpam-3296	26	13	and	and	CCONJ
ejpam-3296	26	14	y	y	PROPN
ejpam-3296	26	15	·	·	PUNCT
ejpam-3296	26	16	x	x	PUNCT
ejpam-3296	27	1	=	=	SYM
ejpam-3296	27	2	0	0	NUM
ejpam-3296	27	3	imply	imply	VERB
ejpam-3296	27	4	x	x	X
ejpam-3296	27	5	=	=	PUNCT
ejpam-3296	27	6	y.	y.	NOUN
ejpam-3296	27	7	in	in	ADP
ejpam-3296	27	8	a	a	DET
ejpam-3296	27	9	up	up	NOUN
ejpam-3296	27	10	-	-	PUNCT
ejpam-3296	27	11	algebra	algebra	NOUN
ejpam-3296	27	12	x	x	PUNCT
ejpam-3296	27	13	=	=	SYM
ejpam-3296	27	14	(	(	PUNCT
ejpam-3296	27	15	x	x	NOUN
ejpam-3296	27	16	,	,	PUNCT
ejpam-3296	27	17	·	·	PUNCT
ejpam-3296	27	18	,	,	PUNCT
ejpam-3296	27	19	0	0	NUM
ejpam-3296	27	20	)	)	PUNCT
ejpam-3296	27	21	,	,	PUNCT
ejpam-3296	27	22	the	the	DET
ejpam-3296	27	23	following	follow	VERB
ejpam-3296	27	24	assertions	assertion	NOUN
ejpam-3296	27	25	are	be	AUX
ejpam-3296	27	26	valid	valid	ADJ
ejpam-3296	27	27	(	(	PUNCT
ejpam-3296	27	28	see	see	VERB
ejpam-3296	27	29	[	[	X
ejpam-3296	27	30	2	2	NUM
ejpam-3296	27	31	,	,	PUNCT
ejpam-3296	27	32	3	3	NUM
ejpam-3296	27	33	]	]	NUM
ejpam-3296	27	34	)	)	PUNCT
ejpam-3296	27	35	.	.	PUNCT
ejpam-3296	28	1	(	(	PUNCT
ejpam-3296	28	2	∀x	∀x	X
ejpam-3296	28	3	∈	∈	PROPN
ejpam-3296	28	4	x)(x	x)(x	PROPN
ejpam-3296	28	5	·	·	PUNCT
ejpam-3296	28	6	x	x	PUNCT
ejpam-3296	28	7	=	=	PUNCT
ejpam-3296	28	8	0	0	NUM
ejpam-3296	28	9	)	)	PUNCT
ejpam-3296	28	10	,	,	PUNCT
ejpam-3296	28	11	(	(	PUNCT
ejpam-3296	28	12	1.1	1.1	NUM
ejpam-3296	28	13	)	)	PUNCT
ejpam-3296	28	14	(	(	PUNCT
ejpam-3296	28	15	∀x	∀x	X
ejpam-3296	28	16	,	,	PUNCT
ejpam-3296	28	17	y	y	PROPN
ejpam-3296	28	18	,	,	PUNCT
ejpam-3296	28	19	z	z	PROPN
ejpam-3296	28	20	∈	∈	PROPN
ejpam-3296	28	21	x)(x	x)(x	PROPN
ejpam-3296	28	22	·	·	PUNCT
ejpam-3296	28	23	y	y	X
ejpam-3296	28	24	=	=	SYM
ejpam-3296	28	25	0	0	PROPN
ejpam-3296	28	26	,	,	PUNCT
ejpam-3296	28	27	y	y	PROPN
ejpam-3296	28	28	·	·	PUNCT
ejpam-3296	28	29	z	z	X
ejpam-3296	28	30	=	=	SYM
ejpam-3296	28	31	0⇒	0⇒	NUM
ejpam-3296	28	32	x	x	SYM
ejpam-3296	28	33	·	·	PUNCT
ejpam-3296	28	34	z	z	X
ejpam-3296	29	1	=	=	SYM
ejpam-3296	29	2	0	0	NUM
ejpam-3296	29	3	)	)	PUNCT
ejpam-3296	29	4	,	,	PUNCT
ejpam-3296	29	5	(	(	PUNCT
ejpam-3296	29	6	1.2	1.2	NUM
ejpam-3296	29	7	)	)	PUNCT
ejpam-3296	29	8	(	(	PUNCT
ejpam-3296	29	9	∀x	∀x	X
ejpam-3296	29	10	,	,	PUNCT
ejpam-3296	29	11	y	y	PROPN
ejpam-3296	29	12	,	,	PUNCT
ejpam-3296	30	1	z	z	PROPN
ejpam-3296	30	2	∈	∈	PROPN
ejpam-3296	30	3	x)(x	x)(x	PROPN
ejpam-3296	30	4	·	·	PUNCT
ejpam-3296	30	5	y	y	X
ejpam-3296	30	6	=	=	PUNCT
ejpam-3296	30	7	0⇒	0⇒	PROPN
ejpam-3296	30	8	(	(	PUNCT
ejpam-3296	30	9	z	z	NOUN
ejpam-3296	30	10	·	·	PUNCT
ejpam-3296	30	11	x	x	X
ejpam-3296	30	12	)	)	PUNCT
ejpam-3296	30	13	·	·	PUNCT
ejpam-3296	30	14	(	(	PUNCT
ejpam-3296	30	15	z	z	X
ejpam-3296	30	16	·	·	PUNCT
ejpam-3296	30	17	y	y	X
ejpam-3296	30	18	)	)	PUNCT
ejpam-3296	30	19	=	=	NOUN
ejpam-3296	30	20	0	0	NUM
ejpam-3296	30	21	)	)	PUNCT
ejpam-3296	30	22	,	,	PUNCT
ejpam-3296	30	23	(	(	PUNCT
ejpam-3296	30	24	1.3	1.3	NUM
ejpam-3296	30	25	)	)	PUNCT
ejpam-3296	30	26	(	(	PUNCT
ejpam-3296	30	27	∀x	∀x	X
ejpam-3296	30	28	,	,	PUNCT
ejpam-3296	30	29	y	y	PROPN
ejpam-3296	30	30	,	,	PUNCT
ejpam-3296	30	31	z	z	PROPN
ejpam-3296	30	32	∈	∈	PROPN
ejpam-3296	30	33	x)(x	x)(x	PROPN
ejpam-3296	30	34	·	·	PUNCT
ejpam-3296	31	1	y	y	X
ejpam-3296	31	2	=	=	PUNCT
ejpam-3296	31	3	0⇒	0⇒	PROPN
ejpam-3296	31	4	(	(	PUNCT
ejpam-3296	31	5	y	y	PROPN
ejpam-3296	31	6	·	·	PUNCT
ejpam-3296	31	7	z	z	X
ejpam-3296	31	8	)	)	PUNCT
ejpam-3296	31	9	·	·	PUNCT
ejpam-3296	31	10	(	(	PUNCT
ejpam-3296	31	11	x	x	X
ejpam-3296	31	12	·	·	PUNCT
ejpam-3296	32	1	z	z	X
ejpam-3296	32	2	)	)	PUNCT
ejpam-3296	32	3	=	=	SYM
ejpam-3296	32	4	0	0	NUM
ejpam-3296	32	5	)	)	PUNCT
ejpam-3296	32	6	,	,	PUNCT
ejpam-3296	32	7	(	(	PUNCT
ejpam-3296	32	8	1.4	1.4	NUM
ejpam-3296	32	9	)	)	PUNCT
ejpam-3296	32	10	(	(	PUNCT
ejpam-3296	32	11	∀x	∀x	X
ejpam-3296	32	12	,	,	PUNCT
ejpam-3296	32	13	y	y	PROPN
ejpam-3296	32	14	∈	∈	PROPN
ejpam-3296	32	15	x)(x	x)(x	PROPN
ejpam-3296	32	16	·	·	PUNCT
ejpam-3296	32	17	(	(	PUNCT
ejpam-3296	32	18	y	y	PROPN
ejpam-3296	32	19	·	·	PUNCT
ejpam-3296	32	20	x	x	X
ejpam-3296	32	21	)	)	PUNCT
ejpam-3296	32	22	=	=	SYM
ejpam-3296	32	23	0	0	NUM
ejpam-3296	32	24	)	)	PUNCT
ejpam-3296	32	25	,	,	PUNCT
ejpam-3296	32	26	(	(	PUNCT
ejpam-3296	32	27	1.5	1.5	NUM
ejpam-3296	32	28	)	)	PUNCT
ejpam-3296	32	29	(	(	PUNCT
ejpam-3296	32	30	∀x	∀x	X
ejpam-3296	32	31	,	,	PUNCT
ejpam-3296	32	32	y	y	PROPN
ejpam-3296	32	33	∈	∈	PROPN
ejpam-3296	32	34	x)((y	x)((y	PROPN
ejpam-3296	32	35	·	·	PUNCT
ejpam-3296	33	1	x	x	X
ejpam-3296	33	2	)	)	PUNCT
ejpam-3296	33	3	·	·	PUNCT
ejpam-3296	33	4	x	x	PUNCT
ejpam-3296	34	1	=	=	PUNCT
ejpam-3296	34	2	0⇔	0⇔	NOUN
ejpam-3296	34	3	x	x	X
ejpam-3296	35	1	=	=	PUNCT
ejpam-3296	35	2	y	y	PROPN
ejpam-3296	35	3	·	·	PUNCT
ejpam-3296	35	4	x	x	X
ejpam-3296	35	5	)	)	PUNCT
ejpam-3296	35	6	,	,	PUNCT
ejpam-3296	35	7	(	(	PUNCT
ejpam-3296	35	8	1.6	1.6	NUM
ejpam-3296	35	9	)	)	PUNCT
ejpam-3296	35	10	(	(	PUNCT
ejpam-3296	35	11	∀x	∀x	X
ejpam-3296	35	12	,	,	PUNCT
ejpam-3296	35	13	y	y	PROPN
ejpam-3296	35	14	∈	∈	PROPN
ejpam-3296	35	15	x)(x	x)(x	PROPN
ejpam-3296	35	16	·	·	PUNCT
ejpam-3296	35	17	(	(	PUNCT
ejpam-3296	35	18	y	y	PROPN
ejpam-3296	35	19	·	·	PUNCT
ejpam-3296	35	20	y	y	X
ejpam-3296	35	21	)	)	PUNCT
ejpam-3296	35	22	=	=	SYM
ejpam-3296	35	23	0	0	NUM
ejpam-3296	35	24	)	)	PUNCT
ejpam-3296	35	25	,	,	PUNCT
ejpam-3296	35	26	(	(	PUNCT
ejpam-3296	35	27	1.7	1.7	NUM
ejpam-3296	35	28	)	)	PUNCT
ejpam-3296	35	29	(	(	PUNCT
ejpam-3296	35	30	∀a	∀a	X
ejpam-3296	35	31	,	,	PUNCT
ejpam-3296	35	32	x	x	X
ejpam-3296	35	33	,	,	PUNCT
ejpam-3296	35	34	y	y	PROPN
ejpam-3296	35	35	,	,	PUNCT
ejpam-3296	35	36	z	z	PROPN
ejpam-3296	35	37	∈	∈	PROPN
ejpam-3296	35	38	x)((x	x)((x	NOUN
ejpam-3296	35	39	·	·	PUNCT
ejpam-3296	36	1	(	(	PUNCT
ejpam-3296	36	2	y	y	PROPN
ejpam-3296	36	3	·	·	PUNCT
ejpam-3296	36	4	z	z	NOUN
ejpam-3296	36	5	)	)	PUNCT
ejpam-3296	36	6	)	)	PUNCT
ejpam-3296	36	7	·	·	PUNCT
ejpam-3296	37	1	(	(	PUNCT
ejpam-3296	37	2	x	x	X
ejpam-3296	37	3	·	·	PUNCT
ejpam-3296	37	4	(	(	PUNCT
ejpam-3296	37	5	(	(	PUNCT
ejpam-3296	37	6	a	a	DET
ejpam-3296	37	7	·	·	PUNCT
ejpam-3296	37	8	y	y	NOUN
ejpam-3296	37	9	)	)	PUNCT
ejpam-3296	37	10	·	·	PUNCT
ejpam-3296	37	11	(	(	PUNCT
ejpam-3296	37	12	a	a	DET
ejpam-3296	37	13	·	·	PUNCT
ejpam-3296	37	14	z	z	NOUN
ejpam-3296	37	15	)	)	PUNCT
ejpam-3296	37	16	)	)	PUNCT
ejpam-3296	37	17	)	)	PUNCT
ejpam-3296	38	1	=	=	PUNCT
ejpam-3296	38	2	0	0	NUM
ejpam-3296	38	3	)	)	PUNCT
ejpam-3296	38	4	,	,	PUNCT
ejpam-3296	38	5	(	(	PUNCT
ejpam-3296	38	6	1.8	1.8	NUM
ejpam-3296	38	7	)	)	PUNCT
ejpam-3296	38	8	(	(	PUNCT
ejpam-3296	38	9	∀a	∀a	X
ejpam-3296	38	10	,	,	PUNCT
ejpam-3296	38	11	x	x	X
ejpam-3296	38	12	,	,	PUNCT
ejpam-3296	38	13	y	y	PROPN
ejpam-3296	38	14	,	,	PUNCT
ejpam-3296	38	15	z	z	PROPN
ejpam-3296	38	16	∈	∈	PROPN
ejpam-3296	38	17	x)((((a	x)((((a	PROPN
ejpam-3296	38	18	·	·	PUNCT
ejpam-3296	38	19	x	x	X
ejpam-3296	38	20	)	)	PUNCT
ejpam-3296	38	21	·	·	PUNCT
ejpam-3296	38	22	(	(	PUNCT
ejpam-3296	38	23	a	a	DET
ejpam-3296	38	24	·	·	PUNCT
ejpam-3296	38	25	y	y	NOUN
ejpam-3296	38	26	)	)	PUNCT
ejpam-3296	38	27	)	)	PUNCT
ejpam-3296	38	28	·	·	PUNCT
ejpam-3296	39	1	z	z	X
ejpam-3296	39	2	)	)	PUNCT
ejpam-3296	39	3	·	·	PUNCT
ejpam-3296	39	4	(	(	PUNCT
ejpam-3296	39	5	(	(	PUNCT
ejpam-3296	39	6	x	x	SYM
ejpam-3296	39	7	·	·	PUNCT
ejpam-3296	39	8	y	y	X
ejpam-3296	39	9	)	)	PUNCT
ejpam-3296	39	10	·	·	PUNCT
ejpam-3296	40	1	z	z	X
ejpam-3296	40	2	)	)	PUNCT
ejpam-3296	40	3	=	=	SYM
ejpam-3296	40	4	0	0	NUM
ejpam-3296	40	5	)	)	PUNCT
ejpam-3296	40	6	,	,	PUNCT
ejpam-3296	40	7	(	(	PUNCT
ejpam-3296	40	8	1.9	1.9	NUM
ejpam-3296	40	9	)	)	PUNCT
ejpam-3296	40	10	(	(	PUNCT
ejpam-3296	40	11	∀x	∀x	X
ejpam-3296	40	12	,	,	PUNCT
ejpam-3296	40	13	y	y	PROPN
ejpam-3296	40	14	,	,	PUNCT
ejpam-3296	40	15	z	z	PROPN
ejpam-3296	40	16	∈	∈	PROPN
ejpam-3296	40	17	x)(((x	x)(((x	SYM
ejpam-3296	40	18	·	·	PUNCT
ejpam-3296	40	19	y	y	X
ejpam-3296	40	20	)	)	PUNCT
ejpam-3296	40	21	·	·	PUNCT
ejpam-3296	41	1	z	z	X
ejpam-3296	41	2	)	)	PUNCT
ejpam-3296	41	3	·	·	PUNCT
ejpam-3296	41	4	(	(	PUNCT
ejpam-3296	41	5	y	y	PROPN
ejpam-3296	41	6	·	·	PUNCT
ejpam-3296	41	7	z	z	X
ejpam-3296	41	8	)	)	PUNCT
ejpam-3296	41	9	=	=	SYM
ejpam-3296	41	10	0	0	NUM
ejpam-3296	41	11	)	)	PUNCT
ejpam-3296	41	12	,	,	PUNCT
ejpam-3296	41	13	(	(	PUNCT
ejpam-3296	41	14	1.10	1.10	NUM
ejpam-3296	41	15	)	)	PUNCT
ejpam-3296	41	16	(	(	PUNCT
ejpam-3296	41	17	∀x	∀x	X
ejpam-3296	41	18	,	,	PUNCT
ejpam-3296	41	19	y	y	PROPN
ejpam-3296	41	20	,	,	PUNCT
ejpam-3296	41	21	z	z	PROPN
ejpam-3296	41	22	∈	∈	PROPN
ejpam-3296	41	23	x)(x	x)(x	PROPN
ejpam-3296	41	24	·	·	PUNCT
ejpam-3296	42	1	y	y	X
ejpam-3296	42	2	=	=	SYM
ejpam-3296	42	3	0⇒	0⇒	PROPN
ejpam-3296	42	4	x	x	SYM
ejpam-3296	42	5	·	·	PUNCT
ejpam-3296	42	6	(	(	PUNCT
ejpam-3296	42	7	z	z	NOUN
ejpam-3296	42	8	·	·	PUNCT
ejpam-3296	42	9	y	y	X
ejpam-3296	42	10	)	)	PUNCT
ejpam-3296	42	11	=	=	NOUN
ejpam-3296	43	1	0	0	NUM
ejpam-3296	43	2	)	)	PUNCT
ejpam-3296	43	3	,	,	PUNCT
ejpam-3296	43	4	(	(	PUNCT
ejpam-3296	43	5	1.11	1.11	NUM
ejpam-3296	43	6	)	)	PUNCT
ejpam-3296	43	7	(	(	PUNCT
ejpam-3296	43	8	∀x	∀x	X
ejpam-3296	43	9	,	,	PUNCT
ejpam-3296	43	10	y	y	PROPN
ejpam-3296	43	11	,	,	PUNCT
ejpam-3296	43	12	z	z	PROPN
ejpam-3296	43	13	∈	∈	PROPN
ejpam-3296	43	14	x)(((x	x)(((x	SYM
ejpam-3296	43	15	·	·	PUNCT
ejpam-3296	43	16	y	y	X
ejpam-3296	43	17	)	)	PUNCT
ejpam-3296	43	18	·	·	PUNCT
ejpam-3296	44	1	z	z	X
ejpam-3296	44	2	)	)	PUNCT
ejpam-3296	44	3	·	·	PUNCT
ejpam-3296	44	4	(	(	PUNCT
ejpam-3296	44	5	x	x	X
ejpam-3296	44	6	·	·	PUNCT
ejpam-3296	44	7	(	(	PUNCT
ejpam-3296	44	8	y	y	PROPN
ejpam-3296	44	9	·	·	PUNCT
ejpam-3296	44	10	z	z	NOUN
ejpam-3296	44	11	)	)	PUNCT
ejpam-3296	44	12	)	)	PUNCT
ejpam-3296	45	1	=	=	PUNCT
ejpam-3296	45	2	0	0	NUM
ejpam-3296	45	3	)	)	PUNCT
ejpam-3296	45	4	,	,	PUNCT
ejpam-3296	45	5	and	and	CCONJ
ejpam-3296	45	6	(	(	PUNCT
ejpam-3296	45	7	1.12	1.12	NUM
ejpam-3296	45	8	)	)	PUNCT
ejpam-3296	45	9	(	(	PUNCT
ejpam-3296	45	10	∀a	∀a	X
ejpam-3296	45	11	,	,	PUNCT
ejpam-3296	45	12	x	x	X
ejpam-3296	45	13	,	,	PUNCT
ejpam-3296	45	14	y	y	PROPN
ejpam-3296	45	15	,	,	PUNCT
ejpam-3296	45	16	z	z	PROPN
ejpam-3296	45	17	∈	∈	PROPN
ejpam-3296	45	18	x)(((x	x)(((x	SYM
ejpam-3296	45	19	·	·	PUNCT
ejpam-3296	45	20	y	y	X
ejpam-3296	45	21	)	)	PUNCT
ejpam-3296	45	22	·	·	PUNCT
ejpam-3296	46	1	z	z	X
ejpam-3296	46	2	)	)	PUNCT
ejpam-3296	46	3	·	·	PUNCT
ejpam-3296	46	4	(	(	PUNCT
ejpam-3296	46	5	y	y	PROPN
ejpam-3296	46	6	·	·	PUNCT
ejpam-3296	46	7	(	(	PUNCT
ejpam-3296	46	8	a	a	DET
ejpam-3296	46	9	·	·	PUNCT
ejpam-3296	46	10	z	z	NOUN
ejpam-3296	46	11	)	)	PUNCT
ejpam-3296	46	12	)	)	PUNCT
ejpam-3296	47	1	=	=	PUNCT
ejpam-3296	47	2	0	0	NUM
ejpam-3296	47	3	)	)	PUNCT
ejpam-3296	47	4	.	.	PUNCT
ejpam-3296	48	1	(	(	PUNCT
ejpam-3296	48	2	1.13	1.13	NUM
ejpam-3296	48	3	)	)	PUNCT
ejpam-3296	48	4	from	from	ADP
ejpam-3296	48	5	now	now	ADV
ejpam-3296	48	6	on	on	ADV
ejpam-3296	48	7	,	,	PUNCT
ejpam-3296	48	8	x	x	PRON
ejpam-3296	48	9	will	will	AUX
ejpam-3296	48	10	always	always	ADV
ejpam-3296	48	11	denote	denote	VERB
ejpam-3296	48	12	a	a	DET
ejpam-3296	48	13	up	up	NOUN
ejpam-3296	48	14	-	-	PUNCT
ejpam-3296	48	15	algebra	algebra	NOUN
ejpam-3296	48	16	(	(	PUNCT
ejpam-3296	48	17	x	x	X
ejpam-3296	48	18	,	,	PUNCT
ejpam-3296	48	19	·	·	PUNCT
ejpam-3296	48	20	,	,	PUNCT
ejpam-3296	48	21	0	0	NUM
ejpam-3296	48	22	)	)	PUNCT
ejpam-3296	48	23	.	.	PUNCT
ejpam-3296	49	1	definition	definition	NOUN
ejpam-3296	49	2	1	1	NUM
ejpam-3296	49	3	.	.	PUNCT
ejpam-3296	50	1	[	[	X
ejpam-3296	50	2	2	2	X
ejpam-3296	50	3	]	]	PUNCT
ejpam-3296	50	4	a	a	DET
ejpam-3296	50	5	subset	subset	NOUN
ejpam-3296	50	6	s	s	NOUN
ejpam-3296	50	7	of	of	ADP
ejpam-3296	50	8	x	x	PRON
ejpam-3296	50	9	is	be	AUX
ejpam-3296	50	10	called	call	VERB
ejpam-3296	50	11	a	a	DET
ejpam-3296	50	12	up	up	NOUN
ejpam-3296	50	13	-	-	PUNCT
ejpam-3296	50	14	subalgebra	subalgebra	NOUN
ejpam-3296	50	15	of	of	ADP
ejpam-3296	50	16	x	x	PRON
ejpam-3296	50	17	if	if	SCONJ
ejpam-3296	50	18	the	the	DET
ejpam-3296	50	19	constant	constant	ADJ
ejpam-3296	50	20	0	0	NUM
ejpam-3296	50	21	of	of	ADP
ejpam-3296	50	22	x	x	PRON
ejpam-3296	50	23	is	be	AUX
ejpam-3296	50	24	in	in	ADP
ejpam-3296	50	25	s	s	PROPN
ejpam-3296	50	26	,	,	PUNCT
ejpam-3296	50	27	and	and	CCONJ
ejpam-3296	50	28	(	(	PUNCT
ejpam-3296	50	29	s	s	X
ejpam-3296	50	30	,	,	PUNCT
ejpam-3296	50	31	·	·	PUNCT
ejpam-3296	50	32	,	,	PUNCT
ejpam-3296	50	33	0	0	NUM
ejpam-3296	50	34	)	)	PUNCT
ejpam-3296	50	35	itself	itself	PRON
ejpam-3296	50	36	forms	form	VERB
ejpam-3296	50	37	a	a	DET
ejpam-3296	50	38	up	up	NOUN
ejpam-3296	50	39	-	-	PUNCT
ejpam-3296	50	40	algebra	algebra	NOUN
ejpam-3296	50	41	.	.	PUNCT
ejpam-3296	51	1	iampan	iampan	NOUN
ejpam-3296	51	2	[	[	X
ejpam-3296	51	3	2	2	X
ejpam-3296	51	4	]	]	PUNCT
ejpam-3296	51	5	proved	prove	VERB
ejpam-3296	51	6	the	the	DET
ejpam-3296	51	7	useful	useful	ADJ
ejpam-3296	51	8	criteria	criterion	NOUN
ejpam-3296	51	9	that	that	SCONJ
ejpam-3296	51	10	a	a	DET
ejpam-3296	51	11	nonempty	nonempty	NOUN
ejpam-3296	51	12	subset	subset	VERB
ejpam-3296	51	13	s	s	NOUN
ejpam-3296	51	14	of	of	ADP
ejpam-3296	51	15	a	a	DET
ejpam-3296	51	16	up	up	NOUN
ejpam-3296	51	17	-	-	PUNCT
ejpam-3296	51	18	algebra	algebra	NOUN
ejpam-3296	51	19	x	x	PUNCT
ejpam-3296	51	20	is	be	AUX
ejpam-3296	51	21	a	a	DET
ejpam-3296	51	22	up	up	ADJ
ejpam-3296	51	23	-	-	PUNCT
ejpam-3296	51	24	subalgebra	subalgebra	NOUN
ejpam-3296	51	25	of	of	ADP
ejpam-3296	51	26	x	x	PRON
ejpam-3296	51	27	if	if	SCONJ
ejpam-3296	51	28	and	and	CCONJ
ejpam-3296	51	29	only	only	ADV
ejpam-3296	51	30	if	if	SCONJ
ejpam-3296	51	31	s	s	NOUN
ejpam-3296	51	32	is	be	AUX
ejpam-3296	51	33	closed	close	VERB
ejpam-3296	51	34	under	under	ADP
ejpam-3296	51	35	the	the	DET
ejpam-3296	51	36	·	·	PUNCT
ejpam-3296	51	37	multiplication	multiplication	NOUN
ejpam-3296	51	38	on	on	ADP
ejpam-3296	51	39	x.	x.	NOUN
ejpam-3296	51	40	definition	definition	NOUN
ejpam-3296	51	41	2	2	NUM
ejpam-3296	51	42	.	.	PUNCT
ejpam-3296	52	1	[	[	X
ejpam-3296	52	2	2	2	NUM
ejpam-3296	52	3	,	,	PUNCT
ejpam-3296	52	4	8	8	NUM
ejpam-3296	52	5	]	]	PUNCT
ejpam-3296	52	6	a	a	DET
ejpam-3296	52	7	subset	subset	NOUN
ejpam-3296	52	8	s	s	NOUN
ejpam-3296	52	9	of	of	ADP
ejpam-3296	52	10	x	x	PRON
ejpam-3296	52	11	is	be	AUX
ejpam-3296	52	12	called	call	VERB
ejpam-3296	52	13	(	(	PUNCT
ejpam-3296	52	14	1	1	NUM
ejpam-3296	52	15	)	)	PUNCT
ejpam-3296	52	16	a	a	DET
ejpam-3296	52	17	up	up	ADJ
ejpam-3296	52	18	-	-	PUNCT
ejpam-3296	52	19	filter	filter	NOUN
ejpam-3296	52	20	of	of	ADP
ejpam-3296	52	21	x	x	PRON
ejpam-3296	52	22	if	if	SCONJ
ejpam-3296	52	23	it	it	PRON
ejpam-3296	52	24	satisfies	satisfy	VERB
ejpam-3296	52	25	the	the	DET
ejpam-3296	52	26	following	follow	VERB
ejpam-3296	52	27	properties	property	NOUN
ejpam-3296	52	28	:	:	PUNCT
ejpam-3296	52	29	(	(	PUNCT
ejpam-3296	52	30	i	i	NOUN
ejpam-3296	52	31	)	)	PUNCT
ejpam-3296	52	32	the	the	DET
ejpam-3296	52	33	constant	constant	ADJ
ejpam-3296	52	34	0	0	NUM
ejpam-3296	52	35	of	of	ADP
ejpam-3296	52	36	x	x	PRON
ejpam-3296	52	37	is	be	AUX
ejpam-3296	52	38	in	in	ADP
ejpam-3296	52	39	s	s	PROPN
ejpam-3296	52	40	,	,	PUNCT
ejpam-3296	52	41	and	and	CCONJ
ejpam-3296	52	42	(	(	PUNCT
ejpam-3296	52	43	ii	ii	NOUN
ejpam-3296	52	44	)	)	PUNCT
ejpam-3296	52	45	for	for	ADP
ejpam-3296	52	46	any	any	DET
ejpam-3296	52	47	x	x	NOUN
ejpam-3296	52	48	,	,	PUNCT
ejpam-3296	52	49	y	y	PROPN
ejpam-3296	52	50	∈	∈	PROPN
ejpam-3296	52	51	x	x	X
ejpam-3296	52	52	,	,	PUNCT
ejpam-3296	52	53	x	x	X
ejpam-3296	52	54	·	·	PUNCT
ejpam-3296	52	55	y	y	X
ejpam-3296	52	56	∈	∈	PROPN
ejpam-3296	52	57	s	s	PART
ejpam-3296	52	58	and	and	CCONJ
ejpam-3296	52	59	x	x	SYM
ejpam-3296	52	60	∈	∈	NOUN
ejpam-3296	52	61	s	s	AUX
ejpam-3296	52	62	imply	imply	VERB
ejpam-3296	52	63	y	y	PROPN
ejpam-3296	52	64	∈	∈	PROPN
ejpam-3296	52	65	s.	s.	PROPN
ejpam-3296	52	66	(	(	PUNCT
ejpam-3296	52	67	2	2	X
ejpam-3296	52	68	)	)	PUNCT
ejpam-3296	52	69	a	a	DET
ejpam-3296	52	70	up	up	ADJ
ejpam-3296	52	71	-	-	PUNCT
ejpam-3296	52	72	ideal	ideal	NOUN
ejpam-3296	52	73	of	of	ADP
ejpam-3296	52	74	x	x	PRON
ejpam-3296	52	75	if	if	SCONJ
ejpam-3296	52	76	it	it	PRON
ejpam-3296	52	77	satisfies	satisfy	VERB
ejpam-3296	52	78	the	the	DET
ejpam-3296	52	79	following	follow	VERB
ejpam-3296	52	80	properties	property	NOUN
ejpam-3296	52	81	:	:	PUNCT
ejpam-3296	52	82	(	(	PUNCT
ejpam-3296	52	83	i	i	NOUN
ejpam-3296	52	84	)	)	PUNCT
ejpam-3296	52	85	the	the	DET
ejpam-3296	52	86	constant	constant	ADJ
ejpam-3296	52	87	0	0	NUM
ejpam-3296	52	88	of	of	ADP
ejpam-3296	52	89	x	x	PRON
ejpam-3296	52	90	is	be	AUX
ejpam-3296	52	91	in	in	ADP
ejpam-3296	52	92	s	s	PROPN
ejpam-3296	52	93	,	,	PUNCT
ejpam-3296	52	94	and	and	CCONJ
ejpam-3296	52	95	(	(	PUNCT
ejpam-3296	52	96	ii	ii	NOUN
ejpam-3296	52	97	)	)	PUNCT
ejpam-3296	52	98	for	for	ADP
ejpam-3296	52	99	any	any	DET
ejpam-3296	52	100	x	x	NOUN
ejpam-3296	52	101	,	,	PUNCT
ejpam-3296	52	102	y	y	PROPN
ejpam-3296	52	103	,	,	PUNCT
ejpam-3296	53	1	z	z	PROPN
ejpam-3296	53	2	∈	∈	PROPN
ejpam-3296	53	3	x	x	X
ejpam-3296	53	4	,	,	PUNCT
ejpam-3296	53	5	x	x	X
ejpam-3296	53	6	·	·	PUNCT
ejpam-3296	53	7	(	(	PUNCT
ejpam-3296	53	8	y	y	PROPN
ejpam-3296	53	9	·	·	PUNCT
ejpam-3296	53	10	z	z	X
ejpam-3296	53	11	)	)	PUNCT
ejpam-3296	53	12	∈	∈	PROPN
ejpam-3296	53	13	s	s	PART
ejpam-3296	53	14	and	and	CCONJ
ejpam-3296	53	15	y	y	PROPN
ejpam-3296	53	16	∈	∈	PROPN
ejpam-3296	53	17	s	s	VERB
ejpam-3296	53	18	imply	imply	NOUN
ejpam-3296	53	19	x	x	X
ejpam-3296	53	20	·	·	PUNCT
ejpam-3296	53	21	z	z	SYM
ejpam-3296	53	22	∈	∈	PROPN
ejpam-3296	53	23	s.	s.	PROPN
ejpam-3296	53	24	(	(	PUNCT
ejpam-3296	53	25	3	3	X
ejpam-3296	53	26	)	)	PUNCT
ejpam-3296	53	27	a	a	DET
ejpam-3296	53	28	strongly	strongly	ADV
ejpam-3296	53	29	up	up	ADJ
ejpam-3296	53	30	-	-	PUNCT
ejpam-3296	53	31	ideal	ideal	NOUN
ejpam-3296	53	32	of	of	ADP
ejpam-3296	53	33	x	x	PRON
ejpam-3296	53	34	if	if	SCONJ
ejpam-3296	53	35	it	it	PRON
ejpam-3296	53	36	satisfies	satisfy	VERB
ejpam-3296	53	37	the	the	DET
ejpam-3296	53	38	following	follow	VERB
ejpam-3296	53	39	properties	property	NOUN
ejpam-3296	53	40	:	:	PUNCT
ejpam-3296	53	41	a.	a.	NOUN
ejpam-3296	53	42	iampan	iampan	PROPN
ejpam-3296	53	43	,	,	PUNCT
ejpam-3296	53	44	p.	p.	PROPN
ejpam-3296	53	45	mosrijai	mosrijai	PROPN
ejpam-3296	53	46	,	,	PUNCT
ejpam-3296	53	47	a.	a.	PROPN
ejpam-3296	53	48	satirad	satirad	PROPN
ejpam-3296	53	49	/	/	SYM
ejpam-3296	53	50	eur	eur	PROPN
ejpam-3296	53	51	.	.	PUNCT
ejpam-3296	54	1	j.	j.	PROPN
ejpam-3296	54	2	pure	pure	PROPN
ejpam-3296	54	3	appl	appl	PROPN
ejpam-3296	54	4	.	.	PROPN
ejpam-3296	54	5	math	math	PROPN
ejpam-3296	54	6	,	,	PUNCT
ejpam-3296	54	7	11	11	NUM
ejpam-3296	54	8	(	(	PUNCT
ejpam-3296	54	9	3	3	NUM
ejpam-3296	54	10	)	)	PUNCT
ejpam-3296	54	11	(	(	PUNCT
ejpam-3296	54	12	2018	2018	NUM
ejpam-3296	54	13	)	)	PUNCT
ejpam-3296	54	14	,	,	PUNCT
ejpam-3296	54	15	876	876	NUM
ejpam-3296	54	16	-	-	SYM
ejpam-3296	54	17	881	881	NUM
ejpam-3296	54	18	878	878	NUM
ejpam-3296	54	19	(	(	PUNCT
ejpam-3296	54	20	i	i	NOUN
ejpam-3296	54	21	)	)	PUNCT
ejpam-3296	54	22	the	the	DET
ejpam-3296	54	23	constant	constant	ADJ
ejpam-3296	54	24	0	0	NUM
ejpam-3296	54	25	of	of	ADP
ejpam-3296	54	26	x	x	PRON
ejpam-3296	54	27	is	be	AUX
ejpam-3296	54	28	in	in	ADP
ejpam-3296	54	29	s	s	PROPN
ejpam-3296	54	30	,	,	PUNCT
ejpam-3296	54	31	and	and	CCONJ
ejpam-3296	54	32	(	(	PUNCT
ejpam-3296	54	33	ii	ii	NOUN
ejpam-3296	54	34	)	)	PUNCT
ejpam-3296	54	35	for	for	ADP
ejpam-3296	54	36	any	any	DET
ejpam-3296	54	37	x	x	NOUN
ejpam-3296	54	38	,	,	PUNCT
ejpam-3296	54	39	y	y	PROPN
ejpam-3296	54	40	,	,	PUNCT
ejpam-3296	54	41	z	z	PROPN
ejpam-3296	54	42	∈	∈	PROPN
ejpam-3296	54	43	x	x	X
ejpam-3296	54	44	,	,	PUNCT
ejpam-3296	54	45	(	(	PUNCT
ejpam-3296	54	46	z	z	NOUN
ejpam-3296	54	47	·	·	PUNCT
ejpam-3296	54	48	y	y	X
ejpam-3296	54	49	)	)	PUNCT
ejpam-3296	54	50	·	·	PUNCT
ejpam-3296	55	1	(	(	PUNCT
ejpam-3296	55	2	z	z	NOUN
ejpam-3296	55	3	·	·	PUNCT
ejpam-3296	55	4	x	x	X
ejpam-3296	55	5	)	)	PUNCT
ejpam-3296	55	6	∈	∈	PROPN
ejpam-3296	55	7	s	s	PART
ejpam-3296	55	8	and	and	CCONJ
ejpam-3296	55	9	y	y	PROPN
ejpam-3296	55	10	∈	∈	PROPN
ejpam-3296	55	11	s	s	VERB
ejpam-3296	55	12	imply	imply	ADV
ejpam-3296	55	13	x	x	X
ejpam-3296	55	14	∈	∈	PROPN
ejpam-3296	55	15	s.	s.	PROPN
ejpam-3296	55	16	guntasow	guntasow	PROPN
ejpam-3296	55	17	et	et	PROPN
ejpam-3296	55	18	al	al	PROPN
ejpam-3296	55	19	.	.	PUNCT
ejpam-3296	56	1	[	[	X
ejpam-3296	56	2	1	1	X
ejpam-3296	56	3	]	]	PUNCT
ejpam-3296	56	4	proved	prove	VERB
ejpam-3296	56	5	the	the	DET
ejpam-3296	56	6	generalization	generalization	NOUN
ejpam-3296	56	7	that	that	SCONJ
ejpam-3296	56	8	the	the	DET
ejpam-3296	56	9	notion	notion	NOUN
ejpam-3296	56	10	of	of	ADP
ejpam-3296	56	11	up	up	ADV
ejpam-3296	56	12	-	-	PUNCT
ejpam-3296	56	13	subalgebras	subalgebras	PROPN
ejpam-3296	56	14	is	be	AUX
ejpam-3296	56	15	a	a	DET
ejpam-3296	56	16	generalization	generalization	NOUN
ejpam-3296	56	17	of	of	ADP
ejpam-3296	56	18	up	up	ADJ
ejpam-3296	56	19	-	-	PUNCT
ejpam-3296	56	20	filters	filter	NOUN
ejpam-3296	56	21	,	,	PUNCT
ejpam-3296	56	22	the	the	DET
ejpam-3296	56	23	notion	notion	NOUN
ejpam-3296	56	24	of	of	ADP
ejpam-3296	56	25	up	up	ADP
ejpam-3296	56	26	-	-	PUNCT
ejpam-3296	56	27	filters	filter	NOUN
ejpam-3296	56	28	is	be	AUX
ejpam-3296	56	29	a	a	DET
ejpam-3296	56	30	generalization	generalization	NOUN
ejpam-3296	56	31	of	of	ADP
ejpam-3296	56	32	up	up	ADJ
ejpam-3296	56	33	-	-	PUNCT
ejpam-3296	56	34	ideals	ideal	NOUN
ejpam-3296	56	35	,	,	PUNCT
ejpam-3296	56	36	and	and	CCONJ
ejpam-3296	56	37	the	the	DET
ejpam-3296	56	38	notion	notion	NOUN
ejpam-3296	56	39	of	of	ADP
ejpam-3296	56	40	up	up	ADJ
ejpam-3296	56	41	-	-	PUNCT
ejpam-3296	56	42	ideals	ideal	NOUN
ejpam-3296	56	43	is	be	AUX
ejpam-3296	56	44	a	a	DET
ejpam-3296	56	45	generalization	generalization	NOUN
ejpam-3296	56	46	of	of	ADP
ejpam-3296	56	47	strongly	strongly	ADV
ejpam-3296	56	48	up	up	ADJ
ejpam-3296	56	49	-	-	PUNCT
ejpam-3296	56	50	ideals	ideal	NOUN
ejpam-3296	56	51	.	.	PUNCT
ejpam-3296	57	1	moreover	moreover	ADV
ejpam-3296	57	2	,	,	PUNCT
ejpam-3296	57	3	they	they	PRON
ejpam-3296	57	4	also	also	ADV
ejpam-3296	57	5	proved	prove	VERB
ejpam-3296	57	6	that	that	SCONJ
ejpam-3296	57	7	a	a	DET
ejpam-3296	57	8	up	up	NOUN
ejpam-3296	57	9	-	-	PUNCT
ejpam-3296	57	10	algebra	algebra	NOUN
ejpam-3296	57	11	x	x	PUNCT
ejpam-3296	57	12	is	be	AUX
ejpam-3296	57	13	the	the	DET
ejpam-3296	57	14	only	only	ADJ
ejpam-3296	57	15	one	one	NUM
ejpam-3296	57	16	strongly	strongly	ADV
ejpam-3296	57	17	up	up	ADP
ejpam-3296	57	18	-	-	PUNCT
ejpam-3296	57	19	ideal	ideal	NOUN
ejpam-3296	57	20	of	of	ADP
ejpam-3296	57	21	itself	itself	PRON
ejpam-3296	57	22	.	.	PUNCT
ejpam-3296	58	1	2	2	X
ejpam-3296	58	2	.	.	X
ejpam-3296	58	3	main	main	ADJ
ejpam-3296	58	4	results	result	NOUN
ejpam-3296	58	5	we	we	PRON
ejpam-3296	58	6	denote	denote	VERB
ejpam-3296	58	7	b(x	b(x	NOUN
ejpam-3296	58	8	)	)	PUNCT
ejpam-3296	58	9	the	the	DET
ejpam-3296	58	10	set	set	NOUN
ejpam-3296	58	11	of	of	ADP
ejpam-3296	58	12	all	all	DET
ejpam-3296	58	13	binary	binary	ADJ
ejpam-3296	58	14	relations	relation	NOUN
ejpam-3296	58	15	on	on	ADP
ejpam-3296	58	16	x	x	PRON
ejpam-3296	58	17	,	,	PUNCT
ejpam-3296	58	18	p	p	X
ejpam-3296	58	19	(	(	PUNCT
ejpam-3296	58	20	x	x	X
ejpam-3296	58	21	)	)	PUNCT
ejpam-3296	58	22	the	the	DET
ejpam-3296	58	23	set	set	NOUN
ejpam-3296	58	24	of	of	ADP
ejpam-3296	58	25	all	all	DET
ejpam-3296	58	26	partial	partial	ADJ
ejpam-3296	58	27	transformations	transformation	NOUN
ejpam-3296	58	28	on	on	ADP
ejpam-3296	58	29	x	x	PROPN
ejpam-3296	58	30	,	,	PUNCT
ejpam-3296	58	31	t	t	PROPN
ejpam-3296	58	32	(	(	PUNCT
ejpam-3296	58	33	x	x	X
ejpam-3296	58	34	)	)	PUNCT
ejpam-3296	58	35	the	the	DET
ejpam-3296	58	36	set	set	NOUN
ejpam-3296	58	37	of	of	ADP
ejpam-3296	58	38	all	all	DET
ejpam-3296	58	39	full	full	ADJ
ejpam-3296	58	40	transformations	transformation	NOUN
ejpam-3296	58	41	on	on	ADP
ejpam-3296	58	42	x.	x.	NOUN
ejpam-3296	58	43	then	then	ADV
ejpam-3296	58	44	t	t	PROPN
ejpam-3296	58	45	(	(	PUNCT
ejpam-3296	58	46	x	x	X
ejpam-3296	58	47	)	)	PUNCT
ejpam-3296	59	1	⊆	⊆	NUM
ejpam-3296	59	2	p	p	NOUN
ejpam-3296	59	3	(	(	PUNCT
ejpam-3296	59	4	x	x	NOUN
ejpam-3296	59	5	)	)	PUNCT
ejpam-3296	59	6	⊆	⊆	NUM
ejpam-3296	59	7	b(x	b(x	NOUN
ejpam-3296	59	8	)	)	PUNCT
ejpam-3296	59	9	.	.	PUNCT
ejpam-3296	60	1	if	if	SCONJ
ejpam-3296	60	2	α	α	PRON
ejpam-3296	60	3	∈	∈	PROPN
ejpam-3296	60	4	b(x	b(x	NOUN
ejpam-3296	60	5	)	)	PUNCT
ejpam-3296	60	6	and	and	CCONJ
ejpam-3296	60	7	x	x	PUNCT
ejpam-3296	60	8	∈	∈	NOUN
ejpam-3296	60	9	x	x	NOUN
ejpam-3296	60	10	,	,	PUNCT
ejpam-3296	60	11	then	then	ADV
ejpam-3296	60	12	xα	xα	PUNCT
ejpam-3296	60	13	=	=	SYM
ejpam-3296	60	14	{	{	PUNCT
ejpam-3296	60	15	y	y	PROPN
ejpam-3296	60	16	∈	∈	PROPN
ejpam-3296	60	17	x	x	X
ejpam-3296	61	1	|	|	ADV
ejpam-3296	61	2	(	(	PUNCT
ejpam-3296	61	3	x	x	NOUN
ejpam-3296	61	4	,	,	PUNCT
ejpam-3296	61	5	y	y	NOUN
ejpam-3296	61	6	)	)	PUNCT
ejpam-3296	61	7	∈	∈	PROPN
ejpam-3296	61	8	α	α	NOUN
ejpam-3296	61	9	}	}	PUNCT
ejpam-3296	61	10	.	.	PUNCT
ejpam-3296	62	1	thus	thus	ADV
ejpam-3296	62	2	xα	xα	PRON
ejpam-3296	62	3	is	be	AUX
ejpam-3296	62	4	the	the	DET
ejpam-3296	62	5	set	set	NOUN
ejpam-3296	62	6	of	of	ADP
ejpam-3296	62	7	all	all	DET
ejpam-3296	62	8	elements	element	NOUN
ejpam-3296	62	9	that	that	PRON
ejpam-3296	62	10	are	be	AUX
ejpam-3296	62	11	α	α	ADV
ejpam-3296	62	12	-	-	PUNCT
ejpam-3296	62	13	related	relate	VERB
ejpam-3296	62	14	to	to	PART
ejpam-3296	62	15	x.	x.	NOUN
ejpam-3296	62	16	define	define	VERB
ejpam-3296	62	17	a	a	DET
ejpam-3296	62	18	function	function	NOUN
ejpam-3296	62	19	o	o	NOUN
ejpam-3296	62	20	from	from	ADP
ejpam-3296	62	21	x	x	PRON
ejpam-3296	62	22	to	to	ADP
ejpam-3296	62	23	x	x	PUNCT
ejpam-3296	62	24	by	by	ADP
ejpam-3296	62	25	o(x	o(x	PROPN
ejpam-3296	62	26	)	)	PUNCT
ejpam-3296	62	27	=	=	SYM
ejpam-3296	62	28	0	0	NUM
ejpam-3296	62	29	for	for	ADP
ejpam-3296	62	30	all	all	DET
ejpam-3296	62	31	x	x	SYM
ejpam-3296	62	32	∈	∈	PROPN
ejpam-3296	62	33	x	x	NOUN
ejpam-3296	62	34	,	,	PUNCT
ejpam-3296	62	35	that	that	ADV
ejpam-3296	62	36	is	is	ADV
ejpam-3296	62	37	,	,	PUNCT
ejpam-3296	62	38	o	o	PROPN
ejpam-3296	62	39	∈	∈	PROPN
ejpam-3296	62	40	t	t	X
ejpam-3296	62	41	(	(	PUNCT
ejpam-3296	62	42	x	x	NOUN
ejpam-3296	62	43	)	)	PUNCT
ejpam-3296	62	44	.	.	PUNCT
ejpam-3296	63	1	define	define	VERB
ejpam-3296	63	2	a	a	DET
ejpam-3296	63	3	binary	binary	ADJ
ejpam-3296	63	4	operation	operation	NOUN
ejpam-3296	63	5	•	•	NOUN
ejpam-3296	63	6	on	on	ADP
ejpam-3296	63	7	b(x	b(x	NOUN
ejpam-3296	63	8	)	)	PUNCT
ejpam-3296	63	9	by	by	ADP
ejpam-3296	63	10	:	:	PUNCT
ejpam-3296	63	11	for	for	ADP
ejpam-3296	63	12	all	all	DET
ejpam-3296	63	13	α	α	NOUN
ejpam-3296	63	14	,	,	PUNCT
ejpam-3296	63	15	β	β	X
ejpam-3296	63	16	∈	∈	NOUN
ejpam-3296	63	17	b(x	b(x	NOUN
ejpam-3296	63	18	)	)	PUNCT
ejpam-3296	63	19	,	,	PUNCT
ejpam-3296	63	20	(	(	PUNCT
ejpam-3296	63	21	x	x	X
ejpam-3296	63	22	,	,	PUNCT
ejpam-3296	63	23	y	y	NOUN
ejpam-3296	63	24	)	)	PUNCT
ejpam-3296	63	25	∈	∈	PROPN
ejpam-3296	63	26	α	α	NOUN
ejpam-3296	63	27	•	•	NOUN
ejpam-3296	63	28	β	β	X
ejpam-3296	63	29	⇔	⇔	X
ejpam-3296	63	30	{	{	PUNCT
ejpam-3296	63	31	x	x	SYM
ejpam-3296	63	32	∈	∈	PROPN
ejpam-3296	63	33	domα	domα	NOUN
ejpam-3296	63	34	∩	∩	ADJ
ejpam-3296	63	35	domβ	domβ	PROPN
ejpam-3296	63	36	and	and	CCONJ
ejpam-3296	63	37	y	y	PROPN
ejpam-3296	63	38	=	=	SYM
ejpam-3296	63	39	yxα	yxα	PROPN
ejpam-3296	63	40	·	·	PUNCT
ejpam-3296	63	41	yxβ	yxβ	NOUN
ejpam-3296	63	42	for	for	ADP
ejpam-3296	63	43	yxα	yxα	PROPN
ejpam-3296	63	44	∈	∈	PROPN
ejpam-3296	63	45	xα	xα	PUNCT
ejpam-3296	63	46	and	and	CCONJ
ejpam-3296	63	47	yxβ	yxβ	PROPN
ejpam-3296	63	48	∈	∈	PROPN
ejpam-3296	63	49	xβ	xβ	PROPN
ejpam-3296	63	50	,	,	PUNCT
ejpam-3296	63	51	or	or	CCONJ
ejpam-3296	63	52	x	x	NOUN
ejpam-3296	63	53	/∈	/∈	VERB
ejpam-3296	63	54	domα	domα	NOUN
ejpam-3296	63	55	and	and	CCONJ
ejpam-3296	63	56	y	y	PROPN
ejpam-3296	63	57	=	=	PROPN
ejpam-3296	63	58	0	0	X
ejpam-3296	63	59	.	.	PUNCT
ejpam-3296	64	1	we	we	PRON
ejpam-3296	64	2	can	can	AUX
ejpam-3296	64	3	redefine	redefine	VERB
ejpam-3296	64	4	a	a	DET
ejpam-3296	64	5	binary	binary	ADJ
ejpam-3296	64	6	operation	operation	NOUN
ejpam-3296	64	7	•	•	NOUN
ejpam-3296	64	8	on	on	ADP
ejpam-3296	64	9	p	p	X
ejpam-3296	64	10	(	(	PUNCT
ejpam-3296	64	11	x	x	NOUN
ejpam-3296	64	12	)	)	PUNCT
ejpam-3296	64	13	by	by	ADP
ejpam-3296	64	14	:	:	PUNCT
ejpam-3296	64	15	for	for	ADP
ejpam-3296	64	16	all	all	DET
ejpam-3296	64	17	α	α	NOUN
ejpam-3296	64	18	,	,	PUNCT
ejpam-3296	64	19	β	β	X
ejpam-3296	64	20	∈	∈	PROPN
ejpam-3296	64	21	p	p	X
ejpam-3296	64	22	(	(	PUNCT
ejpam-3296	64	23	x	x	NOUN
ejpam-3296	64	24	)	)	PUNCT
ejpam-3296	64	25	,	,	PUNCT
ejpam-3296	64	26	(	(	PUNCT
ejpam-3296	64	27	α	α	NOUN
ejpam-3296	64	28	•	•	ADV
ejpam-3296	64	29	β)(x	β)(x	NUM
ejpam-3296	64	30	)	)	PUNCT
ejpam-3296	65	1	=	=	PRON
ejpam-3296	65	2	{	{	PUNCT
ejpam-3296	65	3	α(x	α(x	NOUN
ejpam-3296	65	4	)	)	PUNCT
ejpam-3296	65	5	·	·	PUNCT
ejpam-3296	66	1	β(x	β(x	NOUN
ejpam-3296	66	2	)	)	PUNCT
ejpam-3296	66	3	if	if	SCONJ
ejpam-3296	66	4	x	x	SYM
ejpam-3296	66	5	∈	∈	PROPN
ejpam-3296	66	6	domα	domα	NOUN
ejpam-3296	66	7	∩	∩	PROPN
ejpam-3296	66	8	domβ	domβ	PROPN
ejpam-3296	66	9	,	,	PUNCT
ejpam-3296	66	10	0	0	PUNCT
ejpam-3296	66	11	if	if	SCONJ
ejpam-3296	66	12	x	x	X
ejpam-3296	66	13	/∈	/∈	VERB
ejpam-3296	66	14	domα	domα	NOUN
ejpam-3296	66	15	.	.	PUNCT
ejpam-3296	67	1	we	we	PRON
ejpam-3296	67	2	see	see	VERB
ejpam-3296	67	3	that	that	PRON
ejpam-3296	67	4	•	•	NOUN
ejpam-3296	67	5	for	for	ADP
ejpam-3296	67	6	all	all	DET
ejpam-3296	67	7	α	α	NOUN
ejpam-3296	67	8	,	,	PUNCT
ejpam-3296	67	9	β	β	X
ejpam-3296	67	10	∈	∈	NOUN
ejpam-3296	67	11	b(x	b(x	NOUN
ejpam-3296	67	12	)	)	PUNCT
ejpam-3296	67	13	,	,	PUNCT
ejpam-3296	67	14	dom	dom	NOUN
ejpam-3296	67	15	(	(	PUNCT
ejpam-3296	67	16	α	α	NOUN
ejpam-3296	67	17	•	•	NOUN
ejpam-3296	67	18	β	β	X
ejpam-3296	67	19	)	)	PUNCT
ejpam-3296	67	20	=	=	SYM
ejpam-3296	67	21	(	(	PUNCT
ejpam-3296	67	22	domα−	domα−	PROPN
ejpam-3296	67	23	domβ	domβ	PROPN
ejpam-3296	67	24	)	)	PUNCT
ejpam-3296	67	25	′	′	NUM
ejpam-3296	67	26	,	,	PUNCT
ejpam-3296	67	27	(	(	PUNCT
ejpam-3296	67	28	2.1	2.1	NUM
ejpam-3296	67	29	)	)	PUNCT
ejpam-3296	67	30	•	•	NOUN
ejpam-3296	67	31	the	the	DET
ejpam-3296	67	32	empty	empty	ADJ
ejpam-3296	67	33	function	function	NOUN
ejpam-3296	67	34	∅	∅	NOUN
ejpam-3296	67	35	∈	∈	PROPN
ejpam-3296	67	36	p	p	X
ejpam-3296	67	37	(	(	PUNCT
ejpam-3296	67	38	x	x	NOUN
ejpam-3296	67	39	)	)	PUNCT
ejpam-3296	67	40	and	and	CCONJ
ejpam-3296	67	41	for	for	ADP
ejpam-3296	67	42	all	all	DET
ejpam-3296	67	43	α	α	NOUN
ejpam-3296	67	44	∈	∈	NOUN
ejpam-3296	67	45	p	p	X
ejpam-3296	67	46	(	(	PUNCT
ejpam-3296	67	47	x	x	NOUN
ejpam-3296	67	48	)	)	PUNCT
ejpam-3296	67	49	,	,	PUNCT
ejpam-3296	67	50	∅	∅	NOUN
ejpam-3296	67	51	•	•	NOUN
ejpam-3296	67	52	α	α	NOUN
ejpam-3296	67	53	=	=	SYM
ejpam-3296	67	54	o	o	PROPN
ejpam-3296	67	55	and	and	CCONJ
ejpam-3296	67	56	α	α	NOUN
ejpam-3296	67	57	•	•	NOUN
ejpam-3296	67	58	∅	∅	NOUN
ejpam-3296	67	59	=	=	SYM
ejpam-3296	67	60	o|(domα)′	o|(domα)′	NOUN
ejpam-3296	67	61	.	.	PUNCT
ejpam-3296	68	1	(	(	PUNCT
ejpam-3296	68	2	2.2	2.2	NUM
ejpam-3296	68	3	)	)	PUNCT
ejpam-3296	68	4	theorem	theorem	NOUN
ejpam-3296	68	5	1	1	NUM
ejpam-3296	68	6	.	.	PUNCT
ejpam-3296	68	7	b(x	b(x	NOUN
ejpam-3296	68	8	)	)	PUNCT
ejpam-3296	69	1	=	=	SYM
ejpam-3296	69	2	(	(	PUNCT
ejpam-3296	69	3	b(x	b(x	NOUN
ejpam-3296	69	4	)	)	PUNCT
ejpam-3296	69	5	,	,	PUNCT
ejpam-3296	69	6	•	•	X
ejpam-3296	69	7	,	,	PUNCT
ejpam-3296	69	8	o	o	NOUN
ejpam-3296	69	9	)	)	PUNCT
ejpam-3296	69	10	is	be	AUX
ejpam-3296	69	11	an	an	DET
ejpam-3296	69	12	algebra	algebra	NOUN
ejpam-3296	69	13	of	of	ADP
ejpam-3296	69	14	type	type	NOUN
ejpam-3296	69	15	(	(	PUNCT
ejpam-3296	69	16	2	2	NUM
ejpam-3296	69	17	,	,	PUNCT
ejpam-3296	69	18	0	0	NUM
ejpam-3296	69	19	)	)	PUNCT
ejpam-3296	69	20	satisfying	satisfying	NOUN
ejpam-3296	69	21	(	(	PUNCT
ejpam-3296	69	22	up-2	up-2	NUM
ejpam-3296	69	23	)	)	PUNCT
ejpam-3296	69	24	and	and	CCONJ
ejpam-3296	69	25	(	(	PUNCT
ejpam-3296	69	26	up-3	up-3	NOUN
ejpam-3296	69	27	)	)	PUNCT
ejpam-3296	69	28	.	.	PUNCT
ejpam-3296	70	1	proof	proof	NOUN
ejpam-3296	70	2	.	.	PUNCT
ejpam-3296	71	1	let	let	VERB
ejpam-3296	71	2	α	α	PRON
ejpam-3296	71	3	∈	∈	NOUN
ejpam-3296	71	4	b(x	b(x	NOUN
ejpam-3296	71	5	)	)	PUNCT
ejpam-3296	71	6	.	.	PUNCT
ejpam-3296	72	1	then	then	ADV
ejpam-3296	72	2	(	(	PUNCT
ejpam-3296	72	3	x	x	X
ejpam-3296	72	4	,	,	PUNCT
ejpam-3296	72	5	y	y	NOUN
ejpam-3296	72	6	)	)	PUNCT
ejpam-3296	72	7	∈	∈	PROPN
ejpam-3296	72	8	o	o	NOUN
ejpam-3296	72	9	•	•	NUM
ejpam-3296	72	10	α⇔	α⇔	NOUN
ejpam-3296	72	11	x	x	SYM
ejpam-3296	72	12	∈	∈	PROPN
ejpam-3296	72	13	x	x	X
ejpam-3296	72	14	∩	∩	ADJ
ejpam-3296	72	15	domα	domα	NOUN
ejpam-3296	72	16	and	and	CCONJ
ejpam-3296	72	17	y	y	PROPN
ejpam-3296	72	18	=	=	PUNCT
ejpam-3296	72	19	rxo	rxo	PROPN
ejpam-3296	72	20	·	·	PUNCT
ejpam-3296	72	21	yxα	yxα	NOUN
ejpam-3296	72	22	for	for	ADP
ejpam-3296	72	23	some	some	DET
ejpam-3296	72	24	yxα	yxα	NOUN
ejpam-3296	72	25	∈	∈	PROPN
ejpam-3296	72	26	xα	xα	PUNCT
ejpam-3296	72	27	(	(	PUNCT
ejpam-3296	72	28	domo	domo	NOUN
ejpam-3296	72	29	=	=	SYM
ejpam-3296	72	30	x	x	PROPN
ejpam-3296	72	31	)	)	PUNCT
ejpam-3296	72	32	⇔	⇔	NOUN
ejpam-3296	72	33	x	x	SYM
ejpam-3296	72	34	∈	∈	PROPN
ejpam-3296	72	35	domα	domα	NOUN
ejpam-3296	72	36	and	and	CCONJ
ejpam-3296	72	37	y	y	NOUN
ejpam-3296	72	38	=	=	SYM
ejpam-3296	72	39	o(x	o(x	PROPN
ejpam-3296	72	40	)	)	PUNCT
ejpam-3296	72	41	·	·	PUNCT
ejpam-3296	73	1	yxα	yxα	NOUN
ejpam-3296	73	2	for	for	ADP
ejpam-3296	73	3	some	some	DET
ejpam-3296	73	4	yxα	yxα	NOUN
ejpam-3296	73	5	∈	∈	NOUN
ejpam-3296	73	6	xα	xα	ADP
ejpam-3296	73	7	a.	a.	NOUN
ejpam-3296	73	8	iampan	iampan	PROPN
ejpam-3296	73	9	,	,	PUNCT
ejpam-3296	73	10	p.	p.	PROPN
ejpam-3296	73	11	mosrijai	mosrijai	PROPN
ejpam-3296	73	12	,	,	PUNCT
ejpam-3296	73	13	a.	a.	PROPN
ejpam-3296	73	14	satirad	satirad	PROPN
ejpam-3296	73	15	/	/	SYM
ejpam-3296	73	16	eur	eur	PROPN
ejpam-3296	73	17	.	.	PUNCT
ejpam-3296	74	1	j.	j.	PROPN
ejpam-3296	74	2	pure	pure	PROPN
ejpam-3296	74	3	appl	appl	PROPN
ejpam-3296	74	4	.	.	PROPN
ejpam-3296	74	5	math	math	PROPN
ejpam-3296	74	6	,	,	PUNCT
ejpam-3296	74	7	11	11	NUM
ejpam-3296	74	8	(	(	PUNCT
ejpam-3296	74	9	3	3	NUM
ejpam-3296	74	10	)	)	PUNCT
ejpam-3296	74	11	(	(	PUNCT
ejpam-3296	74	12	2018	2018	NUM
ejpam-3296	74	13	)	)	PUNCT
ejpam-3296	74	14	,	,	PUNCT
ejpam-3296	74	15	876	876	NUM
ejpam-3296	74	16	-	-	SYM
ejpam-3296	74	17	881	881	NUM
ejpam-3296	74	18	879	879	NUM
ejpam-3296	74	19	⇔	⇔	X
ejpam-3296	74	20	x	x	SYM
ejpam-3296	74	21	∈	∈	PROPN
ejpam-3296	74	22	domα	domα	NOUN
ejpam-3296	74	23	and	and	CCONJ
ejpam-3296	74	24	y	y	PROPN
ejpam-3296	74	25	=	=	SYM
ejpam-3296	74	26	0	0	PUNCT
ejpam-3296	74	27	·	·	PUNCT
ejpam-3296	74	28	yxα	yxα	NOUN
ejpam-3296	74	29	for	for	ADP
ejpam-3296	74	30	some	some	DET
ejpam-3296	74	31	yxα	yxα	NOUN
ejpam-3296	74	32	∈	∈	PROPN
ejpam-3296	74	33	xα	xα	ADP
ejpam-3296	74	34	⇔	⇔	PROPN
ejpam-3296	74	35	x	x	SYM
ejpam-3296	74	36	∈	∈	PROPN
ejpam-3296	74	37	domα	domα	NOUN
ejpam-3296	74	38	and	and	CCONJ
ejpam-3296	74	39	y	y	PROPN
ejpam-3296	74	40	=	=	SYM
ejpam-3296	74	41	yxα	yxα	PROPN
ejpam-3296	74	42	for	for	ADP
ejpam-3296	74	43	some	some	DET
ejpam-3296	74	44	yxα	yxα	NOUN
ejpam-3296	74	45	∈	∈	NOUN
ejpam-3296	74	46	xα	xα	INTJ
ejpam-3296	74	47	(	(	PUNCT
ejpam-3296	74	48	(	(	PUNCT
ejpam-3296	74	49	up-2	up-2	NUM
ejpam-3296	74	50	)	)	PUNCT
ejpam-3296	74	51	)	)	PUNCT
ejpam-3296	75	1	⇔	⇔	X
ejpam-3296	75	2	(	(	PUNCT
ejpam-3296	75	3	x	x	NOUN
ejpam-3296	75	4	,	,	PUNCT
ejpam-3296	75	5	y	y	NOUN
ejpam-3296	75	6	)	)	PUNCT
ejpam-3296	75	7	∈	∈	PROPN
ejpam-3296	75	8	α	α	NOUN
ejpam-3296	75	9	.	.	PUNCT
ejpam-3296	76	1	hence	hence	ADV
ejpam-3296	76	2	,	,	PUNCT
ejpam-3296	76	3	o	o	INTJ
ejpam-3296	76	4	•	•	NOUN
ejpam-3296	76	5	α	α	X
ejpam-3296	76	6	=	=	SYM
ejpam-3296	76	7	α	α	PROPN
ejpam-3296	76	8	,	,	PUNCT
ejpam-3296	76	9	so	so	CCONJ
ejpam-3296	76	10	(	(	PUNCT
ejpam-3296	76	11	up-2	up-2	NUM
ejpam-3296	76	12	)	)	PUNCT
ejpam-3296	76	13	is	be	AUX
ejpam-3296	76	14	holding	hold	VERB
ejpam-3296	76	15	.	.	PUNCT
ejpam-3296	77	1	let	let	VERB
ejpam-3296	77	2	α	α	PRON
ejpam-3296	77	3	∈	∈	NOUN
ejpam-3296	77	4	b(x	b(x	NOUN
ejpam-3296	77	5	)	)	PUNCT
ejpam-3296	77	6	and	and	CCONJ
ejpam-3296	77	7	x	x	PUNCT
ejpam-3296	77	8	∈	∈	PROPN
ejpam-3296	77	9	x.	x.	NOUN
ejpam-3296	77	10	then	then	ADV
ejpam-3296	77	11	case	case	NOUN
ejpam-3296	77	12	1	1	NUM
ejpam-3296	77	13	:	:	PUNCT
ejpam-3296	77	14	x	x	NOUN
ejpam-3296	77	15	/∈	/∈	PUNCT
ejpam-3296	77	16	domα	domα	NOUN
ejpam-3296	77	17	.	.	PUNCT
ejpam-3296	78	1	then	then	ADV
ejpam-3296	78	2	(	(	PUNCT
ejpam-3296	78	3	x	x	X
ejpam-3296	78	4	,	,	PUNCT
ejpam-3296	78	5	0	0	NUM
ejpam-3296	78	6	)	)	PUNCT
ejpam-3296	78	7	∈	∈	NOUN
ejpam-3296	78	8	(	(	PUNCT
ejpam-3296	78	9	α	α	NOUN
ejpam-3296	78	10	•o)⇔	•o)⇔	PROPN
ejpam-3296	78	11	(	(	PUNCT
ejpam-3296	78	12	x	x	X
ejpam-3296	78	13	,	,	PUNCT
ejpam-3296	78	14	0	0	NUM
ejpam-3296	78	15	)	)	PUNCT
ejpam-3296	78	16	∈	∈	NOUN
ejpam-3296	78	17	o.	o.	NOUN
ejpam-3296	78	18	case	case	NOUN
ejpam-3296	78	19	2	2	NUM
ejpam-3296	78	20	:	:	PUNCT
ejpam-3296	78	21	x	x	SYM
ejpam-3296	78	22	∈	∈	NOUN
ejpam-3296	78	23	domα	domα	NOUN
ejpam-3296	78	24	.	.	PUNCT
ejpam-3296	79	1	then	then	ADV
ejpam-3296	79	2	(	(	PUNCT
ejpam-3296	79	3	x	x	X
ejpam-3296	79	4	,	,	PUNCT
ejpam-3296	79	5	y	y	NOUN
ejpam-3296	79	6	)	)	PUNCT
ejpam-3296	79	7	∈	∈	PROPN
ejpam-3296	79	8	α	α	PROPN
ejpam-3296	79	9	•o	•o	PROPN
ejpam-3296	79	10	⇔	⇔	NOUN
ejpam-3296	79	11	x	x	SYM
ejpam-3296	79	12	∈	∈	PROPN
ejpam-3296	79	13	domα	domα	NOUN
ejpam-3296	79	14	∩x	∩x	PROPN
ejpam-3296	79	15	and	and	CCONJ
ejpam-3296	79	16	y	y	PROPN
ejpam-3296	79	17	=	=	PUNCT
ejpam-3296	79	18	rxα	rxα	PROPN
ejpam-3296	79	19	·	·	PUNCT
ejpam-3296	79	20	yxo	yxo	NOUN
ejpam-3296	79	21	for	for	ADP
ejpam-3296	79	22	some	some	DET
ejpam-3296	79	23	yxo	yxo	NOUN
ejpam-3296	79	24	∈	∈	PROPN
ejpam-3296	79	25	xo	xo	PROPN
ejpam-3296	79	26	(	(	PUNCT
ejpam-3296	79	27	domo	domo	PROPN
ejpam-3296	79	28	=	=	SYM
ejpam-3296	79	29	x	x	PROPN
ejpam-3296	79	30	)	)	PUNCT
ejpam-3296	79	31	⇔	⇔	NOUN
ejpam-3296	79	32	x	x	SYM
ejpam-3296	79	33	∈	∈	PROPN
ejpam-3296	79	34	domα	domα	NOUN
ejpam-3296	79	35	and	and	CCONJ
ejpam-3296	79	36	y	y	PROPN
ejpam-3296	79	37	=	=	PUNCT
ejpam-3296	79	38	rxα	rxα	PROPN
ejpam-3296	79	39	·	·	PUNCT
ejpam-3296	79	40	o(x	o(x	PROPN
ejpam-3296	79	41	)	)	PUNCT
ejpam-3296	79	42	⇔	⇔	NOUN
ejpam-3296	79	43	x	x	SYM
ejpam-3296	79	44	∈	∈	PROPN
ejpam-3296	79	45	domα	domα	NOUN
ejpam-3296	79	46	and	and	CCONJ
ejpam-3296	79	47	y	y	PROPN
ejpam-3296	79	48	=	=	PUNCT
ejpam-3296	79	49	rxα	rxα	PROPN
ejpam-3296	79	50	·	·	PUNCT
ejpam-3296	79	51	0	0	NUM
ejpam-3296	80	1	⇔	⇔	X
ejpam-3296	80	2	x	x	SYM
ejpam-3296	80	3	∈	∈	PROPN
ejpam-3296	80	4	domα	domα	NOUN
ejpam-3296	80	5	and	and	CCONJ
ejpam-3296	80	6	y	y	PROPN
ejpam-3296	80	7	=	=	SYM
ejpam-3296	80	8	0	0	PUNCT
ejpam-3296	80	9	(	(	PUNCT
ejpam-3296	80	10	(	(	PUNCT
ejpam-3296	80	11	up-3	up-3	NOUN
ejpam-3296	80	12	)	)	PUNCT
ejpam-3296	80	13	)	)	PUNCT
ejpam-3296	80	14	⇔	⇔	X
ejpam-3296	80	15	(	(	PUNCT
ejpam-3296	80	16	x	x	NOUN
ejpam-3296	80	17	,	,	PUNCT
ejpam-3296	80	18	y	y	NOUN
ejpam-3296	80	19	)	)	PUNCT
ejpam-3296	80	20	∈	∈	PROPN
ejpam-3296	80	21	o.	o.	NOUN
ejpam-3296	80	22	hence	hence	ADV
ejpam-3296	80	23	,	,	PUNCT
ejpam-3296	80	24	α	α	NOUN
ejpam-3296	80	25	•o	•o	NOUN
ejpam-3296	80	26	=	=	SYM
ejpam-3296	80	27	o	o	NOUN
ejpam-3296	80	28	,	,	PUNCT
ejpam-3296	80	29	so	so	ADV
ejpam-3296	80	30	(	(	PUNCT
ejpam-3296	80	31	up-3	up-3	NOUN
ejpam-3296	80	32	)	)	PUNCT
ejpam-3296	80	33	is	be	AUX
ejpam-3296	80	34	holding	hold	VERB
ejpam-3296	80	35	.	.	PUNCT
ejpam-3296	81	1	therefore	therefore	ADV
ejpam-3296	81	2	,	,	PUNCT
ejpam-3296	81	3	b(x	b(x	NOUN
ejpam-3296	81	4	)	)	PUNCT
ejpam-3296	81	5	=	=	SYM
ejpam-3296	81	6	(	(	PUNCT
ejpam-3296	81	7	b(x	b(x	NOUN
ejpam-3296	81	8	)	)	PUNCT
ejpam-3296	81	9	,	,	PUNCT
ejpam-3296	81	10	•	•	X
ejpam-3296	81	11	,	,	PUNCT
ejpam-3296	81	12	o	o	NOUN
ejpam-3296	81	13	)	)	PUNCT
ejpam-3296	81	14	is	be	AUX
ejpam-3296	81	15	an	an	DET
ejpam-3296	81	16	algebra	algebra	NOUN
ejpam-3296	81	17	of	of	ADP
ejpam-3296	81	18	type	type	NOUN
ejpam-3296	81	19	(	(	PUNCT
ejpam-3296	81	20	2,0	2,0	NUM
ejpam-3296	81	21	)	)	PUNCT
ejpam-3296	81	22	satisfying	satisfying	NOUN
ejpam-3296	81	23	(	(	PUNCT
ejpam-3296	81	24	up-2	up-2	NUM
ejpam-3296	81	25	)	)	PUNCT
ejpam-3296	81	26	and	and	CCONJ
ejpam-3296	81	27	(	(	PUNCT
ejpam-3296	81	28	up-3	up-3	NOUN
ejpam-3296	81	29	)	)	PUNCT
ejpam-3296	81	30	.	.	PUNCT
ejpam-3296	82	1	theorem	theorem	NOUN
ejpam-3296	82	2	2	2	NUM
ejpam-3296	82	3	.	.	PUNCT
ejpam-3296	83	1	p	p	X
ejpam-3296	83	2	(	(	PUNCT
ejpam-3296	83	3	x	x	NOUN
ejpam-3296	83	4	)	)	PUNCT
ejpam-3296	83	5	=	=	SYM
ejpam-3296	84	1	(	(	PUNCT
ejpam-3296	84	2	p	p	X
ejpam-3296	84	3	(	(	PUNCT
ejpam-3296	84	4	x	x	NOUN
ejpam-3296	84	5	)	)	PUNCT
ejpam-3296	84	6	,	,	PUNCT
ejpam-3296	84	7	•	•	X
ejpam-3296	84	8	,	,	PUNCT
ejpam-3296	84	9	o	o	NOUN
ejpam-3296	84	10	)	)	PUNCT
ejpam-3296	84	11	is	be	AUX
ejpam-3296	84	12	a	a	DET
ejpam-3296	84	13	up	up	NOUN
ejpam-3296	84	14	-	-	PUNCT
ejpam-3296	84	15	algebra	algebra	NOUN
ejpam-3296	84	16	and	and	CCONJ
ejpam-3296	84	17	we	we	PRON
ejpam-3296	84	18	shall	shall	AUX
ejpam-3296	84	19	call	call	VERB
ejpam-3296	84	20	it	it	PRON
ejpam-3296	84	21	the	the	DET
ejpam-3296	84	22	partial	partial	ADJ
ejpam-3296	84	23	transformation	transformation	NOUN
ejpam-3296	84	24	up	up	ADP
ejpam-3296	84	25	-	-	PUNCT
ejpam-3296	84	26	algebra	algebra	NOUN
ejpam-3296	84	27	induced	induce	VERB
ejpam-3296	84	28	by	by	ADP
ejpam-3296	84	29	a	a	DET
ejpam-3296	84	30	up	up	NOUN
ejpam-3296	84	31	-	-	PUNCT
ejpam-3296	84	32	algebra	algebra	NOUN
ejpam-3296	84	33	x.	x.	NOUN
ejpam-3296	84	34	proof	proof	NOUN
ejpam-3296	84	35	.	.	PUNCT
ejpam-3296	85	1	let	let	VERB
ejpam-3296	85	2	α	α	PRON
ejpam-3296	85	3	,	,	PUNCT
ejpam-3296	85	4	β	β	X
ejpam-3296	85	5	,	,	PUNCT
ejpam-3296	85	6	γ	γ	PROPN
ejpam-3296	85	7	∈	∈	PROPN
ejpam-3296	85	8	p	p	X
ejpam-3296	85	9	(	(	PUNCT
ejpam-3296	85	10	x	x	NOUN
ejpam-3296	85	11	)	)	PUNCT
ejpam-3296	85	12	and	and	CCONJ
ejpam-3296	85	13	let	let	VERB
ejpam-3296	85	14	x	x	X
ejpam-3296	85	15	∈	∈	PROPN
ejpam-3296	85	16	x.	x.	NOUN
ejpam-3296	85	17	case	case	NOUN
ejpam-3296	85	18	1	1	NUM
ejpam-3296	85	19	:	:	PUNCT
ejpam-3296	85	20	x	x	NOUN
ejpam-3296	85	21	/∈	/∈	PUNCT
ejpam-3296	85	22	domα	domα	NOUN
ejpam-3296	85	23	.	.	PUNCT
ejpam-3296	86	1	then	then	ADV
ejpam-3296	86	2	(	(	PUNCT
ejpam-3296	86	3	α•β)(x	α•β)(x	NOUN
ejpam-3296	86	4	)	)	PUNCT
ejpam-3296	86	5	=	=	SYM
ejpam-3296	86	6	0	0	PUNCT
ejpam-3296	87	1	=	=	SYM
ejpam-3296	87	2	(	(	PUNCT
ejpam-3296	87	3	α•γ)(x	α•γ)(x	NOUN
ejpam-3296	87	4	)	)	PUNCT
ejpam-3296	87	5	,	,	PUNCT
ejpam-3296	87	6	so	so	ADV
ejpam-3296	87	7	x	x	SYM
ejpam-3296	87	8	∈	∈	PROPN
ejpam-3296	87	9	dom	dom	NOUN
ejpam-3296	87	10	(	(	PUNCT
ejpam-3296	87	11	α•β)∩dom	α•β)∩dom	NUM
ejpam-3296	87	12	(	(	PUNCT
ejpam-3296	87	13	α•γ	α•γ	PROPN
ejpam-3296	87	14	)	)	PUNCT
ejpam-3296	87	15	.	.	PUNCT
ejpam-3296	88	1	thus	thus	ADV
ejpam-3296	88	2	(	(	PUNCT
ejpam-3296	88	3	(	(	PUNCT
ejpam-3296	88	4	α	α	NOUN
ejpam-3296	88	5	•	•	NOUN
ejpam-3296	88	6	β	β	NOUN
ejpam-3296	88	7	)	)	PUNCT
ejpam-3296	88	8	•	•	NOUN
ejpam-3296	88	9	(	(	PUNCT
ejpam-3296	88	10	α	α	NOUN
ejpam-3296	88	11	•	•	NOUN
ejpam-3296	88	12	γ))(x	γ))(x	PROPN
ejpam-3296	88	13	)	)	PUNCT
ejpam-3296	89	1	=	=	PRON
ejpam-3296	89	2	(	(	PUNCT
ejpam-3296	89	3	α	α	NOUN
ejpam-3296	89	4	•	•	ADP
ejpam-3296	89	5	β)(x	β)(x	NUM
ejpam-3296	89	6	)	)	PUNCT
ejpam-3296	89	7	·	·	PUNCT
ejpam-3296	90	1	(	(	PUNCT
ejpam-3296	90	2	α	α	NOUN
ejpam-3296	90	3	•	•	NOUN
ejpam-3296	90	4	γ)(x	γ)(x	NUM
ejpam-3296	90	5	)	)	PUNCT
ejpam-3296	90	6	=	=	SYM
ejpam-3296	90	7	0	0	PUNCT
ejpam-3296	90	8	·	·	PUNCT
ejpam-3296	90	9	0	0	NUM
ejpam-3296	91	1	=	=	SYM
ejpam-3296	91	2	0	0	NUM
ejpam-3296	91	3	,	,	PUNCT
ejpam-3296	91	4	(	(	PUNCT
ejpam-3296	91	5	(	(	PUNCT
ejpam-3296	91	6	up-2	up-2	NUM
ejpam-3296	91	7	)	)	PUNCT
ejpam-3296	91	8	)	)	PUNCT
ejpam-3296	92	1	so	so	CCONJ
ejpam-3296	92	2	x	x	SYM
ejpam-3296	92	3	∈	∈	PROPN
ejpam-3296	92	4	dom	dom	NOUN
ejpam-3296	92	5	(	(	PUNCT
ejpam-3296	92	6	(	(	PUNCT
ejpam-3296	92	7	α	α	NOUN
ejpam-3296	92	8	•	•	NOUN
ejpam-3296	92	9	β	β	NOUN
ejpam-3296	92	10	)	)	PUNCT
ejpam-3296	92	11	•	•	NOUN
ejpam-3296	92	12	(	(	PUNCT
ejpam-3296	92	13	α	α	NOUN
ejpam-3296	92	14	•	•	NUM
ejpam-3296	92	15	γ	γ	NOUN
ejpam-3296	92	16	)	)	PUNCT
ejpam-3296	92	17	)	)	PUNCT
ejpam-3296	92	18	.	.	PUNCT
ejpam-3296	93	1	case	case	NOUN
ejpam-3296	93	2	1.1	1.1	NUM
ejpam-3296	93	3	:	:	PUNCT
ejpam-3296	93	4	x	x	X
ejpam-3296	93	5	/∈	/∈	INTJ
ejpam-3296	94	1	dom	dom	NOUN
ejpam-3296	94	2	(	(	PUNCT
ejpam-3296	94	3	β	β	NOUN
ejpam-3296	94	4	•	•	NUM
ejpam-3296	94	5	γ	γ	PROPN
ejpam-3296	94	6	)	)	PUNCT
ejpam-3296	94	7	.	.	PUNCT
ejpam-3296	95	1	then	then	ADV
ejpam-3296	95	2	(	(	PUNCT
ejpam-3296	95	3	(	(	PUNCT
ejpam-3296	95	4	β	β	NOUN
ejpam-3296	95	5	•	•	NUM
ejpam-3296	95	6	γ	γ	PROPN
ejpam-3296	95	7	)	)	PUNCT
ejpam-3296	95	8	•	•	NOUN
ejpam-3296	95	9	(	(	PUNCT
ejpam-3296	95	10	(	(	PUNCT
ejpam-3296	95	11	α	α	NOUN
ejpam-3296	95	12	•	•	NOUN
ejpam-3296	95	13	β	β	NOUN
ejpam-3296	95	14	)	)	PUNCT
ejpam-3296	95	15	•	•	NOUN
ejpam-3296	95	16	(	(	PUNCT
ejpam-3296	95	17	α	α	NOUN
ejpam-3296	95	18	•	•	NUM
ejpam-3296	95	19	γ)))(x	γ)))(x	PROPN
ejpam-3296	95	20	)	)	PUNCT
ejpam-3296	95	21	=	=	SYM
ejpam-3296	95	22	0	0	PUNCT
ejpam-3296	95	23	=	=	SYM
ejpam-3296	95	24	o(x	o(x	PROPN
ejpam-3296	95	25	)	)	PUNCT
ejpam-3296	95	26	.	.	PUNCT
ejpam-3296	96	1	case	case	NOUN
ejpam-3296	96	2	1.2	1.2	NUM
ejpam-3296	96	3	:	:	PUNCT
ejpam-3296	96	4	x	x	SYM
ejpam-3296	96	5	∈	∈	NOUN
ejpam-3296	96	6	dom	dom	NOUN
ejpam-3296	96	7	(	(	PUNCT
ejpam-3296	96	8	β	β	NOUN
ejpam-3296	96	9	•	•	NUM
ejpam-3296	96	10	γ	γ	NOUN
ejpam-3296	96	11	)	)	PUNCT
ejpam-3296	96	12	.	.	PUNCT
ejpam-3296	97	1	then	then	ADV
ejpam-3296	97	2	x	x	SYM
ejpam-3296	97	3	∈	∈	PROPN
ejpam-3296	97	4	dom	dom	NOUN
ejpam-3296	97	5	(	(	PUNCT
ejpam-3296	97	6	β	β	NOUN
ejpam-3296	97	7	•	•	NUM
ejpam-3296	97	8	γ	γ	X
ejpam-3296	97	9	)	)	PUNCT
ejpam-3296	97	10	∩	∩	ADJ
ejpam-3296	97	11	dom	dom	NOUN
ejpam-3296	97	12	(	(	PUNCT
ejpam-3296	97	13	(	(	PUNCT
ejpam-3296	97	14	α	α	NOUN
ejpam-3296	97	15	•	•	NOUN
ejpam-3296	97	16	β	β	NOUN
ejpam-3296	97	17	)	)	PUNCT
ejpam-3296	97	18	•	•	NOUN
ejpam-3296	97	19	(	(	PUNCT
ejpam-3296	97	20	α	α	NOUN
ejpam-3296	97	21	•	•	NUM
ejpam-3296	97	22	γ	γ	NOUN
ejpam-3296	97	23	)	)	PUNCT
ejpam-3296	97	24	)	)	PUNCT
ejpam-3296	97	25	.	.	PUNCT
ejpam-3296	98	1	thus	thus	ADV
ejpam-3296	98	2	(	(	PUNCT
ejpam-3296	98	3	(	(	PUNCT
ejpam-3296	98	4	β	β	NOUN
ejpam-3296	98	5	•	•	NUM
ejpam-3296	98	6	γ	γ	PROPN
ejpam-3296	98	7	)	)	PUNCT
ejpam-3296	98	8	•	•	NOUN
ejpam-3296	98	9	(	(	PUNCT
ejpam-3296	98	10	(	(	PUNCT
ejpam-3296	98	11	α	α	NOUN
ejpam-3296	98	12	•	•	NOUN
ejpam-3296	98	13	β	β	NOUN
ejpam-3296	98	14	)	)	PUNCT
ejpam-3296	98	15	•	•	NOUN
ejpam-3296	98	16	(	(	PUNCT
ejpam-3296	98	17	α	α	NOUN
ejpam-3296	98	18	•	•	NUM
ejpam-3296	98	19	γ)))(x	γ)))(x	PROPN
ejpam-3296	98	20	)	)	PUNCT
ejpam-3296	98	21	=	=	PUNCT
ejpam-3296	98	22	(	(	PUNCT
ejpam-3296	98	23	β	β	NOUN
ejpam-3296	98	24	•	•	NUM
ejpam-3296	98	25	γ)(x	γ)(x	NUM
ejpam-3296	98	26	)	)	PUNCT
ejpam-3296	98	27	·	·	PUNCT
ejpam-3296	99	1	(	(	PUNCT
ejpam-3296	99	2	(	(	PUNCT
ejpam-3296	99	3	α	α	NOUN
ejpam-3296	99	4	•	•	NOUN
ejpam-3296	99	5	β	β	NOUN
ejpam-3296	99	6	)	)	PUNCT
ejpam-3296	99	7	•	•	NOUN
ejpam-3296	99	8	(	(	PUNCT
ejpam-3296	99	9	α	α	NOUN
ejpam-3296	99	10	•	•	NOUN
ejpam-3296	99	11	γ))(x	γ))(x	PROPN
ejpam-3296	99	12	)	)	PUNCT
ejpam-3296	100	1	=	=	PRON
ejpam-3296	100	2	(	(	PUNCT
ejpam-3296	100	3	β	β	NOUN
ejpam-3296	100	4	•	•	NUM
ejpam-3296	100	5	γ)(x	γ)(x	NUM
ejpam-3296	100	6	)	)	PUNCT
ejpam-3296	100	7	·	·	PUNCT
ejpam-3296	100	8	0	0	PUNCT
ejpam-3296	101	1	=	=	SYM
ejpam-3296	101	2	0	0	PUNCT
ejpam-3296	101	3	(	(	PUNCT
ejpam-3296	101	4	(	(	PUNCT
ejpam-3296	101	5	up-3	up-3	NOUN
ejpam-3296	101	6	)	)	PUNCT
ejpam-3296	101	7	)	)	PUNCT
ejpam-3296	102	1	=	=	SYM
ejpam-3296	102	2	o(x	o(x	PROPN
ejpam-3296	102	3	)	)	PUNCT
ejpam-3296	102	4	.	.	PUNCT
ejpam-3296	103	1	case	case	NOUN
ejpam-3296	103	2	2	2	NUM
ejpam-3296	103	3	:	:	PUNCT
ejpam-3296	103	4	x	x	SYM
ejpam-3296	103	5	∈	∈	PROPN
ejpam-3296	103	6	domα	domα	NOUN
ejpam-3296	103	7	.	.	PUNCT
ejpam-3296	104	1	a.	a.	PROPN
ejpam-3296	104	2	iampan	iampan	PROPN
ejpam-3296	104	3	,	,	PUNCT
ejpam-3296	104	4	p.	p.	PROPN
ejpam-3296	104	5	mosrijai	mosrijai	PROPN
ejpam-3296	104	6	,	,	PUNCT
ejpam-3296	104	7	a.	a.	PROPN
ejpam-3296	104	8	satirad	satirad	PROPN
ejpam-3296	104	9	/	/	SYM
ejpam-3296	104	10	eur	eur	PROPN
ejpam-3296	104	11	.	.	PUNCT
ejpam-3296	105	1	j.	j.	PROPN
ejpam-3296	105	2	pure	pure	PROPN
ejpam-3296	105	3	appl	appl	PROPN
ejpam-3296	105	4	.	.	PROPN
ejpam-3296	105	5	math	math	PROPN
ejpam-3296	105	6	,	,	PUNCT
ejpam-3296	105	7	11	11	NUM
ejpam-3296	105	8	(	(	PUNCT
ejpam-3296	105	9	3	3	NUM
ejpam-3296	105	10	)	)	PUNCT
ejpam-3296	105	11	(	(	PUNCT
ejpam-3296	105	12	2018	2018	NUM
ejpam-3296	105	13	)	)	PUNCT
ejpam-3296	105	14	,	,	PUNCT
ejpam-3296	105	15	876	876	NUM
ejpam-3296	105	16	-	-	SYM
ejpam-3296	105	17	881	881	NUM
ejpam-3296	105	18	880	880	NUM
ejpam-3296	105	19	case	case	NOUN
ejpam-3296	105	20	2.1	2.1	NUM
ejpam-3296	105	21	:	:	PUNCT
ejpam-3296	105	22	x	x	SYM
ejpam-3296	105	23	/∈	/∈	PUNCT
ejpam-3296	105	24	domβ	domβ	PROPN
ejpam-3296	105	25	.	.	PUNCT
ejpam-3296	106	1	then	then	ADV
ejpam-3296	106	2	x	x	SYM
ejpam-3296	106	3	∈	∈	PROPN
ejpam-3296	106	4	domα−	domα−	NOUN
ejpam-3296	106	5	domβ	domβ	PROPN
ejpam-3296	106	6	,	,	PUNCT
ejpam-3296	106	7	so	so	CCONJ
ejpam-3296	106	8	(	(	PUNCT
ejpam-3296	106	9	β	β	NOUN
ejpam-3296	106	10	•	•	NOUN
ejpam-3296	106	11	γ)(x	γ)(x	NUM
ejpam-3296	106	12	)	)	PUNCT
ejpam-3296	106	13	=	=	SYM
ejpam-3296	106	14	0	0	NUM
ejpam-3296	107	1	and	and	CCONJ
ejpam-3296	107	2	(	(	PUNCT
ejpam-3296	107	3	α	α	NOUN
ejpam-3296	107	4	•	•	NOUN
ejpam-3296	107	5	β)(x	β)(x	NOUN
ejpam-3296	107	6	)	)	PUNCT
ejpam-3296	107	7	is	be	AUX
ejpam-3296	107	8	not	not	PART
ejpam-3296	107	9	defined	define	VERB
ejpam-3296	107	10	.	.	PUNCT
ejpam-3296	108	1	thus	thus	ADV
ejpam-3296	108	2	x	x	X
ejpam-3296	108	3	/∈	/∈	INTJ
ejpam-3296	108	4	dom	dom	NOUN
ejpam-3296	108	5	(	(	PUNCT
ejpam-3296	108	6	α	α	NOUN
ejpam-3296	108	7	•	•	NOUN
ejpam-3296	108	8	β	β	NOUN
ejpam-3296	108	9	)	)	PUNCT
ejpam-3296	108	10	,	,	PUNCT
ejpam-3296	108	11	so	so	CCONJ
ejpam-3296	108	12	(	(	PUNCT
ejpam-3296	108	13	(	(	PUNCT
ejpam-3296	108	14	α	α	NOUN
ejpam-3296	108	15	•	•	NOUN
ejpam-3296	108	16	β	β	NOUN
ejpam-3296	108	17	)	)	PUNCT
ejpam-3296	108	18	•	•	NOUN
ejpam-3296	108	19	(	(	PUNCT
ejpam-3296	108	20	α	α	NOUN
ejpam-3296	108	21	•	•	NOUN
ejpam-3296	108	22	γ))(x	γ))(x	NOUN
ejpam-3296	108	23	)	)	PUNCT
ejpam-3296	109	1	=	=	SYM
ejpam-3296	109	2	0	0	X
ejpam-3296	109	3	.	.	PUNCT
ejpam-3296	110	1	thus	thus	ADV
ejpam-3296	110	2	x	x	X
ejpam-3296	110	3	∈	∈	NOUN
ejpam-3296	110	4	dom	dom	NOUN
ejpam-3296	110	5	(	(	PUNCT
ejpam-3296	110	6	β	β	NOUN
ejpam-3296	110	7	•	•	NUM
ejpam-3296	110	8	γ	γ	X
ejpam-3296	110	9	)	)	PUNCT
ejpam-3296	110	10	∩	∩	NOUN
ejpam-3296	110	11	(	(	PUNCT
ejpam-3296	110	12	(	(	PUNCT
ejpam-3296	110	13	α	α	NOUN
ejpam-3296	110	14	•	•	NOUN
ejpam-3296	110	15	β	β	NOUN
ejpam-3296	110	16	)	)	PUNCT
ejpam-3296	110	17	•	•	NOUN
ejpam-3296	110	18	(	(	PUNCT
ejpam-3296	110	19	α	α	NOUN
ejpam-3296	110	20	•	•	NUM
ejpam-3296	110	21	γ	γ	NOUN
ejpam-3296	110	22	)	)	PUNCT
ejpam-3296	110	23	)	)	PUNCT
ejpam-3296	110	24	,	,	PUNCT
ejpam-3296	110	25	so	so	CCONJ
ejpam-3296	110	26	(	(	PUNCT
ejpam-3296	110	27	(	(	PUNCT
ejpam-3296	110	28	β	β	NOUN
ejpam-3296	110	29	•	•	NUM
ejpam-3296	110	30	γ	γ	PROPN
ejpam-3296	110	31	)	)	PUNCT
ejpam-3296	110	32	•	•	NOUN
ejpam-3296	110	33	(	(	PUNCT
ejpam-3296	110	34	(	(	PUNCT
ejpam-3296	110	35	α	α	NOUN
ejpam-3296	110	36	•	•	NOUN
ejpam-3296	110	37	β	β	NOUN
ejpam-3296	110	38	)	)	PUNCT
ejpam-3296	110	39	•	•	NOUN
ejpam-3296	110	40	(	(	PUNCT
ejpam-3296	110	41	α	α	NOUN
ejpam-3296	110	42	•	•	NUM
ejpam-3296	110	43	γ)))(x	γ)))(x	PROPN
ejpam-3296	110	44	)	)	PUNCT
ejpam-3296	110	45	=	=	PUNCT
ejpam-3296	110	46	(	(	PUNCT
ejpam-3296	110	47	β	β	NOUN
ejpam-3296	110	48	•	•	NUM
ejpam-3296	110	49	γ)(x	γ)(x	NUM
ejpam-3296	110	50	)	)	PUNCT
ejpam-3296	110	51	·	·	PUNCT
ejpam-3296	110	52	(	(	PUNCT
ejpam-3296	110	53	(	(	PUNCT
ejpam-3296	110	54	α	α	NOUN
ejpam-3296	110	55	•	•	NOUN
ejpam-3296	110	56	β	β	NOUN
ejpam-3296	110	57	)	)	PUNCT
ejpam-3296	110	58	•	•	NOUN
ejpam-3296	110	59	(	(	PUNCT
ejpam-3296	110	60	α	α	NOUN
ejpam-3296	110	61	•	•	NOUN
ejpam-3296	110	62	γ))(x	γ))(x	PROPN
ejpam-3296	110	63	)	)	PUNCT
ejpam-3296	110	64	=	=	PUNCT
ejpam-3296	110	65	0	0	PUNCT
ejpam-3296	110	66	·	·	PUNCT
ejpam-3296	110	67	0	0	PUNCT
ejpam-3296	111	1	=	=	SYM
ejpam-3296	111	2	0	0	PUNCT
ejpam-3296	111	3	(	(	PUNCT
ejpam-3296	111	4	(	(	PUNCT
ejpam-3296	111	5	up-2	up-2	NUM
ejpam-3296	111	6	)	)	PUNCT
ejpam-3296	111	7	)	)	PUNCT
ejpam-3296	112	1	=	=	SYM
ejpam-3296	112	2	o(x	o(x	PROPN
ejpam-3296	112	3	)	)	PUNCT
ejpam-3296	112	4	.	.	PUNCT
ejpam-3296	113	1	case	case	NOUN
ejpam-3296	113	2	2.2	2.2	NUM
ejpam-3296	113	3	:	:	PUNCT
ejpam-3296	113	4	x	x	SYM
ejpam-3296	113	5	∈	∈	PROPN
ejpam-3296	113	6	domβ	domβ	NOUN
ejpam-3296	113	7	.	.	PUNCT
ejpam-3296	114	1	if	if	SCONJ
ejpam-3296	114	2	x	x	X
ejpam-3296	114	3	/∈	/∈	VERB
ejpam-3296	114	4	dom	dom	PROPN
ejpam-3296	114	5	γ	γ	PROPN
ejpam-3296	114	6	,	,	PUNCT
ejpam-3296	114	7	then	then	ADV
ejpam-3296	114	8	x	x	PART
ejpam-3296	114	9	∈	∈	PROPN
ejpam-3296	114	10	domβ	domβ	NOUN
ejpam-3296	114	11	−	−	PROPN
ejpam-3296	114	12	dom	dom	PROPN
ejpam-3296	114	13	γ	γ	X
ejpam-3296	114	14	.	.	PUNCT
ejpam-3296	115	1	thus	thus	ADV
ejpam-3296	115	2	(	(	PUNCT
ejpam-3296	115	3	β	β	NOUN
ejpam-3296	115	4	•	•	NUM
ejpam-3296	115	5	γ)(x	γ)(x	NUM
ejpam-3296	115	6	)	)	PUNCT
ejpam-3296	115	7	is	be	AUX
ejpam-3296	115	8	not	not	PART
ejpam-3296	115	9	defined	define	VERB
ejpam-3296	115	10	,	,	PUNCT
ejpam-3296	115	11	so	so	ADV
ejpam-3296	115	12	x	x	NOUN
ejpam-3296	115	13	/∈	/∈	PUNCT
ejpam-3296	116	1	dom	dom	NOUN
ejpam-3296	116	2	(	(	PUNCT
ejpam-3296	116	3	β	β	X
ejpam-3296	116	4	•γ	•γ	PROPN
ejpam-3296	116	5	)	)	PUNCT
ejpam-3296	116	6	.	.	PUNCT
ejpam-3296	117	1	thus	thus	ADV
ejpam-3296	117	2	(	(	PUNCT
ejpam-3296	117	3	(	(	PUNCT
ejpam-3296	117	4	β	β	X
ejpam-3296	117	5	•γ)•	•γ)•	PROPN
ejpam-3296	117	6	(	(	PUNCT
ejpam-3296	117	7	(	(	PUNCT
ejpam-3296	117	8	α•β)•	α•β)•	PROPN
ejpam-3296	117	9	(	(	PUNCT
ejpam-3296	117	10	α•γ)))(x	α•γ)))(x	NOUN
ejpam-3296	117	11	)	)	PUNCT
ejpam-3296	117	12	=	=	SYM
ejpam-3296	117	13	0	0	PUNCT
ejpam-3296	118	1	=	=	SYM
ejpam-3296	118	2	o(x	o(x	PROPN
ejpam-3296	118	3	)	)	PUNCT
ejpam-3296	118	4	.	.	PUNCT
ejpam-3296	119	1	if	if	SCONJ
ejpam-3296	119	2	x	x	SYM
ejpam-3296	119	3	∈	∈	PROPN
ejpam-3296	119	4	dom	dom	NOUN
ejpam-3296	119	5	γ	γ	PROPN
ejpam-3296	119	6	,	,	PUNCT
ejpam-3296	119	7	then	then	ADV
ejpam-3296	119	8	we	we	PRON
ejpam-3296	119	9	conclude	conclude	VERB
ejpam-3296	119	10	that	that	PRON
ejpam-3296	119	11	(	(	PUNCT
ejpam-3296	119	12	(	(	PUNCT
ejpam-3296	119	13	β	β	NOUN
ejpam-3296	119	14	•	•	NUM
ejpam-3296	119	15	γ	γ	PROPN
ejpam-3296	119	16	)	)	PUNCT
ejpam-3296	119	17	•	•	NOUN
ejpam-3296	119	18	(	(	PUNCT
ejpam-3296	119	19	(	(	PUNCT
ejpam-3296	119	20	α	α	NOUN
ejpam-3296	119	21	•	•	NOUN
ejpam-3296	119	22	β	β	NOUN
ejpam-3296	119	23	)	)	PUNCT
ejpam-3296	119	24	•	•	NOUN
ejpam-3296	119	25	(	(	PUNCT
ejpam-3296	119	26	α	α	NOUN
ejpam-3296	119	27	•	•	NUM
ejpam-3296	119	28	γ)))(x	γ)))(x	PROPN
ejpam-3296	119	29	)	)	PUNCT
ejpam-3296	119	30	=	=	PUNCT
ejpam-3296	119	31	(	(	PUNCT
ejpam-3296	119	32	β	β	NOUN
ejpam-3296	119	33	•	•	NUM
ejpam-3296	119	34	γ)(x	γ)(x	NUM
ejpam-3296	119	35	)	)	PUNCT
ejpam-3296	119	36	·	·	PUNCT
ejpam-3296	120	1	(	(	PUNCT
ejpam-3296	120	2	(	(	PUNCT
ejpam-3296	120	3	α	α	NOUN
ejpam-3296	120	4	•	•	NOUN
ejpam-3296	120	5	β	β	NOUN
ejpam-3296	120	6	)	)	PUNCT
ejpam-3296	120	7	•	•	NOUN
ejpam-3296	120	8	(	(	PUNCT
ejpam-3296	120	9	α	α	NOUN
ejpam-3296	120	10	•	•	NOUN
ejpam-3296	120	11	γ))(x	γ))(x	PROPN
ejpam-3296	120	12	)	)	PUNCT
ejpam-3296	121	1	=	=	PRON
ejpam-3296	121	2	(	(	PUNCT
ejpam-3296	121	3	β	β	NOUN
ejpam-3296	121	4	•	•	NUM
ejpam-3296	121	5	γ)(x	γ)(x	NUM
ejpam-3296	121	6	)	)	PUNCT
ejpam-3296	121	7	·	·	PUNCT
ejpam-3296	122	1	(	(	PUNCT
ejpam-3296	122	2	(	(	PUNCT
ejpam-3296	122	3	α	α	NOUN
ejpam-3296	122	4	•	•	NOUN
ejpam-3296	122	5	β)(x	β)(x	NUM
ejpam-3296	122	6	)	)	PUNCT
ejpam-3296	122	7	·	·	PUNCT
ejpam-3296	123	1	(	(	PUNCT
ejpam-3296	123	2	α	α	NOUN
ejpam-3296	123	3	•	•	NOUN
ejpam-3296	123	4	γ)(x	γ)(x	NUM
ejpam-3296	123	5	)	)	PUNCT
ejpam-3296	123	6	)	)	PUNCT
ejpam-3296	124	1	=	=	SYM
ejpam-3296	124	2	(	(	PUNCT
ejpam-3296	124	3	β(x	β(x	NOUN
ejpam-3296	124	4	)	)	PUNCT
ejpam-3296	124	5	·	·	PUNCT
ejpam-3296	124	6	γ(x	γ(x	NUM
ejpam-3296	124	7	)	)	PUNCT
ejpam-3296	124	8	)	)	PUNCT
ejpam-3296	124	9	·	·	PUNCT
ejpam-3296	124	10	(	(	PUNCT
ejpam-3296	124	11	(	(	PUNCT
ejpam-3296	124	12	α(x	α(x	NOUN
ejpam-3296	124	13	)	)	PUNCT
ejpam-3296	124	14	·	·	PUNCT
ejpam-3296	124	15	β(x	β(x	NOUN
ejpam-3296	124	16	)	)	PUNCT
ejpam-3296	124	17	)	)	PUNCT
ejpam-3296	124	18	·	·	PUNCT
ejpam-3296	124	19	(	(	PUNCT
ejpam-3296	124	20	α(x	α(x	NOUN
ejpam-3296	124	21	)	)	PUNCT
ejpam-3296	124	22	·	·	PUNCT
ejpam-3296	124	23	γ(x	γ(x	NUM
ejpam-3296	124	24	)	)	PUNCT
ejpam-3296	124	25	)	)	PUNCT
ejpam-3296	124	26	)	)	PUNCT
ejpam-3296	125	1	=	=	SYM
ejpam-3296	125	2	0	0	X
ejpam-3296	126	1	=	=	SYM
ejpam-3296	126	2	o(x	o(x	PROPN
ejpam-3296	126	3	)	)	PUNCT
ejpam-3296	126	4	.	.	PUNCT
ejpam-3296	127	1	hence	hence	ADV
ejpam-3296	127	2	,	,	PUNCT
ejpam-3296	127	3	(	(	PUNCT
ejpam-3296	127	4	β	β	NOUN
ejpam-3296	127	5	•	•	NUM
ejpam-3296	127	6	γ	γ	PROPN
ejpam-3296	127	7	)	)	PUNCT
ejpam-3296	127	8	•	•	NOUN
ejpam-3296	127	9	(	(	PUNCT
ejpam-3296	127	10	(	(	PUNCT
ejpam-3296	127	11	α	α	NOUN
ejpam-3296	127	12	•	•	NOUN
ejpam-3296	127	13	β	β	NOUN
ejpam-3296	127	14	)	)	PUNCT
ejpam-3296	127	15	•	•	NOUN
ejpam-3296	127	16	(	(	PUNCT
ejpam-3296	127	17	α	α	NOUN
ejpam-3296	127	18	•	•	NUM
ejpam-3296	127	19	γ	γ	NOUN
ejpam-3296	127	20	)	)	PUNCT
ejpam-3296	127	21	)	)	PUNCT
ejpam-3296	128	1	=	=	PUNCT
ejpam-3296	128	2	o	o	NOUN
ejpam-3296	128	3	,	,	PUNCT
ejpam-3296	128	4	so	so	CCONJ
ejpam-3296	128	5	(	(	PUNCT
ejpam-3296	128	6	up-1	up-1	NOUN
ejpam-3296	128	7	)	)	PUNCT
ejpam-3296	128	8	is	be	AUX
ejpam-3296	128	9	holding	hold	VERB
ejpam-3296	128	10	.	.	PUNCT
ejpam-3296	129	1	let	let	VERB
ejpam-3296	129	2	α	α	PRON
ejpam-3296	129	3	∈	∈	PROPN
ejpam-3296	129	4	p	p	X
ejpam-3296	129	5	(	(	PUNCT
ejpam-3296	129	6	x	x	NOUN
ejpam-3296	129	7	)	)	PUNCT
ejpam-3296	129	8	and	and	CCONJ
ejpam-3296	129	9	let	let	VERB
ejpam-3296	129	10	x	x	X
ejpam-3296	129	11	∈	∈	PROPN
ejpam-3296	129	12	x.	x.	NOUN
ejpam-3296	129	13	case	case	NOUN
ejpam-3296	129	14	1	1	NUM
ejpam-3296	129	15	:	:	PUNCT
ejpam-3296	129	16	x	x	NOUN
ejpam-3296	129	17	/∈	/∈	PUNCT
ejpam-3296	129	18	domα	domα	NOUN
ejpam-3296	129	19	.	.	PUNCT
ejpam-3296	130	1	then	then	ADV
ejpam-3296	130	2	x	x	PROPN
ejpam-3296	130	3	∈	∈	PROPN
ejpam-3296	130	4	domo	domo	PROPN
ejpam-3296	130	5	−	−	PROPN
ejpam-3296	130	6	domα	domα	PROPN
ejpam-3296	130	7	.	.	PUNCT
ejpam-3296	131	1	thus	thus	ADV
ejpam-3296	131	2	α(x	α(x	NOUN
ejpam-3296	131	3	)	)	PUNCT
ejpam-3296	131	4	and	and	CCONJ
ejpam-3296	131	5	(	(	PUNCT
ejpam-3296	131	6	o	o	NOUN
ejpam-3296	131	7	•	•	NUM
ejpam-3296	131	8	α)(x	α)(x	NOUN
ejpam-3296	131	9	)	)	PUNCT
ejpam-3296	131	10	are	be	AUX
ejpam-3296	131	11	not	not	PART
ejpam-3296	131	12	defined	define	VERB
ejpam-3296	131	13	.	.	PUNCT
ejpam-3296	132	1	case	case	NOUN
ejpam-3296	132	2	2	2	NUM
ejpam-3296	132	3	:	:	PUNCT
ejpam-3296	132	4	x	x	SYM
ejpam-3296	132	5	∈	∈	NOUN
ejpam-3296	132	6	domα	domα	NOUN
ejpam-3296	132	7	.	.	PUNCT
ejpam-3296	133	1	then	then	ADV
ejpam-3296	133	2	x	x	PROPN
ejpam-3296	133	3	∈	∈	PROPN
ejpam-3296	133	4	domo	domo	PROPN
ejpam-3296	133	5	∩	∩	PROPN
ejpam-3296	133	6	domα	domα	NOUN
ejpam-3296	133	7	.	.	PUNCT
ejpam-3296	134	1	thus	thus	ADV
ejpam-3296	134	2	(	(	PUNCT
ejpam-3296	134	3	o	o	NOUN
ejpam-3296	134	4	•	•	NUM
ejpam-3296	134	5	α)(x	α)(x	NOUN
ejpam-3296	134	6	)	)	PUNCT
ejpam-3296	134	7	=	=	SYM
ejpam-3296	135	1	o(x	o(x	PROPN
ejpam-3296	135	2	)	)	PUNCT
ejpam-3296	135	3	·	·	PUNCT
ejpam-3296	135	4	α(x	α(x	NOUN
ejpam-3296	135	5	)	)	PUNCT
ejpam-3296	135	6	=	=	SYM
ejpam-3296	135	7	0	0	NUM
ejpam-3296	135	8	·	·	PUNCT
ejpam-3296	135	9	α(x	α(x	NOUN
ejpam-3296	135	10	)	)	PUNCT
ejpam-3296	135	11	=	=	SYM
ejpam-3296	135	12	α(x	α(x	NOUN
ejpam-3296	135	13	)	)	PUNCT
ejpam-3296	135	14	.	.	PUNCT
ejpam-3296	136	1	hence	hence	ADV
ejpam-3296	136	2	,	,	PUNCT
ejpam-3296	136	3	o	o	INTJ
ejpam-3296	136	4	•	•	NOUN
ejpam-3296	136	5	α	α	X
ejpam-3296	136	6	=	=	SYM
ejpam-3296	136	7	α	α	PROPN
ejpam-3296	136	8	,	,	PUNCT
ejpam-3296	136	9	so	so	CCONJ
ejpam-3296	136	10	(	(	PUNCT
ejpam-3296	136	11	up-2	up-2	NUM
ejpam-3296	136	12	)	)	PUNCT
ejpam-3296	136	13	is	be	AUX
ejpam-3296	136	14	holding	hold	VERB
ejpam-3296	136	15	.	.	PUNCT
ejpam-3296	137	1	let	let	VERB
ejpam-3296	137	2	α	α	PRON
ejpam-3296	137	3	∈	∈	PROPN
ejpam-3296	137	4	p	p	X
ejpam-3296	137	5	(	(	PUNCT
ejpam-3296	137	6	x	x	NOUN
ejpam-3296	137	7	)	)	PUNCT
ejpam-3296	137	8	and	and	CCONJ
ejpam-3296	137	9	let	let	VERB
ejpam-3296	137	10	x	x	X
ejpam-3296	137	11	∈	∈	PROPN
ejpam-3296	137	12	x.	x.	NOUN
ejpam-3296	137	13	case	case	NOUN
ejpam-3296	137	14	1	1	NUM
ejpam-3296	137	15	:	:	PUNCT
ejpam-3296	137	16	x	x	NOUN
ejpam-3296	137	17	/∈	/∈	PUNCT
ejpam-3296	137	18	domα	domα	NOUN
ejpam-3296	137	19	.	.	PUNCT
ejpam-3296	138	1	then	then	ADV
ejpam-3296	138	2	(	(	PUNCT
ejpam-3296	138	3	α	α	NOUN
ejpam-3296	138	4	•o)(x	•o)(x	NOUN
ejpam-3296	138	5	)	)	PUNCT
ejpam-3296	138	6	=	=	SYM
ejpam-3296	138	7	0	0	PUNCT
ejpam-3296	139	1	=	=	SYM
ejpam-3296	139	2	o(x	o(x	PROPN
ejpam-3296	139	3	)	)	PUNCT
ejpam-3296	139	4	.	.	PUNCT
ejpam-3296	140	1	case	case	NOUN
ejpam-3296	140	2	2	2	NUM
ejpam-3296	140	3	:	:	PUNCT
ejpam-3296	140	4	x	x	SYM
ejpam-3296	140	5	∈	∈	NOUN
ejpam-3296	140	6	domα	domα	NOUN
ejpam-3296	140	7	.	.	PUNCT
ejpam-3296	141	1	then	then	ADV
ejpam-3296	141	2	x	x	SYM
ejpam-3296	141	3	∈	∈	PROPN
ejpam-3296	141	4	domα	domα	NOUN
ejpam-3296	141	5	∩	∩	PROPN
ejpam-3296	141	6	domo	domo	PROPN
ejpam-3296	141	7	.	.	PUNCT
ejpam-3296	142	1	thus	thus	ADV
ejpam-3296	142	2	(	(	PUNCT
ejpam-3296	142	3	α	α	NOUN
ejpam-3296	142	4	•	•	NOUN
ejpam-3296	142	5	o)(x	o)(x	NUM
ejpam-3296	142	6	)	)	PUNCT
ejpam-3296	142	7	=	=	SYM
ejpam-3296	142	8	α(x	α(x	NOUN
ejpam-3296	142	9	)	)	PUNCT
ejpam-3296	142	10	·	·	PUNCT
ejpam-3296	143	1	o(x	o(x	NUM
ejpam-3296	143	2	)	)	PUNCT
ejpam-3296	143	3	=	=	SYM
ejpam-3296	143	4	α(x	α(x	NOUN
ejpam-3296	143	5	)	)	PUNCT
ejpam-3296	143	6	·	·	PUNCT
ejpam-3296	143	7	0	0	PUNCT
ejpam-3296	144	1	=	=	SYM
ejpam-3296	144	2	0	0	PUNCT
ejpam-3296	144	3	=	=	SYM
ejpam-3296	144	4	o(x	o(x	PROPN
ejpam-3296	144	5	)	)	PUNCT
ejpam-3296	144	6	.	.	PUNCT
ejpam-3296	145	1	hence	hence	ADV
ejpam-3296	145	2	,	,	PUNCT
ejpam-3296	145	3	α	α	NOUN
ejpam-3296	145	4	•o	•o	NOUN
ejpam-3296	145	5	=	=	SYM
ejpam-3296	145	6	o	o	NOUN
ejpam-3296	145	7	,	,	PUNCT
ejpam-3296	145	8	so	so	ADV
ejpam-3296	145	9	(	(	PUNCT
ejpam-3296	145	10	up-3	up-3	NOUN
ejpam-3296	145	11	)	)	PUNCT
ejpam-3296	145	12	is	be	AUX
ejpam-3296	145	13	holding	hold	VERB
ejpam-3296	145	14	.	.	PUNCT
ejpam-3296	146	1	let	let	VERB
ejpam-3296	146	2	α	α	PRON
ejpam-3296	146	3	,	,	PUNCT
ejpam-3296	146	4	β	β	X
ejpam-3296	146	5	∈	∈	PROPN
ejpam-3296	146	6	p	p	X
ejpam-3296	146	7	(	(	PUNCT
ejpam-3296	146	8	x	x	NOUN
ejpam-3296	146	9	)	)	PUNCT
ejpam-3296	146	10	be	be	VERB
ejpam-3296	146	11	such	such	ADJ
ejpam-3296	146	12	that	that	SCONJ
ejpam-3296	146	13	α	α	NOUN
ejpam-3296	146	14	•	•	NOUN
ejpam-3296	146	15	β	β	X
ejpam-3296	146	16	=	=	SYM
ejpam-3296	146	17	o	o	NOUN
ejpam-3296	146	18	and	and	CCONJ
ejpam-3296	146	19	β	β	X
ejpam-3296	146	20	•	•	NUM
ejpam-3296	146	21	α	α	NOUN
ejpam-3296	146	22	=	=	PUNCT
ejpam-3296	146	23	o.	o.	NOUN
ejpam-3296	146	24	let	let	VERB
ejpam-3296	146	25	x	x	SYM
ejpam-3296	146	26	∈	∈	PROPN
ejpam-3296	146	27	x.	x.	NOUN
ejpam-3296	146	28	then	then	ADV
ejpam-3296	146	29	(	(	PUNCT
ejpam-3296	146	30	α	α	NOUN
ejpam-3296	146	31	•	•	ADV
ejpam-3296	146	32	β)(x	β)(x	NUM
ejpam-3296	146	33	)	)	PUNCT
ejpam-3296	147	1	=	=	SYM
ejpam-3296	148	1	o(x	o(x	ADJ
ejpam-3296	148	2	)	)	PUNCT
ejpam-3296	148	3	=	=	SYM
ejpam-3296	148	4	0	0	PUNCT
ejpam-3296	149	1	and	and	CCONJ
ejpam-3296	149	2	(	(	PUNCT
ejpam-3296	149	3	β	β	PROPN
ejpam-3296	149	4	•	•	NUM
ejpam-3296	149	5	α)(x	α)(x	NOUN
ejpam-3296	149	6	)	)	PUNCT
ejpam-3296	150	1	=	=	SYM
ejpam-3296	151	1	o(x	o(x	ADJ
ejpam-3296	151	2	)	)	PUNCT
ejpam-3296	151	3	=	=	SYM
ejpam-3296	152	1	0	0	X
ejpam-3296	152	2	.	.	PUNCT
ejpam-3296	153	1	if	if	SCONJ
ejpam-3296	153	2	x	x	SYM
ejpam-3296	153	3	∈	∈	PROPN
ejpam-3296	153	4	domα−	domα−	NOUN
ejpam-3296	153	5	domβ	domβ	PROPN
ejpam-3296	153	6	,	,	PUNCT
ejpam-3296	153	7	then	then	ADV
ejpam-3296	153	8	(	(	PUNCT
ejpam-3296	153	9	α	α	NOUN
ejpam-3296	153	10	•	•	ADV
ejpam-3296	153	11	β)(x	β)(x	NOUN
ejpam-3296	153	12	)	)	PUNCT
ejpam-3296	153	13	is	be	AUX
ejpam-3296	153	14	not	not	PART
ejpam-3296	153	15	defined	define	VERB
ejpam-3296	153	16	which	which	PRON
ejpam-3296	153	17	is	be	AUX
ejpam-3296	153	18	a	a	DET
ejpam-3296	153	19	contradiction	contradiction	NOUN
ejpam-3296	153	20	.	.	PUNCT
ejpam-3296	154	1	if	if	SCONJ
ejpam-3296	154	2	x	x	SYM
ejpam-3296	154	3	∈	∈	PROPN
ejpam-3296	154	4	domβ	domβ	NOUN
ejpam-3296	154	5	−	−	X
ejpam-3296	155	1	domα	domα	NOUN
ejpam-3296	155	2	,	,	PUNCT
ejpam-3296	155	3	then	then	ADV
ejpam-3296	155	4	(	(	PUNCT
ejpam-3296	155	5	β	β	NOUN
ejpam-3296	155	6	•	•	NUM
ejpam-3296	155	7	α)(x	α)(x	NOUN
ejpam-3296	155	8	)	)	PUNCT
ejpam-3296	155	9	is	be	AUX
ejpam-3296	155	10	not	not	PART
ejpam-3296	155	11	defined	define	VERB
ejpam-3296	155	12	which	which	PRON
ejpam-3296	155	13	is	be	AUX
ejpam-3296	155	14	a	a	DET
ejpam-3296	155	15	contradiction	contradiction	NOUN
ejpam-3296	155	16	.	.	PUNCT
ejpam-3296	156	1	if	if	SCONJ
ejpam-3296	156	2	x	x	SYM
ejpam-3296	156	3	∈	∈	PROPN
ejpam-3296	156	4	domα	domα	NOUN
ejpam-3296	156	5	∩	∩	PROPN
ejpam-3296	156	6	domβ	domβ	PROPN
ejpam-3296	156	7	,	,	PUNCT
ejpam-3296	156	8	then	then	ADV
ejpam-3296	156	9	0	0	X
ejpam-3296	156	10	=	=	SYM
ejpam-3296	156	11	(	(	PUNCT
ejpam-3296	156	12	α	α	NOUN
ejpam-3296	156	13	•	•	ADP
ejpam-3296	156	14	β)(x	β)(x	NUM
ejpam-3296	156	15	)	)	PUNCT
ejpam-3296	156	16	=	=	SYM
ejpam-3296	156	17	α(x	α(x	NOUN
ejpam-3296	156	18	)	)	PUNCT
ejpam-3296	156	19	·	·	PUNCT
ejpam-3296	156	20	β(x	β(x	NOUN
ejpam-3296	156	21	)	)	PUNCT
ejpam-3296	156	22	and	and	CCONJ
ejpam-3296	156	23	0	0	NUM
ejpam-3296	156	24	=	=	SYM
ejpam-3296	156	25	(	(	PUNCT
ejpam-3296	156	26	β	β	NOUN
ejpam-3296	156	27	•	•	NUM
ejpam-3296	156	28	α)(x	α)(x	NOUN
ejpam-3296	156	29	)	)	PUNCT
ejpam-3296	156	30	=	=	SYM
ejpam-3296	156	31	β(x	β(x	NOUN
ejpam-3296	156	32	)	)	PUNCT
ejpam-3296	156	33	·	·	PUNCT
ejpam-3296	156	34	α(x	α(x	NOUN
ejpam-3296	156	35	)	)	PUNCT
ejpam-3296	156	36	.	.	PUNCT
ejpam-3296	157	1	by	by	ADP
ejpam-3296	157	2	(	(	PUNCT
ejpam-3296	157	3	up-4	up-4	ADV
ejpam-3296	157	4	)	)	PUNCT
ejpam-3296	157	5	,	,	PUNCT
ejpam-3296	157	6	we	we	PRON
ejpam-3296	157	7	have	have	VERB
ejpam-3296	157	8	α(x	α(x	NOUN
ejpam-3296	157	9	)	)	PUNCT
ejpam-3296	157	10	=	=	SYM
ejpam-3296	157	11	β(x	β(x	NOUN
ejpam-3296	157	12	)	)	PUNCT
ejpam-3296	157	13	.	.	PUNCT
ejpam-3296	158	1	if	if	SCONJ
ejpam-3296	158	2	x	x	PRON
ejpam-3296	158	3	/∈	/∈	VERB
ejpam-3296	158	4	domα	domα	NOUN
ejpam-3296	158	5	and	and	CCONJ
ejpam-3296	158	6	x	x	PROPN
ejpam-3296	158	7	/∈	/∈	PUNCT
ejpam-3296	158	8	domβ	domβ	PROPN
ejpam-3296	158	9	,	,	PUNCT
ejpam-3296	158	10	then	then	ADV
ejpam-3296	158	11	α(x	α(x	NOUN
ejpam-3296	158	12	)	)	PUNCT
ejpam-3296	158	13	and	and	CCONJ
ejpam-3296	158	14	β(x	β(x	NOUN
ejpam-3296	158	15	)	)	PUNCT
ejpam-3296	158	16	are	be	AUX
ejpam-3296	158	17	not	not	PART
ejpam-3296	158	18	defined	define	VERB
ejpam-3296	158	19	.	.	PUNCT
ejpam-3296	159	1	hence	hence	ADV
ejpam-3296	159	2	,	,	PUNCT
ejpam-3296	159	3	α	α	PROPN
ejpam-3296	159	4	=	=	SYM
ejpam-3296	159	5	β	β	NOUN
ejpam-3296	159	6	,	,	PUNCT
ejpam-3296	159	7	so	so	CCONJ
ejpam-3296	159	8	(	(	PUNCT
ejpam-3296	159	9	up-4	up-4	ADV
ejpam-3296	159	10	)	)	PUNCT
ejpam-3296	159	11	is	be	AUX
ejpam-3296	159	12	holding	hold	VERB
ejpam-3296	159	13	.	.	PUNCT
ejpam-3296	160	1	therefore	therefore	ADV
ejpam-3296	160	2	,	,	PUNCT
ejpam-3296	160	3	(	(	PUNCT
ejpam-3296	160	4	p	p	X
ejpam-3296	160	5	(	(	PUNCT
ejpam-3296	160	6	x	x	NOUN
ejpam-3296	160	7	)	)	PUNCT
ejpam-3296	160	8	,	,	PUNCT
ejpam-3296	160	9	•	•	X
ejpam-3296	160	10	,	,	PUNCT
ejpam-3296	160	11	o	o	NOUN
ejpam-3296	160	12	)	)	PUNCT
ejpam-3296	160	13	is	be	AUX
ejpam-3296	160	14	a	a	DET
ejpam-3296	160	15	up	up	NOUN
ejpam-3296	160	16	-	-	PUNCT
ejpam-3296	160	17	algebra	algebra	NOUN
ejpam-3296	160	18	.	.	PUNCT
ejpam-3296	161	1	theorem	theorem	NOUN
ejpam-3296	161	2	3	3	NUM
ejpam-3296	162	1	.	.	X
ejpam-3296	162	2	t	t	PROPN
ejpam-3296	162	3	(	(	PUNCT
ejpam-3296	162	4	x	x	X
ejpam-3296	162	5	)	)	PUNCT
ejpam-3296	162	6	is	be	AUX
ejpam-3296	162	7	a	a	DET
ejpam-3296	162	8	up	up	ADJ
ejpam-3296	162	9	-	-	PUNCT
ejpam-3296	162	10	ideal	ideal	NOUN
ejpam-3296	162	11	of	of	ADP
ejpam-3296	162	12	p	p	X
ejpam-3296	162	13	(	(	PUNCT
ejpam-3296	162	14	x	x	NOUN
ejpam-3296	162	15	)	)	PUNCT
ejpam-3296	162	16	and	and	CCONJ
ejpam-3296	162	17	we	we	PRON
ejpam-3296	162	18	shall	shall	AUX
ejpam-3296	162	19	call	call	VERB
ejpam-3296	162	20	it	it	PRON
ejpam-3296	162	21	the	the	DET
ejpam-3296	162	22	full	full	ADJ
ejpam-3296	162	23	transformation	transformation	NOUN
ejpam-3296	162	24	up	up	ADP
ejpam-3296	162	25	-	-	PUNCT
ejpam-3296	162	26	algebra	algebra	NOUN
ejpam-3296	162	27	induced	induce	VERB
ejpam-3296	162	28	by	by	ADP
ejpam-3296	162	29	a	a	DET
ejpam-3296	162	30	up	up	NOUN
ejpam-3296	162	31	-	-	PUNCT
ejpam-3296	162	32	algebra	algebra	NOUN
ejpam-3296	162	33	x.	x.	NOUN
ejpam-3296	162	34	references	reference	VERB
ejpam-3296	162	35	881	881	NUM
ejpam-3296	162	36	proof	proof	NOUN
ejpam-3296	162	37	.	.	PUNCT
ejpam-3296	163	1	clearly	clearly	ADV
ejpam-3296	163	2	,	,	PUNCT
ejpam-3296	163	3	o	o	PROPN
ejpam-3296	163	4	∈	∈	PROPN
ejpam-3296	163	5	t	t	X
ejpam-3296	163	6	(	(	PUNCT
ejpam-3296	163	7	x	x	NOUN
ejpam-3296	163	8	)	)	PUNCT
ejpam-3296	163	9	.	.	PUNCT
ejpam-3296	164	1	let	let	VERB
ejpam-3296	164	2	α	α	PRON
ejpam-3296	164	3	,	,	PUNCT
ejpam-3296	164	4	β	β	X
ejpam-3296	164	5	,	,	PUNCT
ejpam-3296	164	6	γ	γ	PROPN
ejpam-3296	164	7	∈	∈	PROPN
ejpam-3296	164	8	p	p	X
ejpam-3296	164	9	(	(	PUNCT
ejpam-3296	164	10	x	x	NOUN
ejpam-3296	164	11	)	)	PUNCT
ejpam-3296	164	12	be	be	VERB
ejpam-3296	164	13	such	such	ADJ
ejpam-3296	164	14	that	that	SCONJ
ejpam-3296	164	15	α	α	NOUN
ejpam-3296	164	16	•	•	NOUN
ejpam-3296	164	17	(	(	PUNCT
ejpam-3296	164	18	β	β	NOUN
ejpam-3296	164	19	•	•	NUM
ejpam-3296	164	20	γ	γ	X
ejpam-3296	164	21	)	)	PUNCT
ejpam-3296	164	22	∈	∈	PROPN
ejpam-3296	164	23	t	t	PROPN
ejpam-3296	164	24	(	(	PUNCT
ejpam-3296	164	25	x	x	NOUN
ejpam-3296	164	26	)	)	PUNCT
ejpam-3296	164	27	and	and	CCONJ
ejpam-3296	164	28	β	β	X
ejpam-3296	164	29	∈	∈	PROPN
ejpam-3296	164	30	t	t	PROPN
ejpam-3296	164	31	(	(	PUNCT
ejpam-3296	164	32	x	x	NOUN
ejpam-3296	164	33	)	)	PUNCT
ejpam-3296	164	34	.	.	PUNCT
ejpam-3296	165	1	then	then	ADV
ejpam-3296	165	2	dom	dom	NOUN
ejpam-3296	165	3	(	(	PUNCT
ejpam-3296	165	4	α	α	NOUN
ejpam-3296	165	5	•	•	NOUN
ejpam-3296	165	6	(	(	PUNCT
ejpam-3296	165	7	β	β	NOUN
ejpam-3296	165	8	•	•	NUM
ejpam-3296	165	9	γ	γ	NOUN
ejpam-3296	165	10	)	)	PUNCT
ejpam-3296	165	11	)	)	PUNCT
ejpam-3296	166	1	=	=	SYM
ejpam-3296	166	2	x	x	PUNCT
ejpam-3296	166	3	and	and	CCONJ
ejpam-3296	166	4	domβ	domβ	VERB
ejpam-3296	167	1	=	=	SYM
ejpam-3296	167	2	x	x	PUNCT
ejpam-3296	167	3	and	and	CCONJ
ejpam-3296	167	4	so	so	ADV
ejpam-3296	167	5	by	by	ADP
ejpam-3296	167	6	(	(	PUNCT
ejpam-3296	167	7	2.1	2.1	NUM
ejpam-3296	167	8	)	)	PUNCT
ejpam-3296	167	9	,	,	PUNCT
ejpam-3296	167	10	x	x	X
ejpam-3296	167	11	=	=	PUNCT
ejpam-3296	167	12	dom	dom	NOUN
ejpam-3296	167	13	(	(	PUNCT
ejpam-3296	167	14	α	α	NOUN
ejpam-3296	167	15	•	•	NOUN
ejpam-3296	167	16	(	(	PUNCT
ejpam-3296	167	17	β	β	NOUN
ejpam-3296	167	18	•	•	NUM
ejpam-3296	167	19	γ	γ	NOUN
ejpam-3296	167	20	)	)	PUNCT
ejpam-3296	167	21	)	)	PUNCT
ejpam-3296	168	1	=	=	SYM
ejpam-3296	168	2	(	(	PUNCT
ejpam-3296	168	3	domα	domα	NOUN
ejpam-3296	168	4	−	−	PROPN
ejpam-3296	168	5	dom	dom	NOUN
ejpam-3296	168	6	(	(	PUNCT
ejpam-3296	168	7	β	β	NOUN
ejpam-3296	168	8	•	•	NUM
ejpam-3296	168	9	γ	γ	NOUN
ejpam-3296	168	10	)	)	PUNCT
ejpam-3296	168	11	)	)	PUNCT
ejpam-3296	168	12	′	′	NUM
ejpam-3296	168	13	.	.	PUNCT
ejpam-3296	169	1	thus	thus	ADV
ejpam-3296	169	2	domα	domα	NOUN
ejpam-3296	169	3	−	−	PROPN
ejpam-3296	169	4	dom	dom	NOUN
ejpam-3296	169	5	(	(	PUNCT
ejpam-3296	169	6	β	β	NOUN
ejpam-3296	169	7	•	•	NUM
ejpam-3296	169	8	γ	γ	X
ejpam-3296	169	9	)	)	PUNCT
ejpam-3296	169	10	=	=	NOUN
ejpam-3296	169	11	∅	∅	NOUN
ejpam-3296	169	12	and	and	CCONJ
ejpam-3296	169	13	so	so	ADV
ejpam-3296	169	14	by	by	ADP
ejpam-3296	169	15	(	(	PUNCT
ejpam-3296	169	16	2.1	2.1	NUM
ejpam-3296	169	17	)	)	PUNCT
ejpam-3296	169	18	,	,	PUNCT
ejpam-3296	169	19	∅	∅	NOUN
ejpam-3296	169	20	=	=	SYM
ejpam-3296	169	21	domα	domα	NOUN
ejpam-3296	169	22	−	−	PROPN
ejpam-3296	169	23	dom	dom	NOUN
ejpam-3296	169	24	(	(	PUNCT
ejpam-3296	169	25	β	β	NOUN
ejpam-3296	169	26	•	•	NUM
ejpam-3296	169	27	γ	γ	X
ejpam-3296	169	28	)	)	PUNCT
ejpam-3296	169	29	=	=	NOUN
ejpam-3296	169	30	domα	domα	NOUN
ejpam-3296	169	31	−	−	PROPN
ejpam-3296	169	32	(	(	PUNCT
ejpam-3296	169	33	domβ	domβ	PROPN
ejpam-3296	169	34	−	−	PROPN
ejpam-3296	169	35	dom	dom	PROPN
ejpam-3296	169	36	γ	γ	NOUN
ejpam-3296	169	37	)	)	PUNCT
ejpam-3296	169	38	′	′	NOUN
ejpam-3296	169	39	=	=	PUNCT
ejpam-3296	169	40	domα	domα	NOUN
ejpam-3296	169	41	−	−	PROPN
ejpam-3296	169	42	(	(	PUNCT
ejpam-3296	169	43	x	x	SYM
ejpam-3296	169	44	−	−	PROPN
ejpam-3296	169	45	dom	dom	NOUN
ejpam-3296	169	46	γ	γ	NOUN
ejpam-3296	169	47	)	)	PUNCT
ejpam-3296	169	48	′	′	NUM
ejpam-3296	169	49	=	=	SYM
ejpam-3296	169	50	domα−((dom	domα−((dom	NOUN
ejpam-3296	169	51	γ	γ	NOUN
ejpam-3296	169	52	)	)	PUNCT
ejpam-3296	169	53	′	′	NUM
ejpam-3296	169	54	)	)	PUNCT
ejpam-3296	170	1	′	′	NUM
ejpam-3296	171	1	=	=	PUNCT
ejpam-3296	171	2	domα−dom	domα−dom	PROPN
ejpam-3296	171	3	γ	γ	PROPN
ejpam-3296	171	4	.	.	PUNCT
ejpam-3296	171	5	by	by	ADP
ejpam-3296	171	6	(	(	PUNCT
ejpam-3296	171	7	2.1	2.1	NUM
ejpam-3296	171	8	)	)	PUNCT
ejpam-3296	171	9	,	,	PUNCT
ejpam-3296	171	10	dom	dom	NOUN
ejpam-3296	171	11	(	(	PUNCT
ejpam-3296	171	12	α•γ	α•γ	PROPN
ejpam-3296	171	13	)	)	PUNCT
ejpam-3296	171	14	=	=	PUNCT
ejpam-3296	172	1	(	(	PUNCT
ejpam-3296	172	2	domα−dom	domα−dom	PROPN
ejpam-3296	172	3	γ	γ	PROPN
ejpam-3296	172	4	)	)	PUNCT
ejpam-3296	172	5	′	′	NUM
ejpam-3296	173	1	=	=	PUNCT
ejpam-3296	173	2	∅′	∅′	NOUN
ejpam-3296	173	3	=	=	PUNCT
ejpam-3296	173	4	x.	x.	NOUN
ejpam-3296	173	5	that	that	PRON
ejpam-3296	173	6	is	is	ADV
ejpam-3296	173	7	,	,	PUNCT
ejpam-3296	173	8	α	α	NOUN
ejpam-3296	173	9	•	•	VERB
ejpam-3296	173	10	γ	γ	PROPN
ejpam-3296	173	11	∈	∈	PROPN
ejpam-3296	173	12	t	t	PROPN
ejpam-3296	173	13	(	(	PUNCT
ejpam-3296	173	14	x	x	NOUN
ejpam-3296	173	15	)	)	PUNCT
ejpam-3296	173	16	.	.	PUNCT
ejpam-3296	174	1	hence	hence	ADV
ejpam-3296	174	2	,	,	PUNCT
ejpam-3296	174	3	t	t	PROPN
ejpam-3296	174	4	(	(	PUNCT
ejpam-3296	174	5	x	x	X
ejpam-3296	174	6	)	)	PUNCT
ejpam-3296	174	7	is	be	AUX
ejpam-3296	174	8	a	a	DET
ejpam-3296	174	9	up	up	ADJ
ejpam-3296	174	10	-	-	PUNCT
ejpam-3296	174	11	ideal	ideal	NOUN
ejpam-3296	174	12	of	of	ADP
ejpam-3296	174	13	p	p	X
ejpam-3296	174	14	(	(	PUNCT
ejpam-3296	174	15	x	x	NOUN
ejpam-3296	174	16	)	)	PUNCT
ejpam-3296	174	17	and	and	CCONJ
ejpam-3296	174	18	also	also	ADV
ejpam-3296	174	19	a	a	DET
ejpam-3296	174	20	up	up	ADJ
ejpam-3296	174	21	-	-	PUNCT
ejpam-3296	174	22	filter	filter	NOUN
ejpam-3296	174	23	and	and	CCONJ
ejpam-3296	174	24	a	a	DET
ejpam-3296	174	25	up	up	NOUN
ejpam-3296	174	26	-	-	PUNCT
ejpam-3296	174	27	subalgebra	subalgebra	NOUN
ejpam-3296	174	28	.	.	PUNCT
ejpam-3296	175	1	acknowledgements	acknowledgement	NOUN
ejpam-3296	175	2	the	the	DET
ejpam-3296	175	3	authors	author	NOUN
ejpam-3296	175	4	wish	wish	VERB
ejpam-3296	175	5	to	to	PART
ejpam-3296	175	6	express	express	VERB
ejpam-3296	175	7	their	their	PRON
ejpam-3296	175	8	sincere	sincere	ADJ
ejpam-3296	175	9	thanks	thank	NOUN
ejpam-3296	175	10	to	to	ADP
ejpam-3296	175	11	the	the	DET
ejpam-3296	175	12	referees	referee	NOUN
ejpam-3296	175	13	for	for	ADP
ejpam-3296	175	14	the	the	DET
ejpam-3296	175	15	valuable	valuable	ADJ
ejpam-3296	175	16	suggestions	suggestion	NOUN
ejpam-3296	175	17	which	which	PRON
ejpam-3296	175	18	lead	lead	VERB
ejpam-3296	175	19	to	to	ADP
ejpam-3296	175	20	an	an	DET
ejpam-3296	175	21	improvement	improvement	NOUN
ejpam-3296	175	22	of	of	ADP
ejpam-3296	175	23	this	this	DET
ejpam-3296	175	24	paper	paper	NOUN
ejpam-3296	175	25	.	.	PUNCT
ejpam-3296	176	1	references	reference	NOUN
ejpam-3296	176	2	[	[	X
ejpam-3296	176	3	1	1	NUM
ejpam-3296	176	4	]	]	PUNCT
ejpam-3296	176	5	t.	t.	NOUN
ejpam-3296	176	6	guntasow	guntasow	NOUN
ejpam-3296	176	7	,	,	PUNCT
ejpam-3296	176	8	s.	s.	PROPN
ejpam-3296	176	9	sajak	sajak	PROPN
ejpam-3296	176	10	,	,	PUNCT
ejpam-3296	176	11	a.	a.	PROPN
ejpam-3296	176	12	jomkham	jomkham	PROPN
ejpam-3296	176	13	,	,	PUNCT
ejpam-3296	176	14	and	and	CCONJ
ejpam-3296	176	15	a.	a.	NOUN
ejpam-3296	176	16	iampan	iampan	PROPN
ejpam-3296	176	17	.	.	PUNCT
ejpam-3296	177	1	fuzzy	fuzzy	ADJ
ejpam-3296	177	2	translations	translation	NOUN
ejpam-3296	177	3	of	of	ADP
ejpam-3296	177	4	a	a	DET
ejpam-3296	177	5	fuzzy	fuzzy	ADJ
ejpam-3296	177	6	set	set	NOUN
ejpam-3296	177	7	in	in	ADP
ejpam-3296	177	8	up	up	ADP
ejpam-3296	177	9	-	-	PUNCT
ejpam-3296	177	10	algebras	algebras	X
ejpam-3296	177	11	.	.	PUNCT
ejpam-3296	178	1	j.	j.	PROPN
ejpam-3296	178	2	indones	indones	PROPN
ejpam-3296	178	3	.	.	PUNCT
ejpam-3296	179	1	math	math	NOUN
ejpam-3296	179	2	.	.	PUNCT
ejpam-3296	180	1	soc	soc	PROPN
ejpam-3296	180	2	.	.	PROPN
ejpam-3296	180	3	,	,	PUNCT
ejpam-3296	180	4	23(2):1–19	23(2):1–19	NUM
ejpam-3296	180	5	,	,	PUNCT
ejpam-3296	180	6	2017	2017	NUM
ejpam-3296	180	7	.	.	PUNCT
ejpam-3296	181	1	[	[	X
ejpam-3296	181	2	2	2	NUM
ejpam-3296	181	3	]	]	PUNCT
ejpam-3296	181	4	a.	a.	NOUN
ejpam-3296	181	5	iampan	iampan	PROPN
ejpam-3296	181	6	.	.	PUNCT
ejpam-3296	182	1	a	a	DET
ejpam-3296	182	2	new	new	ADJ
ejpam-3296	182	3	branch	branch	NOUN
ejpam-3296	182	4	of	of	ADP
ejpam-3296	182	5	the	the	DET
ejpam-3296	182	6	logical	logical	ADJ
ejpam-3296	182	7	algebra	algebra	NOUN
ejpam-3296	182	8	:	:	PUNCT
ejpam-3296	182	9	up	up	ADP
ejpam-3296	182	10	-	-	PUNCT
ejpam-3296	182	11	algebras	algebras	X
ejpam-3296	182	12	.	.	PUNCT
ejpam-3296	183	1	j.	j.	PROPN
ejpam-3296	183	2	algebra	algebra	PROPN
ejpam-3296	183	3	relat	relat	PROPN
ejpam-3296	183	4	.	.	PUNCT
ejpam-3296	184	1	top	top	PROPN
ejpam-3296	184	2	.	.	PROPN
ejpam-3296	184	3	,	,	PUNCT
ejpam-3296	184	4	5(1):35–54	5(1):35–54	NUM
ejpam-3296	184	5	,	,	PUNCT
ejpam-3296	184	6	2017	2017	NUM
ejpam-3296	184	7	.	.	PUNCT
ejpam-3296	185	1	[	[	X
ejpam-3296	185	2	3	3	NUM
ejpam-3296	185	3	]	]	PUNCT
ejpam-3296	185	4	a.	a.	NOUN
ejpam-3296	185	5	iampan	iampan	PROPN
ejpam-3296	185	6	.	.	PUNCT
ejpam-3296	186	1	up	up	ADP
ejpam-3296	186	2	-	-	PUNCT
ejpam-3296	186	3	algebras	algebras	X
ejpam-3296	186	4	:	:	PUNCT
ejpam-3296	186	5	the	the	DET
ejpam-3296	186	6	beginning	beginning	NOUN
ejpam-3296	186	7	.	.	PUNCT
ejpam-3296	187	1	copy	copy	VERB
ejpam-3296	187	2	house	house	NOUN
ejpam-3296	187	3	and	and	CCONJ
ejpam-3296	187	4	printing	printing	NOUN
ejpam-3296	187	5	,	,	PUNCT
ejpam-3296	187	6	thailand	thailand	PROPN
ejpam-3296	187	7	,	,	PUNCT
ejpam-3296	187	8	2018	2018	NUM
ejpam-3296	187	9	.	.	PUNCT
ejpam-3296	188	1	[	[	X
ejpam-3296	188	2	4	4	X
ejpam-3296	188	3	]	]	X
ejpam-3296	188	4	d.	d.	PROPN
ejpam-3296	188	5	a.	a.	PROPN
ejpam-3296	188	6	romano	romano	PROPN
ejpam-3296	188	7	.	.	PUNCT
ejpam-3296	189	1	proper	proper	ADJ
ejpam-3296	189	2	up	up	ADP
ejpam-3296	189	3	-	-	PUNCT
ejpam-3296	189	4	filters	filter	NOUN
ejpam-3296	189	5	of	of	ADP
ejpam-3296	189	6	up	up	NOUN
ejpam-3296	189	7	-	-	PUNCT
ejpam-3296	189	8	algebra	algebra	NOUN
ejpam-3296	189	9	.	.	PUNCT
ejpam-3296	190	1	univ	univ	PROPN
ejpam-3296	190	2	.	.	PUNCT
ejpam-3296	191	1	j.	j.	PROPN
ejpam-3296	191	2	math	math	PROPN
ejpam-3296	191	3	.	.	PUNCT
ejpam-3296	192	1	appl	appl	PROPN
ejpam-3296	192	2	.	.	PROPN
ejpam-3296	192	3	,	,	PUNCT
ejpam-3296	192	4	1(2):98–100	1(2):98–100	NUM
ejpam-3296	192	5	,	,	PUNCT
ejpam-3296	192	6	2018	2018	NUM
ejpam-3296	192	7	.	.	PUNCT
ejpam-3296	193	1	[	[	X
ejpam-3296	193	2	5	5	NUM
ejpam-3296	193	3	]	]	PUNCT
ejpam-3296	193	4	a.	a.	NOUN
ejpam-3296	193	5	satirad	satirad	PROPN
ejpam-3296	193	6	,	,	PUNCT
ejpam-3296	193	7	p.	p.	PROPN
ejpam-3296	193	8	mosrijai	mosrijai	PROPN
ejpam-3296	193	9	,	,	PUNCT
ejpam-3296	193	10	and	and	CCONJ
ejpam-3296	193	11	a.	a.	NOUN
ejpam-3296	193	12	iampan	iampan	PROPN
ejpam-3296	193	13	.	.	PUNCT
ejpam-3296	194	1	generalized	generalized	ADJ
ejpam-3296	194	2	power	power	NOUN
ejpam-3296	194	3	up	up	ADP
ejpam-3296	194	4	-	-	PUNCT
ejpam-3296	194	5	algebras	algebras	X
ejpam-3296	194	6	.	.	PUNCT
ejpam-3296	195	1	manuscript	manuscript	NOUN
ejpam-3296	195	2	accepted	accept	VERB
ejpam-3296	195	3	for	for	ADP
ejpam-3296	195	4	publication	publication	NOUN
ejpam-3296	195	5	in	in	ADP
ejpam-3296	195	6	int	int	NOUN
ejpam-3296	195	7	.	.	PUNCT
ejpam-3296	196	1	j.	j.	PROPN
ejpam-3296	196	2	math	math	PROPN
ejpam-3296	196	3	.	.	PUNCT
ejpam-3296	197	1	comput	comput	NOUN
ejpam-3296	197	2	.	.	PUNCT
ejpam-3296	198	1	sci	sci	PROPN
ejpam-3296	198	2	.	.	PROPN
ejpam-3296	198	3	,	,	PUNCT
ejpam-3296	198	4	may	may	PROPN
ejpam-3296	198	5	2018	2018	NUM
ejpam-3296	198	6	.	.	PUNCT
ejpam-3296	199	1	[	[	X
ejpam-3296	199	2	6	6	NUM
ejpam-3296	199	3	]	]	PUNCT
ejpam-3296	199	4	t.	t.	NOUN
ejpam-3296	199	5	senapati	senapati	PROPN
ejpam-3296	199	6	,	,	PUNCT
ejpam-3296	199	7	y.	y.	PROPN
ejpam-3296	199	8	b.	b.	PROPN
ejpam-3296	199	9	jun	jun	PROPN
ejpam-3296	199	10	,	,	PUNCT
ejpam-3296	199	11	and	and	CCONJ
ejpam-3296	199	12	k.	k.	PROPN
ejpam-3296	199	13	p.	p.	PROPN
ejpam-3296	199	14	shum	shum	PROPN
ejpam-3296	199	15	.	.	PUNCT
ejpam-3296	200	1	cubic	cubic	ADJ
ejpam-3296	200	2	set	set	VERB
ejpam-3296	200	3	structure	structure	NOUN
ejpam-3296	200	4	applied	apply	VERB
ejpam-3296	200	5	in	in	ADP
ejpam-3296	200	6	up	up	ADP
ejpam-3296	200	7	-	-	PUNCT
ejpam-3296	200	8	algebras	algebras	X
ejpam-3296	200	9	.	.	PUNCT
ejpam-3296	201	1	discrete	discrete	ADJ
ejpam-3296	201	2	math	math	NOUN
ejpam-3296	201	3	.	.	PUNCT
ejpam-3296	202	1	algorithms	algorithms	PROPN
ejpam-3296	202	2	appl	appl	PROPN
ejpam-3296	202	3	.	.	PROPN
ejpam-3296	202	4	,	,	PUNCT
ejpam-3296	202	5	https://doi.org/10.1142/s1793830918500490	https://doi.org/10.1142/s1793830918500490	NUM
ejpam-3296	202	6	.	.	PUNCT
ejpam-3296	203	1	[	[	X
ejpam-3296	203	2	7	7	X
ejpam-3296	203	3	]	]	PUNCT
ejpam-3296	203	4	t.	t.	NOUN
ejpam-3296	203	5	senapati	senapati	PROPN
ejpam-3296	203	6	,	,	PUNCT
ejpam-3296	203	7	g.	g.	PROPN
ejpam-3296	203	8	muhiuddin	muhiuddin	PROPN
ejpam-3296	203	9	,	,	PUNCT
ejpam-3296	203	10	and	and	CCONJ
ejpam-3296	203	11	k.	k.	PROPN
ejpam-3296	203	12	p.	p.	PROPN
ejpam-3296	203	13	shum	shum	PROPN
ejpam-3296	203	14	.	.	PUNCT
ejpam-3296	204	1	representation	representation	NOUN
ejpam-3296	204	2	of	of	ADP
ejpam-3296	204	3	up	up	ADV
ejpam-3296	204	4	-	-	PUNCT
ejpam-3296	204	5	algebras	algebras	NOUN
ejpam-3296	204	6	in	in	ADP
ejpam-3296	204	7	intervalvalued	intervalvalue	VERB
ejpam-3296	204	8	intuitionistic	intuitionistic	ADJ
ejpam-3296	204	9	fuzzy	fuzzy	ADJ
ejpam-3296	204	10	environment	environment	NOUN
ejpam-3296	204	11	.	.	PUNCT
ejpam-3296	205	1	ital	ital	PROPN
ejpam-3296	205	2	.	.	PUNCT
ejpam-3296	206	1	j.	j.	PROPN
ejpam-3296	206	2	pure	pure	PROPN
ejpam-3296	206	3	appl	appl	PROPN
ejpam-3296	206	4	.	.	PUNCT
ejpam-3296	206	5	math	math	PROPN
ejpam-3296	206	6	.	.	PUNCT
ejpam-3296	206	7	,	,	PUNCT
ejpam-3296	207	1	38:497–517	38:497–517	PROPN
ejpam-3296	207	2	,	,	PUNCT
ejpam-3296	207	3	2017	2017	NUM
ejpam-3296	207	4	.	.	PUNCT
ejpam-3296	208	1	[	[	X
ejpam-3296	208	2	8	8	X
ejpam-3296	208	3	]	]	PUNCT
ejpam-3296	208	4	j.	j.	PROPN
ejpam-3296	208	5	somjanta	somjanta	PROPN
ejpam-3296	208	6	,	,	PUNCT
ejpam-3296	208	7	n.	n.	PROPN
ejpam-3296	208	8	thuekaew	thuekaew	PROPN
ejpam-3296	208	9	,	,	PUNCT
ejpam-3296	208	10	p.	p.	NOUN
ejpam-3296	208	11	kumpeangkeaw	kumpeangkeaw	PROPN
ejpam-3296	208	12	,	,	PUNCT
ejpam-3296	208	13	and	and	CCONJ
ejpam-3296	208	14	a.	a.	NOUN
ejpam-3296	208	15	iampan	iampan	PROPN
ejpam-3296	208	16	.	.	PUNCT
ejpam-3296	209	1	fuzzy	fuzzy	ADJ
ejpam-3296	209	2	sets	set	NOUN
ejpam-3296	209	3	in	in	ADP
ejpam-3296	209	4	upalgebras	upalgebra	NOUN
ejpam-3296	209	5	.	.	PUNCT
ejpam-3296	210	1	ann	ann	PROPN
ejpam-3296	210	2	.	.	PUNCT
ejpam-3296	210	3	fuzzy	fuzzy	ADJ
ejpam-3296	210	4	math	math	NOUN
ejpam-3296	210	5	.	.	PUNCT
ejpam-3296	211	1	inform	inform	NOUN
ejpam-3296	211	2	.	.	PUNCT
ejpam-3296	211	3	,	,	PUNCT
ejpam-3296	211	4	12(6):739–756	12(6):739–756	PROPN
ejpam-3296	211	5	,	,	PUNCT
ejpam-3296	211	6	2016	2016	NUM
ejpam-3296	211	7	.	.	PUNCT