id	sid	tid	token	lemma	pos
bibechana-13985	1	1	r.n	r.n	PROPN
bibechana-13985	1	2	.	.	PROPN
bibechana-13985	1	3	yadav	yadav	PROPN
bibechana-13985	1	4	et	et	PROPN
bibechana-13985	1	5	al	al	PROPN
bibechana-13985	1	6	.	.	PUNCT
bibechana-13985	1	7	/	/	PUNCT
bibechana-13985	1	8	bibechana	bibechana	NOUN
bibechana-13985	1	9	13	13	NUM
bibechana-13985	1	10	(	(	PUNCT
bibechana-13985	1	11	2016	2016	NUM
bibechana-13985	1	12	)	)	PUNCT
bibechana-13985	1	13	132	132	NUM
bibechana-13985	1	14	-	-	SYM
bibechana-13985	1	15	136	136	NUM
bibechana-13985	1	16	:	:	PUNCT
bibechana-13985	1	17	rcost	rcost	NOUN
bibechana-13985	1	18	p.132	p.132	NOUN
bibechana-13985	1	19	(	(	PUNCT
bibechana-13985	1	20	online	online	ADJ
bibechana-13985	1	21	publication	publication	NOUN
bibechana-13985	1	22	:	:	PUNCT
bibechana-13985	1	23	dec	dec	PROPN
bibechana-13985	1	24	.	.	PROPN
bibechana-13985	1	25	,	,	PUNCT
bibechana-13985	1	26	2015	2015	NUM
bibechana-13985	1	27	)	)	PUNCT
bibechana-13985	1	28	bibechana	bibechana	NOUN
bibechana-13985	1	29	a	a	DET
bibechana-13985	1	30	multidisciplinary	multidisciplinary	ADJ
bibechana-13985	1	31	journal	journal	NOUN
bibechana-13985	1	32	of	of	ADP
bibechana-13985	1	33	science	science	NOUN
bibechana-13985	1	34	,	,	PUNCT
bibechana-13985	1	35	technology	technology	NOUN
bibechana-13985	1	36	and	and	CCONJ
bibechana-13985	1	37	mathematics	mathematic	NOUN
bibechana-13985	1	38	issn	issn	VERB
bibechana-13985	1	39	2091	2091	NUM
bibechana-13985	1	40	-	-	SYM
bibechana-13985	1	41	0762	0762	NUM
bibechana-13985	1	42	(	(	PUNCT
bibechana-13985	1	43	print	print	NOUN
bibechana-13985	1	44	)	)	PUNCT
bibechana-13985	1	45	,	,	PUNCT
bibechana-13985	1	46	2382	2382	NUM
bibechana-13985	1	47	-	-	SYM
bibechana-13985	1	48	5340	5340	NUM
bibechana-13985	1	49	(	(	PUNCT
bibechana-13985	1	50	0nline	0nline	NUM
bibechana-13985	1	51	)	)	PUNCT
bibechana-13985	1	52	journal	journal	NOUN
bibechana-13985	1	53	homepage	homepage	NOUN
bibechana-13985	1	54	:	:	PUNCT
bibechana-13985	1	55	http://nepjol.info/index.php/bibechana	http://nepjol.info/index.php/bibechana	PROPN
bibechana-13985	1	56	publisher	publisher	NOUN
bibechana-13985	1	57	:	:	PUNCT
bibechana-13985	1	58	research	research	PROPN
bibechana-13985	1	59	council	council	PROPN
bibechana-13985	1	60	of	of	ADP
bibechana-13985	1	61	science	science	NOUN
bibechana-13985	1	62	and	and	CCONJ
bibechana-13985	1	63	technology	technology	NOUN
bibechana-13985	1	64	,	,	PUNCT
bibechana-13985	1	65	biratnagar	biratnagar	NOUN
bibechana-13985	1	66	,	,	PUNCT
bibechana-13985	1	67	nepal	nepal	ADJ
bibechana-13985	1	68	finite	finite	NOUN
bibechana-13985	1	69	partially	partially	ADV
bibechana-13985	1	70	ordered	order	VERB
bibechana-13985	1	71	set	set	NOUN
bibechana-13985	1	72	and	and	CCONJ
bibechana-13985	1	73	some	some	PRON
bibechana-13985	1	74	of	of	ADP
bibechana-13985	1	75	its	its	PRON
bibechana-13985	1	76	properties	property	NOUN
bibechana-13985	1	77	r.	r.	PROPN
bibechana-13985	1	78	n.	n.	PROPN
bibechana-13985	1	79	yadav1	yadav1	PROPN
bibechana-13985	1	80	,	,	PUNCT
bibechana-13985	1	81	s.	s.	PROPN
bibechana-13985	1	82	k.	k.	PROPN
bibechana-13985	1	83	chakrabarti2	chakrabarti2	PROPN
bibechana-13985	2	1	*	*	PROPN
bibechana-13985	2	2	,	,	PUNCT
bibechana-13985	2	3	i.	i.	PROPN
bibechana-13985	2	4	s.	s.	PROPN
bibechana-13985	2	5	jha2	jha2	PROPN
bibechana-13985	2	6	and	and	CCONJ
bibechana-13985	2	7	u.	u.	PROPN
bibechana-13985	2	8	p.	p.	NOUN
bibechana-13985	3	1	yadav1	yadav1	NOUN
bibechana-13985	4	1	1department	1department	NUM
bibechana-13985	4	2	of	of	ADP
bibechana-13985	4	3	mathematics	mathematic	NOUN
bibechana-13985	4	4	,	,	PUNCT
bibechana-13985	4	5	m.	m.	NOUN
bibechana-13985	4	6	m.	m.	NOUN
bibechana-13985	4	7	a.	a.	PROPN
bibechana-13985	4	8	m.	m.	PROPN
bibechana-13985	4	9	campus	campus	PROPN
bibechana-13985	4	10	,	,	PUNCT
bibechana-13985	4	11	tribhuvan	tribhuvan	PROPN
bibechana-13985	4	12	university	university	PROPN
bibechana-13985	4	13	,	,	PUNCT
bibechana-13985	4	14	biratnagar	biratnagar	NOUN
bibechana-13985	4	15	,	,	PUNCT
bibechana-13985	4	16	nepal	nepal	NOUN
bibechana-13985	4	17	2department	2department	NUM
bibechana-13985	4	18	of	of	ADP
bibechana-13985	4	19	physics	physics	PROPN
bibechana-13985	4	20	,	,	PUNCT
bibechana-13985	4	21	m.	m.	NOUN
bibechana-13985	4	22	m.	m.	PROPN
bibechana-13985	4	23	a.	a.	PROPN
bibechana-13985	4	24	m.	m.	PROPN
bibechana-13985	4	25	campus	campus	PROPN
bibechana-13985	4	26	,	,	PUNCT
bibechana-13985	4	27	tribhuvan	tribhuvan	PROPN
bibechana-13985	4	28	university	university	PROPN
bibechana-13985	4	29	,	,	PUNCT
bibechana-13985	4	30	biratnagar	biratnagar	NOUN
bibechana-13985	4	31	,	,	PUNCT
bibechana-13985	4	32	nepal	nepal	NOUN
bibechana-13985	4	33	*	*	PUNCT
bibechana-13985	4	34	e	e	NOUN
bibechana-13985	4	35	-	-	NOUN
bibechana-13985	4	36	mail	mail	NOUN
bibechana-13985	4	37	:	:	PUNCT
bibechana-13985	4	38	skc_2007@yahoo.com	skc_2007@yahoo.com	X
bibechana-13985	4	39	article	article	NOUN
bibechana-13985	4	40	history	history	NOUN
bibechana-13985	4	41	:	:	PUNCT
bibechana-13985	4	42	received	receive	VERB
bibechana-13985	4	43	21	21	NUM
bibechana-13985	4	44	july	july	PROPN
bibechana-13985	4	45	,	,	PUNCT
bibechana-13985	4	46	2015	2015	NUM
bibechana-13985	4	47	;	;	PUNCT
bibechana-13985	4	48	accepted	accept	VERB
bibechana-13985	4	49	29	29	NUM
bibechana-13985	4	50	november	november	PROPN
bibechana-13985	4	51	,	,	PUNCT
bibechana-13985	4	52	2015	2015	NUM
bibechana-13985	4	53	doi	doi	NOUN
bibechana-13985	4	54	:	:	PUNCT
bibechana-13985	4	55	http://dx.doi.org/10.3126/bibechana.v13i0.13985	http://dx.doi.org/10.3126/bibechana.v13i0.13985	X
bibechana-13985	4	56	abstract	abstract	ADJ
bibechana-13985	4	57	this	this	DET
bibechana-13985	4	58	paper	paper	NOUN
bibechana-13985	4	59	focuses	focus	VERB
bibechana-13985	4	60	on	on	ADP
bibechana-13985	4	61	some	some	DET
bibechana-13985	4	62	main	main	ADJ
bibechana-13985	4	63	properties	property	NOUN
bibechana-13985	4	64	of	of	ADP
bibechana-13985	4	65	the	the	DET
bibechana-13985	4	66	finite	finite	NOUN
bibechana-13985	4	67	partially	partially	ADV
bibechana-13985	4	68	ordered	order	VERB
bibechana-13985	4	69	sets	set	NOUN
bibechana-13985	4	70	.	.	PUNCT
bibechana-13985	5	1	these	these	DET
bibechana-13985	5	2	properties	property	NOUN
bibechana-13985	5	3	are	be	AUX
bibechana-13985	5	4	furnished	furnish	VERB
bibechana-13985	5	5	in	in	ADP
bibechana-13985	5	6	the	the	DET
bibechana-13985	5	7	form	form	NOUN
bibechana-13985	5	8	of	of	ADP
bibechana-13985	5	9	theorems	theorem	NOUN
bibechana-13985	5	10	.	.	PUNCT
bibechana-13985	6	1	here	here	ADV
bibechana-13985	6	2	we	we	PRON
bibechana-13985	6	3	have	have	AUX
bibechana-13985	6	4	presented	present	VERB
bibechana-13985	6	5	three	three	NUM
bibechana-13985	6	6	such	such	ADJ
bibechana-13985	6	7	theorems	theorem	NOUN
bibechana-13985	6	8	.	.	PUNCT
bibechana-13985	7	1	the	the	DET
bibechana-13985	7	2	first	first	ADJ
bibechana-13985	7	3	theorem	theorem	NOUN
bibechana-13985	7	4	is	be	AUX
bibechana-13985	7	5	called	call	VERB
bibechana-13985	7	6	as	as	ADP
bibechana-13985	7	7	‘	'	PUNCT
bibechana-13985	7	8	duality	duality	NOUN
bibechana-13985	7	9	theorem	theorem	NOUN
bibechana-13985	7	10	’	'	PUNCT
bibechana-13985	7	11	.	.	PUNCT
bibechana-13985	8	1	this	this	DET
bibechana-13985	8	2	fundamental	fundamental	ADJ
bibechana-13985	8	3	theorem	theorem	NOUN
bibechana-13985	8	4	was	be	AUX
bibechana-13985	8	5	first	first	ADV
bibechana-13985	8	6	obtained	obtain	VERB
bibechana-13985	8	7	by	by	ADP
bibechana-13985	8	8	greene	greene	PROPN
bibechana-13985	8	9	.	.	PUNCT
bibechana-13985	9	1	few	few	ADJ
bibechana-13985	9	2	years	year	NOUN
bibechana-13985	9	3	later	later	ADV
bibechana-13985	9	4	it	it	PRON
bibechana-13985	9	5	was	be	AUX
bibechana-13985	9	6	rediscovered	rediscover	VERB
bibechana-13985	9	7	and	and	CCONJ
bibechana-13985	9	8	given	give	VERB
bibechana-13985	9	9	an	an	DET
bibechana-13985	9	10	alternative	alternative	ADJ
bibechana-13985	9	11	proof	proof	NOUN
bibechana-13985	9	12	by	by	ADP
bibechana-13985	9	13	fomin	fomin	NOUN
bibechana-13985	9	14	.	.	PUNCT
bibechana-13985	10	1	the	the	DET
bibechana-13985	10	2	second	second	ADJ
bibechana-13985	10	3	theorem	theorem	NOUN
bibechana-13985	10	4	bestows	bestow	VERB
bibechana-13985	10	5	the	the	DET
bibechana-13985	10	6	functionality	functionality	NOUN
bibechana-13985	10	7	property	property	NOUN
bibechana-13985	10	8	.	.	PUNCT
bibechana-13985	11	1	the	the	DET
bibechana-13985	11	2	proof	proof	NOUN
bibechana-13985	11	3	of	of	ADP
bibechana-13985	11	4	this	this	PRON
bibechana-13985	11	5	was	be	AUX
bibechana-13985	11	6	also	also	ADV
bibechana-13985	11	7	done	do	VERB
bibechana-13985	11	8	by	by	ADP
bibechana-13985	11	9	greene	greene	PROPN
bibechana-13985	11	10	.	.	PUNCT
bibechana-13985	12	1	however	however	ADV
bibechana-13985	12	2	,	,	PUNCT
bibechana-13985	12	3	gansner	gansner	PROPN
bibechana-13985	12	4	gave	give	VERB
bibechana-13985	12	5	an	an	DET
bibechana-13985	12	6	alternative	alternative	ADJ
bibechana-13985	12	7	proof	proof	NOUN
bibechana-13985	12	8	of	of	ADP
bibechana-13985	12	9	the	the	DET
bibechana-13985	12	10	theorem	theorem	NOUN
bibechana-13985	12	11	taking	take	VERB
bibechana-13985	12	12	advantage	advantage	NOUN
bibechana-13985	12	13	of	of	ADP
bibechana-13985	12	14	a	a	DET
bibechana-13985	12	15	connection	connection	NOUN
bibechana-13985	12	16	between	between	ADP
bibechana-13985	12	17	poset	poset	NOUN
bibechana-13985	12	18	and	and	CCONJ
bibechana-13985	12	19	linear	linear	PROPN
bibechana-13985	12	20	algebra	algebra	PROPN
bibechana-13985	12	21	.	.	PUNCT
bibechana-13985	13	1	the	the	DET
bibechana-13985	13	2	proof	proof	NOUN
bibechana-13985	13	3	of	of	ADP
bibechana-13985	13	4	the	the	DET
bibechana-13985	13	5	third	third	ADJ
bibechana-13985	13	6	theorem	theorem	NOUN
bibechana-13985	13	7	is	be	AUX
bibechana-13985	13	8	fully	fully	ADV
bibechana-13985	13	9	due	due	ADJ
bibechana-13985	13	10	to	to	ADP
bibechana-13985	13	11	us	we	PRON
bibechana-13985	13	12	.	.	PUNCT
bibechana-13985	14	1	this	this	DET
bibechana-13985	14	2	theorem	theorem	NOUN
bibechana-13985	14	3	gives	give	VERB
bibechana-13985	14	4	rise	rise	NOUN
bibechana-13985	14	5	to	to	ADP
bibechana-13985	14	6	a	a	DET
bibechana-13985	14	7	recursive	recursive	ADJ
bibechana-13985	14	8	computation	computation	NOUN
bibechana-13985	14	9	of	of	ADP
bibechana-13985	14	10	the	the	DET
bibechana-13985	14	11	shape	shape	NOUN
bibechana-13985	14	12	.	.	PUNCT
bibechana-13985	15	1	in	in	ADP
bibechana-13985	15	2	the	the	DET
bibechana-13985	15	3	present	present	ADJ
bibechana-13985	15	4	paper	paper	NOUN
bibechana-13985	15	5	we	we	PRON
bibechana-13985	15	6	have	have	AUX
bibechana-13985	15	7	discussed	discuss	VERB
bibechana-13985	15	8	the	the	DET
bibechana-13985	15	9	first	first	ADJ
bibechana-13985	15	10	two	two	NUM
bibechana-13985	15	11	properties	property	NOUN
bibechana-13985	15	12	through	through	ADP
bibechana-13985	15	13	suitable	suitable	ADJ
bibechana-13985	15	14	illustrations	illustration	NOUN
bibechana-13985	15	15	only	only	ADV
bibechana-13985	15	16	whereas	whereas	SCONJ
bibechana-13985	15	17	a	a	DET
bibechana-13985	15	18	complete	complete	ADJ
bibechana-13985	15	19	proof	proof	NOUN
bibechana-13985	15	20	is	be	AUX
bibechana-13985	15	21	furnished	furnish	VERB
bibechana-13985	15	22	for	for	ADP
bibechana-13985	15	23	the	the	DET
bibechana-13985	15	24	last	last	ADJ
bibechana-13985	15	25	one	one	NUM
bibechana-13985	15	26	.	.	PUNCT
bibechana-13985	16	1	©	©	PROPN
bibechana-13985	16	2	rcost	rcost	NOUN
bibechana-13985	16	3	:	:	PUNCT
bibechana-13985	16	4	all	all	DET
bibechana-13985	16	5	rights	right	NOUN
bibechana-13985	16	6	reserved	reserve	VERB
bibechana-13985	16	7	.	.	PUNCT
bibechana-13985	17	1	keywords	keyword	NOUN
bibechana-13985	17	2	:	:	PUNCT
bibechana-13985	17	3	poset	poset	VERB
bibechana-13985	17	4	;	;	PUNCT
bibechana-13985	17	5	ferrers	ferrer	NOUN
bibechana-13985	17	6	shape	shape	NOUN
bibechana-13985	17	7	;	;	PUNCT
bibechana-13985	17	8	duality	duality	NOUN
bibechana-13985	17	9	theorem	theorem	VERB
bibechana-13985	17	10	;	;	PUNCT
bibechana-13985	17	11	functionality	functionality	NOUN
bibechana-13985	17	12	;	;	PUNCT
bibechana-13985	17	13	recursive	recursive	ADJ
bibechana-13985	17	14	computation	computation	NOUN
bibechana-13985	17	15	.	.	PUNCT
bibechana-13985	18	1	1	1	X
bibechana-13985	18	2	.	.	X
bibechana-13985	18	3	introduction	introduction	NOUN
bibechana-13985	18	4	a	a	DET
bibechana-13985	18	5	set	set	NOUN
bibechana-13985	18	6	is	be	AUX
bibechana-13985	18	7	a	a	DET
bibechana-13985	18	8	well	well	ADV
bibechana-13985	18	9	-	-	PUNCT
bibechana-13985	18	10	defined	define	VERB
bibechana-13985	18	11	collection	collection	NOUN
bibechana-13985	18	12	of	of	ADP
bibechana-13985	18	13	objects	object	NOUN
bibechana-13985	18	14	called	call	VERB
bibechana-13985	18	15	as	as	ADP
bibechana-13985	18	16	elements	element	NOUN
bibechana-13985	18	17	[	[	X
bibechana-13985	18	18	1	1	NUM
bibechana-13985	18	19	]	]	PUNCT
bibechana-13985	18	20	.	.	PUNCT
bibechana-13985	19	1	an	an	DET
bibechana-13985	19	2	ordered	order	VERB
bibechana-13985	19	3	set	set	NOUN
bibechana-13985	19	4	is	be	AUX
bibechana-13985	19	5	a	a	DET
bibechana-13985	19	6	sequence	sequence	NOUN
bibechana-13985	19	7	of	of	ADP
bibechana-13985	19	8	elements	element	NOUN
bibechana-13985	19	9	that	that	PRON
bibechana-13985	19	10	is	be	AUX
bibechana-13985	19	11	distinguished	distinguish	VERB
bibechana-13985	19	12	from	from	ADP
bibechana-13985	19	13	the	the	DET
bibechana-13985	19	14	other	other	ADJ
bibechana-13985	19	15	sequences	sequence	NOUN
bibechana-13985	19	16	of	of	ADP
bibechana-13985	19	17	the	the	DET
bibechana-13985	19	18	same	same	ADJ
bibechana-13985	19	19	element	element	NOUN
bibechana-13985	19	20	by	by	ADP
bibechana-13985	19	21	the	the	DET
bibechana-13985	19	22	order	order	NOUN
bibechana-13985	19	23	of	of	ADP
bibechana-13985	19	24	the	the	DET
bibechana-13985	19	25	elements	element	NOUN
bibechana-13985	19	26	.	.	PUNCT
bibechana-13985	20	1	a	a	DET
bibechana-13985	20	2	partially	partially	ADV
bibechana-13985	20	3	ordered	order	VERB
bibechana-13985	20	4	set	set	NOUN
bibechana-13985	20	5	(	(	PUNCT
bibechana-13985	20	6	or	or	CCONJ
bibechana-13985	20	7	poset	poset	VERB
bibechana-13985	20	8	)	)	PUNCT
bibechana-13985	20	9	is	be	AUX
bibechana-13985	20	10	a	a	DET
bibechana-13985	20	11	set	set	NOUN
bibechana-13985	20	12	in	in	ADP
bibechana-13985	20	13	which	which	PRON
bibechana-13985	20	14	a	a	DET
bibechana-13985	20	15	relation	relation	NOUN
bibechana-13985	20	16	as	as	ADP
bibechana-13985	20	17	‘	'	PUNCT
bibechana-13985	20	18	less	less	ADJ
bibechana-13985	20	19	than	than	ADP
bibechana-13985	20	20	or	or	CCONJ
bibechana-13985	20	21	equal	equal	ADJ
bibechana-13985	20	22	to	to	PART
bibechana-13985	20	23	’	'	PUNCT
bibechana-13985	20	24	holds	hold	VERB
bibechana-13985	20	25	for	for	ADP
bibechana-13985	20	26	some	some	DET
bibechana-13985	20	27	pairs	pair	NOUN
bibechana-13985	20	28	of	of	ADP
bibechana-13985	20	29	elements	element	NOUN
bibechana-13985	20	30	of	of	ADP
bibechana-13985	20	31	the	the	DET
bibechana-13985	20	32	set	set	NOUN
bibechana-13985	20	33	but	but	CCONJ
bibechana-13985	20	34	not	not	PART
bibechana-13985	20	35	for	for	ADP
bibechana-13985	20	36	all	all	PRON
bibechana-13985	20	37	.	.	PUNCT
bibechana-13985	21	1	formally	formally	ADV
bibechana-13985	21	2	,	,	PUNCT
bibechana-13985	21	3	a	a	DET
bibechana-13985	21	4	poset	poset	NOUN
bibechana-13985	21	5	is	be	AUX
bibechana-13985	21	6	defined	define	VERB
bibechana-13985	21	7	as	as	ADP
bibechana-13985	21	8	an	an	DET
bibechana-13985	21	9	ordered	ordered	ADJ
bibechana-13985	21	10	pair	pair	NOUN
bibechana-13985	21	11	p	p	X
bibechana-13985	21	12	=	=	X
bibechana-13985	21	13	(	(	PUNCT
bibechana-13985	21	14	x	x	NOUN
bibechana-13985	21	15	,	,	PUNCT
bibechana-13985	21	16	≤	≤	NUM
bibechana-13985	21	17	)	)	PUNCT
bibechana-13985	21	18	,	,	PUNCT
bibechana-13985	21	19	where	where	SCONJ
bibechana-13985	21	20	x	x	PRON
bibechana-13985	21	21	is	be	AUX
bibechana-13985	21	22	called	call	VERB
bibechana-13985	21	23	the	the	DET
bibechana-13985	21	24	ground	ground	NOUN
bibechana-13985	21	25	set	set	NOUN
bibechana-13985	21	26	of	of	ADP
bibechana-13985	21	27	p	p	PROPN
bibechana-13985	21	28	and	and	CCONJ
bibechana-13985	21	29	≤	≤	NUM
bibechana-13985	21	30	is	be	AUX
bibechana-13985	21	31	the	the	DET
bibechana-13985	21	32	partial	partial	ADJ
bibechana-13985	21	33	order	order	NOUN
bibechana-13985	21	34	of	of	ADP
bibechana-13985	21	35	p.	p.	NOUN
bibechana-13985	21	36	an	an	DET
bibechana-13985	21	37	element	element	NOUN
bibechana-13985	21	38	u	u	NOUN
bibechana-13985	21	39	in	in	ADP
bibechana-13985	21	40	a	a	DET
bibechana-13985	21	41	partially	partially	ADV
bibechana-13985	21	42	ordered	order	VERB
bibechana-13985	21	43	set	set	NOUN
bibechana-13985	21	44	(	(	PUNCT
bibechana-13985	21	45	x	x	X
bibechana-13985	21	46	,	,	PUNCT
bibechana-13985	21	47	≤	≤	NUM
bibechana-13985	21	48	)	)	PUNCT
bibechana-13985	21	49	is	be	AUX
bibechana-13985	21	50	said	say	VERB
bibechana-13985	21	51	to	to	PART
bibechana-13985	21	52	be	be	AUX
bibechana-13985	21	53	an	an	DET
bibechana-13985	21	54	upper	upper	ADJ
bibechana-13985	21	55	bound	bind	VERB
bibechana-13985	21	56	for	for	ADP
bibechana-13985	21	57	a	a	DET
bibechana-13985	21	58	subset	subset	NOUN
bibechana-13985	21	59	s	s	NOUN
bibechana-13985	21	60	of	of	ADP
bibechana-13985	21	61	x	x	PRON
bibechana-13985	21	62	if	if	SCONJ
bibechana-13985	21	63	for	for	ADP
bibechana-13985	21	64	every	every	DET
bibechana-13985	21	65	s	s	PART
bibechana-13985	21	66			NOUN
bibechana-13985	21	67	s	s	PART
bibechana-13985	21	68	,	,	PUNCT
bibechana-13985	21	69	we	we	PRON
bibechana-13985	21	70	have	have	VERB
bibechana-13985	21	71	s	s	PART
bibechana-13985	21	72	≤	≤	NOUN
bibechana-13985	21	73	u.	u.	NOUN
bibechana-13985	21	74	similarly	similarly	ADV
bibechana-13985	21	75	,	,	PUNCT
bibechana-13985	21	76	a	a	DET
bibechana-13985	21	77	lower	lower	ADV
bibechana-13985	21	78	bound	bind	VERB
bibechana-13985	21	79	for	for	ADP
bibechana-13985	21	80	a	a	DET
bibechana-13985	21	81	subset	subset	NOUN
bibechana-13985	21	82	s	s	X
bibechana-13985	21	83	is	be	AUX
bibechana-13985	21	84	an	an	DET
bibechana-13985	21	85	element	element	NOUN
bibechana-13985	21	86	l	l	NOUN
bibechana-13985	21	87	such	such	ADJ
bibechana-13985	21	88	that	that	PRON
bibechana-13985	21	89	for	for	SCONJ
bibechana-13985	21	90	every	every	DET
bibechana-13985	21	91	s	s	PART
bibechana-13985	21	92			NOUN
bibechana-13985	21	93	s	s	PART
bibechana-13985	21	94	,	,	PUNCT
bibechana-13985	21	95	l	l	NOUN
bibechana-13985	21	96	≤	≤	NUM
bibechana-13985	22	1	s.	s.	PROPN
bibechana-13985	22	2	if	if	SCONJ
bibechana-13985	22	3	there	there	PRON
bibechana-13985	22	4	are	be	VERB
bibechana-13985	22	5	an	an	DET
bibechana-13985	22	6	upper	upper	ADJ
bibechana-13985	22	7	bound	bind	VERB
bibechana-13985	22	8	and	and	CCONJ
bibechana-13985	22	9	a	a	DET
bibechana-13985	22	10	lower	lower	ADV
bibechana-13985	22	11	bound	bind	VERB
bibechana-13985	22	12	for	for	ADP
bibechana-13985	22	13	x	x	NOUN
bibechana-13985	22	14	,	,	PUNCT
bibechana-13985	22	15	then	then	ADV
bibechana-13985	22	16	the	the	DET
bibechana-13985	22	17	poset	poset	NOUN
bibechana-13985	22	18	(	(	PUNCT
bibechana-13985	22	19	x	x	X
bibechana-13985	22	20	,	,	PUNCT
bibechana-13985	22	21	≤	≤	NUM
bibechana-13985	22	22	)	)	PUNCT
bibechana-13985	22	23	is	be	AUX
bibechana-13985	22	24	said	say	VERB
bibechana-13985	22	25	to	to	PART
bibechana-13985	22	26	be	be	AUX
bibechana-13985	22	27	finite	finite	ADJ
bibechana-13985	22	28	.	.	PUNCT
bibechana-13985	23	1	here	here	ADV
bibechana-13985	23	2	we	we	PRON
bibechana-13985	23	3	bring	bring	VERB
bibechana-13985	23	4	together	together	ADV
bibechana-13985	23	5	some	some	DET
bibechana-13985	23	6	main	main	ADJ
bibechana-13985	23	7	properties	property	NOUN
bibechana-13985	23	8	of	of	ADP
bibechana-13985	23	9	finite	finite	ADJ
bibechana-13985	23	10	posets	poset	NOUN
bibechana-13985	23	11	in	in	ADP
bibechana-13985	23	12	the	the	DET
bibechana-13985	23	13	form	form	NOUN
bibechana-13985	23	14	of	of	ADP
bibechana-13985	23	15	theorems	theorem	NOUN
bibechana-13985	23	16	.	.	PUNCT
bibechana-13985	24	1	in	in	ADP
bibechana-13985	24	2	this	this	DET
bibechana-13985	24	3	spirit	spirit	NOUN
bibechana-13985	24	4	,	,	PUNCT
bibechana-13985	24	5	we	we	PRON
bibechana-13985	24	6	r.n	r.n	VERB
bibechana-13985	24	7	.	.	PROPN
bibechana-13985	24	8	yadav	yadav	PROPN
bibechana-13985	24	9	et	et	PROPN
bibechana-13985	24	10	al	al	PROPN
bibechana-13985	24	11	.	.	PUNCT
bibechana-13985	24	12	/	/	PUNCT
bibechana-13985	24	13	bibechana	bibechana	NOUN
bibechana-13985	24	14	13	13	NUM
bibechana-13985	24	15	(	(	PUNCT
bibechana-13985	24	16	2016	2016	NUM
bibechana-13985	24	17	)	)	PUNCT
bibechana-13985	24	18	132	132	NUM
bibechana-13985	24	19	-	-	SYM
bibechana-13985	24	20	136	136	NUM
bibechana-13985	24	21	:	:	PUNCT
bibechana-13985	24	22	rcost	rcost	NOUN
bibechana-13985	24	23	p.133	p.133	NOUN
bibechana-13985	24	24	(	(	PUNCT
bibechana-13985	24	25	online	online	ADJ
bibechana-13985	24	26	publication	publication	NOUN
bibechana-13985	24	27	:	:	PUNCT
bibechana-13985	24	28	dec	dec	PROPN
bibechana-13985	24	29	.	.	PROPN
bibechana-13985	24	30	,	,	PUNCT
bibechana-13985	24	31	2015	2015	NUM
bibechana-13985	24	32	)	)	PUNCT
bibechana-13985	24	33	begin	begin	VERB
bibechana-13985	24	34	our	our	PRON
bibechana-13985	24	35	presentation	presentation	NOUN
bibechana-13985	24	36	by	by	ADP
bibechana-13985	24	37	stating	state	VERB
bibechana-13985	24	38	greene	greene	PROPN
bibechana-13985	24	39	’s	’s	PART
bibechana-13985	24	40	fundamental	fundamental	ADJ
bibechana-13985	24	41	theorem	theorem	NOUN
bibechana-13985	24	42	that	that	PRON
bibechana-13985	24	43	introduces	introduce	VERB
bibechana-13985	24	44	the	the	DET
bibechana-13985	24	45	map	map	NOUN
bibechana-13985	24	46	p	p	PROPN
bibechana-13985	24	47			PROPN
bibechana-13985	24	48	(p	(p	NUM
bibechana-13985	24	49	)	)	PUNCT
bibechana-13985	24	50	.	.	PUNCT
bibechana-13985	25	1	the	the	DET
bibechana-13985	25	2	next	next	ADJ
bibechana-13985	25	3	theorem	theorem	NOUN
bibechana-13985	25	4	asserts	assert	VERB
bibechana-13985	25	5	that	that	SCONJ
bibechana-13985	25	6	the	the	DET
bibechana-13985	25	7	shape	shape	NOUN
bibechana-13985	25	8	(p	(p	NOUN
bibechana-13985	25	9	)	)	PUNCT
bibechana-13985	25	10	grows	grow	VERB
bibechana-13985	25	11	as	as	ADP
bibechana-13985	25	12	new	new	ADJ
bibechana-13985	25	13	maximal	maximal	ADJ
bibechana-13985	25	14	elements	element	NOUN
bibechana-13985	25	15	added	add	VERB
bibechana-13985	25	16	to	to	ADP
bibechana-13985	25	17	the	the	DET
bibechana-13985	25	18	poset	poset	NOUN
bibechana-13985	25	19	p.	p.	NOUN
bibechana-13985	25	20	the	the	DET
bibechana-13985	25	21	third	third	ADJ
bibechana-13985	25	22	theorem	theorem	NOUN
bibechana-13985	25	23	,	,	PUNCT
bibechana-13985	25	24	representing	represent	VERB
bibechana-13985	25	25	a	a	DET
bibechana-13985	25	26	recursive	recursive	ADJ
bibechana-13985	25	27	computational	computational	ADJ
bibechana-13985	25	28	property	property	NOUN
bibechana-13985	25	29	,	,	PUNCT
bibechana-13985	25	30	is	be	AUX
bibechana-13985	25	31	furnished	furnish	VERB
bibechana-13985	25	32	with	with	ADP
bibechana-13985	25	33	our	our	PRON
bibechana-13985	25	34	proof	proof	NOUN
bibechana-13985	25	35	of	of	ADP
bibechana-13985	25	36	the	the	DET
bibechana-13985	25	37	same	same	ADJ
bibechana-13985	25	38	.	.	PUNCT
bibechana-13985	26	1	2	2	X
bibechana-13985	26	2	.	.	X
bibechana-13985	26	3	properties	property	NOUN
bibechana-13985	26	4	2.1	2.1	NUM
bibechana-13985	26	5	.	.	PUNCT
bibechana-13985	26	6	theorem	theorem	NOUN
bibechana-13985	26	7	1	1	NUM
bibechana-13985	26	8	let	let	VERB
bibechana-13985	26	9	p	p	PRON
bibechana-13985	26	10	be	be	AUX
bibechana-13985	26	11	a	a	DET
bibechana-13985	26	12	finite	finite	NOUN
bibechana-13985	26	13	partially	partially	ADV
bibechana-13985	26	14	ordered	order	VERB
bibechana-13985	26	15	set	set	NOUN
bibechana-13985	26	16	of	of	ADP
bibechana-13985	26	17	cardinality	cardinality	PROPN
bibechana-13985	26	18	n.	n.	PROPN
bibechana-13985	26	19	a	a	DET
bibechana-13985	26	20	chain	chain	NOUN
bibechana-13985	26	21	is	be	AUX
bibechana-13985	26	22	a	a	DET
bibechana-13985	26	23	totally	totally	ADV
bibechana-13985	26	24	ordered	order	VERB
bibechana-13985	26	25	subset	subset	NOUN
bibechana-13985	26	26	of	of	ADP
bibechana-13985	26	27	p.	p.	PROPN
bibechana-13985	26	28	an	an	DET
bibechana-13985	26	29	antichain	antichain	NOUN
bibechana-13985	26	30	is	be	AUX
bibechana-13985	26	31	a	a	DET
bibechana-13985	26	32	subset	subset	NOUN
bibechana-13985	26	33	of	of	ADP
bibechana-13985	26	34	p	p	NOUN
bibechana-13985	26	35	in	in	ADP
bibechana-13985	26	36	which	which	PRON
bibechana-13985	26	37	no	no	DET
bibechana-13985	26	38	two	two	NUM
bibechana-13985	26	39	elements	element	NOUN
bibechana-13985	26	40	are	be	AUX
bibechana-13985	26	41	comparable	comparable	ADJ
bibechana-13985	26	42	.	.	PUNCT
bibechana-13985	27	1	according	accord	VERB
bibechana-13985	27	2	to	to	ADP
bibechana-13985	27	3	dilworth	dilworth	PROPN
bibechana-13985	27	4	,	,	PUNCT
bibechana-13985	27	5	the	the	DET
bibechana-13985	27	6	maximal	maximal	ADJ
bibechana-13985	27	7	size	size	NOUN
bibechana-13985	27	8	of	of	ADP
bibechana-13985	27	9	an	an	DET
bibechana-13985	27	10	antichain	antichain	NOUN
bibechana-13985	27	11	in	in	ADP
bibechana-13985	27	12	p	p	PROPN
bibechana-13985	27	13	is	be	AUX
bibechana-13985	27	14	equal	equal	ADJ
bibechana-13985	27	15	to	to	ADP
bibechana-13985	27	16	the	the	DET
bibechana-13985	27	17	minimal	minimal	ADJ
bibechana-13985	27	18	number	number	NOUN
bibechana-13985	27	19	of	of	ADP
bibechana-13985	27	20	chain	chain	NOUN
bibechana-13985	27	21	into	into	ADP
bibechana-13985	27	22	which	which	PRON
bibechana-13985	27	23	p	p	NOUN
bibechana-13985	27	24	can	can	AUX
bibechana-13985	27	25	be	be	AUX
bibechana-13985	27	26	partitioned	partition	VERB
bibechana-13985	27	27	[	[	PUNCT
bibechana-13985	27	28	2	2	NUM
bibechana-13985	27	29	]	]	PUNCT
bibechana-13985	27	30	.	.	PUNCT
bibechana-13985	28	1	this	this	PRON
bibechana-13985	28	2	has	have	VERB
bibechana-13985	28	3	an	an	DET
bibechana-13985	28	4	easy	easy	ADJ
bibechana-13985	28	5	‘	'	PUNCT
bibechana-13985	28	6	dual	dual	ADJ
bibechana-13985	28	7	’	'	PUNCT
bibechana-13985	28	8	counterpart	counterpart	NOUN
bibechana-13985	28	9	in	in	ADP
bibechana-13985	28	10	which	which	PRON
bibechana-13985	28	11	the	the	DET
bibechana-13985	28	12	words	word	NOUN
bibechana-13985	28	13	‘	'	PUNCT
bibechana-13985	28	14	chain	chain	NOUN
bibechana-13985	28	15	’	'	PUNCT
bibechana-13985	28	16	and	and	CCONJ
bibechana-13985	28	17	‘	'	PUNCT
bibechana-13985	28	18	antichain	antichain	NOUN
bibechana-13985	28	19	’	'	PUNCT
bibechana-13985	28	20	can	can	AUX
bibechana-13985	28	21	be	be	AUX
bibechana-13985	28	22	interchanged	interchange	VERB
bibechana-13985	28	23	.	.	PUNCT
bibechana-13985	29	1	such	such	ADJ
bibechana-13985	29	2	duality	duality	NOUN
bibechana-13985	29	3	has	have	VERB
bibechana-13985	29	4	a	a	DET
bibechana-13985	29	5	beautiful	beautiful	ADJ
bibechana-13985	29	6	and	and	CCONJ
bibechana-13985	29	7	powerful	powerful	ADJ
bibechana-13985	29	8	common	common	ADJ
bibechana-13985	29	9	generalisation	generalisation	NOUN
bibechana-13985	29	10	due	due	ADP
bibechana-13985	29	11	to	to	ADP
bibechana-13985	29	12	greene	greene	PROPN
bibechana-13985	29	13	.	.	PUNCT
bibechana-13985	30	1	for	for	ADP
bibechana-13985	30	2	k	k	PROPN
bibechana-13985	30	3	=	=	SYM
bibechana-13985	30	4	0	0	NUM
bibechana-13985	30	5	,	,	PUNCT
bibechana-13985	30	6	1	1	NUM
bibechana-13985	30	7	,	,	PUNCT
bibechana-13985	30	8	2	2	NUM
bibechana-13985	30	9	,	,	PUNCT
bibechana-13985	30	10	3	3	NUM
bibechana-13985	30	11	,	,	PUNCT
bibechana-13985	30	12	...	...	PUNCT
bibechana-13985	30	13	,	,	PUNCT
bibechana-13985	30	14	let	let	VERB
bibechana-13985	30	15	ak	ak	PROPN
bibechana-13985	30	16	(	(	PUNCT
bibechana-13985	30	17	resp	resp	PROPN
bibechana-13985	30	18	.	.	PUNCT
bibechana-13985	31	1	ck	ck	X
bibechana-13985	31	2	)	)	PUNCT
bibechana-13985	31	3	denotes	denote	VERB
bibechana-13985	31	4	the	the	DET
bibechana-13985	31	5	maximal	maximal	ADJ
bibechana-13985	31	6	cardinality	cardinality	NOUN
bibechana-13985	31	7	of	of	ADP
bibechana-13985	31	8	a	a	DET
bibechana-13985	31	9	union	union	NOUN
bibechana-13985	31	10	of	of	ADP
bibechana-13985	31	11	k	k	PROPN
bibechana-13985	31	12	antichains	antichain	NOUN
bibechana-13985	31	13	(	(	PUNCT
bibechana-13985	31	14	resp	resp	NOUN
bibechana-13985	31	15	.	.	PUNCT
bibechana-13985	32	1	chains	chain	NOUN
bibechana-13985	32	2	)	)	PUNCT
bibechana-13985	32	3	in	in	ADP
bibechana-13985	32	4	p.	p.	NOUN
bibechana-13985	32	5	let	let	VERB
bibechana-13985	32	6	k	k	X
bibechana-13985	32	7	=	=	VERB
bibechana-13985	32	8	ck	ck	ADJ
bibechana-13985	32	9	–	–	PUNCT
bibechana-13985	32	10	ck-1	ck-1	NOUN
bibechana-13985	32	11	and	and	CCONJ
bibechana-13985	32	12	=	=	PROPN
bibechana-13985	32	13	ak	ak	PROPN
bibechana-13985	32	14	–	–	PUNCT
bibechana-13985	32	15	ak-1	ak-1	ADP
bibechana-13985	32	16	for	for	ADP
bibechana-13985	32	17	all	all	PRON
bibechana-13985	32	18	k	k	PROPN
bibechana-13985	32	19	≥	≥	NUM
bibechana-13985	32	20	1	1	NUM
bibechana-13985	32	21	.	.	PUNCT
bibechana-13985	32	22	theorem	theorem	NOUN
bibechana-13985	32	23	:	:	PUNCT
bibechana-13985	32	24	for	for	SCONJ
bibechana-13985	32	25	any	any	DET
bibechana-13985	32	26	finite	finite	NOUN
bibechana-13985	32	27	partially	partially	ADV
bibechana-13985	32	28	ordered	order	VERB
bibechana-13985	32	29	set	set	NOUN
bibechana-13985	32	30	p	p	PROPN
bibechana-13985	32	31	the	the	DET
bibechana-13985	32	32	sequences	sequence	NOUN
bibechana-13985	32	33			X
bibechana-13985	32	34	=	=	SYM
bibechana-13985	32	35	(	(	PUNCT
bibechana-13985	32	36	1	1	ADJ
bibechana-13985	32	37	,	,	PUNCT
bibechana-13985	32	38	2	2	NUM
bibechana-13985	32	39	,	,	PUNCT
bibechana-13985	32	40			PROPN
bibechana-13985	32	41	…	…	PUNCT
bibechana-13985	32	42	)	)	PUNCT
bibechana-13985	32	43	and	and	CCONJ
bibechana-13985	33	1	=	=	SYM
bibechana-13985	33	2	(	(	PUNCT
bibechana-13985	33	3	,	,	PUNCT
bibechana-13985	33	4	,	,	PUNCT
bibechana-13985	33	5			NUM
bibechana-13985	33	6	…	…	NUM
bibechana-13985	33	7	)	)	PUNCT
bibechana-13985	33	8	are	be	AUX
bibechana-13985	33	9	weakly	weakly	ADV
bibechana-13985	33	10	decreasing	decrease	VERB
bibechana-13985	33	11	and	and	CCONJ
bibechana-13985	33	12	form	form	VERB
bibechana-13985	33	13	conjugate	conjugate	ADJ
bibechana-13985	33	14	partitions	partition	NOUN
bibechana-13985	33	15	of	of	ADP
bibechana-13985	33	16	the	the	DET
bibechana-13985	33	17	number	number	NOUN
bibechana-13985	33	18	n	n	NOUN
bibechana-13985	33	19	=	=	PUNCT
bibechana-13985	34	1	[	[	X
bibechana-13985	34	2	p	p	X
bibechana-13985	34	3	]	]	X
bibechana-13985	34	4	.	.	PUNCT
bibechana-13985	35	1	for	for	ADP
bibechana-13985	35	2	posets	poset	NOUN
bibechana-13985	35	3	this	this	PRON
bibechana-13985	35	4	is	be	AUX
bibechana-13985	35	5	the	the	DET
bibechana-13985	35	6	fundamental	fundamental	ADJ
bibechana-13985	35	7	theorem	theorem	NOUN
bibechana-13985	35	8	called	call	VERB
bibechana-13985	35	9	as	as	ADP
bibechana-13985	35	10	‘	'	PUNCT
bibechana-13985	35	11	duality	duality	NOUN
bibechana-13985	35	12	theorem	theorem	NOUN
bibechana-13985	35	13	’	'	PUNCT
bibechana-13985	35	14	.	.	PUNCT
bibechana-13985	36	1	this	this	DET
bibechana-13985	36	2	theorem	theorem	NOUN
bibechana-13985	36	3	was	be	AUX
bibechana-13985	36	4	first	first	ADV
bibechana-13985	36	5	obtained	obtain	VERB
bibechana-13985	36	6	by	by	ADP
bibechana-13985	36	7	greene	greene	PROPN
bibechana-13985	36	8	as	as	ADP
bibechana-13985	36	9	a	a	DET
bibechana-13985	36	10	corollary	corollary	NOUN
bibechana-13985	36	11	of	of	ADP
bibechana-13985	36	12	another	another	DET
bibechana-13985	36	13	result	result	NOUN
bibechana-13985	36	14	due	due	ADP
bibechana-13985	36	15	to	to	ADP
bibechana-13985	36	16	greene	greene	PROPN
bibechana-13985	36	17	and	and	CCONJ
bibechana-13985	36	18	kleitman	kleitman	NOUN
bibechana-13985	36	19	[	[	X
bibechana-13985	36	20	3	3	NUM
bibechana-13985	36	21	,	,	PUNCT
bibechana-13985	36	22	4	4	NUM
bibechana-13985	36	23	]	]	PUNCT
bibechana-13985	36	24	.	.	PUNCT
bibechana-13985	37	1	few	few	ADJ
bibechana-13985	37	2	years	year	NOUN
bibechana-13985	37	3	later	later	ADV
bibechana-13985	37	4	fomin	fomin	NOUN
bibechana-13985	37	5	gave	give	VERB
bibechana-13985	37	6	an	an	DET
bibechana-13985	37	7	alternative	alternative	ADJ
bibechana-13985	37	8	proof	proof	NOUN
bibechana-13985	37	9	of	of	ADP
bibechana-13985	37	10	it	it	PRON
bibechana-13985	37	11	[	[	X
bibechana-13985	37	12	5	5	NUM
bibechana-13985	37	13	]	]	PUNCT
bibechana-13985	37	14	.	.	PUNCT
bibechana-13985	38	1	other	other	ADJ
bibechana-13985	38	2	proofs	proof	NOUN
bibechana-13985	38	3	appeared	appear	VERB
bibechana-13985	38	4	as	as	ADV
bibechana-13985	38	5	well	well	ADV
bibechana-13985	38	6	[	[	X
bibechana-13985	38	7	6–8	6–8	NOUN
bibechana-13985	38	8	]	]	X
bibechana-13985	38	9	.	.	PUNCT
bibechana-13985	39	1	the	the	DET
bibechana-13985	39	2	duality	duality	NOUN
bibechana-13985	39	3	theorem	theorem	VERB
bibechana-13985	39	4	associates	associate	NOUN
bibechana-13985	39	5	to	to	ADP
bibechana-13985	39	6	every	every	DET
bibechana-13985	39	7	finite	finite	NOUN
bibechana-13985	39	8	poset	poset	VERB
bibechana-13985	39	9	having	have	VERB
bibechana-13985	39	10	ferrers	ferrer	NOUN
bibechana-13985	39	11	shape	shape	VERB
bibechana-13985	39	12	whose	whose	DET
bibechana-13985	39	13	row	row	NOUN
bibechana-13985	39	14	lengths	length	NOUN
bibechana-13985	39	15	are	be	AUX
bibechana-13985	39	16	1	1	ADJ
bibechana-13985	39	17	,	,	PUNCT
bibechana-13985	39	18	2	2	NUM
bibechana-13985	39	19	,	,	PUNCT
bibechana-13985	39	20			PROPN
bibechana-13985	39	21	…	…	PUNCT
bibechana-13985	39	22	and	and	CCONJ
bibechana-13985	39	23	column	column	NOUN
bibechana-13985	39	24	lengths	length	NOUN
bibechana-13985	39	25	,	,	PUNCT
bibechana-13985	39	26	,	,	PUNCT
bibechana-13985	39	27			NUM
bibechana-13985	39	28	…	…	PUNCT
bibechana-13985	39	29	.	.	PUNCT
bibechana-13985	40	1	we	we	PRON
bibechana-13985	40	2	have	have	AUX
bibechana-13985	40	3	identified	identify	VERB
bibechana-13985	40	4	this	this	DET
bibechana-13985	40	5	shape	shape	NOUN
bibechana-13985	40	6	with	with	ADP
bibechana-13985	40	7	the	the	DET
bibechana-13985	40	8	partition	partition	NOUN
bibechana-13985	40	9			ADJ
bibechana-13985	40	10	and	and	CCONJ
bibechana-13985	40	11	denoted	denote	VERB
bibechana-13985	40	12	it	it	PRON
bibechana-13985	40	13	by	by	ADP
bibechana-13985	40	14	p(	p(	NOUN
bibechana-13985	40	15	)	)	PUNCT
bibechana-13985	40	16	.	.	PUNCT
bibechana-13985	41	1	(	(	PUNCT
bibechana-13985	41	2	a	a	X
bibechana-13985	41	3	)	)	PUNCT
bibechana-13985	41	4	p	p	NOUN
bibechana-13985	41	5	(	(	PUNCT
bibechana-13985	41	6	b	b	NOUN
bibechana-13985	41	7	)	)	PUNCT
bibechana-13985	41	8	(p	(p	NOUN
bibechana-13985	41	9	)	)	PUNCT
bibechana-13985	41	10	fig	fig	NOUN
bibechana-13985	41	11	.	.	PUNCT
bibechana-13985	42	1	1	1	NUM
bibechana-13985	42	2	:	:	PUNCT
bibechana-13985	42	3	duality	duality	NOUN
bibechana-13985	42	4	theorem	theorem	VERB
bibechana-13985	42	5	.	.	PROPN
bibechana-13985	43	1	to	to	PART
bibechana-13985	43	2	illustrate	illustrate	VERB
bibechana-13985	43	3	,	,	PUNCT
bibechana-13985	43	4	let	let	VERB
bibechana-13985	43	5	us	we	PRON
bibechana-13985	43	6	consider	consider	VERB
bibechana-13985	43	7	the	the	DET
bibechana-13985	43	8	poset	poset	NOUN
bibechana-13985	43	9	p	p	NOUN
bibechana-13985	43	10	in	in	ADP
bibechana-13985	43	11	fig	fig	NOUN
bibechana-13985	43	12	.	.	PUNCT
bibechana-13985	44	1	1	1	X
bibechana-13985	44	2	.	.	X
bibechana-13985	44	3	for	for	ADP
bibechana-13985	44	4	this	this	DET
bibechana-13985	44	5	poset	poset	NOUN
bibechana-13985	44	6	we	we	PRON
bibechana-13985	44	7	have	have	VERB
bibechana-13985	44	8	c0	c0	NOUN
bibechana-13985	44	9	=	=	SYM
bibechana-13985	44	10	0	0	PROPN
bibechana-13985	44	11	,	,	PUNCT
bibechana-13985	44	12	c1	c1	NOUN
bibechana-13985	44	13	=	=	PROPN
bibechana-13985	44	14	4	4	NUM
bibechana-13985	44	15	,	,	PUNCT
bibechana-13985	44	16	c2	c2	PROPN
bibechana-13985	44	17	=	=	SYM
bibechana-13985	44	18	c3	c3	PROPN
bibechana-13985	44	19	=	=	PUNCT
bibechana-13985	45	1	…	…	PUNCT
bibechana-13985	45	2	=	=	SYM
bibechana-13985	45	3	6	6	NUM
bibechana-13985	45	4	f	f	NOUN
bibechana-13985	45	5	d	d	X
bibechana-13985	45	6	e	e	PROPN
bibechana-13985	45	7	b	b	PROPN
bibechana-13985	45	8	c	c	PROPN
bibechana-13985	45	9	a	a	DET
bibechana-13985	45	10	r.n	r.n	PROPN
bibechana-13985	45	11	.	.	PROPN
bibechana-13985	45	12	yadav	yadav	PROPN
bibechana-13985	45	13	et	et	PROPN
bibechana-13985	45	14	al	al	PROPN
bibechana-13985	45	15	.	.	PUNCT
bibechana-13985	45	16	/	/	PUNCT
bibechana-13985	45	17	bibechana	bibechana	NOUN
bibechana-13985	45	18	13	13	NUM
bibechana-13985	45	19	(	(	PUNCT
bibechana-13985	45	20	2016	2016	NUM
bibechana-13985	45	21	)	)	PUNCT
bibechana-13985	45	22	132	132	NUM
bibechana-13985	45	23	-	-	SYM
bibechana-13985	45	24	136	136	NUM
bibechana-13985	45	25	:	:	PUNCT
bibechana-13985	45	26	rcost	rcost	NOUN
bibechana-13985	45	27	p.134	p.134	X
bibechana-13985	45	28	(	(	PUNCT
bibechana-13985	45	29	online	online	ADJ
bibechana-13985	45	30	publication	publication	NOUN
bibechana-13985	45	31	:	:	PUNCT
bibechana-13985	45	32	dec	dec	PROPN
bibechana-13985	45	33	.	.	PROPN
bibechana-13985	45	34	,	,	PUNCT
bibechana-13985	45	35	2015	2015	NUM
bibechana-13985	45	36	)	)	PUNCT
bibechana-13985	45	37	implying	imply	VERB
bibechana-13985	45	38			ADJ
bibechana-13985	45	39	=	=	SYM
bibechana-13985	45	40	(	(	PUNCT
bibechana-13985	45	41	4	4	NUM
bibechana-13985	45	42	,	,	PUNCT
bibechana-13985	45	43	2	2	NUM
bibechana-13985	45	44	)	)	PUNCT
bibechana-13985	45	45	while	while	SCONJ
bibechana-13985	45	46	a0	a0	PROPN
bibechana-13985	45	47	=	=	SYM
bibechana-13985	45	48	0	0	PROPN
bibechana-13985	45	49	,	,	PUNCT
bibechana-13985	45	50	a1	a1	NOUN
bibechana-13985	45	51	=	=	SYM
bibechana-13985	45	52	2	2	NUM
bibechana-13985	45	53	,	,	PUNCT
bibechana-13985	45	54	a2	a2	NOUN
bibechana-13985	45	55	=	=	SYM
bibechana-13985	45	56	4	4	NUM
bibechana-13985	45	57	,	,	PUNCT
bibechana-13985	45	58	a3	a3	NOUN
bibechana-13985	45	59	=	=	SYM
bibechana-13985	45	60	5	5	NUM
bibechana-13985	45	61	,	,	PUNCT
bibechana-13985	45	62	a4	a4	NOUN
bibechana-13985	45	63	=	=	SYM
bibechana-13985	45	64	a5	a5	NOUN
bibechana-13985	45	65	=	=	PUNCT
bibechana-13985	45	66	…	…	PUNCT
bibechana-13985	45	67	=	=	SYM
bibechana-13985	45	68	6	6	NUM
bibechana-13985	45	69	imply	imply	VERB
bibechana-13985	45	70	that	that	SCONJ
bibechana-13985	45	71	=	=	SYM
bibechana-13985	45	72	(	(	PUNCT
bibechana-13985	45	73	2	2	NUM
bibechana-13985	45	74	,	,	PUNCT
bibechana-13985	45	75	2	2	NUM
bibechana-13985	45	76	,	,	PUNCT
bibechana-13985	45	77	1	1	NUM
bibechana-13985	45	78	,	,	PUNCT
bibechana-13985	45	79	1	1	NUM
bibechana-13985	45	80	)	)	PUNCT
bibechana-13985	45	81	,	,	PUNCT
bibechana-13985	45	82	a	a	DET
bibechana-13985	45	83	shape	shape	NOUN
bibechana-13985	45	84	conjugate	conjugate	ADJ
bibechana-13985	45	85	to	to	ADP
bibechana-13985	45	86	.	.	PRON
bibechana-13985	45	87	various	various	ADJ
bibechana-13985	45	88	attempts	attempt	NOUN
bibechana-13985	45	89	have	have	AUX
bibechana-13985	45	90	been	be	AUX
bibechana-13985	45	91	made	make	VERB
bibechana-13985	45	92	to	to	PART
bibechana-13985	45	93	generalise	generalise	VERB
bibechana-13985	45	94	theorem	theorem	VERB
bibechana-13985	45	95	1	1	NUM
bibechana-13985	45	96	to	to	ADP
bibechana-13985	45	97	directed	direct	VERB
bibechana-13985	45	98	graphs	graph	NOUN
bibechana-13985	45	99	[	[	X
bibechana-13985	45	100	9–11	9–11	NOUN
bibechana-13985	45	101	]	]	PUNCT
bibechana-13985	45	102	.	.	PUNCT
bibechana-13985	46	1	the	the	DET
bibechana-13985	46	2	following	follow	VERB
bibechana-13985	46	3	‘	'	PUNCT
bibechana-13985	46	4	functionality	functionality	NOUN
bibechana-13985	46	5	’	'	PUNCT
bibechana-13985	46	6	result	result	NOUN
bibechana-13985	46	7	shows	show	VERB
bibechana-13985	46	8	that	that	SCONJ
bibechana-13985	46	9	the	the	DET
bibechana-13985	46	10	shape	shape	NOUN
bibechana-13985	46	11	of	of	ADP
bibechana-13985	46	12	a	a	DET
bibechana-13985	46	13	poset	poset	NOUN
bibechana-13985	46	14	contains	contain	VERB
bibechana-13985	46	15	the	the	DET
bibechana-13985	46	16	shape	shape	NOUN
bibechana-13985	46	17	of	of	ADP
bibechana-13985	46	18	its	its	PRON
bibechana-13985	46	19	arbitrary	arbitrary	ADJ
bibechana-13985	46	20	order	order	NOUN
bibechana-13985	46	21	ideal	ideal	ADJ
bibechana-13985	46	22	.	.	PUNCT
bibechana-13985	47	1	2.2	2.2	NUM
bibechana-13985	47	2	.	.	PUNCT
bibechana-13985	47	3	theorem	theorem	ADJ
bibechana-13985	47	4	2	2	NUM
bibechana-13985	47	5	theorem	theorem	NOUN
bibechana-13985	47	6	:	:	PUNCT
bibechana-13985	47	7	if	if	SCONJ
bibechana-13985	47	8	p	p	PRON
bibechana-13985	47	9	be	be	VERB
bibechana-13985	47	10	a	a	DET
bibechana-13985	47	11	maximal	maximal	ADJ
bibechana-13985	47	12	(	(	PUNCT
bibechana-13985	47	13	or	or	CCONJ
bibechana-13985	47	14	minimal	minimal	ADJ
bibechana-13985	47	15	)	)	PUNCT
bibechana-13985	47	16	element	element	NOUN
bibechana-13985	47	17	of	of	ADP
bibechana-13985	47	18	a	a	DET
bibechana-13985	47	19	finite	finite	NOUN
bibechana-13985	47	20	partially	partially	ADV
bibechana-13985	47	21	ordered	order	VERB
bibechana-13985	47	22	set	set	VERB
bibechana-13985	47	23	p	p	NOUN
bibechana-13985	47	24	,	,	PUNCT
bibechana-13985	47	25	then	then	ADV
bibechana-13985	47	26	(p	(p	NUM
bibechana-13985	47	27	–	–	PUNCT
bibechana-13985	47	28	{	{	PUNCT
bibechana-13985	47	29	p	p	NOUN
bibechana-13985	47	30	}	}	PUNCT
bibechana-13985	47	31	)	)	PUNCT
bibechana-13985	47	32			PROPN
bibechana-13985	47	33	(p	(p	NUM
bibechana-13985	47	34	)	)	PUNCT
bibechana-13985	47	35	.	.	PUNCT
bibechana-13985	48	1	for	for	ADP
bibechana-13985	48	2	example	example	NOUN
bibechana-13985	48	3	,	,	PUNCT
bibechana-13985	48	4	the	the	DET
bibechana-13985	48	5	poset	poset	NOUN
bibechana-13985	48	6	p	p	NOUN
bibechana-13985	48	7	in	in	ADP
bibechana-13985	48	8	fig	fig	NOUN
bibechana-13985	48	9	.	.	PUNCT
bibechana-13985	49	1	1	1	NUM
bibechana-13985	49	2	has	have	VERB
bibechana-13985	49	3	maximal	maximal	ADJ
bibechana-13985	49	4	elements	element	NOUN
bibechana-13985	49	5	e	e	NOUN
bibechana-13985	49	6	and	and	CCONJ
bibechana-13985	49	7	f.	f.	PROPN
bibechana-13985	49	8	the	the	DET
bibechana-13985	49	9	shapes	shape	NOUN
bibechana-13985	49	10	(p–{e	(p–{e	PROPN
bibechana-13985	49	11	}	}	PUNCT
bibechana-13985	49	12	)	)	PUNCT
bibechana-13985	49	13	and	and	CCONJ
bibechana-13985	49	14	(p–{f	(p–{f	NOUN
bibechana-13985	49	15	}	}	PUNCT
bibechana-13985	49	16	)	)	PUNCT
bibechana-13985	49	17	are	be	AUX
bibechana-13985	49	18	shown	show	VERB
bibechana-13985	49	19	in	in	ADP
bibechana-13985	49	20	fig	fig	NOUN
bibechana-13985	49	21	.	.	PUNCT
bibechana-13985	50	1	2	2	NUM
bibechana-13985	50	2	;	;	PUNCT
bibechana-13985	50	3	both	both	PRON
bibechana-13985	50	4	are	be	AUX
bibechana-13985	50	5	contained	contain	VERB
bibechana-13985	50	6	in	in	ADP
bibechana-13985	50	7	(p	(p	NUM
bibechana-13985	50	8	)	)	PUNCT
bibechana-13985	50	9	.	.	PUNCT
bibechana-13985	51	1	(	(	PUNCT
bibechana-13985	51	2	a	a	X
bibechana-13985	51	3	)	)	PUNCT
bibechana-13985	51	4	(p	(p	NUM
bibechana-13985	51	5	–	–	PUNCT
bibechana-13985	51	6	{	{	PUNCT
bibechana-13985	51	7	e	e	NOUN
bibechana-13985	51	8	}	}	PUNCT
bibechana-13985	51	9	)	)	PUNCT
bibechana-13985	51	10	(	(	PUNCT
bibechana-13985	51	11	b	b	X
bibechana-13985	51	12	)	)	PUNCT
bibechana-13985	51	13	(p	(p	NUM
bibechana-13985	51	14	–	–	PUNCT
bibechana-13985	51	15	{	{	PUNCT
bibechana-13985	51	16	f	f	NOUN
bibechana-13985	51	17	}	}	PUNCT
bibechana-13985	51	18	)	)	PUNCT
bibechana-13985	51	19	fig	fig	NOUN
bibechana-13985	51	20	.	.	PUNCT
bibechana-13985	52	1	2	2	NUM
bibechana-13985	52	2	:	:	PUNCT
bibechana-13985	52	3	theorem	theorem	NOUN
bibechana-13985	52	4	2	2	NUM
bibechana-13985	52	5	.	.	PUNCT
bibechana-13985	52	6	in	in	ADP
bibechana-13985	52	7	theorem	theorem	NOUN
bibechana-13985	52	8	2	2	NUM
bibechana-13985	52	9	the	the	DET
bibechana-13985	52	10	restriction	restriction	NOUN
bibechana-13985	52	11	for	for	ADP
bibechana-13985	52	12	p	p	PROPN
bibechana-13985	52	13			PROPN
bibechana-13985	52	14	p	p	X
bibechana-13985	52	15	to	to	PART
bibechana-13985	52	16	be	be	AUX
bibechana-13985	52	17	an	an	DET
bibechana-13985	52	18	extremal	extremal	ADJ
bibechana-13985	52	19	element	element	NOUN
bibechana-13985	52	20	can	can	AUX
bibechana-13985	52	21	not	not	PART
bibechana-13985	52	22	be	be	AUX
bibechana-13985	52	23	dropped	drop	VERB
bibechana-13985	52	24	.	.	PUNCT
bibechana-13985	53	1	a	a	DET
bibechana-13985	53	2	counter	counter	NOUN
bibechana-13985	53	3	-	-	NOUN
bibechana-13985	53	4	example	example	NOUN
bibechana-13985	53	5	is	be	AUX
bibechana-13985	53	6	given	give	VERB
bibechana-13985	53	7	in	in	ADP
bibechana-13985	53	8	fig	fig	NOUN
bibechana-13985	53	9	.	.	PUNCT
bibechana-13985	54	1	3	3	X
bibechana-13985	54	2	.	.	X
bibechana-13985	54	3	fig	fig	NOUN
bibechana-13985	54	4	.	.	PUNCT
bibechana-13985	55	1	3	3	NUM
bibechana-13985	55	2	:	:	PUNCT
bibechana-13985	55	3	a	a	DET
bibechana-13985	55	4	counter	counter	NOUN
bibechana-13985	55	5	-	-	NOUN
bibechana-13985	55	6	example	example	NOUN
bibechana-13985	55	7	:	:	PUNCT
bibechana-13985	55	8	(p	(p	NUM
bibechana-13985	55	9	–	–	PUNCT
bibechana-13985	55	10	{	{	PUNCT
bibechana-13985	55	11	p	p	NOUN
bibechana-13985	55	12	}	}	PUNCT
bibechana-13985	55	13	)	)	PUNCT
bibechana-13985	55	14			PROPN
bibechana-13985	55	15	(p	(p	NUM
bibechana-13985	55	16	)	)	PUNCT
bibechana-13985	55	17	.	.	PUNCT
bibechana-13985	56	1	fig	fig	NOUN
bibechana-13985	56	2	.	.	PUNCT
bibechana-13985	57	1	4	4	NUM
bibechana-13985	57	2	:	:	PUNCT
bibechana-13985	57	3	a	a	DET
bibechana-13985	57	4	linear	linear	ADJ
bibechana-13985	57	5	extension	extension	NOUN
bibechana-13985	57	6	and	and	CCONJ
bibechana-13985	57	7	the	the	DET
bibechana-13985	57	8	associated	associated	ADJ
bibechana-13985	57	9	standard	standard	PROPN
bibechana-13985	57	10	tableau	tableau	PROPN
bibechana-13985	57	11	.	.	PUNCT
bibechana-13985	58	1	p	p	X
bibechana-13985	58	2	6	6	NUM
bibechana-13985	58	3	4	4	NUM
bibechana-13985	58	4	5	5	NUM
bibechana-13985	58	5	2	2	NUM
bibechana-13985	58	6	3	3	NUM
bibechana-13985	58	7	1	1	NUM
bibechana-13985	58	8	1	1	NUM
bibechana-13985	58	9	2	2	NUM
bibechana-13985	58	10	3	3	NUM
bibechana-13985	58	11	5	5	NUM
bibechana-13985	58	12	4	4	NUM
bibechana-13985	58	13	6	6	NUM
bibechana-13985	58	14	r.n	r.n	PROPN
bibechana-13985	58	15	.	.	PROPN
bibechana-13985	58	16	yadav	yadav	PROPN
bibechana-13985	58	17	et	et	PROPN
bibechana-13985	58	18	al	al	PROPN
bibechana-13985	58	19	.	.	PUNCT
bibechana-13985	58	20	/	/	PUNCT
bibechana-13985	58	21	bibechana	bibechana	NOUN
bibechana-13985	58	22	13	13	NUM
bibechana-13985	58	23	(	(	PUNCT
bibechana-13985	58	24	2016	2016	NUM
bibechana-13985	58	25	)	)	PUNCT
bibechana-13985	58	26	132	132	NUM
bibechana-13985	58	27	-	-	SYM
bibechana-13985	58	28	136	136	NUM
bibechana-13985	58	29	:	:	PUNCT
bibechana-13985	58	30	rcost	rcost	NOUN
bibechana-13985	58	31	p.135	p.135	NOUN
bibechana-13985	58	32	(	(	PUNCT
bibechana-13985	58	33	online	online	ADJ
bibechana-13985	58	34	publication	publication	NOUN
bibechana-13985	58	35	:	:	PUNCT
bibechana-13985	58	36	dec	dec	PROPN
bibechana-13985	58	37	.	.	PROPN
bibechana-13985	58	38	,	,	PUNCT
bibechana-13985	58	39	2015	2015	NUM
bibechana-13985	58	40	)	)	PUNCT
bibechana-13985	58	41	this	this	DET
bibechana-13985	58	42	theorem	theorem	NOUN
bibechana-13985	58	43	implies	imply	VERB
bibechana-13985	58	44	that	that	SCONJ
bibechana-13985	58	45	any	any	DET
bibechana-13985	58	46	linear	linear	ADJ
bibechana-13985	58	47	extension	extension	NOUN
bibechana-13985	58	48			PROPN
bibechana-13985	58	49	:	:	PUNCT
bibechana-13985	58	50	p	p	X
bibechana-13985	58	51	[	[	X
bibechana-13985	58	52	n	n	X
bibechana-13985	58	53	]	]	X
bibechana-13985	58	54	=	=	PUNCT
bibechana-13985	58	55	{	{	PUNCT
bibechana-13985	58	56	1	1	NUM
bibechana-13985	58	57	,	,	PUNCT
bibechana-13985	58	58	2	2	NUM
bibechana-13985	58	59	,	,	PUNCT
bibechana-13985	58	60	3	3	NUM
bibechana-13985	58	61	,	,	PUNCT
bibechana-13985	58	62	…	…	PUNCT
bibechana-13985	58	63	,	,	PUNCT
bibechana-13985	58	64	n	n	CCONJ
bibechana-13985	58	65	}	}	PUNCT
bibechana-13985	58	66	of	of	ADP
bibechana-13985	58	67	p	p	NOUN
bibechana-13985	58	68	gives	give	VERB
bibechana-13985	58	69	rise	rise	NOUN
bibechana-13985	58	70	to	to	ADP
bibechana-13985	58	71	a	a	DET
bibechana-13985	58	72	standard	standard	ADJ
bibechana-13985	58	73	young	young	ADJ
bibechana-13985	58	74	tableau	tableau	PROPN
bibechana-13985	58	75	t	t	PROPN
bibechana-13985	58	76	of	of	ADP
bibechana-13985	58	77	shape	shape	PROPN
bibechana-13985	58	78	(p	(p	NOUN
bibechana-13985	58	79	)	)	PUNCT
bibechana-13985	58	80	defined	define	VERB
bibechana-13985	58	81	by	by	ADP
bibechana-13985	58	82	the	the	DET
bibechana-13985	58	83	condition	condition	NOUN
bibechana-13985	58	84	that	that	SCONJ
bibechana-13985	58	85	the	the	DET
bibechana-13985	58	86	entries	entry	NOUN
bibechana-13985	58	87	1	1	NUM
bibechana-13985	58	88	,	,	PUNCT
bibechana-13985	58	89	2	2	NUM
bibechana-13985	58	90	,	,	PUNCT
bibechana-13985	58	91	3	3	NUM
bibechana-13985	58	92	,	,	PUNCT
bibechana-13985	58	93	…	…	PUNCT
bibechana-13985	58	94	,	,	PUNCT
bibechana-13985	58	95	k	k	PROPN
bibechana-13985	58	96	of	of	ADP
bibechana-13985	58	97	t	t	PROPN
bibechana-13985	58	98	form	form	NOUN
bibechana-13985	58	99	[	[	X
bibechana-13985	58	100	12	12	NUM
bibechana-13985	58	101	]	]	PUNCT
bibechana-13985	58	102	the	the	DET
bibechana-13985	58	103	shape	shape	NOUN
bibechana-13985	58	104	(	(	X
bibechana-13985	58	105	[	[	X
bibechana-13985	58	106	1	1	NUM
bibechana-13985	58	107	,	,	PUNCT
bibechana-13985	58	108	k	k	NOUN
bibechana-13985	58	109	]	]	X
bibechana-13985	58	110	)	)	PUNCT
bibechana-13985	58	111	.	.	PUNCT
bibechana-13985	59	1	as	as	ADP
bibechana-13985	59	2	an	an	DET
bibechana-13985	59	3	example	example	NOUN
bibechana-13985	59	4	,	,	PUNCT
bibechana-13985	59	5	let	let	VERB
bibechana-13985	59	6	us	we	PRON
bibechana-13985	59	7	consider	consider	VERB
bibechana-13985	59	8	the	the	DET
bibechana-13985	59	9	poset	poset	NOUN
bibechana-13985	59	10	in	in	ADP
bibechana-13985	59	11	fig	fig	NOUN
bibechana-13985	59	12	.	.	PUNCT
bibechana-13985	60	1	1	1	NUM
bibechana-13985	60	2	and	and	CCONJ
bibechana-13985	60	3	its	its	PRON
bibechana-13985	60	4	linear	linear	ADJ
bibechana-13985	60	5	extension	extension	NOUN
bibechana-13985	60	6	given	give	VERB
bibechana-13985	60	7	by	by	ADP
bibechana-13985	60	8	(a	(a	PROPN
bibechana-13985	60	9	)	)	PUNCT
bibechana-13985	60	10	=	=	SYM
bibechana-13985	60	11	1	1	NUM
bibechana-13985	60	12	,	,	PUNCT
bibechana-13985	60	13	(b	(b	ADJ
bibechana-13985	60	14	)	)	PUNCT
bibechana-13985	60	15	=	=	SYM
bibechana-13985	60	16	2	2	NUM
bibechana-13985	60	17	,	,	PUNCT
bibechana-13985	60	18	…	…	NUM
bibechana-13985	60	19	,	,	PUNCT
bibechana-13985	60	20	(f	(f	PROPN
bibechana-13985	60	21	)	)	PUNCT
bibechana-13985	60	22	=	=	SYM
bibechana-13985	61	1	6	6	NUM
bibechana-13985	61	2	.	.	PUNCT
bibechana-13985	62	1	the	the	DET
bibechana-13985	62	2	resulting	result	VERB
bibechana-13985	62	3	standard	standard	ADJ
bibechana-13985	62	4	tableau	tableau	PROPN
bibechana-13985	62	5	is	be	AUX
bibechana-13985	62	6	given	give	VERB
bibechana-13985	62	7	in	in	ADP
bibechana-13985	62	8	fig	fig	NOUN
bibechana-13985	62	9	.	.	PUNCT
bibechana-13985	63	1	4	4	X
bibechana-13985	63	2	.	.	X
bibechana-13985	64	1	it	it	PRON
bibechana-13985	64	2	is	be	AUX
bibechana-13985	64	3	also	also	ADV
bibechana-13985	64	4	greene	greene	PROPN
bibechana-13985	64	5	who	who	PRON
bibechana-13985	64	6	deduced	deduce	VERB
bibechana-13985	64	7	this	this	DET
bibechana-13985	64	8	theorem	theorem	NOUN
bibechana-13985	64	9	.	.	PUNCT
bibechana-13985	65	1	however	however	ADV
bibechana-13985	65	2	,	,	PUNCT
bibechana-13985	65	3	gansner	gansner	PROPN
bibechana-13985	65	4	gave	give	VERB
bibechana-13985	65	5	an	an	DET
bibechana-13985	65	6	alternative	alternative	ADJ
bibechana-13985	65	7	proof	proof	NOUN
bibechana-13985	65	8	of	of	ADP
bibechana-13985	65	9	it	it	PRON
bibechana-13985	65	10	by	by	ADP
bibechana-13985	65	11	the	the	DET
bibechana-13985	65	12	connection	connection	NOUN
bibechana-13985	65	13	of	of	ADP
bibechana-13985	65	14	poset	poset	NOUN
bibechana-13985	65	15	with	with	ADP
bibechana-13985	65	16	linear	linear	PROPN
bibechana-13985	65	17	algebra	algebra	PROPN
bibechana-13985	65	18	.	.	PUNCT
bibechana-13985	66	1	a	a	DET
bibechana-13985	66	2	generalisation	generalisation	NOUN
bibechana-13985	66	3	of	of	ADP
bibechana-13985	66	4	the	the	DET
bibechana-13985	66	5	theorem	theorem	NOUN
bibechana-13985	66	6	to	to	PART
bibechana-13985	66	7	path	path	NOUN
bibechana-13985	66	8	families	family	NOUN
bibechana-13985	66	9	in	in	ADP
bibechana-13985	66	10	acyclic	acyclic	ADJ
bibechana-13985	66	11	directed	direct	VERB
bibechana-13985	66	12	graphs	graph	NOUN
bibechana-13985	66	13	was	be	AUX
bibechana-13985	66	14	also	also	ADV
bibechana-13985	66	15	given	give	VERB
bibechana-13985	66	16	by	by	ADP
bibechana-13985	66	17	gansner	gansner	NOUN
bibechana-13985	66	18	[	[	X
bibechana-13985	66	19	13	13	NUM
bibechana-13985	66	20	]	]	PUNCT
bibechana-13985	66	21	.	.	PUNCT
bibechana-13985	67	1	2.3	2.3	NUM
bibechana-13985	67	2	.	.	PUNCT
bibechana-13985	67	3	theorem	theorem	NOUN
bibechana-13985	67	4	3	3	NUM
bibechana-13985	67	5	let	let	VERB
bibechana-13985	67	6	p1	p1	PROPN
bibechana-13985	67	7	p2	p2	PROPN
bibechana-13985	67	8	be	be	AUX
bibechana-13985	67	9	the	the	DET
bibechana-13985	67	10	fall	fall	NOUN
bibechana-13985	67	11	list	list	NOUN
bibechana-13985	67	12	of	of	ADP
bibechana-13985	67	13	maximal	maximal	ADJ
bibechana-13985	67	14	elements	element	NOUN
bibechana-13985	67	15	in	in	ADP
bibechana-13985	67	16	p.	p.	NOUN
bibechana-13985	67	17	then	then	ADV
bibechana-13985	67	18	the	the	DET
bibechana-13985	67	19	shape	shape	NOUN
bibechana-13985	67	20			X
bibechana-13985	67	21	=	=	SYM
bibechana-13985	67	22	(p	(p	X
bibechana-13985	67	23	)	)	PUNCT
bibechana-13985	67	24	is	be	AUX
bibechana-13985	67	25	uniquely	uniquely	ADV
bibechana-13985	67	26	determined	determine	VERB
bibechana-13985	67	27	by	by	ADP
bibechana-13985	67	28	the	the	DET
bibechana-13985	67	29	shapes	shape	NOUN
bibechana-13985	67	30	(p–{p1	(p–{p1	PROPN
bibechana-13985	67	31	}	}	PUNCT
bibechana-13985	67	32	)	)	PUNCT
bibechana-13985	67	33	,	,	PUNCT
bibechana-13985	67	34	(p–{p2	(p–{p2	PROPN
bibechana-13985	67	35	}	}	PUNCT
bibechana-13985	67	36	)	)	PUNCT
bibechana-13985	67	37	,	,	PUNCT
bibechana-13985	67	38	(p–{p3	(p–{p3	NOUN
bibechana-13985	67	39	}	}	PUNCT
bibechana-13985	67	40	)	)	PUNCT
bibechana-13985	67	41	,	,	PUNCT
bibechana-13985	67	42	…	…	PUNCT
bibechana-13985	67	43	,	,	PUNCT
bibechana-13985	67	44	(p–{pk	(p–{pk	NOUN
bibechana-13985	67	45	}	}	PUNCT
bibechana-13985	67	46	)	)	PUNCT
bibechana-13985	67	47	.	.	PUNCT
bibechana-13985	68	1	theorem	theorem	NOUN
bibechana-13985	68	2	:	:	PUNCT
bibechana-13985	68	3	if	if	SCONJ
bibechana-13985	68	4	(p	(p	NUM
bibechana-13985	68	5	–	–	PUNCT
bibechana-13985	68	6	{	{	PUNCT
bibechana-13985	68	7	p1	p1	NOUN
bibechana-13985	68	8	}	}	PUNCT
bibechana-13985	68	9	)	)	PUNCT
bibechana-13985	68	10	=	=	PUNCT
bibechana-13985	69	1	(p	(p	NUM
bibechana-13985	69	2	–	–	PUNCT
bibechana-13985	69	3	{	{	PUNCT
bibechana-13985	69	4	p2	p2	X
bibechana-13985	69	5	}	}	PUNCT
bibechana-13985	69	6	)	)	PUNCT
bibechana-13985	69	7	=	=	PUNCT
bibechana-13985	70	1	(p	(p	NUM
bibechana-13985	70	2	–	–	PUNCT
bibechana-13985	70	3	{	{	PUNCT
bibechana-13985	70	4	p3	p3	NOUN
bibechana-13985	70	5	}	}	PUNCT
bibechana-13985	70	6	)	)	PUNCT
bibechana-13985	70	7	=	=	SYM
bibechana-13985	70	8	…	…	PUNCT
bibechana-13985	70	9	=	=	SYM
bibechana-13985	71	1	(p	(p	NUM
bibechana-13985	71	2	–	–	PUNCT
bibechana-13985	71	3	{	{	PUNCT
bibechana-13985	71	4	pk	pk	NOUN
bibechana-13985	71	5	}	}	PUNCT
bibechana-13985	71	6	)	)	PUNCT
bibechana-13985	72	1	=	=	SYM
bibechana-13985	72	2			PROPN
bibechana-13985	72	3	,	,	PUNCT
bibechana-13985	72	4	then	then	ADV
bibechana-13985	72	5			X
bibechana-13985	72	6	is	be	AUX
bibechana-13985	72	7	obtained	obtain	VERB
bibechana-13985	72	8	by	by	ADP
bibechana-13985	72	9	adding	add	VERB
bibechana-13985	72	10	a	a	DET
bibechana-13985	72	11	box	box	NOUN
bibechana-13985	72	12	into	into	ADP
bibechana-13985	72	13	the	the	DET
bibechana-13985	72	14	kth	kth	PROPN
bibechana-13985	72	15	row	row	NOUN
bibechana-13985	72	16	of	of	ADP
bibechana-13985	72	17	.	.	ADJ
bibechana-13985	72	18	theorem	theorem	ADJ
bibechana-13985	72	19	3	3	NUM
bibechana-13985	72	20	represents	represent	VERB
bibechana-13985	72	21	a	a	DET
bibechana-13985	72	22	recursive	recursive	ADJ
bibechana-13985	72	23	computational	computational	ADJ
bibechana-13985	72	24	property	property	NOUN
bibechana-13985	72	25	.	.	PUNCT
bibechana-13985	73	1	we	we	PRON
bibechana-13985	73	2	furnish	furnish	VERB
bibechana-13985	73	3	below	below	ADP
bibechana-13985	73	4	a	a	DET
bibechana-13985	73	5	proof	proof	NOUN
bibechana-13985	73	6	of	of	ADP
bibechana-13985	73	7	this	this	DET
bibechana-13985	73	8	theorem	theorem	NOUN
bibechana-13985	73	9	.	.	PUNCT
bibechana-13985	74	1	the	the	DET
bibechana-13985	74	2	proof	proof	NOUN
bibechana-13985	74	3	is	be	AUX
bibechana-13985	74	4	fully	fully	ADV
bibechana-13985	74	5	due	due	ADJ
bibechana-13985	74	6	to	to	ADP
bibechana-13985	74	7	us	we	PRON
bibechana-13985	74	8	.	.	PUNCT
bibechana-13985	75	1	3	3	X
bibechana-13985	75	2	.	.	X
bibechana-13985	75	3	proof	proof	NOUN
bibechana-13985	75	4	in	in	ADP
bibechana-13985	75	5	order	order	NOUN
bibechana-13985	75	6	to	to	PART
bibechana-13985	75	7	prove	prove	VERB
bibechana-13985	75	8	theorem	theorem	VERB
bibechana-13985	75	9	3	3	NUM
bibechana-13985	75	10	let	let	VERB
bibechana-13985	75	11	us	we	PRON
bibechana-13985	75	12	recall	recall	VERB
bibechana-13985	75	13	the	the	DET
bibechana-13985	75	14	lemma	lemma	PROPN
bibechana-13985	75	15	:	:	PUNCT
bibechana-13985	75	16	if	if	SCONJ
bibechana-13985	75	17	c	c	NOUN
bibechana-13985	75	18	=	=	SYM
bibechana-13985	75	19	{	{	PUNCT
bibechana-13985	75	20	c1	c1	PROPN
bibechana-13985	75	21	,	,	PUNCT
bibechana-13985	75	22	c2	c2	PROPN
bibechana-13985	75	23	,	,	PUNCT
bibechana-13985	75	24	c3	c3	PROPN
bibechana-13985	75	25	,	,	PUNCT
bibechana-13985	75	26	...	...	PUNCT
bibechana-13985	75	27	,	,	PUNCT
bibechana-13985	75	28	cl	cl	NOUN
bibechana-13985	75	29	}	}	PUNCT
bibechana-13985	75	30	and	and	CCONJ
bibechana-13985	75	31	a	a	DET
bibechana-13985	75	32	=	=	X
bibechana-13985	75	33	{	{	PUNCT
bibechana-13985	75	34	a1	a1	PROPN
bibechana-13985	75	35	,	,	PUNCT
bibechana-13985	75	36	a2	a2	PROPN
bibechana-13985	75	37	,	,	PUNCT
bibechana-13985	75	38	a3	a3	NOUN
bibechana-13985	75	39	,	,	PUNCT
bibechana-13985	75	40	…	…	PUNCT
bibechana-13985	75	41	,	,	PUNCT
bibechana-13985	75	42	ak	ak	PROPN
bibechana-13985	75	43	}	}	PUNCT
bibechana-13985	75	44	are	be	AUX
bibechana-13985	75	45	the	the	DET
bibechana-13985	75	46	chain	chain	NOUN
bibechana-13985	75	47	and	and	CCONJ
bibechana-13985	75	48	antichain	antichain	VERB
bibechana-13985	75	49	respectively	respectively	ADV
bibechana-13985	75	50	,	,	PUNCT
bibechana-13985	75	51	then	then	ADV
bibechana-13985	75	52	c	c	PROPN
bibechana-13985	75	53	and	and	CCONJ
bibechana-13985	75	54	a	a	PRON
bibechana-13985	75	55	are	be	AUX
bibechana-13985	75	56	orthogonal	orthogonal	ADJ
bibechana-13985	75	57	if	if	SCONJ
bibechana-13985	75	58	and	and	CCONJ
bibechana-13985	75	59	only	only	ADV
bibechana-13985	75	60	if	if	SCONJ
bibechana-13985	75	61	:	:	PUNCT
bibechana-13985	75	62	(	(	PUNCT
bibechana-13985	75	63	i	i	NOUN
bibechana-13985	75	64	)	)	PUNCT
bibechana-13985	75	65	c	c	PROPN
bibechana-13985	75	66	is	be	AUX
bibechana-13985	75	67	a	a	DET
bibechana-13985	75	68	maximal	maximal	ADJ
bibechana-13985	75	69	chain	chain	NOUN
bibechana-13985	75	70	l	l	NOUN
bibechana-13985	75	71	-	-	NOUN
bibechana-13985	75	72	family	family	NOUN
bibechana-13985	75	73	,	,	PUNCT
bibechana-13985	75	74	(	(	PUNCT
bibechana-13985	75	75	ii	ii	NOUN
bibechana-13985	75	76	)	)	PUNCT
bibechana-13985	75	77	a	a	PRON
bibechana-13985	75	78	is	be	AUX
bibechana-13985	75	79	a	a	DET
bibechana-13985	75	80	maximal	maximal	ADJ
bibechana-13985	75	81	antichain	antichain	NOUN
bibechana-13985	75	82	k	k	NOUN
bibechana-13985	75	83	-	-	NOUN
bibechana-13985	75	84	family	family	NOUN
bibechana-13985	75	85	and	and	CCONJ
bibechana-13985	75	86	(	(	PUNCT
bibechana-13985	75	87	iii	iii	NOUN
bibechana-13985	75	88	)	)	PUNCT
bibechana-13985	75	89	the	the	DET
bibechana-13985	75	90	point	point	NOUN
bibechana-13985	75	91	(	(	PUNCT
bibechana-13985	75	92	k	k	X
bibechana-13985	75	93	,	,	PUNCT
bibechana-13985	75	94	l	l	NOUN
bibechana-13985	75	95	)	)	PUNCT
bibechana-13985	75	96	lies	lie	VERB
bibechana-13985	75	97	on	on	ADP
bibechana-13985	75	98	the	the	DET
bibechana-13985	75	99	outer	outer	ADJ
bibechana-13985	75	100	boundary	boundary	NOUN
bibechana-13985	75	101	of	of	ADP
bibechana-13985	75	102	the	the	DET
bibechana-13985	75	103	shape	shape	NOUN
bibechana-13985	75	104	(p	(p	NUM
bibechana-13985	75	105	)	)	PUNCT
bibechana-13985	75	106	.	.	PUNCT
bibechana-13985	76	1	it	it	PRON
bibechana-13985	76	2	will	will	AUX
bibechana-13985	76	3	be	be	AUX
bibechana-13985	76	4	convenient	convenient	ADJ
bibechana-13985	76	5	to	to	PART
bibechana-13985	76	6	assume	assume	VERB
bibechana-13985	76	7	that	that	SCONJ
bibechana-13985	76	8	p1	p1	NOUN
bibechana-13985	76	9	,	,	PUNCT
bibechana-13985	76	10	p2	p2	NOUN
bibechana-13985	76	11	,	,	PUNCT
bibechana-13985	76	12	p3	p3	PROPN
bibechana-13985	76	13	,	,	PUNCT
bibechana-13985	76	14	…	…	PUNCT
bibechana-13985	76	15	,	,	PUNCT
bibechana-13985	76	16	pk	pk	NOUN
bibechana-13985	76	17	is	be	AUX
bibechana-13985	76	18	the	the	DET
bibechana-13985	76	19	complete	complete	ADJ
bibechana-13985	76	20	list	list	NOUN
bibechana-13985	76	21	or	or	CCONJ
bibechana-13985	76	22	minimal	minimal	ADJ
bibechana-13985	76	23	(	(	PUNCT
bibechana-13985	76	24	rather	rather	ADV
bibechana-13985	76	25	than	than	ADP
bibechana-13985	76	26	maximal	maximal	ADJ
bibechana-13985	76	27	)	)	PUNCT
bibechana-13985	76	28	elements	element	NOUN
bibechana-13985	76	29	of	of	ADP
bibechana-13985	76	30	p.	p.	NOUN
bibechana-13985	76	31	the	the	DET
bibechana-13985	76	32	resulting	result	VERB
bibechana-13985	76	33	statement	statement	NOUN
bibechana-13985	76	34	is	be	AUX
bibechana-13985	76	35	equivalent	equivalent	ADJ
bibechana-13985	76	36	to	to	PART
bibechana-13985	76	37	theorem	theorem	VERB
bibechana-13985	76	38	3	3	NUM
bibechana-13985	76	39	if	if	SCONJ
bibechana-13985	76	40	we	we	PRON
bibechana-13985	76	41	pass	pass	VERB
bibechana-13985	76	42	to	to	ADP
bibechana-13985	76	43	the	the	DET
bibechana-13985	76	44	dual	dual	ADJ
bibechana-13985	76	45	poset	poset	NOUN
bibechana-13985	76	46	.	.	PUNCT
bibechana-13985	77	1	let	let	VERB
bibechana-13985	77	2	us	we	PRON
bibechana-13985	77	3	assume	assume	VERB
bibechana-13985	77	4	that	that	SCONJ
bibechana-13985	77	5	(p	(p	NUM
bibechana-13985	77	6	–	–	PUNCT
bibechana-13985	77	7	{	{	PUNCT
bibechana-13985	77	8	p1	p1	NOUN
bibechana-13985	77	9	}	}	PUNCT
bibechana-13985	77	10	)	)	PUNCT
bibechana-13985	77	11	=	=	PUNCT
bibechana-13985	78	1	(p	(p	NUM
bibechana-13985	78	2	–	–	PUNCT
bibechana-13985	78	3	{	{	PUNCT
bibechana-13985	78	4	pk	pk	NOUN
bibechana-13985	78	5	}	}	PUNCT
bibechana-13985	78	6	)	)	PUNCT
bibechana-13985	78	7	=	=	PUNCT
bibechana-13985	79	1	.	.	ADJ
bibechana-13985	79	2	the	the	DET
bibechana-13985	79	3	shape	shape	NOUN
bibechana-13985	79	4	(p	(p	NOUN
bibechana-13985	79	5	)	)	PUNCT
bibechana-13985	79	6	is	be	AUX
bibechana-13985	79	7	obtained	obtain	VERB
bibechana-13985	79	8	by	by	ADP
bibechana-13985	79	9	adding	add	VERB
bibechana-13985	79	10	a	a	DET
bibechana-13985	79	11	box	box	NOUN
bibechana-13985	79	12	to	to	PART
bibechana-13985	79	13	.	.	VERB
bibechana-13985	79	14	say	say	VERB
bibechana-13985	79	15	,	,	PUNCT
bibechana-13985	79	16	this	this	DET
bibechana-13985	79	17	box	box	NOUN
bibechana-13985	79	18	lies	lie	VERB
bibechana-13985	79	19	in	in	ADP
bibechana-13985	79	20	row	row	NOUN
bibechana-13985	79	21	r	r	NOUN
bibechana-13985	79	22	and	and	CCONJ
bibechana-13985	79	23	column	column	NOUN
bibechana-13985	79	24	s.	s.	PROPN
bibechana-13985	79	25	we	we	PRON
bibechana-13985	79	26	need	need	VERB
bibechana-13985	79	27	to	to	PART
bibechana-13985	79	28	show	show	VERB
bibechana-13985	79	29	that	that	SCONJ
bibechana-13985	79	30	r	r	NOUN
bibechana-13985	79	31	=	=	PUNCT
bibechana-13985	79	32	k.	k.	NOUN
bibechana-13985	79	33	the	the	DET
bibechana-13985	79	34	number	number	NOUN
bibechana-13985	79	35	of	of	ADP
bibechana-13985	79	36	elements	element	NOUN
bibechana-13985	79	37	covered	cover	VERB
bibechana-13985	79	38	by	by	ADP
bibechana-13985	79	39	a	a	DET
bibechana-13985	79	40	maximal	maximal	ADJ
bibechana-13985	79	41	chain	chain	NOUN
bibechana-13985	79	42	r	r	NOUN
bibechana-13985	79	43	-	-	PUNCT
bibechana-13985	79	44	family	family	NOUN
bibechana-13985	79	45	decreases	decrease	NOUN
bibechana-13985	79	46	by	by	ADP
bibechana-13985	79	47	1	1	NUM
bibechana-13985	79	48	if	if	SCONJ
bibechana-13985	79	49	any	any	PRON
bibechana-13985	79	50	of	of	ADP
bibechana-13985	79	51	the	the	DET
bibechana-13985	79	52	pi	pi	NOUN
bibechana-13985	79	53	is	be	AUX
bibechana-13985	79	54	removed	remove	VERB
bibechana-13985	79	55	from	from	ADP
bibechana-13985	79	56	p.	p.	NOUN
bibechana-13985	79	57	hence	hence	ADV
bibechana-13985	79	58	,	,	PUNCT
bibechana-13985	79	59	any	any	DET
bibechana-13985	79	60	maximal	maximal	ADJ
bibechana-13985	79	61	chain	chain	NOUN
bibechana-13985	79	62	r	r	NOUN
bibechana-13985	79	63	-	-	PUNCT
bibechana-13985	79	64	family	family	NOUN
bibechana-13985	79	65	in	in	ADP
bibechana-13985	79	66	p	p	PROPN
bibechana-13985	79	67	covers	cover	VERB
bibechana-13985	79	68	all	all	DET
bibechana-13985	79	69	the	the	DET
bibechana-13985	79	70	pi	pi	NOUN
bibechana-13985	79	71	,	,	PUNCT
bibechana-13985	79	72	implying	imply	VERB
bibechana-13985	79	73	r	r	NOUN
bibechana-13985	79	74			NUM
bibechana-13985	79	75	k.	k.	NOUN
bibechana-13985	80	1	let	let	VERB
bibechana-13985	80	2	a	a	DET
bibechana-13985	80	3	=	=	PUNCT
bibechana-13985	80	4	{	{	PUNCT
bibechana-13985	80	5	a1	a1	PROPN
bibechana-13985	80	6	,	,	PUNCT
bibechana-13985	80	7	a2	a2	PROPN
bibechana-13985	80	8	,	,	PUNCT
bibechana-13985	80	9	a3	a3	NOUN
bibechana-13985	80	10	,	,	PUNCT
bibechana-13985	80	11	…	…	PUNCT
bibechana-13985	80	12	}	}	PUNCT
bibechana-13985	80	13	be	be	AUX
bibechana-13985	80	14	a	a	DET
bibechana-13985	80	15	maximal	maximal	ADJ
bibechana-13985	80	16	antichain	antichain	NOUN
bibechana-13985	80	17	s	s	NOUN
bibechana-13985	80	18	-	-	NOUN
bibechana-13985	80	19	family	family	NOUN
bibechana-13985	80	20	in	in	ADP
bibechana-13985	80	21	p	p	PROPN
bibechana-13985	80	22	and	and	CCONJ
bibechana-13985	80	23	,	,	PUNCT
bibechana-13985	80	24	furthermore	furthermore	ADV
bibechana-13985	80	25	,	,	PUNCT
bibechana-13985	80	26	assume	assume	VERB
bibechana-13985	80	27	that	that	SCONJ
bibechana-13985	80	28	a	a	PRON
bibechana-13985	80	29	is	be	AUX
bibechana-13985	80	30	of	of	ADP
bibechana-13985	80	31	canonical	canonical	ADJ
bibechana-13985	80	32	form	form	NOUN
bibechana-13985	80	33	.	.	PUNCT
bibechana-13985	81	1	since	since	SCONJ
bibechana-13985	81	2	the	the	DET
bibechana-13985	81	3	number	number	NOUN
bibechana-13985	81	4	of	of	ADP
bibechana-13985	81	5	elements	element	NOUN
bibechana-13985	81	6	covered	cover	VERB
bibechana-13985	81	7	by	by	ADP
bibechana-13985	81	8	such	such	DET
bibechana-13985	81	9	a	a	DET
bibechana-13985	81	10	family	family	NOUN
bibechana-13985	81	11	decreases	decrease	VERB
bibechana-13985	81	12	if	if	SCONJ
bibechana-13985	81	13	any	any	PRON
bibechana-13985	81	14	of	of	ADP
bibechana-13985	81	15	the	the	DET
bibechana-13985	81	16	pi	pi	NOUN
bibechana-13985	81	17	is	be	AUX
bibechana-13985	81	18	removed	remove	VERB
bibechana-13985	81	19	,	,	PUNCT
bibechana-13985	81	20	we	we	PRON
bibechana-13985	81	21	conclude	conclude	VERB
bibechana-13985	81	22	that	that	SCONJ
bibechana-13985	81	23	all	all	DET
bibechana-13985	81	24	the	the	DET
bibechana-13985	81	25	pi	pi	NOUN
bibechana-13985	81	26	are	be	AUX
bibechana-13985	81	27	covered	cover	VERB
bibechana-13985	81	28	by	by	ADP
bibechana-13985	81	29	a	a	PRON
bibechana-13985	81	30	and	and	CCONJ
bibechana-13985	81	31	,	,	PUNCT
bibechana-13985	81	32	therefore	therefore	ADV
bibechana-13985	81	33	,	,	PUNCT
bibechana-13985	81	34	contained	contain	VERB
bibechana-13985	81	35	in	in	ADP
bibechana-13985	81	36	a1	a1	NOUN
bibechana-13985	81	37	.	.	PUNCT
bibechana-13985	82	1	since	since	SCONJ
bibechana-13985	82	2	any	any	DET
bibechana-13985	82	3	element	element	NOUN
bibechana-13985	82	4	of	of	ADP
bibechana-13985	82	5	p	p	NOUN
bibechana-13985	82	6	is	be	AUX
bibechana-13985	82	7	comparable	comparable	ADJ
bibechana-13985	82	8	to	to	ADP
bibechana-13985	82	9	some	some	PRON
bibechana-13985	82	10	of	of	ADP
bibechana-13985	82	11	the	the	DET
bibechana-13985	82	12	pi	pi	NOUN
bibechana-13985	82	13	,	,	PUNCT
bibechana-13985	82	14	the	the	DET
bibechana-13985	82	15	antichain	antichain	NOUN
bibechana-13985	82	16	a1	a1	NOUN
bibechana-13985	82	17	may	may	AUX
bibechana-13985	82	18	not	not	PART
bibechana-13985	82	19	contain	contain	VERB
bibechana-13985	82	20	any	any	DET
bibechana-13985	82	21	other	other	ADJ
bibechana-13985	82	22	elements	element	NOUN
bibechana-13985	82	23	.	.	PUNCT
bibechana-13985	83	1	and	and	CCONJ
bibechana-13985	83	2	its	its	PRON
bibechana-13985	83	3	cardinality	cardinality	NOUN
bibechana-13985	83	4	is	be	AUX
bibechana-13985	83	5	equal	equal	ADJ
bibechana-13985	83	6	to	to	ADP
bibechana-13985	83	7	k.	k.	PROPN
bibechana-13985	83	8	on	on	ADP
bibechana-13985	83	9	the	the	DET
bibechana-13985	83	10	other	other	ADJ
bibechana-13985	83	11	hand	hand	NOUN
bibechana-13985	83	12	,	,	PUNCT
bibechana-13985	83	13	by	by	ADP
bibechana-13985	83	14	the	the	DET
bibechana-13985	83	15	above	above	ADJ
bibechana-13985	83	16	lemma	lemma	PROPN
bibechana-13985	83	17	,	,	PUNCT
bibechana-13985	83	18	a	a	PRON
bibechana-13985	83	19	is	be	AUX
bibechana-13985	83	20	orthogonal	orthogonal	ADJ
bibechana-13985	83	21	to	to	ADP
bibechana-13985	83	22	any	any	DET
bibechana-13985	83	23	maximal	maximal	ADJ
bibechana-13985	83	24	chain	chain	NOUN
bibechana-13985	83	25	rfamily	rfamily	NOUN
bibechana-13985	83	26	.	.	PUNCT
bibechana-13985	84	1	therefore	therefore	ADV
bibechana-13985	84	2	,	,	PUNCT
bibechana-13985	84	3	any	any	DET
bibechana-13985	84	4	antichain	antichain	VERB
bibechana-13985	84	5	a	a	PRON
bibechana-13985	84	6	(	(	PUNCT
bibechana-13985	84	7	inducting	induct	VERB
bibechana-13985	84	8	a1	a1	NOUN
bibechana-13985	84	9	)	)	PUNCT
bibechana-13985	84	10	must	must	AUX
bibechana-13985	84	11	contain	contain	VERB
bibechana-13985	84	12	at	at	ADP
bibechana-13985	84	13	least	least	ADJ
bibechana-13985	84	14	r	r	NOUN
bibechana-13985	84	15	elements	element	NOUN
bibechana-13985	84	16	.	.	PUNCT
bibechana-13985	85	1	thus	thus	ADV
bibechana-13985	85	2	k	k	X
bibechana-13985	85	3			NUM
bibechana-13985	85	4	r	r	NOUN
bibechana-13985	85	5	and	and	CCONJ
bibechana-13985	85	6	we	we	PRON
bibechana-13985	85	7	are	be	AUX
bibechana-13985	85	8	done	do	VERB
bibechana-13985	85	9	.	.	PUNCT
bibechana-13985	86	1	4	4	X
bibechana-13985	86	2	.	.	X
bibechana-13985	86	3	conclusion	conclusion	VERB
bibechana-13985	86	4	the	the	DET
bibechana-13985	86	5	correspondence	correspondence	NOUN
bibechana-13985	86	6	p	p	PROPN
bibechana-13985	86	7			PROPN
bibechana-13985	86	8	(p	(p	NUM
bibechana-13985	86	9	)	)	PUNCT
bibechana-13985	86	10	is	be	AUX
bibechana-13985	86	11	intimately	intimately	ADV
bibechana-13985	86	12	related	relate	VERB
bibechana-13985	86	13	to	to	ADP
bibechana-13985	86	14	at	at	ADV
bibechana-13985	86	15	least	least	ADV
bibechana-13985	86	16	three	three	NUM
bibechana-13985	86	17	areas	area	NOUN
bibechana-13985	86	18	of	of	ADP
bibechana-13985	86	19	discrete	discrete	ADJ
bibechana-13985	86	20	mathematics	mathematic	NOUN
bibechana-13985	86	21	:	:	PUNCT
bibechana-13985	86	22	combinatorial	combinatorial	ADJ
bibechana-13985	86	23	optimisation	optimisation	NOUN
bibechana-13985	86	24	,	,	PUNCT
bibechana-13985	86	25	lattice	lattice	PROPN
bibechana-13985	86	26	theory	theory	NOUN
bibechana-13985	86	27	and	and	CCONJ
bibechana-13985	86	28	combinatorics	combinatoric	NOUN
bibechana-13985	86	29	of	of	ADP
bibechana-13985	86	30	tableaux	tableaux	ADV
bibechana-13985	86	31	.	.	PUNCT
bibechana-13985	87	1	the	the	DET
bibechana-13985	87	2	theorems	theorem	NOUN
bibechana-13985	87	3	enumerated	enumerate	VERB
bibechana-13985	87	4	here	here	ADV
bibechana-13985	87	5	r.n	r.n	PROPN
bibechana-13985	87	6	.	.	PROPN
bibechana-13985	87	7	yadav	yadav	PROPN
bibechana-13985	87	8	et	et	PROPN
bibechana-13985	87	9	al	al	PROPN
bibechana-13985	87	10	.	.	PUNCT
bibechana-13985	87	11	/	/	PUNCT
bibechana-13985	87	12	bibechana	bibechana	NOUN
bibechana-13985	87	13	13	13	NUM
bibechana-13985	87	14	(	(	PUNCT
bibechana-13985	87	15	2016	2016	NUM
bibechana-13985	87	16	)	)	PUNCT
bibechana-13985	87	17	132	132	NUM
bibechana-13985	87	18	-	-	SYM
bibechana-13985	87	19	136	136	NUM
bibechana-13985	87	20	:	:	PUNCT
bibechana-13985	87	21	rcost	rcost	NOUN
bibechana-13985	87	22	p.136	p.136	X
bibechana-13985	87	23	(	(	PUNCT
bibechana-13985	87	24	online	online	ADJ
bibechana-13985	87	25	publication	publication	NOUN
bibechana-13985	87	26	:	:	PUNCT
bibechana-13985	87	27	dec	dec	PROPN
bibechana-13985	87	28	.	.	PROPN
bibechana-13985	87	29	,	,	PUNCT
bibechana-13985	87	30	2015	2015	NUM
bibechana-13985	87	31	)	)	PUNCT
bibechana-13985	87	32	furnish	furnish	VERB
bibechana-13985	87	33	some	some	DET
bibechana-13985	87	34	main	main	ADJ
bibechana-13985	87	35	properties	property	NOUN
bibechana-13985	87	36	of	of	ADP
bibechana-13985	87	37	finite	finite	NOUN
bibechana-13985	87	38	partially	partially	ADV
bibechana-13985	87	39	ordered	order	VERB
bibechana-13985	87	40	sets	set	NOUN
bibechana-13985	87	41	.	.	PUNCT
bibechana-13985	88	1	theorem	theorem	NOUN
bibechana-13985	88	2	3	3	NUM
bibechana-13985	88	3	,	,	PUNCT
bibechana-13985	88	4	which	which	PRON
bibechana-13985	88	5	we	we	PRON
bibechana-13985	88	6	have	have	AUX
bibechana-13985	88	7	proved	prove	VERB
bibechana-13985	88	8	above	above	ADV
bibechana-13985	88	9	from	from	ADP
bibechana-13985	88	10	a	a	DET
bibechana-13985	88	11	poset	poset	NOUN
bibechana-13985	88	12	-	-	PUNCT
bibechana-13985	88	13	theoretic	theoretic	NOUN
bibechana-13985	88	14	viewpoint	viewpoint	NOUN
bibechana-13985	88	15	,	,	PUNCT
bibechana-13985	88	16	describes	describe	VERB
bibechana-13985	88	17	a	a	DET
bibechana-13985	88	18	simple	simple	ADJ
bibechana-13985	88	19	recursive	recursive	ADJ
bibechana-13985	88	20	algorithm	algorithm	NOUN
bibechana-13985	88	21	for	for	ADP
bibechana-13985	88	22	computing	compute	VERB
bibechana-13985	88	23	the	the	DET
bibechana-13985	88	24	shapes	shape	NOUN
bibechana-13985	88	25	λ(p	λ(p	NOUN
bibechana-13985	88	26	'	'	PUNCT
bibechana-13985	88	27	)	)	PUNCT
bibechana-13985	88	28	for	for	ADP
bibechana-13985	88	29	all	all	DET
bibechana-13985	88	30	order	order	NOUN
bibechana-13985	88	31	ideals	ideal	NOUN
bibechana-13985	88	32	p	p	NOUN
bibechana-13985	88	33	'	'	PUNCT
bibechana-13985	88	34	of	of	ADP
bibechana-13985	88	35	a	a	DET
bibechana-13985	88	36	given	give	VERB
bibechana-13985	88	37	finite	finite	NOUN
bibechana-13985	88	38	poset	poset	NOUN
bibechana-13985	89	1	p.	p.	NOUN
bibechana-13985	89	2	such	such	ADJ
bibechana-13985	89	3	ideals	ideal	NOUN
bibechana-13985	89	4	form	form	VERB
bibechana-13985	89	5	a	a	DET
bibechana-13985	89	6	distributive	distributive	ADJ
bibechana-13985	89	7	lattice	lattice	NOUN
bibechana-13985	89	8	.	.	PUNCT
bibechana-13985	90	1	references	reference	NOUN
bibechana-13985	90	2	[	[	X
bibechana-13985	90	3	1	1	NUM
bibechana-13985	90	4	]	]	X
bibechana-13985	90	5	h.s	h.s	PROPN
bibechana-13985	90	6	.	.	PROPN
bibechana-13985	90	7	sharma	sharma	PROPN
bibechana-13985	90	8	and	and	CCONJ
bibechana-13985	90	9	s.s	s.s	PROPN
bibechana-13985	90	10	.	.	PROPN
bibechana-13985	90	11	seth	seth	PROPN
bibechana-13985	90	12	,	,	PUNCT
bibechana-13985	90	13	modern	modern	ADJ
bibechana-13985	90	14	algebra	algebra	NOUN
bibechana-13985	90	15	,	,	PUNCT
bibechana-13985	90	16	ram	ram	NOUN
bibechana-13985	90	17	prasad	prasad	NOUN
bibechana-13985	90	18	and	and	CCONJ
bibechana-13985	90	19	sons	son	NOUN
bibechana-13985	90	20	,	,	PUNCT
bibechana-13985	90	21	agra	agra	PROPN
bibechana-13985	90	22	,	,	PUNCT
bibechana-13985	90	23	(	(	PUNCT
bibechana-13985	90	24	1981	1981	NUM
bibechana-13985	90	25	.	.	PUNCT
bibechana-13985	91	1	[	[	X
bibechana-13985	91	2	2	2	NUM
bibechana-13985	91	3	]	]	X
bibechana-13985	91	4	r.p	r.p	PROPN
bibechana-13985	91	5	.	.	PROPN
bibechana-13985	91	6	dilworth	dilworth	PROPN
bibechana-13985	91	7	,	,	PUNCT
bibechana-13985	91	8	ann	ann	PROPN
bibechana-13985	91	9	.	.	PROPN
bibechana-13985	91	10	math	math	PROPN
bibechana-13985	91	11	.	.	PUNCT
bibechana-13985	92	1	,	,	PUNCT
bibechana-13985	92	2	102	102	NUM
bibechana-13985	92	3	(	(	PUNCT
bibechana-13985	92	4	1956	1956	NUM
bibechana-13985	92	5	)	)	PUNCT
bibechana-13985	92	6	161	161	NUM
bibechana-13985	92	7	.	.	PUNCT
bibechana-13985	93	1	[	[	X
bibechana-13985	93	2	3	3	X
bibechana-13985	93	3	]	]	X
bibechana-13985	93	4	c.	c.	PROPN
bibechana-13985	93	5	greene	greene	PROPN
bibechana-13985	93	6	,	,	PUNCT
bibechana-13985	93	7	j.	j.	PROPN
bibechana-13985	93	8	combin	combin	PROPN
bibechana-13985	93	9	,	,	PUNCT
bibechana-13985	93	10	th	th	PROPN
bibechana-13985	93	11	.	.	PUNCT
bibechana-13985	93	12	ser	ser	PROPN
bibechana-13985	93	13	.	.	PROPN
bibechana-13985	93	14	,	,	PUNCT
bibechana-13985	93	15	a	a	DET
bibechana-13985	93	16	20	20	NUM
bibechana-13985	93	17	(	(	PUNCT
bibechana-13985	93	18	1976	1976	NUM
bibechana-13985	93	19	)	)	PUNCT
bibechana-13985	93	20	69	69	NUM
bibechana-13985	93	21	.	.	PUNCT
bibechana-13985	94	1	[	[	X
bibechana-13985	94	2	4	4	NUM
bibechana-13985	94	3	]	]	PUNCT
bibechana-13985	94	4	c.	c.	PROPN
bibechana-13985	94	5	greene	greene	PROPN
bibechana-13985	94	6	and	and	CCONJ
bibechana-13985	94	7	d.j	d.j	PROPN
bibechana-13985	94	8	.	.	PROPN
bibechana-13985	94	9	kleitman	kleitman	PROPN
bibechana-13985	94	10	,	,	PUNCT
bibechana-13985	94	11	j.	j.	PROPN
bibechana-13985	94	12	combin	combin	PROPN
bibechana-13985	94	13	.	.	PUNCT
bibechana-13985	95	1	th	th	PROPN
bibechana-13985	95	2	.	.	PUNCT
bibechana-13985	95	3	ser	ser	PROPN
bibechana-13985	95	4	.	.	PROPN
bibechana-13985	95	5	,	,	PUNCT
bibechana-13985	95	6	a	a	DET
bibechana-13985	95	7	20	20	NUM
bibechana-13985	95	8	(	(	PUNCT
bibechana-13985	95	9	1976	1976	NUM
bibechana-13985	95	10	)	)	PUNCT
bibechana-13985	95	11	41	41	NUM
bibechana-13985	95	12	.	.	PUNCT
bibechana-13985	96	1	[	[	X
bibechana-13985	96	2	5	5	NUM
bibechana-13985	96	3	]	]	X
bibechana-13985	96	4	s.v	s.v	PROPN
bibechana-13985	96	5	.	.	PROPN
bibechana-13985	96	6	fomin	fomin	PROPN
bibechana-13985	96	7	,	,	PUNCT
bibechana-13985	96	8	soviet	soviet	ADJ
bibechana-13985	96	9	math	math	NOUN
bibechana-13985	96	10	.	.	PUNCT
bibechana-13985	96	11	,	,	PUNCT
bibechana-13985	97	1	d	d	PROPN
bibechana-13985	97	2	19	19	NUM
bibechana-13985	97	3	(	(	PUNCT
bibechana-13985	97	4	1978	1978	NUM
bibechana-13985	97	5	)	)	PUNCT
bibechana-13985	97	6	1510	1510	NUM
bibechana-13985	97	7	.	.	PUNCT
bibechana-13985	98	1	[	[	X
bibechana-13985	98	2	6	6	NUM
bibechana-13985	98	3	]	]	PUNCT
bibechana-13985	98	4	a.	a.	NOUN
bibechana-13985	98	5	frank	frank	PROPN
bibechana-13985	98	6	,	,	PUNCT
bibechana-13985	98	7	j.	j.	PROPN
bibechana-13985	98	8	combin	combin	PROPN
bibechana-13985	98	9	.	.	PUNCT
bibechana-13985	99	1	th	th	PROPN
bibechana-13985	99	2	.	.	PUNCT
bibechana-13985	99	3	ser	ser	PROPN
bibechana-13985	99	4	.	.	PROPN
bibechana-13985	99	5	,	,	PUNCT
bibechana-13985	99	6	b	b	PROPN
bibechana-13985	99	7	29	29	NUM
bibechana-13985	99	8	(	(	PUNCT
bibechana-13985	99	9	1980	1980	NUM
bibechana-13985	99	10	)	)	PUNCT
bibechana-13985	99	11	176	176	NUM
bibechana-13985	99	12	.	.	PUNCT
bibechana-13985	100	1	[	[	X
bibechana-13985	100	2	7	7	X
bibechana-13985	100	3	]	]	X
bibechana-13985	100	4	s.	s.	PROPN
bibechana-13985	100	5	felsner	felsner	PROPN
bibechana-13985	100	6	,	,	PUNCT
bibechana-13985	100	7	j.	j.	PROPN
bibechana-13985	100	8	combin	combin	PROPN
bibechana-13985	100	9	.	.	PUNCT
bibechana-13985	101	1	th	th	PROPN
bibechana-13985	101	2	.	.	PUNCT
bibechana-13985	101	3	ser	ser	PROPN
bibechana-13985	101	4	.	.	PROPN
bibechana-13985	101	5	,	,	PUNCT
bibechana-13985	102	1	b	b	X
bibechana-13985	102	2	57	57	NUM
bibechana-13985	102	3	(	(	PUNCT
bibechana-13985	102	4	1993	1993	NUM
bibechana-13985	102	5	)	)	PUNCT
bibechana-13985	102	6	309	309	NUM
bibechana-13985	102	7	.	.	PUNCT
bibechana-13985	103	1	[	[	X
bibechana-13985	103	2	8	8	NUM
bibechana-13985	103	3	]	]	PUNCT
bibechana-13985	103	4	k.	k.	PROPN
bibechana-13985	103	5	engel	engel	PROPN
bibechana-13985	103	6	,	,	PUNCT
bibechana-13985	103	7	spencer	spencer	PROPN
bibechana-13985	103	8	theory	theory	PROPN
bibechana-13985	103	9	,	,	PUNCT
bibechana-13985	103	10	cambridge	cambridge	PROPN
bibechana-13985	103	11	university	university	PROPN
bibechana-13985	103	12	press	press	PROPN
bibechana-13985	103	13	,	,	PUNCT
bibechana-13985	103	14	cambridge	cambridge	PROPN
bibechana-13985	103	15	,	,	PUNCT
bibechana-13985	103	16	1997	1997	NUM
bibechana-13985	103	17	.	.	PUNCT
bibechana-13985	104	1	[	[	X
bibechana-13985	104	2	9	9	NUM
bibechana-13985	104	3	]	]	X
bibechana-13985	104	4	n.	n.	NOUN
bibechana-13985	104	5	linial	linial	PROPN
bibechana-13985	104	6	,	,	PUNCT
bibechana-13985	104	7	j.	j.	PROPN
bibechana-13985	104	8	combin	combin	PROPN
bibechana-13985	104	9	.	.	PUNCT
bibechana-13985	105	1	th	th	PROPN
bibechana-13985	105	2	.	.	PUNCT
bibechana-13985	105	3	ser	ser	PROPN
bibechana-13985	105	4	.	.	PROPN
bibechana-13985	105	5	,	,	PUNCT
bibechana-13985	105	6	a	a	DET
bibechana-13985	105	7	30	30	NUM
bibechana-13985	105	8	(	(	PUNCT
bibechana-13985	105	9	1981	1981	NUM
bibechana-13985	105	10	)	)	PUNCT
bibechana-13985	106	1	331	331	X
bibechana-13985	106	2	.	.	PUNCT
bibechana-13985	107	1	[	[	X
bibechana-13985	107	2	10	10	NUM
bibechana-13985	107	3	]	]	SYM
bibechana-13985	107	4	d.b	d.b	PROPN
bibechana-13985	107	5	.	.	PROPN
bibechana-13985	107	6	west	west	PROPN
bibechana-13985	107	7	,	,	PUNCT
bibechana-13985	107	8	graphs	graph	NOUN
bibechana-13985	107	9	and	and	CCONJ
bibechana-13985	107	10	order	order	NOUN
bibechana-13985	107	11	,	,	PUNCT
bibechana-13985	107	12	reidel	reidel	PROPN
bibechana-13985	107	13	,	,	PUNCT
bibechana-13985	107	14	boston	boston	PROPN
bibechana-13985	107	15	,	,	PUNCT
bibechana-13985	107	16	1985	1985	NUM
bibechana-13985	107	17	.	.	PUNCT
bibechana-13985	108	1	[	[	X
bibechana-13985	108	2	11	11	NUM
bibechana-13985	108	3	]	]	X
bibechana-13985	108	4	i.b.a	i.b.a	PROPN
bibechana-13985	108	5	.	.	PUNCT
bibechana-13985	108	6	hartman	hartman	PROPN
bibechana-13985	108	7	,	,	PUNCT
bibechana-13985	108	8	f.	f.	PROPN
bibechana-13985	108	9	saleh	saleh	PROPN
bibechana-13985	108	10	and	and	CCONJ
bibechana-13985	108	11	d.	d.	PROPN
bibechana-13985	108	12	hershkowitz	hershkowitz	PROPN
bibechana-13985	108	13	,	,	PUNCT
bibechana-13985	108	14	j.	j.	PROPN
bibechana-13985	108	15	graph	graph	PROPN
bibechana-13985	108	16	th	th	PROPN
bibechana-13985	108	17	.	.	PROPN
bibechana-13985	108	18	,	,	PUNCT
bibechana-13985	108	19	18	18	NUM
bibechana-13985	108	20	(	(	PUNCT
bibechana-13985	108	21	1994	1994	NUM
bibechana-13985	108	22	)	)	PUNCT
bibechana-13985	108	23	169	169	NUM
bibechana-13985	108	24	.	.	PUNCT
bibechana-13985	109	1	[	[	X
bibechana-13985	109	2	12	12	NUM
bibechana-13985	109	3	]	]	X
bibechana-13985	109	4	r.p	r.p	PROPN
bibechana-13985	109	5	.	.	PROPN
bibechana-13985	109	6	stanley	stanley	PROPN
bibechana-13985	109	7	,	,	PUNCT
bibechana-13985	109	8	enumerative	enumerative	ADJ
bibechana-13985	109	9	combinatories	combinatorie	NOUN
bibechana-13985	109	10	,	,	PUNCT
bibechana-13985	109	11	cambridge	cambridge	PROPN
bibechana-13985	109	12	university	university	PROPN
bibechana-13985	109	13	press	press	PROPN
bibechana-13985	109	14	,	,	PUNCT
bibechana-13985	109	15	cambridge	cambridge	PROPN
bibechana-13985	109	16	,	,	PUNCT
bibechana-13985	109	17	1999	1999	NUM
bibechana-13985	109	18	.	.	PUNCT
bibechana-13985	110	1	[	[	X
bibechana-13985	110	2	13	13	NUM
bibechana-13985	110	3	]	]	X
bibechana-13985	110	4	e.r	e.r	PROPN
bibechana-13985	110	5	.	.	PROPN
bibechana-13985	110	6	gansner	gansner	PROPN
bibechana-13985	110	7	,	,	PUNCT
bibechana-13985	110	8	siam	siam	PROPN
bibechana-13985	110	9	j.	j.	PROPN
bibechana-13985	110	10	algebra	algebra	PROPN
bibechana-13985	110	11	disc	disc	PROPN
bibechana-13985	110	12	.	.	PUNCT
bibechana-13985	111	1	methods	method	NOUN
bibechana-13985	111	2	,	,	PUNCT
bibechana-13985	111	3	2	2	NUM
bibechana-13985	111	4	(	(	PUNCT
bibechana-13985	111	5	1981	1981	NUM
bibechana-13985	111	6	)	)	PUNCT
bibechana-13985	111	7	429	429	NUM
bibechana-13985	111	8	.	.	PUNCT