id	sid	tid	token	lemma	pos
iajs-1204	1	1	2009	2009	NUM
iajs-1204	1	2	)	)	PUNCT
iajs-1204	1	3	3	3	NUM
iajs-1204	1	4	(	(	PUNCT
iajs-1204	1	5	22مجلة	22مجلة	NUM
iajs-1204	1	6	ابن	ابن	PROPN
iajs-1204	1	7	الھیثم	الھیثم	PROPN
iajs-1204	1	8	للعلوم	للعلوم	PROPN
iajs-1204	1	9	الصرفة	الصرفة	PROPN
iajs-1204	1	10	والتطبیقیة	والتطبیقیة	PROPN
iajs-1204	1	11	المجلد	المجلد	VERB
iajs-1204	1	12	قبل	قبل	PROPN
iajs-1204	1	13	المفتوحة	المفتوحة	PROPN
iajs-1204	1	14	شبه	شبه	VERB
iajs-1204	1	15	المجموعاتبعض	المجموعاتبعض	PROPN
iajs-1204	1	16	النتائج	النتائج	PROPN
iajs-1204	1	17	حول	حول	PROPN
iajs-1204	1	18	احمد	احمد	PROPN
iajs-1204	1	19	إبراهیم	إبراهیم	PROPN
iajs-1204	1	20	ناصررشا	ناصررشا	PROPN
iajs-1204	1	21	ناصر	ناصر	NOUN
iajs-1204	1	22	مجید	مجید	PROPN
iajs-1204	1	23	،	،	PROPN
iajs-1204	2	1	د	د	PROPN
iajs-1204	2	2	الهیثم	الهیثم	ADJ
iajs-1204	2	3	،	،	ADJ
iajs-1204	2	4	أبن	أبن	NOUN
iajs-1204	2	5	-كلیة	-كلیة	NOUN
iajs-1204	2	6	التربیة	التربیة	NOUN
iajs-1204	2	7	سم	سم	PRON
iajs-1204	2	8	الریاضیات،ق	الریاضیات،ق	PUNCT
iajs-1204	2	9	جامعة	جامعة	PROPN
iajs-1204	2	10	بغدا	بغدا	PROPN
iajs-1204	2	11	خالصةال	خالصةال	PROPN
iajs-1204	2	12	x)اذا	x)اذا	PROPN
iajs-1204	2	13	كان	كان	PROPN
iajs-1204	2	14	"	"	PUNCT
iajs-1204	2	15	عرفها	عرفها	NOUN
iajs-1204	2	16	بالشكل	بالشكل	PROPN
iajs-1204	2	17	اذ	اذ	PROPN
iajs-1204	2	18	،	،	NOUN
iajs-1204	2	19	إن	إن	X
iajs-1204	2	20	أول	أول	NOUN
iajs-1204	2	21	من	من	INTJ
iajs-1204	2	22	قدم	قدم	NOUN
iajs-1204	2	23	تعریف	تعریف	VERB
iajs-1204	2	24	المجموعة	المجموعة	PROPN
iajs-1204	2	25	شبه	شبه	NOUN
iajs-1204	2	26	قبل	قبل	PROPN
iajs-1204	2	27	المفتوحة	المفتوحة	PROPN
iajs-1204	2	28	هو	هو	PROPN
iajs-1204	2	29	الریاضي	الریاضي	PROPN
iajs-1204	2	30	اندرجفك	اندرجفك	PROPN
iajs-1204	2	31	,	,	PUNCT
iajs-1204	2	32			NOUN
iajs-1204	2	33	)	)	PUNCT
iajs-1204	2	34	فضاء	فضاء	NOUN
iajs-1204	2	35	تبولوجي	تبولوجي	NOUN
iajs-1204	2	36	وa	وa	PROPN
iajs-1204	2	37	مجموعة	مجموعة	PROPN
iajs-1204	2	38	جزئیة	جزئیة	PROPN
iajs-1204	2	39	منx	منx	X
iajs-1204	2	40	فأنa	فأنa	NOUN
iajs-1204	2	41	ان	ان	PROPN
iajs-1204	2	42	تسمى	تسمى	PROPN
iajs-1204	2	43	مجموعة	مجموعة	PROPN
iajs-1204	2	44	شبه	شبه	PROPN
iajs-1204	2	45	قبل	قبل	PROPN
iajs-1204	2	46	المفتوحة	المفتوحة	PROPN
iajs-1204	2	47	اذا	اذا	PROPN
iajs-1204	2	48	ك	ك	X
iajs-1204	2	49	�	�	PROPN
iajs-1204	2	50	⊆	⊆	NUM
iajs-1204	2	51	�	�	PROPN
iajs-1204	2	52	∘	∘	NOUN
iajs-1204	2	53	�	�	PROPN
iajs-1204	2	54	�	�	PROPN
iajs-1204	2	55	�	�	PROPN
iajs-1204	2	56	.	.	PUNCT
iajs-1204	2	57	"	"	PUNCT
iajs-1204	3	1	أعالهلقد	أعالهلقد	NOUN
iajs-1204	3	2	قمنا	قمنا	ADV
iajs-1204	3	3	في	في	SCONJ
iajs-1204	3	4	هذا	هذا	NOUN
iajs-1204	3	5	البحث	البحث	NOUN
iajs-1204	3	6	بدراسة	بدراسة	PROPN
iajs-1204	3	7	خواص	خواص	ADV
iajs-1204	3	8	المجموعات	المجموعات	NOUN
iajs-1204	3	9	شبه	شبه	VERB
iajs-1204	3	10	قبل	قبل	PROPN
iajs-1204	3	11	المفتوحة	المفتوحة	PROPN
iajs-1204	3	12	ولكن	ولكن	PROPN
iajs-1204	3	13	لیس	لیس	NOUN
iajs-1204	3	14	عن	عن	NOUN
iajs-1204	3	15	طریق	طریق	NOUN
iajs-1204	3	16	التعریف	التعریف	PROPN
iajs-1204	3	17	تعریف	تعریف	VERB
iajs-1204	3	18	ثاني	ثاني	PROPN
iajs-1204	3	19	مكافئ	مكافئ	PROPN
iajs-1204	3	20	لتعریفها	لتعریفها	PROPN
iajs-1204	3	21	وكذلك	وكذلك	PROPN
iajs-1204	3	22	درسنا	درسنا	PROPN
iajs-1204	3	23	العالقة	العالقة	PROPN
iajs-1204	3	24	بینها	بینها	NOUN
iajs-1204	3	25	وبین	وبین	VERB
iajs-1204	3	26	أنواع	أنواع	NOUN
iajs-1204	3	27	أخرى	أخرى	PROPN
iajs-1204	3	28	من	من	PROPN
iajs-1204	3	29	المجامیع	المجامیع	PROPN
iajs-1204	4	1	طة	طة	AUX
iajs-1204	4	2	ابواسانما	ابواسانما	NOUN
iajs-1204	4	3	.المفتوحة	.المفتوحة	VERB
iajs-1204	4	4	الضعیفة	الضعیفة	VERB
iajs-1204	4	5	ibn	ibn	PROPN
iajs-1204	4	6	alhaitham	alhaitham	NOUN
iajs-1204	4	7	j.	j.	PROPN
iajs-1204	5	1	fo	fo	ADP
iajs-1204	5	2	r	r	NOUN
iajs-1204	5	3	pure	pure	ADJ
iajs-1204	5	4	&	&	CCONJ
iajs-1204	5	5	appl	appl	PROPN
iajs-1204	5	6	.	.	PUNCT
iajs-1204	6	1	sc	sc	PROPN
iajs-1204	7	1	i	i	PRON
iajs-1204	7	2	vo	vo	INTJ
iajs-1204	7	3	l.22	l.22	X
iajs-1204	7	4	(	(	PUNCT
iajs-1204	7	5	3	3	NUM
iajs-1204	7	6	)	)	PUNCT
iajs-1204	7	7	2009	2009	NUM
iajs-1204	7	8	some	some	DET
iajs-1204	7	9	results	result	VERB
iajs-1204	7	10	on	on	ADP
iajs-1204	7	11	semi	semi	ADJ
iajs-1204	7	12	-	-	ADJ
iajs-1204	7	13	preopen	preopen	ADJ
iajs-1204	7	14	sets	set	NOUN
iajs-1204	7	15	r.	r.	PROPN
iajs-1204	7	16	n.	n.	PROPN
iajs-1204	7	17	majeed	majeed	PROPN
iajs-1204	7	18	,	,	PUNCT
iajs-1204	7	19	a.	a.	PROPN
iajs-1204	7	20	i.	i.	PROPN
iajs-1204	7	21	nasir	nasir	PROPN
iajs-1204	7	22	department	department	PROPN
iajs-1204	7	23	of	of	ADP
iajs-1204	7	24	mathematics	mathematics	PROPN
iajs-1204	7	25	,	,	PUNCT
iajs-1204	7	26	college	college	NOUN
iajs-1204	7	27	of	of	ADP
iajs-1204	7	28	education	education	NOUN
iajs-1204	7	29	–	–	PUNCT
iajs-1204	7	30	ibn	ibn	PROPN
iajs-1204	7	31	alhaitham	alhaitham	NOUN
iajs-1204	7	32	,	,	PUNCT
iajs-1204	7	33	university	university	NOUN
iajs-1204	7	34	of	of	ADP
iajs-1204	7	35	baghdad	baghdad	PROPN
iajs-1204	7	36	abstract	abstract	ADJ
iajs-1204	7	37	the	the	DET
iajs-1204	7	38	definition	definition	NOUN
iajs-1204	7	39	of	of	ADP
iajs-1204	7	40	semi	semi	ADJ
iajs-1204	7	41	-	-	ADJ
iajs-1204	7	42	preopen	preopen	ADJ
iajs-1204	7	43	sets	set	NOUN
iajs-1204	7	44	were	be	AUX
iajs-1204	7	45	first	first	ADV
iajs-1204	7	46	introduced	introduce	VERB
iajs-1204	7	47	by	by	ADP
iajs-1204	7	48	"	"	PUNCT
iajs-1204	7	49	andrijevic	andrijevic	ADJ
iajs-1204	7	50	"	"	PUNCT
iajs-1204	7	51	as	as	SCONJ
iajs-1204	7	52	were	be	AUX
iajs-1204	7	53	is	be	AUX
iajs-1204	7	54	defined	define	VERB
iajs-1204	7	55	by	by	ADP
iajs-1204	7	56	:	:	PUNCT
iajs-1204	7	57	let	let	VERB
iajs-1204	7	58	(	(	PUNCT
iajs-1204	7	59	x	x	X
iajs-1204	7	60	,	,	PUNCT
iajs-1204	7	61			PROPN
iajs-1204	7	62	)	)	PUNCT
iajs-1204	7	63	be	be	AUX
iajs-1204	7	64	a	a	DET
iajs-1204	7	65	topological	topological	ADJ
iajs-1204	7	66	space	space	NOUN
iajs-1204	7	67	,	,	PUNCT
iajs-1204	7	68	and	and	CCONJ
iajs-1204	7	69	let	let	VERB
iajs-1204	7	70	a	a	DET
iajs-1204	7	71	⊆	⊆	NUM
iajs-1204	7	72	�	�	PROPN
iajs-1204	7	73	,	,	PUNCT
iajs-1204	7	74	then	then	ADV
iajs-1204	7	75	ais	ais	PROPN
iajs-1204	7	76	called	call	VERB
iajs-1204	7	77	semi	semi	ADJ
iajs-1204	7	78	-	-	ADJ
iajs-1204	7	79	preopen	preopen	ADJ
iajs-1204	7	80	set	set	VERB
iajs-1204	7	81	if	if	SCONJ
iajs-1204	7	82	�	�	PROPN
iajs-1204	7	83	⊆	⊆	NUM
iajs-1204	7	84	�	�	PROPN
iajs-1204	7	85	∘	∘	NOUN
iajs-1204	7	86	�	�	PROPN
iajs-1204	7	87	�	�	PROPN
iajs-1204	7	88	�	�	PROPN
iajs-1204	7	89	.	.	PUNCT
iajs-1204	8	1	in	in	ADP
iajs-1204	8	2	this	this	DET
iajs-1204	8	3	paper	paper	NOUN
iajs-1204	8	4	,	,	PUNCT
iajs-1204	8	5	we	we	PRON
iajs-1204	8	6	study	study	VERB
iajs-1204	8	7	the	the	DET
iajs-1204	8	8	properties	property	NOUN
iajs-1204	8	9	of	of	ADP
iajs-1204	8	10	semi	semi	ADJ
iajs-1204	8	11	-	-	ADJ
iajs-1204	8	12	preopen	preopen	ADJ
iajs-1204	8	13	sets	set	NOUN
iajs-1204	8	14	but	but	CCONJ
iajs-1204	8	15	by	by	ADP
iajs-1204	8	16	another	another	DET
iajs-1204	8	17	definition	definition	NOUN
iajs-1204	8	18	which	which	PRON
iajs-1204	8	19	is	be	AUX
iajs-1204	8	20	equivalent	equivalent	ADJ
iajs-1204	8	21	to	to	ADP
iajs-1204	8	22	the	the	DET
iajs-1204	8	23	first	first	ADJ
iajs-1204	8	24	definition	definition	NOUN
iajs-1204	8	25	and	and	CCONJ
iajs-1204	8	26	we	we	PRON
iajs-1204	8	27	also	also	ADV
iajs-1204	8	28	study	study	VERB
iajs-1204	8	29	the	the	DET
iajs-1204	8	30	relationships	relationship	NOUN
iajs-1204	8	31	among	among	ADP
iajs-1204	8	32	it	it	PRON
iajs-1204	8	33	and	and	CCONJ
iajs-1204	8	34	(	(	PUNCT
iajs-1204	8	35	open	open	ADJ
iajs-1204	8	36	,	,	PUNCT
iajs-1204	8	37	α	α	NOUN
iajs-1204	8	38	-	-	ADJ
iajs-1204	8	39	open	open	ADJ
iajs-1204	8	40	,	,	PUNCT
iajs-1204	8	41	preopen	preopen	ADJ
iajs-1204	8	42	and	and	CCONJ
iajs-1204	8	43	semi	semi	ADJ
iajs-1204	8	44	-	-	ADJ
iajs-1204	8	45	p	p	ADJ
iajs-1204	8	46	-	-	PUNCT
iajs-1204	8	47	open	open	ADJ
iajs-1204	8	48	)	)	PUNCT
iajs-1204	8	49	sets	set	NOUN
iajs-1204	8	50	.	.	PUNCT
iajs-1204	9	1	1.preliminaries	1.preliminaries	NUM
iajs-1204	9	2	definition	definition	NOUN
iajs-1204	9	3	1.1	1.1	NUM
iajs-1204	9	4	(	(	PUNCT
iajs-1204	9	5	1)(4	1)(4	NUM
iajs-1204	9	6	):	):	PUNCT
iajs-1204	9	7	a	a	DET
iajs-1204	9	8	subset	subset	NOUN
iajs-1204	9	9	a	a	PRON
iajs-1204	9	10	of	of	ADP
iajs-1204	9	11	a	a	DET
iajs-1204	9	12	topological	topological	ADJ
iajs-1204	9	13	space	space	NOUN
iajs-1204	9	14	(	(	PUNCT
iajs-1204	9	15	x	x	X
iajs-1204	9	16	,	,	PUNCT
iajs-1204	9	17			PROPN
iajs-1204	9	18	)	)	PUNCT
iajs-1204	9	19	is	be	AUX
iajs-1204	9	20	called	call	VERB
iajs-1204	9	21	α	α	PRON
iajs-1204	9	22	–	–	PUNCT
iajs-1204	9	23	open	open	ADJ
iajs-1204	9	24	set	set	VERB
iajs-1204	9	25	if	if	SCONJ
iajs-1204	9	26	and	and	CCONJ
iajs-1204	9	27	only	only	ADV
iajs-1204	9	28	if	if	SCONJ
iajs-1204	9	29	a	a	DET
iajs-1204	9	30	°	°	PROPN
iajs-1204	9	31	�	�	PROPN
iajs-1204	9	32	�	�	PROPN
iajs-1204	9	33	�	�	PROPN
iajs-1204	9	34	�	�	PROPN
iajs-1204	9	35	�	�	PROPN
iajs-1204	9	36	°	°	PROPN
iajs-1204	9	37	�	�	PROPN
iajs-1204	9	38	°	°	SYM
iajs-1204	9	39	�	�	PROPN
iajs-1204	9	40	�	�	PROPN
iajs-1204	9	41	ح	ح	VERB
iajs-1204	9	42	the	the	DET
iajs-1204	9	43	family	family	NOUN
iajs-1204	9	44	of	of	ADP
iajs-1204	9	45	all	all	DET
iajs-1204	9	46	α	α	NOUN
iajs-1204	9	47	–	–	PUNCT
iajs-1204	9	48	open	open	ADJ
iajs-1204	9	49	sets	set	NOUN
iajs-1204	9	50	is	be	AUX
iajs-1204	9	51	denoted	denote	VERB
iajs-1204	9	52	by	by	ADP
iajs-1204	9	53	α	α	PROPN
iajs-1204	9	54	.	.	PUNCT
iajs-1204	10	1	definition	definition	NOUN
iajs-1204	10	2	1.2	1.2	NUM
iajs-1204	10	3	(	(	PUNCT
iajs-1204	10	4	1)(5	1)(5	NUM
iajs-1204	10	5	)	)	PUNCT
iajs-1204	10	6	:	:	PUNCT
iajs-1204	10	7	a	a	DET
iajs-1204	10	8	subset	subset	NOUN
iajs-1204	10	9	a	a	PRON
iajs-1204	10	10	of	of	ADP
iajs-1204	10	11	a	a	DET
iajs-1204	10	12	topological	topological	ADJ
iajs-1204	10	13	space	space	NOUN
iajs-1204	10	14	(	(	PUNCT
iajs-1204	10	15	x	x	X
iajs-1204	10	16	,	,	PUNCT
iajs-1204	10	17			PROPN
iajs-1204	10	18	)	)	PUNCT
iajs-1204	10	19	is	be	AUX
iajs-1204	10	20	called	call	VERB
iajs-1204	10	21	a	a	DET
iajs-1204	10	22	preopen	preopen	ADJ
iajs-1204	10	23	set	set	VERB
iajs-1204	10	24	if	if	SCONJ
iajs-1204	10	25	a	a	DET
iajs-1204	10	26	ح	ح	NOUN
iajs-1204	10	27	the	the	DET
iajs-1204	10	28	complement	complement	NOUN
iajs-1204	10	29	of	of	ADP
iajs-1204	10	30	a	a	DET
iajs-1204	10	31	preopen	preopen	ADJ
iajs-1204	10	32	set	set	NOUN
iajs-1204	10	33	is	be	AUX
iajs-1204	10	34	called	call	VERB
iajs-1204	10	35	preclosed	preclose	VERB
iajs-1204	10	36	set	set	NOUN
iajs-1204	10	37	.	.	PUNCT
iajs-1204	11	1	the	the	DET
iajs-1204	11	2	family	family	NOUN
iajs-1204	11	3	of	of	ADP
iajs-1204	11	4	all	all	DET
iajs-1204	11	5	preopen	preopen	ADJ
iajs-1204	11	6	sets	set	NOUN
iajs-1204	11	7	of	of	ADP
iajs-1204	11	8	x	x	SYM
iajs-1204	11	9	is	be	AUX
iajs-1204	11	10	denoted	denote	VERB
iajs-1204	11	11	by	by	ADP
iajs-1204	11	12	po(x	po(x	NOUN
iajs-1204	11	13	)	)	PUNCT
iajs-1204	11	14	.	.	PUNCT
iajs-1204	12	1	the	the	DET
iajs-1204	12	2	family	family	NOUN
iajs-1204	12	3	of	of	ADP
iajs-1204	12	4	all	all	DET
iajs-1204	12	5	preclosed	preclose	VERB
iajs-1204	12	6	sets	set	NOUN
iajs-1204	12	7	of	of	ADP
iajs-1204	12	8	x	x	SYM
iajs-1204	12	9	is	be	AUX
iajs-1204	12	10	denoted	denote	VERB
iajs-1204	12	11	by	by	ADP
iajs-1204	12	12	pc(x	pc(x	NOUN
iajs-1204	12	13	)	)	PUNCT
iajs-1204	12	14	.	.	PUNCT
iajs-1204	13	1	theorem	theorem	VERB
iajs-1204	13	2	1.3	1.3	NUM
iajs-1204	13	3	(	(	PUNCT
iajs-1204	13	4	2	2	NUM
iajs-1204	13	5	)	)	PUNCT
iajs-1204	13	6	:	:	PUNCT
iajs-1204	13	7	the	the	DET
iajs-1204	13	8	union	union	NOUN
iajs-1204	13	9	of	of	ADP
iajs-1204	13	10	any	any	DET
iajs-1204	13	11	family	family	NOUN
iajs-1204	13	12	of	of	ADP
iajs-1204	13	13	preopen	preopen	ADJ
iajs-1204	13	14	sets	set	NOUN
iajs-1204	13	15	is	be	AUX
iajs-1204	13	16	a	a	DET
iajs-1204	13	17	preopen	preopen	ADJ
iajs-1204	13	18	set	set	NOUN
iajs-1204	13	19	.	.	PUNCT
iajs-1204	14	1	definition	definition	NOUN
iajs-1204	14	2	1.4	1.4	NUM
iajs-1204	14	3	(	(	PUNCT
iajs-1204	14	4	1	1	NUM
iajs-1204	14	5	)	)	PUNCT
iajs-1204	14	6	:	:	PUNCT
iajs-1204	14	7	the	the	DET
iajs-1204	14	8	intersection	intersection	NOUN
iajs-1204	14	9	of	of	ADP
iajs-1204	14	10	all	all	DET
iajs-1204	14	11	preclosed	preclose	VERB
iajs-1204	14	12	sets	set	NOUN
iajs-1204	14	13	containing	contain	VERB
iajs-1204	14	14	a	a	PRON
iajs-1204	14	15	is	be	AUX
iajs-1204	14	16	called	call	VERB
iajs-1204	14	17	the	the	DET
iajs-1204	14	18	preclosure	preclosure	NOUN
iajs-1204	14	19	of	of	ADP
iajs-1204	14	20	a	a	PRON
iajs-1204	14	21	,	,	PUNCT
iajs-1204	14	22	denoted	denote	VERB
iajs-1204	14	23	by	by	ADP
iajs-1204	14	24	pre	pre	ADJ
iajs-1204	14	25	-	-	ADJ
iajs-1204	14	26	cl	cl	ADJ
iajs-1204	14	27	a.	a.	NOUN
iajs-1204	14	28	definition	definition	NOUN
iajs-1204	14	29	1.5	1.5	NUM
iajs-1204	14	30	(	(	PUNCT
iajs-1204	14	31	1	1	NUM
iajs-1204	14	32	)	)	PUNCT
iajs-1204	14	33	:	:	PUNCT
iajs-1204	14	34	a	a	DET
iajs-1204	14	35	subset	subset	NOUN
iajs-1204	14	36	a	a	PRON
iajs-1204	14	37	of	of	ADP
iajs-1204	14	38	a	a	DET
iajs-1204	14	39	topological	topological	ADJ
iajs-1204	14	40	space	space	NOUN
iajs-1204	14	41	(	(	PUNCT
iajs-1204	14	42	x	x	X
iajs-1204	14	43	,	,	PUNCT
iajs-1204	14	44			PROPN
iajs-1204	14	45	)	)	PUNCT
iajs-1204	14	46	is	be	AUX
iajs-1204	14	47	said	say	VERB
iajs-1204	14	48	to	to	PART
iajs-1204	14	49	be	be	AUX
iajs-1204	14	50	semi	semi	ADJ
iajs-1204	14	51	-	-	ADJ
iajs-1204	14	52	p	p	ADJ
iajs-1204	14	53	-	-	PUNCT
iajs-1204	14	54	open	open	NOUN
iajs-1204	14	55	set	set	NOUN
iajs-1204	14	56	,	,	PUNCT
iajs-1204	14	57	if	if	SCONJ
iajs-1204	14	58	there	there	PRON
iajs-1204	14	59	exists	exist	VERB
iajs-1204	14	60	a	a	DET
iajs-1204	14	61	preopen	preopen	ADJ
iajs-1204	14	62	set	set	NOUN
iajs-1204	14	63	in	in	ADP
iajs-1204	14	64	x	x	PART
iajs-1204	14	65	say	say	VERB
iajs-1204	14	66	u	u	NOUN
iajs-1204	14	67	such	such	ADJ
iajs-1204	14	68	that	that	SCONJ
iajs-1204	14	69	uح	uح	PROPN
iajs-1204	14	70	a	a	DET
iajs-1204	14	71	ح	ح	ADJ
iajs-1204	14	72	pre	pre	NOUN
iajs-1204	14	73	-	-	NOUN
iajs-1204	14	74	cl	cl	ADJ
iajs-1204	14	75	u.	u.	NOUN
iajs-1204	14	76	the	the	DET
iajs-1204	14	77	complement	complement	NOUN
iajs-1204	14	78	of	of	ADP
iajs-1204	14	79	a	a	DET
iajs-1204	14	80	semi	semi	ADJ
iajs-1204	14	81	-	-	ADJ
iajs-1204	14	82	p	p	ADJ
iajs-1204	14	83	-	-	PUNCT
iajs-1204	14	84	open	open	ADJ
iajs-1204	14	85	set	set	NOUN
iajs-1204	14	86	is	be	AUX
iajs-1204	14	87	called	call	VERB
iajs-1204	14	88	semi	semi	ADJ
iajs-1204	14	89	-	-	ADJ
iajs-1204	14	90	p	p	ADJ
iajs-1204	14	91	-	-	PUNCT
iajs-1204	14	92	closed	close	VERB
iajs-1204	14	93	set	set	NOUN
iajs-1204	14	94	.	.	PUNCT
iajs-1204	15	1	the	the	DET
iajs-1204	15	2	family	family	NOUN
iajs-1204	15	3	of	of	ADP
iajs-1204	15	4	all	all	DET
iajs-1204	15	5	semi	semi	ADJ
iajs-1204	15	6	-	-	ADJ
iajs-1204	15	7	p	p	ADJ
iajs-1204	15	8	-	-	PUNCT
iajs-1204	15	9	open	open	ADJ
iajs-1204	15	10	sets	set	NOUN
iajs-1204	15	11	of	of	ADP
iajs-1204	15	12	x	x	SYM
iajs-1204	15	13	is	be	AUX
iajs-1204	15	14	denoted	denote	VERB
iajs-1204	15	15	by	by	ADP
iajs-1204	15	16	s	s	NOUN
iajs-1204	15	17	-	-	PUNCT
iajs-1204	15	18	p(x	p(x	NOUN
iajs-1204	15	19	)	)	PUNCT
iajs-1204	15	20	.	.	PUNCT
iajs-1204	16	1	the	the	DET
iajs-1204	16	2	family	family	NOUN
iajs-1204	16	3	of	of	ADP
iajs-1204	16	4	all	all	DET
iajs-1204	16	5	semip	semip	NOUN
iajs-1204	16	6	-	-	PUNCT
iajs-1204	16	7	closed	close	VERB
iajs-1204	16	8	sets	set	NOUN
iajs-1204	16	9	of	of	ADP
iajs-1204	16	10	x	x	SYM
iajs-1204	16	11	is	be	AUX
iajs-1204	16	12	denoted	denote	VERB
iajs-1204	16	13	by	by	ADP
iajs-1204	16	14	s	s	NOUN
iajs-1204	16	15	-	-	PROPN
iajs-1204	16	16	p	p	ADJ
iajs-1204	16	17	c(x	c(x	NOUN
iajs-1204	16	18	)	)	PUNCT
iajs-1204	16	19	.	.	PUNCT
iajs-1204	17	1	proposition	proposition	NOUN
iajs-1204	17	2	1.6	1.6	NUM
iajs-1204	17	3	(	(	PUNCT
iajs-1204	17	4	2	2	NUM
iajs-1204	17	5	):	):	PUNCT
iajs-1204	17	6	for	for	ADP
iajs-1204	17	7	any	any	DET
iajs-1204	17	8	subset	subset	NOUN
iajs-1204	17	9	a	a	PRON
iajs-1204	17	10	of	of	ADP
iajs-1204	17	11	a	a	DET
iajs-1204	17	12	topological	topological	ADJ
iajs-1204	17	13	space	space	NOUN
iajs-1204	17	14	(	(	PUNCT
iajs-1204	17	15	x	x	NOUN
iajs-1204	17	16	,	,	PUNCT
iajs-1204	17	17			PROPN
iajs-1204	17	18	)	)	PUNCT
iajs-1204	17	19	,	,	PUNCT
iajs-1204	17	20	pre	pre	ADJ
iajs-1204	17	21	-	-	NOUN
iajs-1204	17	22	cl	cl	VERB
iajs-1204	17	23	a	a	DET
iajs-1204	17	24	ح	ح	NOUN
iajs-1204	17	25	a	a	DET
iajs-1204	17	26	�	�	PROPN
iajs-1204	17	27	and	and	CCONJ
iajs-1204	17	28	the	the	DET
iajs-1204	17	29	converse	converse	NOUN
iajs-1204	17	30	is	be	AUX
iajs-1204	17	31	not	not	PART
iajs-1204	17	32	true	true	ADJ
iajs-1204	17	33	.	.	PUNCT
iajs-1204	18	1	ibn	ibn	PROPN
iajs-1204	18	2	alhaitham	alhaitham	NOUN
iajs-1204	19	1	j.	j.	PROPN
iajs-1204	20	1	fo	fo	ADP
iajs-1204	20	2	r	r	NOUN
iajs-1204	20	3	pure	pure	ADJ
iajs-1204	20	4	&	&	CCONJ
iajs-1204	20	5	appl	appl	PROPN
iajs-1204	20	6	.	.	PUNCT
iajs-1204	21	1	sc	sc	PROPN
iajs-1204	22	1	i	i	PRON
iajs-1204	22	2	vo	vo	INTJ
iajs-1204	22	3	l.22	l.22	X
iajs-1204	22	4	(	(	PUNCT
iajs-1204	22	5	3	3	NUM
iajs-1204	22	6	)	)	PUNCT
iajs-1204	22	7	2009	2009	NUM
iajs-1204	22	8	2	2	NUM
iajs-1204	22	9	.	.	PUNCT
iajs-1204	22	10	semi	semi	ADJ
iajs-1204	22	11	–	–	PUNCT
iajs-1204	22	12	preopen	preopen	ADJ
iajs-1204	22	13	sets	set	NOUN
iajs-1204	22	14	definition	definition	NOUN
iajs-1204	22	15	2.1(6	2.1(6	NUM
iajs-1204	22	16	):	):	PUNCT
iajs-1204	22	17	a	a	DET
iajs-1204	22	18	subset	subset	NOUN
iajs-1204	22	19	a	a	PRON
iajs-1204	22	20	of	of	ADP
iajs-1204	22	21	a	a	DET
iajs-1204	22	22	topological	topological	ADJ
iajs-1204	22	23	space	space	NOUN
iajs-1204	22	24	(	(	PUNCT
iajs-1204	22	25	x	x	X
iajs-1204	22	26	,	,	PUNCT
iajs-1204	22	27			PROPN
iajs-1204	22	28	)	)	PUNCT
iajs-1204	22	29	is	be	AUX
iajs-1204	22	30	said	say	VERB
iajs-1204	22	31	to	to	PART
iajs-1204	22	32	be	be	AUX
iajs-1204	22	33	semi	semi	ADJ
iajs-1204	22	34	-	-	ADJ
iajs-1204	22	35	preopen	preopen	ADJ
iajs-1204	22	36	set	set	NOUN
iajs-1204	22	37	,	,	PUNCT
iajs-1204	22	38	if	if	SCONJ
iajs-1204	22	39	and	and	CCONJ
iajs-1204	22	40	only	only	ADV
iajs-1204	22	41	if	if	SCONJ
iajs-1204	22	42	there	there	PRON
iajs-1204	22	43	exists	exist	VERB
iajs-1204	22	44	a	a	DET
iajs-1204	22	45	preopen	preopen	ADJ
iajs-1204	22	46	set	set	NOUN
iajs-1204	22	47	in	in	ADP
iajs-1204	22	48	x	x	PART
iajs-1204	22	49	say	say	VERB
iajs-1204	22	50	u	u	NOUN
iajs-1204	22	51	such	such	ADJ
iajs-1204	22	52	that	that	SCONJ
iajs-1204	22	53	u	u	PRON
iajs-1204	22	54	ح	ح	VERB
iajs-1204	22	55	a	a	DET
iajs-1204	22	56	ح	ح	PROPN
iajs-1204	22	57	�	�	PROPN
iajs-1204	22	58	�	�	PROPN
iajs-1204	22	59	the	the	DET
iajs-1204	22	60	complement	complement	NOUN
iajs-1204	22	61	of	of	ADP
iajs-1204	22	62	semi	semi	ADJ
iajs-1204	22	63	-	-	ADJ
iajs-1204	22	64	preopen	preopen	ADJ
iajs-1204	22	65	set	set	NOUN
iajs-1204	22	66	is	be	AUX
iajs-1204	22	67	called	call	VERB
iajs-1204	22	68	semipreclosed	semipreclose	VERB
iajs-1204	22	69	set	set	NOUN
iajs-1204	22	70	.	.	PUNCT
iajs-1204	23	1	the	the	DET
iajs-1204	23	2	family	family	NOUN
iajs-1204	23	3	of	of	ADP
iajs-1204	23	4	all	all	DET
iajs-1204	23	5	semi	semi	ADJ
iajs-1204	23	6	-	-	ADJ
iajs-1204	23	7	preopen	preopen	ADJ
iajs-1204	23	8	sets	set	NOUN
iajs-1204	23	9	of	of	ADP
iajs-1204	23	10	x	x	SYM
iajs-1204	23	11	is	be	AUX
iajs-1204	23	12	denoted	denote	VERB
iajs-1204	23	13	by	by	ADP
iajs-1204	23	14	spo(x	spo(x	PROPN
iajs-1204	23	15	)	)	PUNCT
iajs-1204	23	16	.	.	PUNCT
iajs-1204	24	1	the	the	DET
iajs-1204	24	2	family	family	NOUN
iajs-1204	24	3	of	of	ADP
iajs-1204	24	4	all	all	DET
iajs-1204	24	5	semi	semi	ADJ
iajs-1204	24	6	-	-	ADJ
iajs-1204	24	7	preclosed	preclosed	ADJ
iajs-1204	24	8	sets	set	NOUN
iajs-1204	24	9	of	of	ADP
iajs-1204	24	10	x	x	SYM
iajs-1204	24	11	is	be	AUX
iajs-1204	24	12	denoted	denote	VERB
iajs-1204	24	13	by	by	ADP
iajs-1204	24	14	spc(x	spc(x	PROPN
iajs-1204	24	15	)	)	PUNCT
iajs-1204	24	16	.	.	PUNCT
iajs-1204	25	1	definition	definition	NOUN
iajs-1204	25	2	2.2	2.2	NUM
iajs-1204	25	3	:	:	PUNCT
iajs-1204	25	4	let	let	VERB
iajs-1204	25	5	(	(	PUNCT
iajs-1204	25	6	x	x	X
iajs-1204	25	7	,	,	PUNCT
iajs-1204	25	8			PROPN
iajs-1204	25	9	)	)	PUNCT
iajs-1204	25	10	be	be	AUX
iajs-1204	25	11	a	a	DET
iajs-1204	25	12	topological	topological	ADJ
iajs-1204	25	13	space	space	NOUN
iajs-1204	25	14	and	and	CCONJ
iajs-1204	25	15	aح	aح	ADP
iajs-1204	25	16	x	x	NOUN
iajs-1204	25	17	,	,	PUNCT
iajs-1204	25	18	a	a	PRON
iajs-1204	25	19	is	be	AUX
iajs-1204	25	20	called	call	VERB
iajs-1204	25	21	semi	semi	ADJ
iajs-1204	25	22	-	-	ADJ
iajs-1204	25	23	preneighborhood	preneighborhood	NOUN
iajs-1204	25	24	of	of	ADP
iajs-1204	25	25	a	a	DET
iajs-1204	25	26	point	point	NOUN
iajs-1204	25	27	x	x	PUNCT
iajs-1204	25	28	in	in	ADP
iajs-1204	25	29	x	x	SYM
iajs-1204	25	30	,	,	PUNCT
iajs-1204	25	31	if	if	SCONJ
iajs-1204	25	32	there	there	PRON
iajs-1204	25	33	exists	exist	VERB
iajs-1204	25	34	semi	semi	ADJ
iajs-1204	25	35	-	-	ADJ
iajs-1204	25	36	preopen	preopen	ADJ
iajs-1204	25	37	set	set	VERB
iajs-1204	25	38	u	u	NOUN
iajs-1204	25	39	in	in	ADP
iajs-1204	25	40	x	x	SYM
iajs-1204	25	41	such	such	ADJ
iajs-1204	25	42	that	that	SCONJ
iajs-1204	25	43	xخ	xخ	PROPN
iajs-1204	26	1	u	u	PROPN
iajs-1204	26	2	ح	ح	NOUN
iajs-1204	26	3	a	a	PRON
iajs-1204	26	4	.	.	PUNCT
iajs-1204	27	1	theorem	theorem	ADJ
iajs-1204	27	2	2.3	2.3	NUM
iajs-1204	27	3	:	:	PUNCT
iajs-1204	27	4	the	the	DET
iajs-1204	27	5	union	union	NOUN
iajs-1204	27	6	of	of	ADP
iajs-1204	27	7	any	any	DET
iajs-1204	27	8	family	family	NOUN
iajs-1204	27	9	of	of	ADP
iajs-1204	27	10	semipreopen	semipreopen	ADJ
iajs-1204	27	11	sets	set	NOUN
iajs-1204	27	12	is	be	AUX
iajs-1204	27	13	semipreopen	semipreopen	ADJ
iajs-1204	27	14	set	set	VERB
iajs-1204	27	15	.	.	PUNCT
iajs-1204	28	1	proof	proof	NOUN
iajs-1204	28	2	:	:	PUNCT
iajs-1204	28	3	let	let	VERB
iajs-1204	28	4	{	{	PUNCT
iajs-1204	28	5	aα	aα	NOUN
iajs-1204	28	6	}	}	PUNCT
iajs-1204	28	7	;	;	PUNCT
iajs-1204	28	8	α	α	PROPN
iajs-1204	28	9	خl	خl	AUX
iajs-1204	28	10	be	be	AUX
iajs-1204	28	11	any	any	DET
iajs-1204	28	12	family	family	NOUN
iajs-1204	28	13	of	of	ADP
iajs-1204	28	14	semi	semi	ADJ
iajs-1204	28	15	-	-	ADJ
iajs-1204	28	16	preopen	preopen	ADJ
iajs-1204	28	17	sets	set	NOUN
iajs-1204	28	18	,	,	PUNCT
iajs-1204	28	19	we	we	PRON
iajs-1204	28	20	must	must	AUX
iajs-1204	28	21	prove	prove	VERB
iajs-1204	28	22	⋃	⋃	PROPN
iajs-1204	28	23	�	�	PROPN
iajs-1204	28	24	�	�	PROPN
iajs-1204	28	25	�	�	PROPN
iajs-1204	28	26	∈	∈	PROPN
iajs-1204	28	27	�	�	PROPN
iajs-1204	28	28	is	be	AUX
iajs-1204	28	29	semi	semi	ADJ
iajs-1204	28	30	-	-	ADJ
iajs-1204	28	31	preopen	preopen	ADJ
iajs-1204	28	32	set	set	NOUN
iajs-1204	28	33	.	.	PUNCT
iajs-1204	29	1	this	this	PRON
iajs-1204	29	2	means	mean	VERB
iajs-1204	29	3	we	we	PRON
iajs-1204	29	4	must	must	AUX
iajs-1204	29	5	prove	prove	VERB
iajs-1204	29	6	there	there	PRON
iajs-1204	29	7	exists	exist	VERB
iajs-1204	29	8	uخpo(x	uخpo(x	ADP
iajs-1204	29	9	)	)	PUNCT
iajs-1204	29	10	such	such	ADJ
iajs-1204	29	11	that	that	SCONJ
iajs-1204	29	12	u	u	PROPN
iajs-1204	29	13	⋃	⋃	PROPN
iajs-1204	29	14	ح	ح	NOUN
iajs-1204	29	15	�	�	NOUN
iajs-1204	29	16	∈	∈	PROPN
iajs-1204	29	17	�	�	PROPN
iajs-1204	29	18	�	�	PROPN
iajs-1204	29	19	�	�	PROPN
iajs-1204	29	20	.	.	PUNCT
iajs-1204	30	1	�	�	PROPN
iajs-1204	30	2	�	�	PROPN
iajs-1204	30	3	ح	ح	PROPN
iajs-1204	30	4	since	since	SCONJ
iajs-1204	30	5	for	for	ADP
iajs-1204	30	6	all	all	DET
iajs-1204	30	7	αخl	αخl	NOUN
iajs-1204	30	8	,	,	PUNCT
iajs-1204	30	9	aα	aα	PROPN
iajs-1204	30	10	is	be	AUX
iajs-1204	30	11	semipreopen	semipreopen	ADJ
iajs-1204	30	12	,	,	PUNCT
iajs-1204	30	13	therefore	therefore	ADV
iajs-1204	30	14	there	there	PRON
iajs-1204	30	15	exists	exist	VERB
iajs-1204	30	16	uα	uα	PROPN
iajs-1204	30	17	خpo(x	خpo(x	NUM
iajs-1204	30	18	)	)	PUNCT
iajs-1204	30	19	such	such	ADJ
iajs-1204	30	20	that	that	SCONJ
iajs-1204	30	21	�	�	PROPN
iajs-1204	30	22	�	�	PROPN
iajs-1204	30	23	ح	ح	PROPN
iajs-1204	30	24	�	�	PROPN
iajs-1204	30	25	�	�	PROPN
iajs-1204	30	26	ح	ح	PROPN
iajs-1204	30	27	�	�	PROPN
iajs-1204	30	28	�	�	PROPN
iajs-1204	30	29	�	�	PROPN
iajs-1204	30	30	,	,	PUNCT
iajs-1204	30	31	and	and	CCONJ
iajs-1204	30	32	since	since	SCONJ
iajs-1204	30	33	⋃	⋃	PROPN
iajs-1204	30	34	�	�	PROPN
iajs-1204	30	35	�	�	PROPN
iajs-1204	30	36	�	�	PROPN
iajs-1204	30	37	∈	∈	PROPN
iajs-1204	30	38	�	�	PROPN
iajs-1204	30	39	is	be	AUX
iajs-1204	30	40	a	a	DET
iajs-1204	30	41	preopen	preopen	ADJ
iajs-1204	30	42	set	set	NOUN
iajs-1204	30	43	(	(	PUNCT
iajs-1204	30	44	by	by	ADP
iajs-1204	30	45	theorem	theorem	NOUN
iajs-1204	30	46	1.3	1.3	NUM
iajs-1204	30	47	)	)	PUNCT
iajs-1204	30	48	,	,	PUNCT
iajs-1204	30	49	therefore	therefore	ADV
iajs-1204	30	50	let	let	VERB
iajs-1204	30	51	u	u	PRON
iajs-1204	30	52	=	=	NOUN
iajs-1204	30	53	⋃	⋃	PROPN
iajs-1204	30	54	�	�	PROPN
iajs-1204	30	55	�	�	PROPN
iajs-1204	30	56	�	�	PROPN
iajs-1204	30	57	∈	∈	PROPN
iajs-1204	30	58	�	�	PROPN
iajs-1204	30	59	,	,	PUNCT
iajs-1204	30	60	then	then	ADV
iajs-1204	30	61	we	we	PRON
iajs-1204	30	62	get	get	VERB
iajs-1204	30	63	u	u	PRON
iajs-1204	30	64	ح	ح	NOUN
iajs-1204	30	65	⋃	⋃	PROPN
iajs-1204	30	66	�	�	PROPN
iajs-1204	30	67	�	�	PROPN
iajs-1204	30	68	�	�	PROPN
iajs-1204	30	69	∈	∈	PROPN
iajs-1204	30	70	�	�	PROPN
iajs-1204	30	71	…	…	PUNCT
iajs-1204	30	72	…	…	SYM
iajs-1204	30	73	……	……	X
iajs-1204	30	74	(	(	PUNCT
iajs-1204	30	75	1	1	X
iajs-1204	30	76	)	)	PUNCT
iajs-1204	30	77	now	now	ADV
iajs-1204	30	78	since	since	SCONJ
iajs-1204	30	79	�	�	PROPN
iajs-1204	30	80	�	�	PROPN
iajs-1204	30	81	ح	ح	PROPN
iajs-1204	30	82	�	�	PROPN
iajs-1204	30	83	�	�	PROPN
iajs-1204	30	84	�	�	PROPN
iajs-1204	30	85	for	for	ADP
iajs-1204	30	86	all	all	DET
iajs-1204	30	87	αخl	αخl	NOUN
iajs-1204	30	88	,	,	PUNCT
iajs-1204	30	89	therefore	therefore	ADV
iajs-1204	30	90	⋃	⋃	PROPN
iajs-1204	30	91	�	�	PROPN
iajs-1204	30	92	�	�	PROPN
iajs-1204	30	93	�	�	PROPN
iajs-1204	30	94	∈	∈	PROPN
iajs-1204	30	95	�	�	PROPN
iajs-1204	30	96	⋃	⋃	PROPN
iajs-1204	30	97	ح	ح	PROPN
iajs-1204	30	98	lخ	lخ	PROPN
iajs-1204	30	99	�	�	PROPN
iajs-1204	30	100	�	�	PROPN
iajs-1204	30	101	�	�	PROPN
iajs-1204	30	102	�	�	PROPN
iajs-1204	30	103	for	for	ADP
iajs-1204	30	104	all	all	DET
iajs-1204	30	105	αخl	αخl	NOUN
iajs-1204	30	106	,	,	PUNCT
iajs-1204	30	107	implies	imply	VERB
iajs-1204	30	108	⋃	⋃	PROPN
iajs-1204	30	109	lخ	lخ	PROPN
iajs-1204	30	110	�	�	PROPN
iajs-1204	30	111	�	�	PROPN
iajs-1204	30	112	�	�	PROPN
iajs-1204	30	113	⋃	⋃	PROPN
iajs-1204	30	114	ح	ح	PROPN
iajs-1204	30	115	lخ	lخ	PROPN
iajs-1204	30	116	�	�	PROPN
iajs-1204	30	117	�	�	PROPN
iajs-1204	30	118	�	�	PROPN
iajs-1204	30	119	�	�	PROPN
iajs-1204	30	120	�	�	PROPN
iajs-1204	30	121	�	�	PROPN
iajs-1204	30	122	�	�	PROPN
iajs-1204	30	123	�	�	PROPN
iajs-1204	30	124	�	�	PROPN
iajs-1204	30	125	�	�	PROPN
iajs-1204	30	126	�	�	PROPN
iajs-1204	30	127	�	�	PROPN
iajs-1204	30	128	�	�	PROPN
iajs-1204	30	129	�	�	PROPN
iajs-1204	30	130	for	for	ADP
iajs-1204	30	131	all	all	DET
iajs-1204	30	132	αخl	αخl	NOUN
iajs-1204	30	133	,	,	PUNCT
iajs-1204	30	134	thus	thus	ADV
iajs-1204	30	135	⋃	⋃	PUNCT
iajs-1204	30	136	lخ	lخ	PROPN
iajs-1204	30	137	�	�	PROPN
iajs-1204	30	138	�	�	PROPN
iajs-1204	30	139	�	�	PROPN
iajs-1204	30	140	�	�	PROPN
iajs-1204	30	141	�	�	PROPN
iajs-1204	30	142	ح	ح	NOUN
iajs-1204	31	1	=	=	PUNCT
iajs-1204	31	2	⋃	⋃	PROPN
iajs-1204	31	3	lخ	lخ	PROPN
iajs-1204	31	4	�	�	PROPN
iajs-1204	31	5	�	�	PROPN
iajs-1204	31	6	�	�	PROPN
iajs-1204	31	7	�	�	PROPN
iajs-1204	31	8	�	�	PROPN
iajs-1204	31	9	�	�	PROPN
iajs-1204	31	10	�	�	PROPN
iajs-1204	31	11	�	�	PROPN
iajs-1204	31	12	�	�	PROPN
iajs-1204	31	13	�	�	PROPN
iajs-1204	31	14	�	�	PROPN
iajs-1204	31	15	�	�	PROPN
iajs-1204	31	16	�	�	PROPN
iajs-1204	31	17	�	�	PROPN
iajs-1204	31	18	…	…	PUNCT
iajs-1204	31	19	..	..	PUNCT
iajs-1204	31	20	(	(	PUNCT
iajs-1204	31	21	2	2	X
iajs-1204	31	22	)	)	PUNCT
iajs-1204	31	23	and	and	CCONJ
iajs-1204	31	24	from	from	ADP
iajs-1204	31	25	(	(	PUNCT
iajs-1204	31	26	1	1	NUM
iajs-1204	31	27	)	)	PUNCT
iajs-1204	31	28	and	and	CCONJ
iajs-1204	31	29	(	(	PUNCT
iajs-1204	31	30	2	2	X
iajs-1204	31	31	)	)	PUNCT
iajs-1204	31	32	we	we	PRON
iajs-1204	31	33	get	get	VERB
iajs-1204	31	34	,	,	PUNCT
iajs-1204	31	35	there	there	PRON
iajs-1204	31	36	exists	exist	VERB
iajs-1204	31	37	uخpo(x	uخpo(x	ADP
iajs-1204	31	38	)	)	PUNCT
iajs-1204	31	39	such	such	ADJ
iajs-1204	31	40	that	that	SCONJ
iajs-1204	31	41	u	u	PROPN
iajs-1204	31	42	ح	ح	PROPN
iajs-1204	31	43	⋃	⋃	PROPN
iajs-1204	31	44	�	�	PROPN
iajs-1204	31	45	�	�	PROPN
iajs-1204	31	46	�	�	PROPN
iajs-1204	31	47	∈	∈	PROPN
iajs-1204	31	48	�	�	PROPN
iajs-1204	31	49	⋃	⋃	PROPN
iajs-1204	31	50	therefore	therefore	ADV
iajs-1204	31	51	,	,	PUNCT
iajs-1204	31	52	�	�	PROPN
iajs-1204	31	53	�	�	PROPN
iajs-1204	31	54	ح	ح	PROPN
iajs-1204	31	55	�	�	PROPN
iajs-1204	31	56	∈	∈	PROPN
iajs-1204	31	57	�	�	PROPN
iajs-1204	31	58	�	�	PROPN
iajs-1204	31	59	�	�	PROPN
iajs-1204	31	60	is	be	AUX
iajs-1204	31	61	semi	semi	ADJ
iajs-1204	31	62	-	-	ADJ
iajs-1204	31	63	preopen	preopen	ADJ
iajs-1204	31	64	set	set	NOUN
iajs-1204	31	65	.	.	PUNCT
iajs-1204	32	1	■	■	PUNCT
iajs-1204	32	2	corollary	corollary	ADJ
iajs-1204	32	3	2.4	2.4	NUM
iajs-1204	32	4	:	:	PUNCT
iajs-1204	32	5	the	the	DET
iajs-1204	32	6	intersection	intersection	NOUN
iajs-1204	32	7	of	of	ADP
iajs-1204	32	8	any	any	DET
iajs-1204	32	9	family	family	NOUN
iajs-1204	32	10	of	of	ADP
iajs-1204	32	11	semi	semi	ADJ
iajs-1204	32	12	-	-	ADJ
iajs-1204	32	13	preclosed	preclosed	ADJ
iajs-1204	32	14	sets	set	NOUN
iajs-1204	32	15	is	be	AUX
iajs-1204	32	16	semi	semi	ADJ
iajs-1204	32	17	-	-	ADJ
iajs-1204	32	18	preclosed	preclosed	ADJ
iajs-1204	32	19	set	set	NOUN
iajs-1204	32	20	.	.	PUNCT
iajs-1204	33	1	remark	remark	VERB
iajs-1204	33	2	2.5	2.5	NUM
iajs-1204	33	3	:	:	PUNCT
iajs-1204	33	4	the	the	DET
iajs-1204	33	5	intersection	intersection	NOUN
iajs-1204	33	6	of	of	ADP
iajs-1204	33	7	two	two	NUM
iajs-1204	33	8	semi	semi	ADJ
iajs-1204	33	9	-	-	ADJ
iajs-1204	33	10	preopen	preopen	ADJ
iajs-1204	33	11	sets	set	NOUN
iajs-1204	33	12	need	need	VERB
iajs-1204	33	13	not	not	PART
iajs-1204	33	14	to	to	PART
iajs-1204	33	15	be	be	AUX
iajs-1204	33	16	semi	semi	ADJ
iajs-1204	33	17	-	-	ADJ
iajs-1204	33	18	preopen	preopen	ADJ
iajs-1204	33	19	set	set	NOUN
iajs-1204	33	20	,	,	PUNCT
iajs-1204	33	21	as	as	SCONJ
iajs-1204	33	22	the	the	DET
iajs-1204	33	23	following	follow	VERB
iajs-1204	33	24	example	example	NOUN
iajs-1204	33	25	shows	show	VERB
iajs-1204	33	26	:	:	PUNCT
iajs-1204	33	27	example	example	NOUN
iajs-1204	33	28	1	1	NUM
iajs-1204	33	29	:	:	PUNCT
iajs-1204	33	30	let	let	VERB
iajs-1204	33	31	x={1,2,3	x={1,2,3	VERB
iajs-1204	33	32	}	}	PUNCT
iajs-1204	33	33	,	,	PUNCT
iajs-1204	33	34			NOUN
iajs-1204	33	35	=	=	PRON
iajs-1204	33	36	{	{	PUNCT
iajs-1204	33	37	x,	x,	PROPN
iajs-1204	33	38	,	,	PUNCT
iajs-1204	33	39	{	{	PUNCT
iajs-1204	33	40	1,2	1,2	NUM
iajs-1204	33	41	}	}	PUNCT
iajs-1204	33	42	}	}	PUNCT
iajs-1204	33	43	po(x	po(x	NUM
iajs-1204	33	44	)	)	PUNCT
iajs-1204	34	1	=	=	SYM
iajs-1204	34	2			PROPN
iajs-1204	34	3			NOUN
iajs-1204	34	4	{	{	PUNCT
iajs-1204	34	5	{	{	PUNCT
iajs-1204	34	6	1},{2},{1,3},{2,3	1},{2},{1,3},{2,3	NUM
iajs-1204	34	7	}	}	PUNCT
iajs-1204	34	8	}	}	PUNCT
iajs-1204	34	9	,	,	PUNCT
iajs-1204	34	10	spo(x	spo(x	X
iajs-1204	34	11	)	)	PUNCT
iajs-1204	34	12	=	=	NOUN
iajs-1204	34	13	po(x	po(x	X
iajs-1204	34	14	)	)	PUNCT
iajs-1204	34	15	let	let	VERB
iajs-1204	34	16	a=	a=	VERB
iajs-1204	34	17	{	{	PUNCT
iajs-1204	34	18	1,3	1,3	NUM
iajs-1204	34	19	}	}	PUNCT
iajs-1204	34	20	and	and	CCONJ
iajs-1204	34	21	b={2,3	b={2,3	NOUN
iajs-1204	34	22	}	}	PUNCT
iajs-1204	34	23	are	be	AUX
iajs-1204	34	24	both	both	PRON
iajs-1204	34	25	semi	semi	ADJ
iajs-1204	34	26	-	-	ADJ
iajs-1204	34	27	preopen	preopen	ADJ
iajs-1204	34	28	sets	set	NOUN
iajs-1204	34	29	,	,	PUNCT
iajs-1204	34	30	but	but	CCONJ
iajs-1204	34	31	a	a	DET
iajs-1204	34	32			ADJ
iajs-1204	34	33	b={3	b={3	NOUN
iajs-1204	34	34	}	}	PUNCT
iajs-1204	34	35	is	be	AUX
iajs-1204	34	36	not	not	PART
iajs-1204	34	37	semi	semi	ADJ
iajs-1204	34	38	-	-	ADJ
iajs-1204	34	39	preopen	preopen	ADJ
iajs-1204	34	40	set	set	NOUN
iajs-1204	34	41	.	.	PUNCT
iajs-1204	35	1	remark	remark	VERB
iajs-1204	35	2	2.6	2.6	NUM
iajs-1204	35	3	:	:	PUNCT
iajs-1204	35	4	the	the	DET
iajs-1204	35	5	union	union	NOUN
iajs-1204	35	6	of	of	ADP
iajs-1204	35	7	two	two	NUM
iajs-1204	35	8	semi	semi	ADJ
iajs-1204	35	9	-	-	ADJ
iajs-1204	35	10	preclosed	preclose	VERB
iajs-1204	35	11	sets	set	NOUN
iajs-1204	35	12	need	need	VERB
iajs-1204	35	13	not	not	PART
iajs-1204	35	14	to	to	PART
iajs-1204	35	15	be	be	AUX
iajs-1204	35	16	semi	semi	ADJ
iajs-1204	35	17	-	-	ADJ
iajs-1204	35	18	preclosed	preclosed	ADJ
iajs-1204	35	19	set	set	NOUN
iajs-1204	35	20	,	,	PUNCT
iajs-1204	35	21	as	as	SCONJ
iajs-1204	35	22	the	the	DET
iajs-1204	35	23	example	example	NOUN
iajs-1204	35	24	1	1	NUM
iajs-1204	35	25	,	,	PUNCT
iajs-1204	35	26	{	{	PUNCT
iajs-1204	35	27	1	1	NUM
iajs-1204	35	28	}	}	PUNCT
iajs-1204	35	29	and	and	CCONJ
iajs-1204	35	30	{	{	PUNCT
iajs-1204	35	31	2	2	NUM
iajs-1204	35	32	}	}	PUNCT
iajs-1204	35	33	are	be	AUX
iajs-1204	35	34	two	two	NUM
iajs-1204	35	35	semi	semi	ADJ
iajs-1204	35	36	-	-	ADJ
iajs-1204	35	37	preclosed	preclosed	ADJ
iajs-1204	35	38	sets	set	NOUN
iajs-1204	35	39	since	since	SCONJ
iajs-1204	35	40	x-{1}={2,3	x-{1}={2,3	PROPN
iajs-1204	35	41	}	}	PUNCT
iajs-1204	35	42	and	and	CCONJ
iajs-1204	35	43	x-{2}={1,3	x-{2}={1,3	PROPN
iajs-1204	35	44	}	}	PUNCT
iajs-1204	35	45	are	be	AUX
iajs-1204	35	46	two	two	NUM
iajs-1204	35	47	semi	semi	ADJ
iajs-1204	35	48	-	-	ADJ
iajs-1204	35	49	preopen	preopen	ADJ
iajs-1204	35	50	sets	set	NOUN
iajs-1204	35	51	,	,	PUNCT
iajs-1204	35	52	but	but	CCONJ
iajs-1204	35	53	{	{	PUNCT
iajs-1204	35	54	1}{2}={1,2	1}{2}={1,2	X
iajs-1204	35	55	}	}	PUNCT
iajs-1204	35	56	is	be	AUX
iajs-1204	35	57	not	not	PART
iajs-1204	35	58	semi	semi	ADV
iajs-1204	35	59	-	-	ADJ
iajs-1204	35	60	preclosed	preclosed	ADJ
iajs-1204	35	61	set	set	NOUN
iajs-1204	35	62	since	since	SCONJ
iajs-1204	35	63	x-{1,2}={3	x-{1,2}={3	PROPN
iajs-1204	35	64	}	}	PUNCT
iajs-1204	35	65	is	be	AUX
iajs-1204	35	66	not	not	PART
iajs-1204	35	67	semi	semi	ADJ
iajs-1204	35	68	-	-	ADJ
iajs-1204	35	69	preopen	preopen	ADJ
iajs-1204	35	70	set	set	NOUN
iajs-1204	35	71	.	.	PUNCT
iajs-1204	36	1	definition	definition	NOUN
iajs-1204	36	2	2.7	2.7	NUM
iajs-1204	36	3	:	:	PUNCT
iajs-1204	36	4	the	the	DET
iajs-1204	36	5	union	union	NOUN
iajs-1204	36	6	of	of	ADP
iajs-1204	36	7	all	all	DET
iajs-1204	36	8	semi	semi	ADJ
iajs-1204	36	9	-	-	ADJ
iajs-1204	36	10	preopen	preopen	ADJ
iajs-1204	36	11	sets	set	NOUN
iajs-1204	36	12	contained	contain	VERB
iajs-1204	36	13	in	in	ADP
iajs-1204	36	14	a	a	PRON
iajs-1204	36	15	is	be	AUX
iajs-1204	36	16	called	call	VERB
iajs-1204	36	17	the	the	DET
iajs-1204	36	18	semi	semi	ADJ
iajs-1204	36	19	-	-	NOUN
iajs-1204	36	20	preinterior	preinterior	ADJ
iajs-1204	36	21	of	of	ADP
iajs-1204	36	22	a	a	PRON
iajs-1204	36	23	,	,	PUNCT
iajs-1204	36	24	denoted	denote	VERB
iajs-1204	36	25	by	by	ADP
iajs-1204	36	26	s	s	NOUN
iajs-1204	36	27	-	-	PUNCT
iajs-1204	36	28	pre	pre	NOUN
iajs-1204	36	29	-	-	NOUN
iajs-1204	36	30	int	int	ADJ
iajs-1204	36	31	a	a	PRON
iajs-1204	36	32	.	.	PUNCT
iajs-1204	37	1	definition	definition	NOUN
iajs-1204	37	2	2.8	2.8	NUM
iajs-1204	37	3	:	:	PUNCT
iajs-1204	37	4	the	the	DET
iajs-1204	37	5	intersection	intersection	NOUN
iajs-1204	37	6	of	of	ADP
iajs-1204	37	7	all	all	DET
iajs-1204	37	8	semi	semi	ADJ
iajs-1204	37	9	-	-	ADJ
iajs-1204	37	10	preclosed	preclosed	ADJ
iajs-1204	37	11	sets	set	NOUN
iajs-1204	37	12	containing	contain	VERB
iajs-1204	37	13	a	a	PRON
iajs-1204	37	14	is	be	AUX
iajs-1204	37	15	called	call	VERB
iajs-1204	37	16	the	the	DET
iajs-1204	37	17	semi	semi	ADJ
iajs-1204	37	18	-	-	ADJ
iajs-1204	37	19	preclosure	preclosure	ADJ
iajs-1204	37	20	of	of	ADP
iajs-1204	37	21	a	a	PRON
iajs-1204	37	22	,	,	PUNCT
iajs-1204	37	23	denoted	denote	VERB
iajs-1204	37	24	by	by	ADP
iajs-1204	37	25	s	s	NOUN
iajs-1204	37	26	-	-	PUNCT
iajs-1204	37	27	pre	pre	NOUN
iajs-1204	37	28	-	-	NOUN
iajs-1204	37	29	cl	cl	ADJ
iajs-1204	37	30	a	a	PRON
iajs-1204	37	31	.	.	PUNCT
iajs-1204	38	1	proposition	proposition	NOUN
iajs-1204	38	2	2.9	2.9	NUM
iajs-1204	38	3	:	:	SYM
iajs-1204	38	4	1	1	X
iajs-1204	38	5	.	.	X
iajs-1204	39	1	if	if	SCONJ
iajs-1204	39	2	aح	aح	VERB
iajs-1204	39	3	b	b	NOUN
iajs-1204	39	4	,	,	PUNCT
iajs-1204	39	5	then	then	ADV
iajs-1204	39	6	s	s	NOUN
iajs-1204	39	7	-	-	PUNCT
iajs-1204	39	8	pre	pre	NOUN
iajs-1204	39	9	-	-	NOUN
iajs-1204	39	10	int	int	ADJ
iajs-1204	39	11	a	a	DET
iajs-1204	39	12	ح	ح	NOUN
iajs-1204	39	13	s	s	NOUN
iajs-1204	39	14	-	-	PUNCT
iajs-1204	39	15	pre	pre	ADJ
iajs-1204	39	16	-	-	ADJ
iajs-1204	39	17	int	int	ADJ
iajs-1204	39	18	b.	b.	PROPN
iajs-1204	39	19	.a	.a	PROPN
iajs-1204	39	20	.	.	PUNCT
iajs-1204	40	1	s	s	X
iajs-1204	40	2	-	-	PUNCT
iajs-1204	40	3	pre	pre	NOUN
iajs-1204	40	4	-	-	NOUN
iajs-1204	40	5	int	int	ADJ
iajs-1204	40	6	a	a	DET
iajs-1204	40	7	2	2	NUM
iajs-1204	40	8	ح	ح	NOUN
iajs-1204	40	9	3	3	NUM
iajs-1204	40	10	.	.	PUNCT
iajs-1204	41	1	s	s	X
iajs-1204	41	2	-	-	PUNCT
iajs-1204	41	3	pre	pre	NOUN
iajs-1204	41	4	-	-	ADJ
iajs-1204	41	5	int	int	ADJ
iajs-1204	41	6	a	a	DET
iajs-1204	41	7			NOUN
iajs-1204	41	8	s	s	NOUN
iajs-1204	41	9	-	-	PUNCT
iajs-1204	41	10	pre	pre	ADJ
iajs-1204	41	11	-	-	ADJ
iajs-1204	41	12	int	int	ADJ
iajs-1204	41	13	b	b	PROPN
iajs-1204	41	14	ح	ح	NOUN
iajs-1204	41	15	s	s	NOUN
iajs-1204	41	16	-	-	PUNCT
iajs-1204	41	17	pre	pre	NOUN
iajs-1204	41	18	-	-	ADJ
iajs-1204	41	19	int	int	ADJ
iajs-1204	41	20	(	(	PUNCT
iajs-1204	41	21	a	a	DET
iajs-1204	41	22			NOUN
iajs-1204	41	23	b	b	PROPN
iajs-1204	41	24	)	)	PUNCT
iajs-1204	41	25	.	.	PUNCT
iajs-1204	42	1	4	4	X
iajs-1204	42	2	.	.	X
iajs-1204	42	3	s	s	X
iajs-1204	42	4	-	-	PUNCT
iajs-1204	42	5	pre	pre	NOUN
iajs-1204	42	6	-	-	ADJ
iajs-1204	42	7	int	int	ADJ
iajs-1204	42	8	(	(	PUNCT
iajs-1204	42	9	a	a	DET
iajs-1204	42	10			ADJ
iajs-1204	42	11	b	b	NOUN
iajs-1204	42	12	)	)	PUNCT
iajs-1204	42	13	ح	ح	NOUN
iajs-1204	42	14	s	s	NOUN
iajs-1204	42	15	-	-	PUNCT
iajs-1204	42	16	pre	pre	NOUN
iajs-1204	42	17	-	-	ADJ
iajs-1204	42	18	int	int	ADJ
iajs-1204	42	19	a	a	DET
iajs-1204	42	20			NOUN
iajs-1204	42	21	s	s	NOUN
iajs-1204	42	22	-	-	PUNCT
iajs-1204	42	23	pre	pre	ADJ
iajs-1204	42	24	-	-	ADJ
iajs-1204	42	25	int	int	ADJ
iajs-1204	42	26	b.	b.	NOUN
iajs-1204	42	27	proof	proof	NOUN
iajs-1204	42	28	:	:	PUNCT
iajs-1204	42	29	the	the	DET
iajs-1204	42	30	proof	proof	NOUN
iajs-1204	42	31	of	of	ADP
iajs-1204	42	32	(	(	PUNCT
iajs-1204	42	33	1	1	NUM
iajs-1204	42	34	)	)	PUNCT
iajs-1204	42	35	and	and	CCONJ
iajs-1204	42	36	(	(	PUNCT
iajs-1204	42	37	2	2	X
iajs-1204	42	38	)	)	PUNCT
iajs-1204	42	39	is	be	AUX
iajs-1204	42	40	direct	direct	ADJ
iajs-1204	42	41	by	by	ADP
iajs-1204	42	42	the	the	DET
iajs-1204	42	43	definition	definition	NOUN
iajs-1204	42	44	of	of	ADP
iajs-1204	42	45	subsets	subset	NOUN
iajs-1204	42	46	and	and	CCONJ
iajs-1204	42	47	s	s	NOUN
iajs-1204	42	48	-	-	PUNCT
iajs-1204	42	49	pre	pre	NOUN
iajs-1204	42	50	-	-	NOUN
iajs-1204	42	51	int	int	ADJ
iajs-1204	42	52	a	a	PRON
iajs-1204	42	53	.	.	PUNCT
iajs-1204	43	1	ibn	ibn	PROPN
iajs-1204	43	2	alhaitham	alhaitham	NOUN
iajs-1204	44	1	j.	j.	PROPN
iajs-1204	45	1	fo	fo	ADP
iajs-1204	45	2	r	r	NOUN
iajs-1204	45	3	pure	pure	ADJ
iajs-1204	45	4	&	&	CCONJ
iajs-1204	45	5	appl	appl	PROPN
iajs-1204	45	6	.	.	PUNCT
iajs-1204	46	1	sc	sc	PROPN
iajs-1204	47	1	i	i	PRON
iajs-1204	47	2	vo	vo	INTJ
iajs-1204	47	3	l.22	l.22	X
iajs-1204	47	4	(	(	PUNCT
iajs-1204	47	5	3	3	NUM
iajs-1204	47	6	)	)	PUNCT
iajs-1204	47	7	2009	2009	NUM
iajs-1204	47	8	3	3	NUM
iajs-1204	47	9	.	.	PUNCT
iajs-1204	48	1	since	since	SCONJ
iajs-1204	48	2	aح	aح	ADP
iajs-1204	48	3	a	a	PROPN
iajs-1204	48	4	,	,	PUNCT
iajs-1204	48	5	therefore	therefore	ADV
iajs-1204	48	6	s	s	NOUN
iajs-1204	48	7	-	-	PUNCT
iajs-1204	48	8	pre	pre	NOUN
iajs-1204	48	9	-	-	NOUN
iajs-1204	48	10	int	int	ADJ
iajs-1204	48	11	aح	aح	PROPN
iajs-1204	48	12	s	s	NOUN
iajs-1204	48	13	-	-	PUNCT
iajs-1204	48	14	pre	pre	NOUN
iajs-1204	48	15	-	-	ADJ
iajs-1204	48	16	int	int	ADJ
iajs-1204	48	17	(	(	PUNCT
iajs-1204	48	18	a	a	DET
iajs-1204	48	19			PROPN
iajs-1204	48	20	b	b	PROPN
iajs-1204	48	21	)	)	PUNCT
iajs-1204	48	22	(	(	PUNCT
iajs-1204	48	23	by	by	ADP
iajs-1204	48	24	part	part	NOUN
iajs-1204	48	25	1	1	NUM
iajs-1204	48	26	)	)	PUNCT
iajs-1204	48	27	,	,	PUNCT
iajs-1204	48	28	and	and	CCONJ
iajs-1204	48	29	since	since	SCONJ
iajs-1204	48	30	ح	ح	PROPN
iajs-1204	48	31	a	a	PROPN
iajs-1204	48	32	,	,	PUNCT
iajs-1204	48	33	therefore	therefore	ADV
iajs-1204	48	34	s	s	NOUN
iajs-1204	48	35	-	-	PUNCT
iajs-1204	48	36	pre	pre	ADJ
iajs-1204	48	37	-	-	ADJ
iajs-1204	48	38	int	int	ADJ
iajs-1204	48	39	ح	ح	NOUN
iajs-1204	48	40	s	s	NOUN
iajs-1204	48	41	-	-	PUNCT
iajs-1204	48	42	pre	pre	NOUN
iajs-1204	48	43	-	-	ADJ
iajs-1204	48	44	int	int	ADJ
iajs-1204	48	45	(	(	PUNCT
iajs-1204	48	46	a	a	DET
iajs-1204	48	47			PROPN
iajs-1204	48	48	b	b	PROPN
iajs-1204	48	49	)	)	PUNCT
iajs-1204	48	50	(	(	PUNCT
iajs-1204	48	51	by	by	ADP
iajs-1204	48	52	part	part	NOUN
iajs-1204	48	53	1	1	NUM
iajs-1204	48	54	)	)	PUNCT
iajs-1204	48	55	,	,	PUNCT
iajs-1204	48	56	implies	imply	VERB
iajs-1204	48	57	s	s	NOUN
iajs-1204	48	58	-	-	PUNCT
iajs-1204	48	59	pre	pre	NOUN
iajs-1204	48	60	-	-	ADJ
iajs-1204	48	61	int	int	ADJ
iajs-1204	48	62	a	a	DET
iajs-1204	48	63			NOUN
iajs-1204	48	64	s	s	NOUN
iajs-1204	48	65	-	-	NOUN
iajs-1204	48	66	preint	preint	NOUN
iajs-1204	48	67	b	b	PROPN
iajs-1204	48	68	ح	ح	NOUN
iajs-1204	48	69	s	s	NOUN
iajs-1204	48	70	-	-	PUNCT
iajs-1204	48	71	pre	pre	NOUN
iajs-1204	48	72	-	-	ADJ
iajs-1204	48	73	int	int	ADJ
iajs-1204	48	74	(	(	PUNCT
iajs-1204	48	75	a	a	DET
iajs-1204	48	76			NOUN
iajs-1204	48	77	b	b	PROPN
iajs-1204	48	78	)	)	PUNCT
iajs-1204	48	79	.	.	PUNCT
iajs-1204	49	1	the	the	DET
iajs-1204	49	2	converse	converse	NOUN
iajs-1204	49	3	is	be	AUX
iajs-1204	49	4	not	not	PART
iajs-1204	49	5	true	true	ADJ
iajs-1204	49	6	in	in	ADP
iajs-1204	49	7	general	general	ADJ
iajs-1204	49	8	,	,	PUNCT
iajs-1204	49	9	as	as	SCONJ
iajs-1204	49	10	the	the	DET
iajs-1204	49	11	following	following	NOUN
iajs-1204	49	12	of	of	ADP
iajs-1204	49	13	example	example	NOUN
iajs-1204	49	14	(	(	PUNCT
iajs-1204	49	15	1	1	NUM
iajs-1204	49	16	):	):	PUNCT
iajs-1204	49	17	let	let	VERB
iajs-1204	49	18	a={2	a={2	PROPN
iajs-1204	49	19	}	}	PUNCT
iajs-1204	49	20	,	,	PUNCT
iajs-1204	49	21	={3	={3	X
iajs-1204	49	22	}	}	PUNCT
iajs-1204	49	23	and	and	CCONJ
iajs-1204	49	24	a={2,3	a={2,3	NUM
iajs-1204	49	25	}	}	PUNCT
iajs-1204	49	26	,	,	PUNCT
iajs-1204	49	27	then	then	ADV
iajs-1204	49	28	:	:	PUNCT
iajs-1204	49	29	s	s	X
iajs-1204	49	30	-	-	PUNCT
iajs-1204	49	31	pre	pre	NOUN
iajs-1204	49	32	-	-	NOUN
iajs-1204	49	33	int{2}={2	int{2}={2	NOUN
iajs-1204	49	34	}	}	PUNCT
iajs-1204	49	35	,	,	PUNCT
iajs-1204	49	36	s	s	X
iajs-1204	49	37	-	-	PUNCT
iajs-1204	49	38	pre	pre	ADJ
iajs-1204	49	39	-	-	ADJ
iajs-1204	49	40	int{3}=	int{3}=	ADJ
iajs-1204	49	41			NOUN
iajs-1204	49	42	and	and	CCONJ
iajs-1204	49	43	s	s	NOUN
iajs-1204	49	44	-	-	PUNCT
iajs-1204	49	45	pre	pre	NOUN
iajs-1204	49	46	-	-	ADJ
iajs-1204	49	47	int{2,3}={2,3	int{2,3}={2,3	ADJ
iajs-1204	49	48	}	}	PUNCT
iajs-1204	49	49	.	.	PUNCT
iajs-1204	49	50	ut	ut	PROPN
iajs-1204	50	1	s	s	X
iajs-1204	50	2	-	-	PUNCT
iajs-1204	50	3	pre	pre	NOUN
iajs-1204	50	4	-	-	ADJ
iajs-1204	50	5	int	int	ADJ
iajs-1204	50	6	(	(	PUNCT
iajs-1204	50	7	a	a	DET
iajs-1204	50	8			NOUN
iajs-1204	50	9	b	b	NOUN
iajs-1204	50	10	)	)	PUNCT
iajs-1204	51	1	=	=	NOUN
iajs-1204	51	2	{	{	PUNCT
iajs-1204	51	3	2,3}	2,3}	NUM
iajs-1204	51	4	{	{	PUNCT
iajs-1204	51	5	2}=	2}=	PROPN
iajs-1204	51	6	s	s	PROPN
iajs-1204	51	7	-	-	PUNCT
iajs-1204	51	8	pre	pre	NOUN
iajs-1204	51	9	-	-	ADJ
iajs-1204	51	10	int	int	ADJ
iajs-1204	51	11	a	a	DET
iajs-1204	51	12			NOUN
iajs-1204	51	13	s	s	NOUN
iajs-1204	51	14	-	-	PUNCT
iajs-1204	51	15	pre	pre	ADJ
iajs-1204	51	16	-	-	ADJ
iajs-1204	51	17	int	int	ADJ
iajs-1204	51	18	b.	b.	NOUN
iajs-1204	51	19	4	4	X
iajs-1204	51	20	.	.	PUNCT
iajs-1204	52	1	a	a	PROPN
iajs-1204	52	2	ح	ح	VERB
iajs-1204	52	3	a	a	PRON
iajs-1204	52	4	,	,	PUNCT
iajs-1204	52	5	then	then	ADV
iajs-1204	52	6	this	this	PRON
iajs-1204	52	7	implies	imply	VERB
iajs-1204	52	8	that	that	SCONJ
iajs-1204	52	9	s	s	NOUN
iajs-1204	52	10	-	-	PUNCT
iajs-1204	52	11	pre	pre	NOUN
iajs-1204	52	12	-	-	ADJ
iajs-1204	52	13	int	int	ADJ
iajs-1204	52	14	(	(	PUNCT
iajs-1204	52	15	a	a	DET
iajs-1204	52	16			ADJ
iajs-1204	52	17	b	b	NOUN
iajs-1204	52	18	)	)	PUNCT
iajs-1204	52	19	ح	ح	NOUN
iajs-1204	52	20	s	s	NOUN
iajs-1204	52	21	-	-	PUNCT
iajs-1204	52	22	pre	pre	NOUN
iajs-1204	52	23	-	-	NOUN
iajs-1204	52	24	int	int	ADJ
iajs-1204	52	25	a	a	PRON
iajs-1204	52	26	(	(	PUNCT
iajs-1204	52	27	by	by	ADP
iajs-1204	52	28	part	part	NOUN
iajs-1204	52	29	1	1	NUM
iajs-1204	52	30	)	)	PUNCT
iajs-1204	52	31	,	,	PUNCT
iajs-1204	52	32	and	and	CCONJ
iajs-1204	52	33	a	a	PROPN
iajs-1204	52	34	s	s	PROPN
iajs-1204	52	35	-	-	PUNCT
iajs-1204	52	36	pre	pre	ADJ
iajs-1204	52	37	-	-	ADJ
iajs-1204	52	38	int	int	ADJ
iajs-1204	52	39			NOUN
iajs-1204	52	40	(	(	PUNCT
iajs-1204	52	41	by	by	ADP
iajs-1204	52	42	part	part	NOUN
iajs-1204	52	43	1	1	NUM
iajs-1204	52	44	)	)	PUNCT
iajs-1204	52	45	,	,	PUNCT
iajs-1204	52	46	therefore	therefore	ADV
iajs-1204	52	47	s	s	NOUN
iajs-1204	52	48	-	-	PUNCT
iajs-1204	52	49	pre	pre	NOUN
iajs-1204	52	50	-	-	ADJ
iajs-1204	52	51	int	int	ADJ
iajs-1204	52	52	(	(	PUNCT
iajs-1204	52	53	a	a	DET
iajs-1204	52	54			NUM
iajs-1204	52	55	ح	ح	NOUN
iajs-1204	52	56			NOUN
iajs-1204	52	57	,	,	PUNCT
iajs-1204	52	58	then	then	ADV
iajs-1204	52	59	s	s	NOUN
iajs-1204	52	60	-	-	PUNCT
iajs-1204	52	61	pre	pre	NOUN
iajs-1204	52	62	-	-	ADJ
iajs-1204	52	63	int	int	ADJ
iajs-1204	52	64	(	(	PUNCT
iajs-1204	52	65	a	a	DET
iajs-1204	52	66			ADJ
iajs-1204	52	67	b	b	NOUN
iajs-1204	52	68	)	)	PUNCT
iajs-1204	52	69	ح	ح	PROPN
iajs-1204	52	70	b	b	X
iajs-1204	52	71	)	)	PUNCT
iajs-1204	52	72	ح	ح	PROPN
iajs-1204	52	73	s	s	PROPN
iajs-1204	52	74	-	-	PUNCT
iajs-1204	52	75	pre	pre	NOUN
iajs-1204	52	76	-	-	ADJ
iajs-1204	52	77	int	int	ADJ
iajs-1204	52	78	a	a	DET
iajs-1204	52	79			NOUN
iajs-1204	52	80	s	s	NOUN
iajs-1204	52	81	-	-	PUNCT
iajs-1204	52	82	pre	pre	ADJ
iajs-1204	52	83	-	-	ADJ
iajs-1204	52	84	int	int	ADJ
iajs-1204	52	85	b.	b.	NOUN
iajs-1204	52	86	but	but	CCONJ
iajs-1204	52	87	s	s	NOUN
iajs-1204	52	88	-	-	PUNCT
iajs-1204	52	89	pre	pre	NOUN
iajs-1204	52	90	-	-	ADJ
iajs-1204	52	91	int	int	ADJ
iajs-1204	52	92	a	a	DET
iajs-1204	52	93			NOUN
iajs-1204	52	94	s	s	NOUN
iajs-1204	52	95	-	-	PUNCT
iajs-1204	52	96	pre	pre	ADJ
iajs-1204	52	97	-	-	ADJ
iajs-1204	52	98	int	int	ADJ
iajs-1204	52	99	b	b	PROPN
iajs-1204	52	100			PROPN
iajs-1204	52	101	s	s	NOUN
iajs-1204	52	102	-	-	PUNCT
iajs-1204	52	103	pre	pre	NOUN
iajs-1204	52	104	-	-	ADJ
iajs-1204	52	105	int	int	ADJ
iajs-1204	52	106	(	(	PUNCT
iajs-1204	52	107	a	a	DET
iajs-1204	52	108			ADJ
iajs-1204	52	109	b	b	NOUN
iajs-1204	52	110	)	)	PUNCT
iajs-1204	52	111	,	,	PUNCT
iajs-1204	52	112	as	as	SCONJ
iajs-1204	52	113	the	the	DET
iajs-1204	52	114	following	follow	VERB
iajs-1204	52	115	example	example	NOUN
iajs-1204	52	116	shows	show	VERB
iajs-1204	52	117	:	:	PUNCT
iajs-1204	52	118	example	example	NOUN
iajs-1204	52	119	2	2	NUM
iajs-1204	52	120	:	:	PUNCT
iajs-1204	52	121	let	let	VERB
iajs-1204	52	122	x={1,2,3,4	x={1,2,3,4	NOUN
iajs-1204	52	123	}	}	PUNCT
iajs-1204	52	124	,	,	PUNCT
iajs-1204	52	125	={x,	={x,	PUNCT
iajs-1204	52	126	,	,	PUNCT
iajs-1204	52	127	{	{	PUNCT
iajs-1204	52	128	1},{2},{1,2	1},{2},{1,2	NUM
iajs-1204	52	129	}	}	PUNCT
iajs-1204	52	130	}	}	PUNCT
iajs-1204	52	131	po(x	po(x	NUM
iajs-1204	52	132	)	)	PUNCT
iajs-1204	52	133	=	=	SYM
iajs-1204	52	134			PROPN
iajs-1204	52	135			NOUN
iajs-1204	52	136	{	{	PUNCT
iajs-1204	52	137	{	{	PUNCT
iajs-1204	52	138	1,2,3},{1,2,4	1,2,3},{1,2,4	NUM
iajs-1204	52	139	}	}	PUNCT
iajs-1204	52	140	}	}	PUNCT
iajs-1204	52	141	spo(x	spo(x	PROPN
iajs-1204	52	142	)	)	PUNCT
iajs-1204	52	143	=	=	SYM
iajs-1204	52	144	po(x	po(x	X
iajs-1204	52	145	)	)	PUNCT
iajs-1204	52	146			NOUN
iajs-1204	52	147	{	{	PUNCT
iajs-1204	52	148	{	{	PUNCT
iajs-1204	52	149	1,3},{1,4},{1,3,4},{2,3},{2,4},{2,3,4	1,3},{1,4},{1,3,4},{2,3},{2,4},{2,3,4	NUM
iajs-1204	52	150	}	}	PUNCT
iajs-1204	52	151	}	}	PUNCT
iajs-1204	52	152	let	let	VERB
iajs-1204	52	153	a	a	DET
iajs-1204	52	154	=	=	NOUN
iajs-1204	52	155	{	{	PUNCT
iajs-1204	52	156	2,3,4	2,3,4	NUM
iajs-1204	52	157	}	}	PUNCT
iajs-1204	52	158	,	,	PUNCT
iajs-1204	52	159	b	b	X
iajs-1204	52	160	=	=	X
iajs-1204	52	161	{	{	PUNCT
iajs-1204	52	162	1,3,4	1,3,4	NUM
iajs-1204	52	163	}	}	PUNCT
iajs-1204	52	164	and	and	CCONJ
iajs-1204	52	165	a	a	DET
iajs-1204	52	166			NOUN
iajs-1204	52	167	b=	b=	NOUN
iajs-1204	52	168	{	{	PUNCT
iajs-1204	52	169	3,4},then	3,4},then	NUM
iajs-1204	52	170	:	:	PUNCT
iajs-1204	52	171	s	s	X
iajs-1204	52	172	-	-	PUNCT
iajs-1204	52	173	pre	pre	NOUN
iajs-1204	52	174	-	-	ADJ
iajs-1204	52	175	int	int	ADJ
iajs-1204	52	176	{	{	PUNCT
iajs-1204	52	177	2,3,4}={2,3,4	2,3,4}={2,3,4	NUM
iajs-1204	52	178	}	}	PUNCT
iajs-1204	52	179	,	,	PUNCT
iajs-1204	52	180	s	s	X
iajs-1204	52	181	-	-	PUNCT
iajs-1204	52	182	pre	pre	NOUN
iajs-1204	52	183	-	-	ADJ
iajs-1204	52	184	int	int	ADJ
iajs-1204	52	185	{	{	PUNCT
iajs-1204	52	186	1,3,4}=	1,3,4}=	NUM
iajs-1204	52	187	{	{	PUNCT
iajs-1204	52	188	1,3,4	1,3,4	NUM
iajs-1204	52	189	}	}	PUNCT
iajs-1204	52	190	and	and	CCONJ
iajs-1204	52	191	s	s	NOUN
iajs-1204	52	192	-	-	PUNCT
iajs-1204	52	193	pre	pre	NOUN
iajs-1204	52	194	-	-	ADJ
iajs-1204	52	195	int	int	ADJ
iajs-1204	52	196	(	(	PUNCT
iajs-1204	52	197	a	a	DET
iajs-1204	52	198			ADJ
iajs-1204	52	199	b	b	NOUN
iajs-1204	52	200	)	)	PUNCT
iajs-1204	52	201	=	=	VERB
iajs-1204	53	1			ADJ
iajs-1204	53	2	.but	.but	PUNCT
iajs-1204	54	1	s	s	X
iajs-1204	54	2	-	-	PUNCT
iajs-1204	54	3	pre	pre	NOUN
iajs-1204	54	4	-	-	ADJ
iajs-1204	54	5	int	int	ADJ
iajs-1204	54	6	a	a	DET
iajs-1204	54	7			NOUN
iajs-1204	54	8	s	s	NOUN
iajs-1204	54	9	-	-	PUNCT
iajs-1204	54	10	pre	pre	ADJ
iajs-1204	54	11	-	-	ADJ
iajs-1204	54	12	int	int	ADJ
iajs-1204	54	13	b	b	NOUN
iajs-1204	54	14	=	=	PUNCT
iajs-1204	54	15	{	{	PUNCT
iajs-1204	54	16	3,4	3,4	NUM
iajs-1204	54	17	}	}	PUNCT
iajs-1204	54	18			PROPN
iajs-1204	54	19			NOUN
iajs-1204	54	20	=	=	SYM
iajs-1204	54	21	s	s	NOUN
iajs-1204	54	22	-	-	PUNCT
iajs-1204	54	23	pre	pre	NOUN
iajs-1204	54	24	-	-	ADJ
iajs-1204	54	25	int	int	ADJ
iajs-1204	54	26	(	(	PUNCT
iajs-1204	54	27	a	a	DET
iajs-1204	54	28			ADJ
iajs-1204	54	29	b	b	NOUN
iajs-1204	54	30	)	)	PUNCT
iajs-1204	54	31	.	.	PUNCT
iajs-1204	55	1	proposition	proposition	NOUN
iajs-1204	55	2	2.10	2.10	NUM
iajs-1204	55	3	:	:	SYM
iajs-1204	56	1	1	1	X
iajs-1204	56	2	.	.	X
iajs-1204	57	1	if	if	SCONJ
iajs-1204	57	2	aح	aح	VERB
iajs-1204	57	3	b	b	NOUN
iajs-1204	57	4	,	,	PUNCT
iajs-1204	57	5	then	then	ADV
iajs-1204	57	6	s	s	NOUN
iajs-1204	57	7	-	-	PUNCT
iajs-1204	57	8	pre	pre	NOUN
iajs-1204	57	9	-	-	NOUN
iajs-1204	57	10	cl	cl	VERB
iajs-1204	57	11	a	a	DET
iajs-1204	57	12	ح	ح	NOUN
iajs-1204	57	13	s	s	NOUN
iajs-1204	57	14	-	-	PUNCT
iajs-1204	57	15	pre	pre	ADJ
iajs-1204	57	16	-	-	ADJ
iajs-1204	57	17	cl	cl	ADJ
iajs-1204	57	18	b.	b.	NOUN
iajs-1204	57	19	2	2	NUM
iajs-1204	57	20	.	.	PUNCT
iajs-1204	58	1	a	a	DET
iajs-1204	58	2	ح	ح	NOUN
iajs-1204	58	3	s	s	NOUN
iajs-1204	58	4	-	-	PUNCT
iajs-1204	58	5	pre	pre	ADJ
iajs-1204	58	6	-	-	NOUN
iajs-1204	58	7	cl	cl	ADJ
iajs-1204	58	8	a.	a.	NOUN
iajs-1204	58	9	3	3	NUM
iajs-1204	58	10	.	.	PUNCT
iajs-1204	59	1	s	s	X
iajs-1204	59	2	-	-	PUNCT
iajs-1204	59	3	pre	pre	ADJ
iajs-1204	59	4	-	-	ADJ
iajs-1204	59	5	cl	cl	ADJ
iajs-1204	59	6			NOUN
iajs-1204	59	7	=	=	PUNCT
iajs-1204	59	8			ADJ
iajs-1204	59	9	,	,	PUNCT
iajs-1204	59	10	s	s	NOUN
iajs-1204	59	11	-	-	PUNCT
iajs-1204	59	12	pre	pre	NOUN
iajs-1204	59	13	-	-	NOUN
iajs-1204	59	14	cl	cl	ADJ
iajs-1204	59	15	x	x	PUNCT
iajs-1204	60	1	=	=	PUNCT
iajs-1204	60	2	x.	x.	NOUN
iajs-1204	60	3	4	4	NUM
iajs-1204	60	4	.	.	X
iajs-1204	61	1	s	s	X
iajs-1204	61	2	-	-	PUNCT
iajs-1204	61	3	pre	pre	NOUN
iajs-1204	61	4	-	-	NOUN
iajs-1204	61	5	cl	cl	VERB
iajs-1204	61	6	a	a	DET
iajs-1204	61	7			NOUN
iajs-1204	61	8	s	s	NOUN
iajs-1204	61	9	-	-	PUNCT
iajs-1204	61	10	pre	pre	NOUN
iajs-1204	61	11	-	-	NOUN
iajs-1204	61	12	cl	cl	ADJ
iajs-1204	61	13	b	b	NOUN
iajs-1204	61	14	ح	ح	NOUN
iajs-1204	61	15	s	s	NOUN
iajs-1204	61	16	-	-	PUNCT
iajs-1204	61	17	pre	pre	NOUN
iajs-1204	61	18	-	-	NOUN
iajs-1204	61	19	cl	cl	ADJ
iajs-1204	61	20	(	(	PUNCT
iajs-1204	61	21	a	a	DET
iajs-1204	61	22			NOUN
iajs-1204	61	23	b	b	PROPN
iajs-1204	61	24	)	)	PUNCT
iajs-1204	61	25	.	.	PUNCT
iajs-1204	62	1	5	5	X
iajs-1204	62	2	.	.	X
iajs-1204	62	3	s	s	X
iajs-1204	62	4	-	-	PUNCT
iajs-1204	62	5	pre	pre	NOUN
iajs-1204	62	6	-	-	NOUN
iajs-1204	62	7	cl	cl	ADJ
iajs-1204	62	8	(	(	PUNCT
iajs-1204	62	9	a	a	DET
iajs-1204	62	10			ADJ
iajs-1204	62	11	b	b	NOUN
iajs-1204	62	12	)	)	PUNCT
iajs-1204	62	13	ح	ح	NOUN
iajs-1204	62	14	s	s	NOUN
iajs-1204	62	15	-	-	PUNCT
iajs-1204	62	16	pre	pre	NOUN
iajs-1204	62	17	-	-	NOUN
iajs-1204	62	18	cl	cl	ADJ
iajs-1204	62	19	a	a	DET
iajs-1204	62	20			NOUN
iajs-1204	62	21	s	s	NOUN
iajs-1204	62	22	-	-	PUNCT
iajs-1204	62	23	pre	pre	ADJ
iajs-1204	62	24	-	-	ADJ
iajs-1204	62	25	cl	cl	ADJ
iajs-1204	62	26	b.	b.	NOUN
iajs-1204	62	27	proof	proof	NOUN
iajs-1204	62	28	:	:	PUNCT
iajs-1204	62	29	the	the	DET
iajs-1204	62	30	proof	proof	NOUN
iajs-1204	62	31	of	of	ADP
iajs-1204	62	32	(	(	PUNCT
iajs-1204	62	33	1	1	NUM
iajs-1204	62	34	)	)	PUNCT
iajs-1204	62	35	and	and	CCONJ
iajs-1204	62	36	(	(	PUNCT
iajs-1204	62	37	2	2	X
iajs-1204	62	38	)	)	PUNCT
iajs-1204	62	39	is	be	AUX
iajs-1204	62	40	clear	clear	ADJ
iajs-1204	62	41	by	by	ADP
iajs-1204	62	42	the	the	DET
iajs-1204	62	43	definition	definition	NOUN
iajs-1204	62	44	of	of	ADP
iajs-1204	62	45	subsets	subset	NOUN
iajs-1204	62	46	and	and	CCONJ
iajs-1204	62	47	s	s	NOUN
iajs-1204	62	48	-	-	PUNCT
iajs-1204	62	49	pre	pre	NOUN
iajs-1204	62	50	-	-	NOUN
iajs-1204	62	51	cl	cl	NOUN
iajs-1204	62	52	a	a	PRON
iajs-1204	62	53	.	.	NOUN
iajs-1204	63	1	3	3	X
iajs-1204	63	2	.	.	X
iajs-1204	63	3			NOUN
iajs-1204	63	4	and	and	CCONJ
iajs-1204	63	5	x	x	NOUN
iajs-1204	63	6	are	be	AUX
iajs-1204	63	7	semi	semi	ADJ
iajs-1204	63	8	-	-	ADJ
iajs-1204	63	9	preopen	preopen	ADJ
iajs-1204	63	10	sets	set	NOUN
iajs-1204	63	11	(	(	PUNCT
iajs-1204	63	12	by	by	ADP
iajs-1204	63	13	being	be	AUX
iajs-1204	63	14	open	open	ADJ
iajs-1204	63	15	set	set	NOUN
iajs-1204	63	16	)	)	PUNCT
iajs-1204	63	17	,	,	PUNCT
iajs-1204	63	18	thus	thus	ADV
iajs-1204	63	19	s	s	NOUN
iajs-1204	63	20	-	-	PUNCT
iajs-1204	63	21	pre	pre	ADJ
iajs-1204	63	22	-	-	ADJ
iajs-1204	63	23	cl	cl	ADJ
iajs-1204	63	24			NOUN
iajs-1204	63	25	=	=	SYM
iajs-1204	63	26			NOUN
iajs-1204	63	27	and	and	CCONJ
iajs-1204	63	28	s	s	NOUN
iajs-1204	63	29	-	-	PUNCT
iajs-1204	63	30	pre	pre	NOUN
iajs-1204	63	31	-	-	NOUN
iajs-1204	63	32	cl	cl	ADJ
iajs-1204	63	33	x	x	PUNCT
iajs-1204	64	1	=	=	PUNCT
iajs-1204	64	2	x.	x.	NOUN
iajs-1204	64	3	4	4	X
iajs-1204	64	4	.	.	PUNCT
iajs-1204	65	1	the	the	DET
iajs-1204	65	2	proof	proof	NOUN
iajs-1204	65	3	is	be	AUX
iajs-1204	65	4	similarly	similarly	ADV
iajs-1204	65	5	to	to	ADP
iajs-1204	65	6	the	the	DET
iajs-1204	65	7	proof	proof	NOUN
iajs-1204	65	8	of	of	ADP
iajs-1204	65	9	part	part	NOUN
iajs-1204	65	10	(	(	PUNCT
iajs-1204	65	11	3	3	NUM
iajs-1204	65	12	)	)	PUNCT
iajs-1204	65	13	in	in	ADP
iajs-1204	65	14	proposition	proposition	NOUN
iajs-1204	65	15	2.9	2.9	NUM
iajs-1204	65	16	.	.	PUNCT
iajs-1204	66	1	5	5	X
iajs-1204	66	2	.	.	PUNCT
iajs-1204	67	1	the	the	DET
iajs-1204	67	2	proof	proof	NOUN
iajs-1204	67	3	is	be	AUX
iajs-1204	67	4	similarly	similarly	ADV
iajs-1204	67	5	to	to	ADP
iajs-1204	67	6	the	the	DET
iajs-1204	67	7	proof	proof	NOUN
iajs-1204	67	8	of	of	ADP
iajs-1204	67	9	part	part	NOUN
iajs-1204	67	10	(	(	PUNCT
iajs-1204	67	11	4	4	NUM
iajs-1204	67	12	)	)	PUNCT
iajs-1204	67	13	in	in	ADP
iajs-1204	67	14	proposition	proposition	NOUN
iajs-1204	67	15	2.9	2.9	NUM
iajs-1204	67	16	.	.	PUNCT
iajs-1204	68	1	but	but	CCONJ
iajs-1204	68	2	the	the	DET
iajs-1204	68	3	converse	converse	NOUN
iajs-1204	68	4	of	of	ADP
iajs-1204	68	5	part	part	NOUN
iajs-1204	68	6	(	(	PUNCT
iajs-1204	68	7	4	4	NUM
iajs-1204	68	8	)	)	PUNCT
iajs-1204	68	9	is	be	AUX
iajs-1204	68	10	not	not	PART
iajs-1204	68	11	true	true	ADJ
iajs-1204	68	12	to	to	PART
iajs-1204	68	13	see	see	VERB
iajs-1204	68	14	this	this	PRON
iajs-1204	68	15	,	,	PUNCT
iajs-1204	68	16	let	let	VERB
iajs-1204	68	17	a={1},b={2	a={1},b={2	NOUN
iajs-1204	68	18	}	}	PUNCT
iajs-1204	68	19	and	and	CCONJ
iajs-1204	68	20	a	a	X
iajs-1204	68	21	b={1,2	b={1,2	NOUN
iajs-1204	68	22	}	}	PUNCT
iajs-1204	68	23	in	in	ADP
iajs-1204	68	24	the	the	DET
iajs-1204	68	25	example	example	NOUN
iajs-1204	68	26	2	2	NUM
iajs-1204	68	27	,	,	PUNCT
iajs-1204	68	28	then	then	ADV
iajs-1204	68	29	:	:	PUNCT
iajs-1204	68	30	spc	spc	PROPN
iajs-1204	68	31	(	(	PUNCT
iajs-1204	68	32	x	x	NOUN
iajs-1204	68	33	)	)	PUNCT
iajs-1204	68	34	=	=	NOUN
iajs-1204	68	35	{	{	PUNCT
iajs-1204	68	36	x,	x,	PROPN
iajs-1204	68	37	,	,	PUNCT
iajs-1204	68	38	{	{	PUNCT
iajs-1204	68	39	,3,4},{1,3,4},{3,4},{4},{3},{2,4},{2,3},{2},{1,4},{1,3},{1	,3,4},{1,3,4},{3,4},{4},{3},{2,4},{2,3},{2},{1,4},{1,3},{1	NOUN
iajs-1204	68	40	}	}	PUNCT
iajs-1204	68	41	}	}	PUNCT
iajs-1204	68	42	s	s	NOUN
iajs-1204	68	43	-	-	PUNCT
iajs-1204	68	44	pre	pre	NOUN
iajs-1204	68	45	-	-	NOUN
iajs-1204	68	46	cl	cl	ADJ
iajs-1204	68	47	{	{	PUNCT
iajs-1204	68	48	1}={1	1}={1	NUM
iajs-1204	68	49	}	}	PUNCT
iajs-1204	68	50	,	,	PUNCT
iajs-1204	68	51	s	s	X
iajs-1204	68	52	-	-	PUNCT
iajs-1204	68	53	pre	pre	NOUN
iajs-1204	68	54	-	-	NOUN
iajs-1204	68	55	cl	cl	ADJ
iajs-1204	68	56	{	{	PUNCT
iajs-1204	68	57	2}={2}and	2}={2}and	NUM
iajs-1204	68	58	s	s	NOUN
iajs-1204	68	59	-	-	PUNCT
iajs-1204	68	60	pre	pre	NOUN
iajs-1204	68	61	-	-	NOUN
iajs-1204	68	62	cl	cl	ADJ
iajs-1204	68	63	{	{	PUNCT
iajs-1204	68	64	1}	1}	NUM
iajs-1204	68	65	s	s	PROPN
iajs-1204	68	66	-	-	PUNCT
iajs-1204	68	67	pre	pre	NOUN
iajs-1204	68	68	-	-	NOUN
iajs-1204	68	69	cl	cl	ADJ
iajs-1204	68	70	{	{	PUNCT
iajs-1204	68	71	2}={1,2	2}={1,2	NUM
iajs-1204	68	72	but	but	CCONJ
iajs-1204	68	73	s	s	NOUN
iajs-1204	68	74	-	-	PUNCT
iajs-1204	68	75	pre	pre	NOUN
iajs-1204	68	76	-	-	NOUN
iajs-1204	68	77	cl	cl	ADJ
iajs-1204	68	78	(	(	PUNCT
iajs-1204	68	79	{	{	PUNCT
iajs-1204	68	80	1}{2	1}{2	NUM
iajs-1204	68	81	}	}	PUNCT
iajs-1204	68	82	)	)	PUNCT
iajs-1204	68	83	=	=	SYM
iajs-1204	69	1	x	x	NOUN
iajs-1204	69	2	,	,	PUNCT
iajs-1204	69	3	which	which	PRON
iajs-1204	69	4	shows	show	VERB
iajs-1204	69	5	s	s	NOUN
iajs-1204	69	6	-	-	PUNCT
iajs-1204	69	7	pre	pre	NOUN
iajs-1204	69	8	-	-	NOUN
iajs-1204	69	9	cl	cl	ADJ
iajs-1204	69	10	(	(	PUNCT
iajs-1204	69	11	a	a	DET
iajs-1204	69	12			PROPN
iajs-1204	69	13	b	b	PROPN
iajs-1204	69	14	)	)	PUNCT
iajs-1204	69	15			PROPN
iajs-1204	69	16	s	s	NOUN
iajs-1204	69	17	-	-	PUNCT
iajs-1204	69	18	pre	pre	NOUN
iajs-1204	69	19	-	-	NOUN
iajs-1204	69	20	cl	cl	VERB
iajs-1204	69	21	a	a	DET
iajs-1204	69	22			NOUN
iajs-1204	69	23	s	s	NOUN
iajs-1204	69	24	-	-	PUNCT
iajs-1204	69	25	pre	pre	NOUN
iajs-1204	69	26	-	-	NOUN
iajs-1204	69	27	cl	cl	ADJ
iajs-1204	69	28	b	b	NOUN
iajs-1204	69	29	and	and	CCONJ
iajs-1204	69	30	also	also	ADV
iajs-1204	69	31	,	,	PUNCT
iajs-1204	69	32	the	the	DET
iajs-1204	69	33	converse	converse	NOUN
iajs-1204	69	34	of	of	ADP
iajs-1204	69	35	part	part	NOUN
iajs-1204	69	36	(	(	PUNCT
iajs-1204	69	37	5	5	NUM
iajs-1204	69	38	)	)	PUNCT
iajs-1204	69	39	is	be	AUX
iajs-1204	69	40	not	not	PART
iajs-1204	69	41	true	true	ADJ
iajs-1204	69	42	to	to	PART
iajs-1204	69	43	see	see	VERB
iajs-1204	69	44	this	this	PRON
iajs-1204	69	45	,	,	PUNCT
iajs-1204	69	46	let	let	VERB
iajs-1204	69	47	a={1,2,3	a={1,2,3	NOUN
iajs-1204	69	48	}	}	PUNCT
iajs-1204	69	49	,	,	PUNCT
iajs-1204	69	50	b={1,3,4	b={1,3,4	ADJ
iajs-1204	69	51	}	}	PUNCT
iajs-1204	69	52	and	and	CCONJ
iajs-1204	69	53	a	a	DET
iajs-1204	69	54			NOUN
iajs-1204	69	55	b	b	NOUN
iajs-1204	69	56	=	=	SYM
iajs-1204	69	57	{	{	PUNCT
iajs-1204	69	58	1,3	1,3	NUM
iajs-1204	69	59	}	}	PUNCT
iajs-1204	69	60	in	in	ADP
iajs-1204	69	61	the	the	DET
iajs-1204	69	62	example	example	NOUN
iajs-1204	69	63	2	2	NUM
iajs-1204	69	64	,	,	PUNCT
iajs-1204	69	65	then	then	ADV
iajs-1204	69	66	:	:	PUNCT
iajs-1204	69	67	s	s	X
iajs-1204	69	68	pc	pc	NOUN
iajs-1204	69	69	(	(	PUNCT
iajs-1204	69	70	x	x	NOUN
iajs-1204	69	71	)	)	PUNCT
iajs-1204	69	72	=	=	NOUN
iajs-1204	69	73	{	{	PUNCT
iajs-1204	69	74	x,	x,	PROPN
iajs-1204	69	75	,	,	PUNCT
iajs-1204	69	76	{	{	PUNCT
iajs-1204	69	77	,3,4},{1,3,4},{3,4},{4},{3},{2,4},{2,3},{2},{1,4},{1,3},{1	,3,4},{1,3,4},{3,4},{4},{3},{2,4},{2,3},{2},{1,4},{1,3},{1	ADV
iajs-1204	69	78	}	}	PUNCT
iajs-1204	69	79	}	}	PUNCT
iajs-1204	69	80	sprecl	sprecl	PROPN
iajs-1204	69	81	{	{	PUNCT
iajs-1204	69	82	1,2,3}=x	1,2,3}=x	NUM
iajs-1204	69	83	,	,	PUNCT
iajs-1204	69	84	s	s	NOUN
iajs-1204	69	85	-	-	PUNCT
iajs-1204	69	86	pre	pre	NOUN
iajs-1204	69	87	-	-	NOUN
iajs-1204	69	88	cl	cl	ADJ
iajs-1204	69	89	{	{	PUNCT
iajs-1204	69	90	1,3,4}={1,3,4	1,3,4}={1,3,4	PROPN
iajs-1204	69	91	}	}	PUNCT
iajs-1204	69	92	and	and	CCONJ
iajs-1204	69	93	s	s	NOUN
iajs-1204	69	94	-	-	PUNCT
iajs-1204	69	95	pre	pre	NOUN
iajs-1204	69	96	-	-	NOUN
iajs-1204	69	97	cl	cl	ADJ
iajs-1204	69	98	{	{	PUNCT
iajs-1204	69	99	1,2,3}	1,2,3}	NUM
iajs-1204	69	100	s	s	NOUN
iajs-1204	69	101	-	-	PUNCT
iajs-1204	69	102	pre	pre	NOUN
iajs-1204	69	103	-	-	ADJ
iajs-1204	69	104	cl{1,3,4}={1,3,4	cl{1,3,4}={1,3,4	ADJ
iajs-1204	69	105	}	}	PUNCT
iajs-1204	69	106	but	but	CCONJ
iajs-1204	69	107	s	s	X
iajs-1204	69	108	-	-	PUNCT
iajs-1204	69	109	pre	pre	NOUN
iajs-1204	69	110	-	-	NOUN
iajs-1204	69	111	cl	cl	ADJ
iajs-1204	69	112	(	(	PUNCT
iajs-1204	69	113	{	{	PUNCT
iajs-1204	69	114	1,2,3}	1,2,3}	NUM
iajs-1204	69	115	{	{	PUNCT
iajs-1204	69	116	1,3,4	1,3,4	NUM
iajs-1204	69	117	}	}	PUNCT
iajs-1204	69	118	)	)	PUNCT
iajs-1204	70	1	=	=	NOUN
iajs-1204	70	2	{	{	PUNCT
iajs-1204	70	3	1,3	1,3	NUM
iajs-1204	70	4	}	}	PUNCT
iajs-1204	70	5	which	which	PRON
iajs-1204	70	6	shows	show	VERB
iajs-1204	70	7	s	s	NOUN
iajs-1204	70	8	-	-	PUNCT
iajs-1204	70	9	pre	pre	NOUN
iajs-1204	70	10	-	-	NOUN
iajs-1204	70	11	cl	cl	ADJ
iajs-1204	70	12	a	a	DET
iajs-1204	70	13			NOUN
iajs-1204	70	14	s	s	NOUN
iajs-1204	70	15	-	-	PUNCT
iajs-1204	70	16	pre	pre	NOUN
iajs-1204	70	17	-	-	NOUN
iajs-1204	70	18	cl	cl	ADJ
iajs-1204	70	19	b	b	PROPN
iajs-1204	70	20			PROPN
iajs-1204	70	21	s	s	NOUN
iajs-1204	70	22	-	-	PUNCT
iajs-1204	70	23	pre	pre	NOUN
iajs-1204	70	24	-	-	NOUN
iajs-1204	70	25	cl	cl	ADJ
iajs-1204	70	26	(	(	PUNCT
iajs-1204	70	27	a	a	DET
iajs-1204	70	28			ADJ
iajs-1204	70	29	b	b	NOUN
iajs-1204	70	30	)	)	PUNCT
iajs-1204	70	31	.	.	PUNCT
iajs-1204	71	1	proposition	proposition	NOUN
iajs-1204	71	2	2.11	2.11	NUM
iajs-1204	71	3	:	:	PUNCT
iajs-1204	71	4	a	a	PRON
iajs-1204	71	5	is	be	AUX
iajs-1204	71	6	semi	semi	ADJ
iajs-1204	71	7	-	-	ADJ
iajs-1204	71	8	preclosed	preclosed	ADJ
iajs-1204	71	9	set	set	NOUN
iajs-1204	71	10	,	,	PUNCT
iajs-1204	71	11	if	if	SCONJ
iajs-1204	71	12	and	and	CCONJ
iajs-1204	71	13	only	only	ADV
iajs-1204	71	14	if	if	SCONJ
iajs-1204	71	15	a=	a=	ADJ
iajs-1204	71	16	s	s	X
iajs-1204	71	17	-	-	PUNCT
iajs-1204	71	18	pre	pre	ADJ
iajs-1204	71	19	-	-	ADJ
iajs-1204	71	20	cl	cl	ADJ
iajs-1204	71	21	a.	a.	NOUN
iajs-1204	71	22	proof	proof	NOUN
iajs-1204	71	23	:	:	PUNCT
iajs-1204	71	24	necessity	necessity	NOUN
iajs-1204	71	25	,	,	PUNCT
iajs-1204	71	26	clear	clear	ADJ
iajs-1204	71	27	.	.	PUNCT
iajs-1204	72	1	sufficiency	sufficiency	NOUN
iajs-1204	72	2	.	.	PUNCT
iajs-1204	73	1	the	the	DET
iajs-1204	73	2	proof	proof	NOUN
iajs-1204	73	3	is	be	AUX
iajs-1204	73	4	direct	direct	ADJ
iajs-1204	73	5	(	(	PUNCT
iajs-1204	73	6	by	by	ADP
iajs-1204	73	7	corollary	corollary	ADJ
iajs-1204	73	8	2.4	2.4	NUM
iajs-1204	73	9	)	)	PUNCT
iajs-1204	73	10	.	.	PUNCT
iajs-1204	74	1	corollary	corollary	ADJ
iajs-1204	74	2	2.12	2.12	NUM
iajs-1204	74	3	:	:	PUNCT
iajs-1204	74	4	s	s	X
iajs-1204	74	5	-	-	PUNCT
iajs-1204	74	6	pre	pre	NOUN
iajs-1204	74	7	-	-	NOUN
iajs-1204	74	8	cl	cl	ADJ
iajs-1204	74	9	(	(	PUNCT
iajs-1204	74	10	s	s	NOUN
iajs-1204	74	11	-	-	PUNCT
iajs-1204	74	12	pre	pre	NOUN
iajs-1204	74	13	-	-	NOUN
iajs-1204	74	14	cl	cl	NOUN
iajs-1204	74	15	a	a	NOUN
iajs-1204	74	16	)	)	PUNCT
iajs-1204	74	17	=	=	SYM
iajs-1204	74	18	s	s	NOUN
iajs-1204	74	19	-	-	PUNCT
iajs-1204	74	20	pre	pre	NOUN
iajs-1204	74	21	-	-	NOUN
iajs-1204	74	22	cl	cl	NOUN
iajs-1204	74	23	a	a	PRON
iajs-1204	74	24	.	.	PUNCT
iajs-1204	75	1	ibn	ibn	PROPN
iajs-1204	75	2	alhaitham	alhaitham	NOUN
iajs-1204	76	1	j.	j.	PROPN
iajs-1204	77	1	fo	fo	ADP
iajs-1204	77	2	r	r	NOUN
iajs-1204	77	3	pure	pure	ADJ
iajs-1204	77	4	&	&	CCONJ
iajs-1204	77	5	appl	appl	PROPN
iajs-1204	77	6	.	.	PUNCT
iajs-1204	78	1	sc	sc	PROPN
iajs-1204	79	1	i	i	PRON
iajs-1204	79	2	vo	vo	INTJ
iajs-1204	79	3	l.22	l.22	X
iajs-1204	79	4	(	(	PUNCT
iajs-1204	79	5	3	3	NUM
iajs-1204	79	6	)	)	PUNCT
iajs-1204	79	7	2009	2009	NUM
iajs-1204	79	8	now	now	ADV
iajs-1204	79	9	,	,	PUNCT
iajs-1204	79	10	we	we	PRON
iajs-1204	79	11	give	give	VERB
iajs-1204	79	12	the	the	DET
iajs-1204	79	13	connection	connection	NOUN
iajs-1204	79	14	between	between	ADP
iajs-1204	79	15	semi	semi	ADJ
iajs-1204	79	16	-	-	ADJ
iajs-1204	79	17	preopen	preopen	ADJ
iajs-1204	79	18	sets	set	NOUN
iajs-1204	79	19	and	and	CCONJ
iajs-1204	79	20	some	some	DET
iajs-1204	79	21	other	other	ADJ
iajs-1204	79	22	kinds	kind	NOUN
iajs-1204	79	23	of	of	ADP
iajs-1204	79	24	weakly	weakly	ADJ
iajs-1204	79	25	open	open	ADJ
iajs-1204	79	26	sets	set	NOUN
iajs-1204	79	27	.	.	PUNCT
iajs-1204	80	1	3	3	X
iajs-1204	80	2	.	.	X
iajs-1204	80	3	relationship	relationship	NOUN
iajs-1204	80	4	among	among	ADP
iajs-1204	80	5	open	open	ADJ
iajs-1204	80	6	,	,	PUNCT
iajs-1204	80	7	α	α	NOUN
iajs-1204	80	8	-	-	ADJ
iajs-1204	80	9	open	open	ADJ
iajs-1204	80	10	,	,	PUNCT
iajs-1204	80	11	preopen	preopen	ADJ
iajs-1204	80	12	,	,	PUNCT
iajs-1204	80	13	semi	semi	ADJ
iajs-1204	80	14	–	–	PUNCT
iajs-1204	80	15	popen	popen	ADJ
iajs-1204	80	16	and	and	CCONJ
iajs-1204	80	17	semi	semi	ADJ
iajs-1204	80	18	-	-	ADJ
iajs-1204	80	19	preopen	preopen	ADJ
iajs-1204	80	20	sets	set	NOUN
iajs-1204	80	21	remark	remark	VERB
iajs-1204	80	22	3.1	3.1	NUM
iajs-1204	80	23	(	(	PUNCT
iajs-1204	80	24	3	3	NUM
iajs-1204	80	25	)	)	PUNCT
iajs-1204	80	26	:	:	PUNCT
iajs-1204	81	1	1	1	X
iajs-1204	81	2	.	.	X
iajs-1204	81	3	every	every	DET
iajs-1204	81	4	open	open	ADJ
iajs-1204	81	5	set	set	NOUN
iajs-1204	81	6	is	be	AUX
iajs-1204	81	7	a	a	DET
iajs-1204	81	8	preopen	preopen	ADJ
iajs-1204	81	9	set	set	NOUN
iajs-1204	81	10	,	,	PUNCT
iajs-1204	81	11	but	but	CCONJ
iajs-1204	81	12	not	not	PART
iajs-1204	81	13	conversely	conversely	ADV
iajs-1204	81	14	.	.	PUNCT
iajs-1204	82	1	2	2	X
iajs-1204	82	2	.	.	X
iajs-1204	82	3	every	every	DET
iajs-1204	82	4	closed	closed	ADJ
iajs-1204	82	5	set	set	NOUN
iajs-1204	82	6	is	be	AUX
iajs-1204	82	7	a	a	DET
iajs-1204	82	8	preclosed	preclose	VERB
iajs-1204	82	9	set	set	NOUN
iajs-1204	82	10	,	,	PUNCT
iajs-1204	82	11	but	but	CCONJ
iajs-1204	82	12	not	not	PART
iajs-1204	82	13	conversely	conversely	ADV
iajs-1204	82	14	.	.	PUNCT
iajs-1204	83	1	remark	remark	VERB
iajs-1204	83	2	3.2	3.2	NUM
iajs-1204	83	3	:	:	PUNCT
iajs-1204	83	4	every	every	DET
iajs-1204	83	5	preopen	preopen	ADJ
iajs-1204	83	6	set	set	NOUN
iajs-1204	83	7	is	be	AUX
iajs-1204	83	8	semi	semi	ADJ
iajs-1204	83	9	-	-	ADJ
iajs-1204	83	10	preopen	preopen	ADJ
iajs-1204	83	11	set	set	NOUN
iajs-1204	83	12	.	.	PUNCT
iajs-1204	84	1	proof	proof	NOUN
iajs-1204	84	2	:	:	PUNCT
iajs-1204	84	3	since	since	SCONJ
iajs-1204	84	4	a	a	PRON
iajs-1204	84	5	is	be	AUX
iajs-1204	84	6	a	a	DET
iajs-1204	84	7	preopen	preopen	ADJ
iajs-1204	84	8	set	set	NOUN
iajs-1204	84	9	and	and	CCONJ
iajs-1204	84	10	aح	aح	ADP
iajs-1204	84	11	a	a	PRON
iajs-1204	84	12	,	,	PUNCT
iajs-1204	84	13	and	and	CCONJ
iajs-1204	84	14	since	since	SCONJ
iajs-1204	84	15	for	for	ADP
iajs-1204	84	16	any	any	DET
iajs-1204	84	17	subset	subset	NOUN
iajs-1204	84	18	a	a	PRON
iajs-1204	84	19	of	of	ADP
iajs-1204	84	20	x	x	PRON
iajs-1204	84	21	,	,	PUNCT
iajs-1204	84	22	a	a	DET
iajs-1204	84	23	ح	ح	NOUN
iajs-1204	84	24	a	a	DET
iajs-1204	84	25	�	�	PROPN
iajs-1204	84	26	,	,	PUNCT
iajs-1204	84	27	therefore	therefore	ADV
iajs-1204	84	28	there	there	PRON
iajs-1204	84	29	exists	exist	VERB
iajs-1204	84	30	a	a	DET
iajs-1204	84	31	preopen	preopen	NOUN
iajs-1204	84	32	set	set	VERB
iajs-1204	84	33	a	a	DET
iajs-1204	84	34	such	such	ADJ
iajs-1204	84	35	that	that	PRON
iajs-1204	84	36	aح	aح	ADP
iajs-1204	84	37	a	a	DET
iajs-1204	84	38	ح	ح	NOUN
iajs-1204	84	39	a	a	DET
iajs-1204	84	40	�	�	PROPN
iajs-1204	84	41	.	.	PUNCT
iajs-1204	85	1	thus	thus	ADV
iajs-1204	85	2	a	a	PRON
iajs-1204	85	3	is	be	AUX
iajs-1204	85	4	semi	semi	ADJ
iajs-1204	85	5	-	-	ADJ
iajs-1204	85	6	preopen	preopen	ADJ
iajs-1204	85	7	set	set	NOUN
iajs-1204	85	8	.	.	PUNCT
iajs-1204	86	1	but	but	CCONJ
iajs-1204	86	2	the	the	DET
iajs-1204	86	3	converse	converse	NOUN
iajs-1204	86	4	need	need	VERB
iajs-1204	86	5	not	not	PART
iajs-1204	86	6	to	to	PART
iajs-1204	86	7	be	be	AUX
iajs-1204	86	8	true	true	ADJ
iajs-1204	86	9	in	in	ADP
iajs-1204	86	10	general	general	ADJ
iajs-1204	86	11	,	,	PUNCT
iajs-1204	86	12	as	as	ADP
iajs-1204	86	13	the	the	DET
iajs-1204	86	14	following	following	NOUN
iajs-1204	86	15	of	of	ADP
iajs-1204	86	16	example	example	NOUN
iajs-1204	86	17	2	2	NUM
iajs-1204	86	18	x={1,2,3,4	x={1,2,3,4	ADJ
iajs-1204	86	19	}	}	PUNCT
iajs-1204	86	20	,	,	PUNCT
iajs-1204	86	21	={x,	={x,	PUNCT
iajs-1204	86	22	,	,	PUNCT
iajs-1204	86	23	{	{	PUNCT
iajs-1204	86	24	1},{2},{1,2	1},{2},{1,2	NUM
iajs-1204	86	25	}	}	PUNCT
iajs-1204	86	26	}	}	PUNCT
iajs-1204	86	27	po(x	po(x	NUM
iajs-1204	86	28	)	)	PUNCT
iajs-1204	86	29	=	=	SYM
iajs-1204	86	30			PROPN
iajs-1204	86	31			NOUN
iajs-1204	86	32	{	{	PUNCT
iajs-1204	86	33	{	{	PUNCT
iajs-1204	86	34	1,2,3},{1,2,4	1,2,3},{1,2,4	NUM
iajs-1204	86	35	}	}	PUNCT
iajs-1204	86	36	}	}	PUNCT
iajs-1204	86	37	spo(x	spo(x	PROPN
iajs-1204	86	38	)	)	PUNCT
iajs-1204	86	39	=	=	SYM
iajs-1204	86	40	po(x	po(x	X
iajs-1204	86	41	)	)	PUNCT
iajs-1204	86	42			NOUN
iajs-1204	86	43	{	{	PUNCT
iajs-1204	86	44	{	{	PUNCT
iajs-1204	86	45	1,3},{1,4},{1,3,4},{2,3},{2,4},{2,3,4	1,3},{1,4},{1,3,4},{2,3},{2,4},{2,3,4	NUM
iajs-1204	86	46	}	}	PUNCT
iajs-1204	86	47	}	}	PUNCT
iajs-1204	86	48	it	it	PRON
iajs-1204	86	49	is	be	AUX
iajs-1204	86	50	clear	clear	ADJ
iajs-1204	86	51	that	that	SCONJ
iajs-1204	86	52	{	{	PUNCT
iajs-1204	86	53	1,3	1,3	NUM
iajs-1204	86	54	}	}	PUNCT
iajs-1204	86	55	is	be	AUX
iajs-1204	86	56	semi	semi	ADJ
iajs-1204	86	57	-	-	ADJ
iajs-1204	86	58	preopen	preopen	ADJ
iajs-1204	86	59	set	set	NOUN
iajs-1204	86	60	,	,	PUNCT
iajs-1204	86	61	but	but	CCONJ
iajs-1204	86	62	it	it	PRON
iajs-1204	86	63	is	be	AUX
iajs-1204	86	64	not	not	PART
iajs-1204	86	65	a	a	DET
iajs-1204	86	66	preopen	preopen	ADJ
iajs-1204	86	67	set	set	NOUN
iajs-1204	86	68	.	.	PUNCT
iajs-1204	87	1	from	from	ADP
iajs-1204	87	2	remark	remark	NOUN
iajs-1204	87	3	3.1	3.1	NUM
iajs-1204	87	4	and	and	CCONJ
iajs-1204	87	5	remark	remark	VERB
iajs-1204	87	6	3.2	3.2	NUM
iajs-1204	87	7	we	we	PRON
iajs-1204	87	8	obtain	obtain	VERB
iajs-1204	87	9	the	the	DET
iajs-1204	87	10	following	following	NOUN
iajs-1204	87	11	:	:	PUNCT
iajs-1204	87	12	remark	remark	VERB
iajs-1204	87	13	3.3	3.3	NUM
iajs-1204	87	14	:	:	PUNCT
iajs-1204	87	15	every	every	DET
iajs-1204	87	16	open	open	ADJ
iajs-1204	87	17	set	set	NOUN
iajs-1204	87	18	is	be	AUX
iajs-1204	87	19	semi	semi	ADJ
iajs-1204	87	20	-	-	ADJ
iajs-1204	87	21	preopen	preopen	ADJ
iajs-1204	87	22	set	set	NOUN
iajs-1204	87	23	.	.	PUNCT
iajs-1204	88	1	but	but	CCONJ
iajs-1204	88	2	the	the	DET
iajs-1204	88	3	converse	converse	NOUN
iajs-1204	88	4	may	may	AUX
iajs-1204	88	5	be	be	AUX
iajs-1204	88	6	false	false	ADJ
iajs-1204	88	7	,	,	PUNCT
iajs-1204	88	8	as	as	ADP
iajs-1204	88	9	the	the	DET
iajs-1204	88	10	example	example	NOUN
iajs-1204	88	11	2	2	NUM
iajs-1204	88	12	in	in	ADP
iajs-1204	88	13	remark	remark	NOUN
iajs-1204	88	14	3.2	3.2	NUM
iajs-1204	88	15	.	.	PUNCT
iajs-1204	89	1	remark	remark	VERB
iajs-1204	89	2	3.4	3.4	NUM
iajs-1204	89	3	:	:	PUNCT
iajs-1204	89	4	every	every	DET
iajs-1204	89	5	α	α	X
iajs-1204	89	6	-	-	ADJ
iajs-1204	89	7	open	open	ADJ
iajs-1204	89	8	set	set	NOUN
iajs-1204	89	9	is	be	AUX
iajs-1204	89	10	semi	semi	ADJ
iajs-1204	89	11	-	-	ADJ
iajs-1204	89	12	preopen	preopen	ADJ
iajs-1204	89	13	set	set	NOUN
iajs-1204	89	14	.	.	PUNCT
iajs-1204	90	1	proof	proof	NOUN
iajs-1204	90	2	:	:	PUNCT
iajs-1204	90	3	since	since	SCONJ
iajs-1204	90	4	a	a	PRON
iajs-1204	90	5	is	be	AUX
iajs-1204	90	6	α	α	NOUN
iajs-1204	90	7	-	-	ADJ
iajs-1204	90	8	open	open	ADJ
iajs-1204	90	9	set	set	NOUN
iajs-1204	90	10	,	,	PUNCT
iajs-1204	90	11	therefore	therefore	ADV
iajs-1204	90	12	a	a	DET
iajs-1204	90	13	ح	ح	PROPN
iajs-1204	90	14	�	�	PROPN
iajs-1204	90	15	°	°	NOUN
iajs-1204	90	16	�	�	PROPN
iajs-1204	90	17	�	�	PROPN
iajs-1204	90	18	�	�	PROPN
iajs-1204	90	19	�	�	PROPN
iajs-1204	90	20	�	�	PROPN
iajs-1204	90	21	°	°	PROPN
iajs-1204	90	22	,	,	PUNCT
iajs-1204	90	23	and	and	CCONJ
iajs-1204	90	24	since	since	SCONJ
iajs-1204	90	25	�	�	PROPN
iajs-1204	90	26	°	°	PROPN
iajs-1204	90	27	is	be	AUX
iajs-1204	90	28	open	open	ADJ
iajs-1204	90	29	set	set	VERB
iajs-1204	90	30	this	this	PRON
iajs-1204	90	31	implies	imply	VERB
iajs-1204	90	32	�	�	PROPN
iajs-1204	90	33	°	°	PROPN
iajs-1204	90	34	is	be	AUX
iajs-1204	90	35	a	a	DET
iajs-1204	90	36	preopen	preopen	ADJ
iajs-1204	90	37	set	set	NOUN
iajs-1204	90	38	(	(	PUNCT
iajs-1204	90	39	by	by	ADP
iajs-1204	90	40	remark	remark	NOUN
iajs-1204	90	41	3.1	3.1	NUM
iajs-1204	90	42	)	)	PUNCT
iajs-1204	90	43	.	.	PUNCT
iajs-1204	91	1	and	and	CCONJ
iajs-1204	91	2	�	�	PROPN
iajs-1204	91	3	°	°	PROPN
iajs-1204	91	4	ح	ح	NOUN
iajs-1204	91	5	a	a	DET
iajs-1204	91	6	so	so	ADV
iajs-1204	91	7	�	�	NOUN
iajs-1204	91	8	°	°	NOUN
iajs-1204	91	9	ح	ح	VERB
iajs-1204	91	10	a	a	DET
iajs-1204	91	11	ح	ح	NOUN
iajs-1204	91	12	ح	ح	PROPN
iajs-1204	91	13	°	°	PROPN
iajs-1204	91	14	�	�	PROPN
iajs-1204	91	15	�	�	PROPN
iajs-1204	91	16	�	�	PROPN
iajs-1204	91	17	�	�	PROPN
iajs-1204	91	18	�	�	PROPN
iajs-1204	91	19	°	°	PROPN
iajs-1204	91	20	�	�	PROPN
iajs-1204	91	21	�	�	PROPN
iajs-1204	91	22	°	°	PROPN
iajs-1204	91	23	�	�	PROPN
iajs-1204	91	24	�	�	PROPN
iajs-1204	91	25	�	�	PROPN
iajs-1204	91	26	,	,	PUNCT
iajs-1204	91	27	hence	hence	ADV
iajs-1204	91	28	�	�	NOUN
iajs-1204	91	29	°	°	PROPN
iajs-1204	91	30	ح	ح	VERB
iajs-1204	91	31	a	a	DET
iajs-1204	91	32	ح	ح	PROPN
iajs-1204	91	33	�	�	PROPN
iajs-1204	91	34	°	°	NOUN
iajs-1204	91	35	�	�	PROPN
iajs-1204	91	36	�	�	PROPN
iajs-1204	91	37	�	�	PROPN
iajs-1204	91	38	�	�	PROPN
iajs-1204	91	39	.	.	PUNCT
iajs-1204	92	1	thus	thus	ADV
iajs-1204	92	2	,	,	PUNCT
iajs-1204	92	3	a	a	PRON
iajs-1204	92	4	is	be	AUX
iajs-1204	92	5	semi	semi	ADJ
iajs-1204	92	6	-	-	ADJ
iajs-1204	92	7	preopen	preopen	ADJ
iajs-1204	92	8	set	set	NOUN
iajs-1204	92	9	.	.	PUNCT
iajs-1204	93	1	■	■	PUNCT
iajs-1204	93	2	the	the	DET
iajs-1204	93	3	converse	converse	NOUN
iajs-1204	93	4	of	of	ADP
iajs-1204	93	5	remark	remark	NOUN
iajs-1204	93	6	3.4	3.4	NUM
iajs-1204	93	7	is	be	AUX
iajs-1204	93	8	not	not	PART
iajs-1204	93	9	true	true	ADJ
iajs-1204	93	10	,	,	PUNCT
iajs-1204	93	11	as	as	ADP
iajs-1204	93	12	the	the	DET
iajs-1204	93	13	following	following	NOUN
iajs-1204	93	14	of	of	ADP
iajs-1204	93	15	example	example	NOUN
iajs-1204	93	16	2	2	NUM
iajs-1204	93	17	:	:	PUNCT
iajs-1204	93	18	x={1,2,3,4	x={1,2,3,4	ADJ
iajs-1204	93	19	}	}	PUNCT
iajs-1204	93	20	,	,	PUNCT
iajs-1204	93	21	={x,	={x,	PUNCT
iajs-1204	93	22	,	,	PUNCT
iajs-1204	93	23	{	{	PUNCT
iajs-1204	93	24	1},{2},{1,2	1},{2},{1,2	NUM
iajs-1204	93	25	}	}	PUNCT
iajs-1204	93	26	}	}	PUNCT
iajs-1204	93	27	α	α	PROPN
iajs-1204	93	28	=	=	NOUN
iajs-1204	93	29	po(x	po(x	X
iajs-1204	93	30	)	)	PUNCT
iajs-1204	93	31	=	=	SYM
iajs-1204	93	32			PROPN
iajs-1204	93	33			NOUN
iajs-1204	93	34	{	{	PUNCT
iajs-1204	93	35	{	{	PUNCT
iajs-1204	93	36	1,2,3},{1,2,4	1,2,3},{1,2,4	NUM
iajs-1204	93	37	}	}	PUNCT
iajs-1204	93	38	}	}	PUNCT
iajs-1204	93	39	spo(x	spo(x	PROPN
iajs-1204	93	40	)	)	PUNCT
iajs-1204	93	41	=	=	SYM
iajs-1204	93	42	po(x	po(x	X
iajs-1204	93	43	)	)	PUNCT
iajs-1204	93	44			NOUN
iajs-1204	93	45	{	{	PUNCT
iajs-1204	93	46	{	{	PUNCT
iajs-1204	93	47	1,3},{1,4},{1,3,4},{2,3},{2,4},{2,3,4	1,3},{1,4},{1,3,4},{2,3},{2,4},{2,3,4	NUM
iajs-1204	93	48	}	}	PUNCT
iajs-1204	93	49	}	}	PUNCT
iajs-1204	93	50	.	.	PUNCT
iajs-1204	94	1	remark	remark	VERB
iajs-1204	94	2	3.5	3.5	NUM
iajs-1204	94	3	:	:	PUNCT
iajs-1204	94	4	every	every	DET
iajs-1204	94	5	semi	semi	ADJ
iajs-1204	94	6	-	-	ADJ
iajs-1204	94	7	p	p	ADJ
iajs-1204	94	8	-	-	PUNCT
iajs-1204	94	9	open	open	ADJ
iajs-1204	94	10	set	set	NOUN
iajs-1204	94	11	is	be	AUX
iajs-1204	94	12	semi	semi	ADJ
iajs-1204	94	13	-	-	ADJ
iajs-1204	94	14	preopen	preopen	ADJ
iajs-1204	94	15	set	set	NOUN
iajs-1204	94	16	.	.	PUNCT
iajs-1204	95	1	proof	proof	NOUN
iajs-1204	95	2	:	:	PUNCT
iajs-1204	95	3	let	let	VERB
iajs-1204	95	4	a	a	PRON
iajs-1204	95	5	be	be	AUX
iajs-1204	95	6	any	any	DET
iajs-1204	95	7	semi	semi	ADJ
iajs-1204	95	8	-	-	ADJ
iajs-1204	95	9	p	p	ADJ
iajs-1204	95	10	-	-	PUNCT
iajs-1204	95	11	open	open	ADJ
iajs-1204	95	12	set	set	NOUN
iajs-1204	95	13	,	,	PUNCT
iajs-1204	95	14	this	this	PRON
iajs-1204	95	15	means	mean	VERB
iajs-1204	95	16	there	there	PRON
iajs-1204	95	17	exists	exist	VERB
iajs-1204	95	18	a	a	DET
iajs-1204	95	19	preopen	preopen	ADJ
iajs-1204	95	20	set	set	NOUN
iajs-1204	95	21	in	in	ADP
iajs-1204	95	22	x	x	PART
iajs-1204	95	23	say	say	VERB
iajs-1204	95	24	u	u	NOUN
iajs-1204	95	25	such	such	ADJ
iajs-1204	95	26	that	that	SCONJ
iajs-1204	95	27	u	u	PRON
iajs-1204	95	28	ح	ح	VERB
iajs-1204	95	29	a	a	DET
iajs-1204	95	30	ح	ح	ADJ
iajs-1204	95	31	pre	pre	ADJ
iajs-1204	95	32	-	-	ADJ
iajs-1204	95	33	cl	cl	ADJ
iajs-1204	95	34	u	u	NOUN
iajs-1204	95	35	,	,	PUNCT
iajs-1204	95	36	and	and	CCONJ
iajs-1204	95	37	since	since	SCONJ
iajs-1204	95	38	pre	pre	ADJ
iajs-1204	95	39	-	-	ADJ
iajs-1204	95	40	cl	cl	ADJ
iajs-1204	95	41	u	u	PROPN
iajs-1204	95	42	ح	ح	PROPN
iajs-1204	95	43	�	�	PROPN
iajs-1204	95	44	�	�	PROPN
iajs-1204	95	45	(	(	PUNCT
iajs-1204	95	46	by	by	ADP
iajs-1204	95	47	proposition	proposition	NOUN
iajs-1204	95	48	1.6	1.6	NUM
iajs-1204	95	49	)	)	PUNCT
iajs-1204	95	50	,	,	PUNCT
iajs-1204	95	51	therefore	therefore	ADV
iajs-1204	95	52	u	u	PRON
iajs-1204	95	53	ح	ح	VERB
iajs-1204	95	54	a	a	DET
iajs-1204	95	55	ح	ح	PROPN
iajs-1204	95	56	�	�	PROPN
iajs-1204	95	57	�	�	PROPN
iajs-1204	95	58	.	.	PUNCT
iajs-1204	96	1	thus	thus	ADV
iajs-1204	96	2	a	a	PRON
iajs-1204	96	3	is	be	AUX
iajs-1204	96	4	semi	semi	ADJ
iajs-1204	96	5	-	-	ADJ
iajs-1204	96	6	preopen	preopen	ADJ
iajs-1204	96	7	set	set	NOUN
iajs-1204	96	8	.	.	PUNCT
iajs-1204	97	1	■	■	PUNCT
iajs-1204	97	2	ut	ut	NOUN
iajs-1204	97	3	the	the	DET
iajs-1204	97	4	converse	converse	NOUN
iajs-1204	97	5	is	be	AUX
iajs-1204	97	6	not	not	PART
iajs-1204	97	7	true	true	ADJ
iajs-1204	97	8	,	,	PUNCT
iajs-1204	97	9	as	as	SCONJ
iajs-1204	97	10	the	the	DET
iajs-1204	97	11	following	follow	VERB
iajs-1204	97	12	example	example	NOUN
iajs-1204	97	13	show	show	NOUN
iajs-1204	97	14	:	:	PUNCT
iajs-1204	97	15	example	example	NOUN
iajs-1204	97	16	3	3	NUM
iajs-1204	97	17	:	:	PUNCT
iajs-1204	97	18	let	let	VERB
iajs-1204	97	19	x=	x=	PUNCT
iajs-1204	97	20	{	{	PUNCT
iajs-1204	97	21	1,2,3,4	1,2,3,4	NUM
iajs-1204	97	22	}	}	PUNCT
iajs-1204	97	23	,	,	PUNCT
iajs-1204	97	24	={	={	INTJ
iajs-1204	97	25	,	,	PUNCT
iajs-1204	97	26	x	x	X
iajs-1204	97	27	,	,	PUNCT
iajs-1204	97	28	{	{	PUNCT
iajs-1204	97	29	1,2	1,2	NUM
iajs-1204	97	30	}	}	PUNCT
iajs-1204	97	31	,	,	PUNCT
iajs-1204	97	32	{	{	PUNCT
iajs-1204	97	33	3	3	NUM
iajs-1204	97	34	}	}	PUNCT
iajs-1204	97	35	,	,	PUNCT
iajs-1204	97	36	{	{	PUNCT
iajs-1204	97	37	1,2,3	1,2,3	NOUN
iajs-1204	97	38	}	}	PUNCT
iajs-1204	97	39	}	}	PUNCT
iajs-1204	97	40	,	,	PUNCT
iajs-1204	97	41	�	�	PROPN
iajs-1204	97	42	=	=	PRON
iajs-1204	97	43	{	{	PUNCT
iajs-1204	97	44	x	x	NOUN
iajs-1204	97	45	,	,	PUNCT
iajs-1204	97	46			PROPN
iajs-1204	97	47	,	,	PUNCT
iajs-1204	97	48	{	{	PUNCT
iajs-1204	97	49	1,2,4},{3,4},{4	1,2,4},{3,4},{4	NOUN
iajs-1204	97	50	}	}	PUNCT
iajs-1204	97	51	}	}	PUNCT
iajs-1204	97	52	(x	(x	NOUN
iajs-1204	97	53	)	)	PUNCT
iajs-1204	97	54	=	=	SYM
iajs-1204	97	55			PROPN
iajs-1204	97	56			NOUN
iajs-1204	97	57	{	{	PUNCT
iajs-1204	97	58	{	{	PUNCT
iajs-1204	97	59	1},{2},{1,3},{2,3},{1,3,4},{2,3,4	1},{2},{1,3},{2,3},{1,3,4},{2,3,4	ADJ
iajs-1204	97	60	}	}	PUNCT
iajs-1204	97	61	}	}	PUNCT
iajs-1204	97	62	c(x	c(x	PROPN
iajs-1204	97	63	)	)	PUNCT
iajs-1204	97	64	=	=	PROPN
iajs-1204	97	65	�	�	PROPN
iajs-1204	97	66			PROPN
iajs-1204	97	67	{	{	PUNCT
iajs-1204	97	68	{	{	PUNCT
iajs-1204	97	69	2,3,4},{1,3,4},{2,4},{1,4},{2},{1	2,3,4},{1,3,4},{2,4},{1,4},{2},{1	NOUN
iajs-1204	97	70	}	}	PUNCT
iajs-1204	97	71	}	}	PUNCT
iajs-1204	97	72	s(x	s(x	NOUN
iajs-1204	97	73	)	)	PUNCT
iajs-1204	97	74	=	=	SYM
iajs-1204	97	75	(x	(x	NOUN
iajs-1204	97	76	)	)	PUNCT
iajs-1204	97	77			NOUN
iajs-1204	97	78	{	{	PUNCT
iajs-1204	97	79	{	{	PUNCT
iajs-1204	97	80	1,4},{2,4},{3,4},{1,2,4	1,4},{2,4},{3,4},{1,2,4	NUM
iajs-1204	97	81	}	}	PUNCT
iajs-1204	97	82	}	}	PUNCT
iajs-1204	97	83	now	now	ADV
iajs-1204	97	84	{	{	PUNCT
iajs-1204	97	85	1,4}خ	1,4}خ	NUM
iajs-1204	97	86	s(x	s(x	NOUN
iajs-1204	97	87	)	)	PUNCT
iajs-1204	97	88	,	,	PUNCT
iajs-1204	97	89	but	but	CCONJ
iajs-1204	97	90	{	{	PUNCT
iajs-1204	97	91	1}{1,4	1}{1,4	ADV
iajs-1204	97	92	}	}	PUNCT
iajs-1204	97	93	ح	ح	VERB
iajs-1204	97	94	pre	pre	ADJ
iajs-1204	97	95	-	-	NOUN
iajs-1204	97	96	cl	cl	ADJ
iajs-1204	97	97	{	{	PUNCT
iajs-1204	97	98	1}={1},thus	1}={1},thus	NUM
iajs-1204	97	99	{	{	PUNCT
iajs-1204	97	100	1,4	1,4	NUM
iajs-1204	97	101	}	}	PUNCT
iajs-1204	97	102	is	be	AUX
iajs-1204	97	103	not	not	PART
iajs-1204	97	104	semi	semi	ADJ
iajs-1204	97	105	-	-	ADJ
iajs-1204	97	106	p	p	ADJ
iajs-1204	97	107	-	-	PUNCT
iajs-1204	97	108	open	open	ADJ
iajs-1204	97	109	set	set	NOUN
iajs-1204	97	110	.	.	PUNCT
iajs-1204	98	1	ibn	ibn	PROPN
iajs-1204	98	2	alhaitham	alhaitham	PROPN
iajs-1204	99	1	j.	j.	PROPN
iajs-1204	100	1	fo	fo	ADP
iajs-1204	100	2	r	r	NOUN
iajs-1204	100	3	pure	pure	ADJ
iajs-1204	100	4	&	&	CCONJ
iajs-1204	100	5	appl	appl	PROPN
iajs-1204	100	6	.	.	PUNCT
iajs-1204	101	1	sc	sc	PROPN
iajs-1204	102	1	i	i	PRON
iajs-1204	102	2	vo	vo	INTJ
iajs-1204	102	3	l.22	l.22	X
iajs-1204	102	4	(	(	PUNCT
iajs-1204	102	5	3	3	NUM
iajs-1204	102	6	)	)	PUNCT
iajs-1204	102	7	2009	2009	NUM
iajs-1204	102	8	references	reference	NOUN
iajs-1204	102	9	1	1	NUM
iajs-1204	102	10	.	.	PUNCT
iajs-1204	102	11	navalagi	navalagi	ADJ
iajs-1204	102	12	,	,	PUNCT
iajs-1204	102	13	g.b	g.b	PROPN
iajs-1204	102	14	.	.	PUNCT
iajs-1204	102	15	(	(	PUNCT
iajs-1204	102	16	2000	2000	NUM
iajs-1204	102	17	)	)	PUNCT
iajs-1204	102	18	,	,	PUNCT
iajs-1204	102	19	"	"	PUNCT
iajs-1204	102	20	definition	definition	NOUN
iajs-1204	102	21	bank	bank	NOUN
iajs-1204	102	22	in	in	ADP
iajs-1204	102	23	general	general	ADJ
iajs-1204	102	24	topology	topology	NOUN
iajs-1204	102	25	"	"	PUNCT
iajs-1204	102	26	,	,	PUNCT
iajs-1204	102	27	internet	internet	NOUN
iajs-1204	102	28	.	.	PUNCT
iajs-1204	103	1	2	2	NUM
iajs-1204	103	2	.	.	X
iajs-1204	103	3	esmaeel	esmaeel	VERB
iajs-1204	103	4	,	,	PUNCT
iajs-1204	103	5	r.b	r.b	NOUN
iajs-1204	103	6	.	.	PROPN
iajs-1204	104	1	(	(	PUNCT
iajs-1204	104	2	2004	2004	NUM
iajs-1204	104	3	)	)	PUNCT
iajs-1204	104	4	"	"	PUNCT
iajs-1204	104	5	on	on	ADP
iajs-1204	104	6	semi	semi	ADJ
iajs-1204	104	7	-	-	ADJ
iajs-1204	104	8	p	p	ADJ
iajs-1204	104	9	-	-	PUNCT
iajs-1204	104	10	open	open	ADJ
iajs-1204	104	11	sets	set	NOUN
iajs-1204	104	12	"	"	PUNCT
iajs-1204	104	13	,	,	PUNCT
iajs-1204	104	14	m.sc	m.sc	PROPN
iajs-1204	104	15	.	.	PUNCT
iajs-1204	105	1	thesis	thesis	NOUN
iajs-1204	105	2	,	,	PUNCT
iajs-1204	105	3	university	university	NOUN
iajs-1204	105	4	of	of	ADP
iajs-1204	105	5	baghdad	baghdad	PROPN
iajs-1204	105	6	.	.	PUNCT
iajs-1204	106	1	301	301	NUM
iajs-1204	106	2	,	,	PUNCT
iajs-1204	106	3	-4	-4	PROPN
iajs-1204	106	4	)	)	PUNCT
iajs-1204	106	5	,	,	PUNCT
iajs-1204	106	6	299-(356math	299-(356math	NUM
iajs-1204	106	7	.	.	PUNCT
iajs-1204	107	1	hungarica	hungarica	ADJ
iajs-1204	107	2	,	,	PUNCT
iajs-1204	107	3	990	990	NUM
iajs-1204	107	4	)	)	PUNCT
iajs-1204	107	5	,	,	PUNCT
iajs-1204	107	6	acta	acta	PROPN
iajs-1204	107	7	ganster	ganster	NOUN
iajs-1204	107	8	and	and	CCONJ
iajs-1204	107	9	ivan	ivan	PROPN
iajs-1204	107	10	rrilly	rrilly	ADV
iajs-1204	107	11	,	,	PUNCT
iajs-1204	107	12	(	(	PUNCT
iajs-1204	107	13	1	1	NUM
iajs-1204	107	14	maximum	maximum	NOUN
iajs-1204	107	15	3	3	NUM
iajs-1204	107	16	.	.	PUNCT
iajs-1204	107	17	internet	internet	NOUN
iajs-1204	107	18	.	.	PUNCT
iajs-1204	108	1	4	4	X
iajs-1204	108	2	.	.	X
iajs-1204	108	3	olav	olav	PROPN
iajs-1204	108	4	njastad	njastad	PROPN
iajs-1204	108	5	,	,	PUNCT
iajs-1204	108	6	(	(	PUNCT
iajs-1204	108	7	1965	1965	NUM
iajs-1204	108	8	)	)	PUNCT
iajs-1204	108	9	,	,	PUNCT
iajs-1204	108	10	pacific	pacific	PROPN
iajs-1204	108	11	journal	journal	PROPN
iajs-1204	108	12	of	of	ADP
iajs-1204	108	13	mathematics	mathematic	NOUN
iajs-1204	108	14	,	,	PUNCT
iajs-1204	108	15	15:3	15:3	NUM
iajs-1204	108	16	.	.	NOUN
iajs-1204	108	17	5	5	NUM
iajs-1204	108	18	.	.	PUNCT
iajs-1204	109	1	mshhour	mshhour	PROPN
iajs-1204	109	2	,	,	PUNCT
iajs-1204	109	3	a.s	a.s	PROPN
iajs-1204	109	4	.	.	PROPN
iajs-1204	109	5	abd	abd	PROPN
iajs-1204	109	6	el	el	PROPN
iajs-1204	109	7	-	-	PUNCT
iajs-1204	109	8	monsef	monsef	PROPN
iajs-1204	109	9	m.e	m.e	PROPN
iajs-1204	109	10	.	.	PROPN
iajs-1204	109	11	and	and	CCONJ
iajs-1204	109	12	el	el	PROPN
iajs-1204	109	13	-	-	PUNCT
iajs-1204	109	14	deeb	deeb	PROPN
iajs-1204	109	15	,	,	PUNCT
iajs-1204	109	16	s.n	s.n	PROPN
iajs-1204	109	17	.	.	PROPN
iajs-1204	109	18	(	(	PUNCT
iajs-1204	109	19	1981	1981	NUM
iajs-1204	109	20	)	)	PUNCT
iajs-1204	109	21	.	.	PUNCT
iajs-1204	110	1	p	p	X
iajs-1204	110	2	roc.math	roc.math	PROPN
iajs-1204	110	3	.	.	PUNCT
iajs-1204	111	1	and	and	CCONJ
iajs-1204	111	2	phys.soc.egypt	phys.soc.egypt	PROPN
iajs-1204	111	3	51	51	NUM
iajs-1204	111	4	.	.	NOUN
iajs-1204	112	1	6	6	NUM
iajs-1204	112	2	.	.	X
iajs-1204	112	3	dontchev	dontchev	PROPN
iajs-1204	112	4	,	,	PUNCT
iajs-1204	112	5	j.	j.	PROPN
iajs-1204	112	6	(	(	PUNCT
iajs-1204	112	7	1994	1994	NUM
iajs-1204	112	8	)	)	PUNCT
iajs-1204	112	9	,	,	PUNCT
iajs-1204	112	10	helsinki	helsinki	PROPN
iajs-1204	112	11	unv	unv	PROPN
iajs-1204	112	12	.	.	PROPN
iajs-1204	112	13	,	,	PUNCT
iajs-1204	112	14	j.	j.	PROPN
iajs-1204	112	15	pure	pure	PROPN
iajs-1204	112	16	appl	appl	PROPN
iajs-1204	112	17	.	.	PUNCT
iajs-1204	112	18	math	math	PROPN
iajs-1204	112	19	.	.	PUNCT
iajs-1204	112	20	,	,	PUNCT
iajs-1204	112	21	25(9	25(9	NUM
iajs-1204	112	22	)	)	PUNCT
iajs-1204	112	23	.	.	PUNCT
iajs-1204	113	1	7	7	X
iajs-1204	113	2	.	.	X
iajs-1204	113	3	navalagi	navalagi	ADJ
iajs-1204	113	4	,	,	PUNCT
iajs-1204	113	5	g.b	g.b	PROPN
iajs-1204	113	6	.	.	PUNCT
iajs-1204	113	7	(	(	PUNCT
iajs-1204	113	8	2000	2000	NUM
iajs-1204	113	9	)	)	PUNCT
iajs-1204	113	10	.	.	PUNCT
iajs-1204	114	1	definition	definition	NOUN
iajs-1204	114	2	bank	bank	PROPN
iajs-1204	114	3	in	in	ADP
iajs-1204	114	4	general	general	ADJ
iajs-1204	114	5	topology	topology	NOUN
iajs-1204	114	6	,	,	PUNCT
iajs-1204	114	7	department	department	NOUN
iajs-1204	114	8	of	of	ADP
iajs-1204	114	9	mathematics	mathematics	PROPN
iajs-1204	114	10	,	,	PUNCT
iajs-1204	114	11	g.h.college	g.h.college	NOUN
iajs-1204	114	12	,	,	PUNCT
iajs-1204	114	13	karanataka	karanataka	PROPN
iajs-1204	114	14	,	,	PUNCT
iajs-1204	114	15	india	india	PROPN