id	sid	tid	token	lemma	pos
ijassa-829	1	1	paper	paper	NOUN
ijassa-829	1	2	title	title	NOUN
ijassa-829	1	3	(	(	PUNCT
ijassa-829	1	4	use	use	NOUN
ijassa-829	1	5	style	style	NOUN
ijassa-829	1	6	:	:	PUNCT
ijassa-829	1	7	paper	paper	NOUN
ijassa-829	1	8	title	title	NOUN
ijassa-829	1	9	)	)	PUNCT
ijassa-829	1	10	adv	adv	PROPN
ijassa-829	1	11	syst	syst	PROPN
ijassa-829	1	12	sci	sci	PROPN
ijassa-829	1	13	appl	appl	PROPN
ijassa-829	1	14	2019	2019	NUM
ijassa-829	1	15	;	;	PUNCT
ijassa-829	1	16	04	04	NUM
ijassa-829	1	17	;	;	PUNCT
ijassa-829	1	18	79	79	NUM
ijassa-829	1	19	-	-	SYM
ijassa-829	1	20	86	86	NUM
ijassa-829	1	21	published	publish	VERB
ijassa-829	1	22	online	online	ADV
ijassa-829	1	23	at	at	ADP
ijassa-829	1	24	http://ijassa.ipu.ru/index.php/ijassa/article/view/829	http://ijassa.ipu.ru/index.php/ijassa/article/view/829	NOUN
ijassa-829	1	25	an	an	DET
ijassa-829	1	26	optimal	optimal	ADJ
ijassa-829	1	27	itinerary	itinerary	ADJ
ijassa-829	1	28	generation	generation	NOUN
ijassa-829	1	29	in	in	ADP
ijassa-829	1	30	a	a	DET
ijassa-829	1	31	configuration	configuration	NOUN
ijassa-829	1	32	space	space	NOUN
ijassa-829	1	33	of	of	ADP
ijassa-829	1	34	large	large	ADJ
ijassa-829	1	35	intellectual	intellectual	ADJ
ijassa-829	1	36	agent	agent	NOUN
ijassa-829	1	37	groups	group	NOUN
ijassa-829	1	38	with	with	ADP
ijassa-829	1	39	linear	linear	ADJ
ijassa-829	1	40	logic	logic	PROPN
ijassa-829	1	41	dmitry	dmitry	PROPN
ijassa-829	1	42	maximov	maximov	PROPN
ijassa-829	1	43	*	*	PROPN
ijassa-829	1	44	institute	institute	PROPN
ijassa-829	1	45	of	of	ADP
ijassa-829	1	46	control	control	PROPN
ijassa-829	1	47	science	science	PROPN
ijassa-829	1	48	russian	russian	PROPN
ijassa-829	1	49	academy	academy	PROPN
ijassa-829	1	50	of	of	ADP
ijassa-829	1	51	science	science	PROPN
ijassa-829	1	52	,	,	PUNCT
ijassa-829	1	53	moscow	moscow	PROPN
ijassa-829	1	54	,	,	PUNCT
ijassa-829	1	55	russia	russia	PROPN
ijassa-829	1	56	e	e	NOUN
ijassa-829	1	57	-	-	NOUN
ijassa-829	1	58	mail	mail	NOUN
ijassa-829	1	59	:	:	PUNCT
ijassa-829	1	60	dmmax@inbox.ru	dmmax@inbox.ru	VERB
ijassa-829	1	61	received	receive	VERB
ijassa-829	1	62	may	may	PROPN
ijassa-829	1	63	16	16	NUM
ijassa-829	1	64	,	,	PUNCT
ijassa-829	1	65	2019	2019	NUM
ijassa-829	1	66	;	;	PUNCT
ijassa-829	1	67	revised	revise	VERB
ijassa-829	1	68	december	december	PROPN
ijassa-829	1	69	12	12	NUM
ijassa-829	1	70	,	,	PUNCT
ijassa-829	1	71	2019	2019	NUM
ijassa-829	1	72	;	;	PUNCT
ijassa-829	1	73	published	publish	VERB
ijassa-829	1	74	december	december	PROPN
ijassa-829	1	75	31	31	NUM
ijassa-829	1	76	,	,	PUNCT
ijassa-829	1	77	2019	2019	NUM
ijassa-829	1	78	abstract	abstract	NOUN
ijassa-829	1	79	:	:	PUNCT
ijassa-829	1	80	a	a	DET
ijassa-829	1	81	group	group	NOUN
ijassa-829	1	82	of	of	ADP
ijassa-829	1	83	intelligent	intelligent	ADJ
ijassa-829	1	84	agents	agent	NOUN
ijassa-829	1	85	which	which	PRON
ijassa-829	1	86	fulfill	fulfill	VERB
ijassa-829	1	87	a	a	DET
ijassa-829	1	88	set	set	NOUN
ijassa-829	1	89	of	of	ADP
ijassa-829	1	90	tasks	task	NOUN
ijassa-829	1	91	in	in	ADP
ijassa-829	1	92	parallel	parallel	NOUN
ijassa-829	1	93	is	be	AUX
ijassa-829	1	94	represented	represent	VERB
ijassa-829	1	95	by	by	ADP
ijassa-829	1	96	the	the	DET
ijassa-829	1	97	tensor	tensor	NOUN
ijassa-829	1	98	multiplication	multiplication	NOUN
ijassa-829	1	99	of	of	ADP
ijassa-829	1	100	corresponding	correspond	VERB
ijassa-829	1	101	processes	process	NOUN
ijassa-829	1	102	in	in	ADP
ijassa-829	1	103	a	a	DET
ijassa-829	1	104	linear	linear	ADJ
ijassa-829	1	105	logic	logic	NOUN
ijassa-829	1	106	game	game	NOUN
ijassa-829	1	107	category	category	NOUN
ijassa-829	1	108	.	.	PUNCT
ijassa-829	2	1	an	an	DET
ijassa-829	2	2	optimal	optimal	ADJ
ijassa-829	2	3	itinerary	itinerary	NOUN
ijassa-829	2	4	in	in	ADP
ijassa-829	2	5	the	the	DET
ijassa-829	2	6	configuration	configuration	NOUN
ijassa-829	2	7	space	space	NOUN
ijassa-829	2	8	of	of	ADP
ijassa-829	2	9	the	the	DET
ijassa-829	2	10	group	group	NOUN
ijassa-829	2	11	states	state	NOUN
ijassa-829	2	12	is	be	AUX
ijassa-829	2	13	defined	define	VERB
ijassa-829	2	14	as	as	ADP
ijassa-829	2	15	a	a	DET
ijassa-829	2	16	play	play	NOUN
ijassa-829	2	17	with	with	ADP
ijassa-829	2	18	maximal	maximal	ADJ
ijassa-829	2	19	total	total	ADJ
ijassa-829	2	20	reward	reward	NOUN
ijassa-829	2	21	in	in	ADP
ijassa-829	2	22	the	the	DET
ijassa-829	2	23	category	category	NOUN
ijassa-829	2	24	.	.	PUNCT
ijassa-829	3	1	the	the	DET
ijassa-829	3	2	reward	reward	NOUN
ijassa-829	3	3	is	be	AUX
ijassa-829	3	4	represented	represent	VERB
ijassa-829	3	5	as	as	ADP
ijassa-829	3	6	a	a	DET
ijassa-829	3	7	degree	degree	NOUN
ijassa-829	3	8	of	of	ADP
ijassa-829	3	9	certainty	certainty	NOUN
ijassa-829	3	10	(	(	PUNCT
ijassa-829	3	11	visibility	visibility	NOUN
ijassa-829	3	12	)	)	PUNCT
ijassa-829	3	13	of	of	ADP
ijassa-829	3	14	an	an	DET
ijassa-829	3	15	agent	agent	NOUN
ijassa-829	3	16	goal	goal	NOUN
ijassa-829	3	17	,	,	PUNCT
ijassa-829	3	18	and	and	CCONJ
ijassa-829	3	19	the	the	DET
ijassa-829	3	20	system	system	NOUN
ijassa-829	3	21	goals	goal	NOUN
ijassa-829	3	22	are	be	AUX
ijassa-829	3	23	chosen	choose	VERB
ijassa-829	3	24	by	by	ADP
ijassa-829	3	25	the	the	DET
ijassa-829	3	26	greatest	great	ADJ
ijassa-829	3	27	value	value	NOUN
ijassa-829	3	28	corresponding	correspond	VERB
ijassa-829	3	29	to	to	ADP
ijassa-829	3	30	these	these	DET
ijassa-829	3	31	processes	process	NOUN
ijassa-829	3	32	in	in	ADP
ijassa-829	3	33	the	the	DET
ijassa-829	3	34	system	system	NOUN
ijassa-829	3	35	goal	goal	NOUN
ijassa-829	3	36	lattice	lattice	VERB
ijassa-829	3	37	.	.	PUNCT
ijassa-829	4	1	keywords	keyword	NOUN
ijassa-829	4	2	:	:	PUNCT
ijassa-829	4	3	intellectual	intellectual	ADJ
ijassa-829	4	4	agent	agent	NOUN
ijassa-829	4	5	;	;	PUNCT
ijassa-829	4	6	itinerary	itinerary	ADJ
ijassa-829	4	7	choice	choice	NOUN
ijassa-829	4	8	;	;	PUNCT
ijassa-829	4	9	goal	goal	NOUN
ijassa-829	4	10	lattice	lattice	NOUN
ijassa-829	4	11	;	;	PUNCT
ijassa-829	4	12	game	game	NOUN
ijassa-829	4	13	semantics	semantic	NOUN
ijassa-829	4	14	.	.	PUNCT
ijassa-829	5	1	1	1	X
ijassa-829	5	2	.	.	X
ijassa-829	5	3	introduction	introduction	NOUN
ijassa-829	5	4	the	the	DET
ijassa-829	5	5	artificial	artificial	ADJ
ijassa-829	5	6	intelligence	intelligence	NOUN
ijassa-829	5	7	is	be	AUX
ijassa-829	5	8	represented	represent	VERB
ijassa-829	5	9	in	in	ADP
ijassa-829	5	10	the	the	DET
ijassa-829	5	11	artificial	artificial	ADJ
ijassa-829	5	12	general	general	ADJ
ijassa-829	5	13	intelligence	intelligence	NOUN
ijassa-829	5	14	(	(	PUNCT
ijassa-829	5	15	agi	agi	NOUN
ijassa-829	5	16	)	)	PUNCT
ijassa-829	5	17	approach	approach	NOUN
ijassa-829	5	18	as	as	ADP
ijassa-829	5	19	an	an	DET
ijassa-829	5	20	information	information	NOUN
ijassa-829	5	21	processor	processor	NOUN
ijassa-829	5	22	which	which	PRON
ijassa-829	5	23	consumes	consume	VERB
ijassa-829	5	24	and	and	CCONJ
ijassa-829	5	25	gives	give	VERB
ijassa-829	5	26	out	out	ADP
ijassa-829	5	27	information	information	NOUN
ijassa-829	5	28	.	.	PUNCT
ijassa-829	6	1	investigations	investigation	NOUN
ijassa-829	6	2	in	in	ADP
ijassa-829	6	3	the	the	DET
ijassa-829	6	4	field	field	NOUN
ijassa-829	6	5	are	be	AUX
ijassa-829	6	6	focused	focus	VERB
ijassa-829	6	7	on	on	ADP
ijassa-829	6	8	systems	system	NOUN
ijassa-829	6	9	which	which	PRON
ijassa-829	6	10	act	act	VERB
ijassa-829	6	11	rationally	rationally	ADV
ijassa-829	6	12	.	.	PUNCT
ijassa-829	7	1	a	a	DET
ijassa-829	7	2	formal	formal	ADJ
ijassa-829	7	3	description	description	NOUN
ijassa-829	7	4	of	of	ADP
ijassa-829	7	5	the	the	DET
ijassa-829	7	6	most	most	ADV
ijassa-829	7	7	intelligent	intelligent	ADJ
ijassa-829	7	8	agent	agent	NOUN
ijassa-829	7	9	(	(	PUNCT
ijassa-829	7	10	aixi	aixi	ADJ
ijassa-829	7	11	)	)	PUNCT
ijassa-829	7	12	behavior	behavior	NOUN
ijassa-829	7	13	,	,	PUNCT
ijassa-829	7	14	in	in	ADP
ijassa-829	7	15	the	the	DET
ijassa-829	7	16	sense	sense	NOUN
ijassa-829	7	17	of	of	ADP
ijassa-829	7	18	some	some	DET
ijassa-829	7	19	intelligence	intelligence	NOUN
ijassa-829	7	20	measure	measure	NOUN
ijassa-829	7	21	,	,	PUNCT
ijassa-829	7	22	is	be	AUX
ijassa-829	7	23	suggested	suggest	VERB
ijassa-829	7	24	in	in	ADP
ijassa-829	7	25	agi	agi	NOUN
ijassa-829	7	26	framework	framework	NOUN
ijassa-829	7	27	[	[	X
ijassa-829	7	28	1	1	NUM
ijassa-829	7	29	]	]	PUNCT
ijassa-829	7	30	.	.	PUNCT
ijassa-829	8	1	the	the	DET
ijassa-829	8	2	model	model	NOUN
ijassa-829	8	3	is	be	AUX
ijassa-829	8	4	based	base	VERB
ijassa-829	8	5	on	on	ADP
ijassa-829	8	6	probabilistic	probabilistic	ADJ
ijassa-829	8	7	modeling	modeling	NOUN
ijassa-829	8	8	of	of	ADP
ijassa-829	8	9	the	the	DET
ijassa-829	8	10	environment	environment	NOUN
ijassa-829	8	11	,	,	PUNCT
ijassa-829	8	12	and	and	CCONJ
ijassa-829	8	13	on	on	ADP
ijassa-829	8	14	the	the	DET
ijassa-829	8	15	next	next	ADJ
ijassa-829	8	16	system	system	NOUN
ijassa-829	8	17	move	move	VERB
ijassa-829	8	18	determination	determination	NOUN
ijassa-829	8	19	based	base	VERB
ijassa-829	8	20	on	on	ADP
ijassa-829	8	21	previous	previous	ADJ
ijassa-829	8	22	experience	experience	NOUN
ijassa-829	8	23	,	,	PUNCT
ijassa-829	8	24	and	and	CCONJ
ijassa-829	8	25	on	on	ADP
ijassa-829	8	26	a	a	DET
ijassa-829	8	27	numerical	numerical	ADJ
ijassa-829	8	28	estimation	estimation	NOUN
ijassa-829	8	29	of	of	ADP
ijassa-829	8	30	the	the	DET
ijassa-829	8	31	system	system	NOUN
ijassa-829	8	32	position	position	NOUN
ijassa-829	8	33	reward	reward	NOUN
ijassa-829	8	34	and	and	CCONJ
ijassa-829	8	35	on	on	ADP
ijassa-829	8	36	the	the	DET
ijassa-829	8	37	maximization	maximization	NOUN
ijassa-829	8	38	of	of	ADP
ijassa-829	8	39	the	the	DET
ijassa-829	8	40	expected	expect	VERB
ijassa-829	8	41	reward	reward	NOUN
ijassa-829	8	42	along	along	ADP
ijassa-829	8	43	the	the	DET
ijassa-829	8	44	trajectory	trajectory	NOUN
ijassa-829	8	45	.	.	PUNCT
ijassa-829	9	1	however	however	ADV
ijassa-829	9	2	,	,	PUNCT
ijassa-829	9	3	the	the	DET
ijassa-829	9	4	method	method	NOUN
ijassa-829	9	5	to	to	PART
ijassa-829	9	6	obtain	obtain	VERB
ijassa-829	9	7	this	this	DET
ijassa-829	9	8	numerical	numerical	ADJ
ijassa-829	9	9	estimation	estimation	NOUN
ijassa-829	9	10	is	be	AUX
ijassa-829	9	11	absent	absent	ADJ
ijassa-829	9	12	.	.	PUNCT
ijassa-829	10	1	also	also	ADV
ijassa-829	10	2	,	,	PUNCT
ijassa-829	10	3	there	there	PRON
ijassa-829	10	4	are	be	VERB
ijassa-829	10	5	no	no	DET
ijassa-829	10	6	models	model	NOUN
ijassa-829	10	7	to	to	PART
ijassa-829	10	8	describe	describe	VERB
ijassa-829	10	9	such	such	ADJ
ijassa-829	10	10	agent	agent	NOUN
ijassa-829	10	11	groups	group	NOUN
ijassa-829	10	12	’	'	PUNCT
ijassa-829	10	13	behavior	behavior	NOUN
ijassa-829	10	14	.	.	PUNCT
ijassa-829	11	1	it	it	PRON
ijassa-829	11	2	has	have	AUX
ijassa-829	11	3	been	be	AUX
ijassa-829	11	4	demonstrated	demonstrate	VERB
ijassa-829	11	5	in	in	ADP
ijassa-829	11	6	[	[	PUNCT
ijassa-829	11	7	2	2	NUM
ijassa-829	11	8	-	-	SYM
ijassa-829	11	9	4	4	NUM
ijassa-829	11	10	]	]	PUNCT
ijassa-829	11	11	that	that	SCONJ
ijassa-829	11	12	the	the	DET
ijassa-829	11	13	structure	structure	NOUN
ijassa-829	11	14	existence	existence	NOUN
ijassa-829	11	15	(	(	PUNCT
ijassa-829	11	16	a	a	DET
ijassa-829	11	17	lattice	lattice	NOUN
ijassa-829	11	18	structure	structure	NOUN
ijassa-829	11	19	or	or	CCONJ
ijassa-829	11	20	else	else	ADV
ijassa-829	11	21	a	a	DET
ijassa-829	11	22	monoid	monoid	NOUN
ijassa-829	11	23	structure	structure	NOUN
ijassa-829	11	24	,	,	PUNCT
ijassa-829	11	25	i.e.	i.e.	X
ijassa-829	11	26	the	the	DET
ijassa-829	11	27	linear	linear	ADJ
ijassa-829	11	28	logic	logic	NOUN
ijassa-829	11	29	structure	structure	NOUN
ijassa-829	11	30	)	)	PUNCT
ijassa-829	11	31	in	in	ADP
ijassa-829	11	32	the	the	DET
ijassa-829	11	33	system	system	NOUN
ijassa-829	11	34	task	task	NOUN
ijassa-829	11	35	[	[	X
ijassa-829	11	36	3	3	NUM
ijassa-829	11	37	,	,	PUNCT
ijassa-829	11	38	4	4	NUM
ijassa-829	11	39	]	]	PUNCT
ijassa-829	11	40	or	or	CCONJ
ijassa-829	11	41	goal	goal	NOUN
ijassa-829	11	42	[	[	X
ijassa-829	11	43	2	2	X
ijassa-829	11	44	]	]	PUNCT
ijassa-829	11	45	set	set	NOUN
ijassa-829	11	46	is	be	AUX
ijassa-829	11	47	sufficient	sufficient	ADJ
ijassa-829	11	48	for	for	SCONJ
ijassa-829	11	49	the	the	DET
ijassa-829	11	50	system	system	NOUN
ijassa-829	11	51	to	to	PART
ijassa-829	11	52	behave	behave	VERB
ijassa-829	11	53	quite	quite	ADV
ijassa-829	11	54	reasonable	reasonable	ADJ
ijassa-829	11	55	.	.	PUNCT
ijassa-829	12	1	the	the	DET
ijassa-829	12	2	behavior	behavior	NOUN
ijassa-829	12	3	looks	look	VERB
ijassa-829	12	4	even	even	ADV
ijassa-829	12	5	like	like	ADP
ijassa-829	12	6	ants	ant	NOUN
ijassa-829	12	7	’	'	PUNCT
ijassa-829	12	8	behavior	behavior	NOUN
ijassa-829	12	9	in	in	ADP
ijassa-829	12	10	something	something	PRON
ijassa-829	12	11	[	[	X
ijassa-829	12	12	4	4	NUM
ijassa-829	12	13	]	]	PUNCT
ijassa-829	12	14	.	.	PUNCT
ijassa-829	13	1	but	but	CCONJ
ijassa-829	13	2	it	it	PRON
ijassa-829	13	3	is	be	AUX
ijassa-829	13	4	not	not	PART
ijassa-829	13	5	supposed	suppose	VERB
ijassa-829	13	6	here	here	ADV
ijassa-829	13	7	the	the	DET
ijassa-829	13	8	environment	environment	NOUN
ijassa-829	13	9	modeling	model	VERB
ijassa-829	13	10	unlike	unlike	ADP
ijassa-829	13	11	[	[	X
ijassa-829	13	12	1	1	NUM
ijassa-829	13	13	]	]	PUNCT
ijassa-829	13	14	.	.	PUNCT
ijassa-829	14	1	in	in	ADP
ijassa-829	14	2	this	this	DET
ijassa-829	14	3	paper	paper	NOUN
ijassa-829	14	4	,	,	PUNCT
ijassa-829	14	5	the	the	DET
ijassa-829	14	6	topic	topic	NOUN
ijassa-829	14	7	develops	develop	VERB
ijassa-829	14	8	based	base	VERB
ijassa-829	14	9	on	on	ADP
ijassa-829	14	10	the	the	DET
ijassa-829	14	11	idea	idea	NOUN
ijassa-829	14	12	that	that	SCONJ
ijassa-829	14	13	it	it	PRON
ijassa-829	14	14	is	be	AUX
ijassa-829	14	15	possible	possible	ADJ
ijassa-829	14	16	to	to	PART
ijassa-829	14	17	represent	represent	VERB
ijassa-829	14	18	different	different	ADJ
ijassa-829	14	19	aim	aim	NOUN
ijassa-829	14	20	parallel	parallel	ADJ
ijassa-829	14	21	achievement	achievement	NOUN
ijassa-829	14	22	processes	process	NOUN
ijassa-829	14	23	fulfilling	fulfil	VERB
ijassa-829	14	24	by	by	ADP
ijassa-829	14	25	various	various	ADJ
ijassa-829	14	26	agents	agent	NOUN
ijassa-829	14	27	in	in	ADP
ijassa-829	14	28	some	some	DET
ijassa-829	14	29	environment	environment	NOUN
ijassa-829	14	30	as	as	ADP
ijassa-829	14	31	a	a	DET
ijassa-829	14	32	tensor	tensor	NOUN
ijassa-829	14	33	multiplication	multiplication	NOUN
ijassa-829	14	34	in	in	ADP
ijassa-829	14	35	linear	linear	PROPN
ijassa-829	14	36	logic	logic	NOUN
ijassa-829	14	37	.	.	PUNCT
ijassa-829	15	1	the	the	DET
ijassa-829	15	2	logic	logic	NOUN
ijassa-829	15	3	is	be	AUX
ijassa-829	15	4	modeled	model	VERB
ijassa-829	15	5	in	in	ADP
ijassa-829	15	6	some	some	DET
ijassa-829	15	7	game	game	NOUN
ijassa-829	15	8	category	category	NOUN
ijassa-829	15	9	[	[	X
ijassa-829	15	10	5	5	NUM
ijassa-829	15	11	]	]	PUNCT
ijassa-829	15	12	.	.	PUNCT
ijassa-829	16	1	thus	thus	ADV
ijassa-829	16	2	,	,	PUNCT
ijassa-829	16	3	it	it	PRON
ijassa-829	16	4	is	be	AUX
ijassa-829	16	5	possible	possible	ADJ
ijassa-829	16	6	to	to	PART
ijassa-829	16	7	describe	describe	VERB
ijassa-829	16	8	goals	goal	NOUN
ijassa-829	16	9	achievement	achievement	NOUN
ijassa-829	16	10	process	process	NOUN
ijassa-829	16	11	by	by	ADP
ijassa-829	16	12	the	the	DET
ijassa-829	16	13	intelligent	intelligent	ADJ
ijassa-829	16	14	agent	agent	NOUN
ijassa-829	16	15	system	system	NOUN
ijassa-829	16	16	in	in	ADP
ijassa-829	16	17	some	some	DET
ijassa-829	16	18	environment	environment	NOUN
ijassa-829	16	19	as	as	ADP
ijassa-829	16	20	a	a	DET
ijassa-829	16	21	game	game	NOUN
ijassa-829	16	22	.	.	PUNCT
ijassa-829	17	1	position	position	NOUN
ijassa-829	17	2	rewards	reward	VERB
ijassa-829	17	3	in	in	ADP
ijassa-829	17	4	the	the	DET
ijassa-829	17	5	game	game	NOUN
ijassa-829	17	6	are	be	AUX
ijassa-829	17	7	represented	represent	VERB
ijassa-829	17	8	by	by	ADP
ijassa-829	17	9	sets	set	NOUN
ijassa-829	17	10	which	which	PRON
ijassa-829	17	11	describe	describe	VERB
ijassa-829	17	12	the	the	DET
ijassa-829	17	13	information	information	NOUN
ijassa-829	17	14	about	about	ADP
ijassa-829	17	15	goals	goal	NOUN
ijassa-829	17	16	or	or	CCONJ
ijassa-829	17	17	their	their	PRON
ijassa-829	17	18	distinctness	distinctness	NOUN
ijassa-829	17	19	degree	degree	NOUN
ijassa-829	17	20	.	.	PUNCT
ijassa-829	18	1	thus	thus	ADV
ijassa-829	18	2	,	,	PUNCT
ijassa-829	18	3	the	the	DET
ijassa-829	18	4	rewards	reward	NOUN
ijassa-829	18	5	are	be	AUX
ijassa-829	18	6	provided	provide	VERB
ijassa-829	18	7	by	by	ADP
ijassa-829	18	8	the	the	DET
ijassa-829	18	9	environment	environment	NOUN
ijassa-829	18	10	,	,	PUNCT
ijassa-829	18	11	and	and	CCONJ
ijassa-829	18	12	they	they	PRON
ijassa-829	18	13	are	be	AUX
ijassa-829	18	14	lattice	lattice	ADJ
ijassa-829	18	15	elements	element	NOUN
ijassa-829	18	16	but	but	CCONJ
ijassa-829	18	17	not	not	PART
ijassa-829	18	18	numbers	number	NOUN
ijassa-829	18	19	as	as	ADP
ijassa-829	18	20	in	in	ADP
ijassa-829	18	21	[	[	X
ijassa-829	18	22	1	1	NUM
ijassa-829	18	23	]	]	PUNCT
ijassa-829	18	24	.	.	PUNCT
ijassa-829	19	1	these	these	DET
ijassa-829	19	2	lattice	lattice	NOUN
ijassa-829	19	3	and	and	CCONJ
ijassa-829	19	4	linear	linear	ADJ
ijassa-829	19	5	logic	logic	NOUN
ijassa-829	19	6	structures	structure	NOUN
ijassa-829	19	7	are	be	AUX
ijassa-829	19	8	provided	provide	VERB
ijassa-829	19	9	by	by	ADP
ijassa-829	19	10	the	the	DET
ijassa-829	19	11	environment	environment	NOUN
ijassa-829	19	12	.	.	PUNCT
ijassa-829	20	1	but	but	CCONJ
ijassa-829	20	2	similar	similar	ADJ
ijassa-829	20	3	structures	structure	NOUN
ijassa-829	20	4	are	be	AUX
ijassa-829	20	5	also	also	ADV
ijassa-829	20	6	given	give	VERB
ijassa-829	20	7	by	by	ADP
ijassa-829	20	8	our	our	PRON
ijassa-829	20	9	ideas	idea	NOUN
ijassa-829	20	10	about	about	ADP
ijassa-829	20	11	the	the	DET
ijassa-829	20	12	system	system	NOUN
ijassa-829	20	13	and	and	CCONJ
ijassa-829	20	14	agent	agent	NOUN
ijassa-829	20	15	purposes	purpose	NOUN
ijassa-829	20	16	.	.	PUNCT
ijassa-829	21	1	these	these	PRON
ijassa-829	21	2	are	be	AUX
ijassa-829	21	3	used	use	VERB
ijassa-829	21	4	to	to	PART
ijassa-829	21	5	determine	determine	VERB
ijassa-829	21	6	the	the	DET
ijassa-829	21	7	priority	priority	NOUN
ijassa-829	21	8	of	of	ADP
ijassa-829	21	9	different	different	ADJ
ijassa-829	21	10	parallel	parallel	ADJ
ijassa-829	21	11	processes	process	NOUN
ijassa-829	21	12	in	in	ADP
ijassa-829	21	13	such	such	ADJ
ijassa-829	21	14	game	game	NOUN
ijassa-829	21	15	category	category	NOUN
ijassa-829	21	16	.	.	PUNCT
ijassa-829	22	1	the	the	DET
ijassa-829	22	2	project	project	NOUN
ijassa-829	22	3	was	be	AUX
ijassa-829	22	4	partly	partly	ADV
ijassa-829	22	5	supported	support	VERB
ijassa-829	22	6	by	by	ADP
ijassa-829	22	7	rfbr	rfbr	PROPN
ijassa-829	22	8	grant	grant	PROPN
ijassa-829	22	9	16	16	NUM
ijassa-829	22	10	-	-	PUNCT
ijassa-829	22	11	08	08	NUM
ijassa-829	22	12	-	-	PUNCT
ijassa-829	22	13	00832a	00832a	NUM
ijassa-829	22	14	*	*	PUNCT
ijassa-829	22	15	corresponding	correspond	VERB
ijassa-829	22	16	author	author	NOUN
ijassa-829	22	17	dmmax@inbox.ru	dmmax@inbox.ru	VERB
ijassa-829	22	18	mailto:dmmax@inbox.ru	mailto:dmmax@inbox.ru	VERB
ijassa-829	22	19	80	80	NUM
ijassa-829	22	20	d.	d.	NOUN
ijassa-829	22	21	maximov	maximov	PROPN
ijassa-829	22	22	copyright	copyright	NOUN
ijassa-829	23	1	©	©	PROPN
ijassa-829	23	2	2019	2019	NUM
ijassa-829	23	3	assa	assa	PROPN
ijassa-829	23	4	adv	adv	PROPN
ijassa-829	23	5	.	.	PUNCT
ijassa-829	24	1	in	in	ADP
ijassa-829	24	2	systems	system	NOUN
ijassa-829	24	3	science	science	NOUN
ijassa-829	24	4	and	and	CCONJ
ijassa-829	24	5	appl	appl	NOUN
ijassa-829	24	6	.	.	PUNCT
ijassa-829	25	1	(	(	PUNCT
ijassa-829	25	2	2019	2019	NUM
ijassa-829	25	3	)	)	PUNCT
ijassa-829	25	4	2	2	NUM
ijassa-829	25	5	.	.	X
ijassa-829	25	6	mathematical	mathematical	ADJ
ijassa-829	25	7	backgrounds	background	NOUN
ijassa-829	25	8	2.1	2.1	NUM
ijassa-829	25	9	.	.	PUNCT
ijassa-829	26	1	lattices	lattice	NOUN
ijassa-829	26	2	[	[	X
ijassa-829	26	3	6	6	NUM
ijassa-829	26	4	]	]	PUNCT
ijassa-829	26	5	definition	definition	NOUN
ijassa-829	26	6	2.1	2.1	NUM
ijassa-829	26	7	:	:	PUNCT
ijassa-829	26	8	a	a	DET
ijassa-829	26	9	partially	partially	ADV
ijassa-829	26	10	-	-	PUNCT
ijassa-829	26	11	ordered	order	VERB
ijassa-829	26	12	set	set	NOUN
ijassa-829	26	13	p	p	NOUN
ijassa-829	26	14	is	be	AUX
ijassa-829	26	15	the	the	DET
ijassa-829	26	16	set	set	NOUN
ijassa-829	26	17	with	with	ADP
ijassa-829	26	18	such	such	DET
ijassa-829	26	19	a	a	DET
ijassa-829	26	20	binary	binary	ADJ
ijassa-829	26	21	relation	relation	NOUN
ijassa-829	26	22	x	x	SYM
ijassa-829	26	23	≤	≤	NUM
ijassa-829	26	24	y	y	NOUN
ijassa-829	26	25	for	for	ADP
ijassa-829	26	26	elements	element	NOUN
ijassa-829	26	27	in	in	ADP
ijassa-829	26	28	it	it	PRON
ijassa-829	26	29	,	,	PUNCT
ijassa-829	26	30	that	that	SCONJ
ijassa-829	26	31	for	for	ADP
ijassa-829	26	32	all	all	DET
ijassa-829	26	33	𝑥	𝑥	PROPN
ijassa-829	26	34	,	,	PUNCT
ijassa-829	26	35	𝑦	𝑦	NOUN
ijassa-829	26	36	,	,	PUNCT
ijassa-829	26	37	𝑧	𝑧	DET
ijassa-829	26	38	∈	∈	NOUN
ijassa-829	26	39	𝑃	𝑃	VERB
ijassa-829	26	40	the	the	DET
ijassa-829	26	41	following	follow	VERB
ijassa-829	26	42	relationships	relationship	NOUN
ijassa-829	26	43	are	be	AUX
ijassa-829	26	44	performed	perform	VERB
ijassa-829	26	45	:	:	PUNCT
ijassa-829	26	46			X
ijassa-829	26	47	x	x	X
ijassa-829	26	48	≤	≤	NUM
ijassa-829	26	49	x	x	SYM
ijassa-829	26	50	(	(	PUNCT
ijassa-829	26	51	reflexivity	reflexivity	NOUN
ijassa-829	26	52	)	)	PUNCT
ijassa-829	26	53	;	;	PUNCT
ijassa-829	27	1			NOUN
ijassa-829	27	2	if	if	SCONJ
ijassa-829	27	3	x	x	PROPN
ijassa-829	27	4	≤	≤	ADJ
ijassa-829	27	5	y	y	PROPN
ijassa-829	27	6	and	and	CCONJ
ijassa-829	27	7	y	y	PROPN
ijassa-829	27	8	≤	≤	PROPN
ijassa-829	27	9	x	x	PUNCT
ijassa-829	27	10	,	,	PUNCT
ijassa-829	27	11	then	then	ADV
ijassa-829	27	12	x	x	X
ijassa-829	27	13	=	=	SYM
ijassa-829	27	14	y	y	PROPN
ijassa-829	27	15	(	(	PUNCT
ijassa-829	27	16	anti	anti	NOUN
ijassa-829	27	17	-	-	NOUN
ijassa-829	27	18	symmetry	symmetry	NOUN
ijassa-829	27	19	)	)	PUNCT
ijassa-829	27	20	;	;	PUNCT
ijassa-829	27	21			NOUN
ijassa-829	27	22	if	if	SCONJ
ijassa-829	27	23	x	x	PROPN
ijassa-829	27	24	≤	≤	ADJ
ijassa-829	27	25	y	y	PROPN
ijassa-829	27	26	and	and	CCONJ
ijassa-829	27	27	y	y	PROPN
ijassa-829	27	28	≤	≤	PROPN
ijassa-829	28	1	z	z	PROPN
ijassa-829	28	2	,	,	PUNCT
ijassa-829	28	3	then	then	ADV
ijassa-829	28	4	x	x	X
ijassa-829	28	5	≤	≤	ADJ
ijassa-829	28	6	z	z	NOUN
ijassa-829	28	7	(	(	PUNCT
ijassa-829	28	8	transitivity	transitivity	NOUN
ijassa-829	28	9	)	)	PUNCT
ijassa-829	28	10	.	.	PUNCT
ijassa-829	29	1	the	the	DET
ijassa-829	29	2	definition	definition	NOUN
ijassa-829	29	3	means	mean	VERB
ijassa-829	29	4	that	that	SCONJ
ijassa-829	29	5	in	in	ADP
ijassa-829	29	6	the	the	DET
ijassa-829	29	7	partially	partially	ADV
ijassa-829	29	8	-	-	PUNCT
ijassa-829	29	9	ordered	order	VERB
ijassa-829	29	10	set	set	NOUN
ijassa-829	29	11	not	not	PART
ijassa-829	29	12	all	all	DET
ijassa-829	29	13	elements	element	NOUN
ijassa-829	29	14	are	be	AUX
ijassa-829	29	15	compared	compare	VERB
ijassa-829	29	16	with	with	ADP
ijassa-829	29	17	each	each	DET
ijassa-829	29	18	other	other	ADJ
ijassa-829	29	19	.	.	PUNCT
ijassa-829	30	1	this	this	DET
ijassa-829	30	2	property	property	NOUN
ijassa-829	30	3	distinguishes	distinguish	VERB
ijassa-829	30	4	these	these	DET
ijassa-829	30	5	sets	set	NOUN
ijassa-829	30	6	from	from	ADP
ijassa-829	30	7	linear	linear	ADJ
ijassa-829	30	8	-	-	PUNCT
ijassa-829	30	9	ordered	order	VERB
ijassa-829	30	10	ones	one	NOUN
ijassa-829	30	11	,	,	PUNCT
ijassa-829	30	12	i.e.	i.e.	X
ijassa-829	30	13	,	,	PUNCT
ijassa-829	30	14	from	from	ADP
ijassa-829	30	15	numeric	numeric	ADJ
ijassa-829	30	16	sets	set	NOUN
ijassa-829	30	17	which	which	PRON
ijassa-829	30	18	are	be	AUX
ijassa-829	30	19	ordered	order	VERB
ijassa-829	30	20	by	by	ADP
ijassa-829	30	21	a	a	DET
ijassa-829	30	22	norm	norm	NOUN
ijassa-829	30	23	.	.	PUNCT
ijassa-829	31	1	thus	thus	ADV
ijassa-829	31	2	,	,	PUNCT
ijassa-829	31	3	the	the	DET
ijassa-829	31	4	elements	element	NOUN
ijassa-829	31	5	of	of	ADP
ijassa-829	31	6	the	the	DET
ijassa-829	31	7	partially	partially	ADV
ijassa-829	31	8	-	-	PUNCT
ijassa-829	31	9	ordered	order	VERB
ijassa-829	31	10	set	set	NOUN
ijassa-829	31	11	are	be	AUX
ijassa-829	31	12	the	the	DET
ijassa-829	31	13	objects	object	NOUN
ijassa-829	31	14	of	of	ADP
ijassa-829	31	15	more	more	ADV
ijassa-829	31	16	general	general	ADJ
ijassa-829	31	17	nature	nature	NOUN
ijassa-829	31	18	than	than	ADP
ijassa-829	31	19	numbers	number	NOUN
ijassa-829	31	20	.	.	PUNCT
ijassa-829	32	1	in	in	ADP
ijassa-829	32	2	the	the	DET
ijassa-829	32	3	partially	partially	ADV
ijassa-829	32	4	-	-	PUNCT
ijassa-829	32	5	ordered	order	VERB
ijassa-829	32	6	set	set	NOUN
ijassa-829	32	7	diagram	diagram	NOUN
ijassa-829	32	8	,	,	PUNCT
ijassa-829	32	9	the	the	PRON
ijassa-829	32	10	greater	great	ADJ
ijassa-829	32	11	the	the	DET
ijassa-829	32	12	element	element	NOUN
ijassa-829	32	13	(	(	PUNCT
ijassa-829	32	14	i.e.	i.e.	X
ijassa-829	32	15	,	,	PUNCT
ijassa-829	32	16	vertex	vertex	NOUN
ijassa-829	32	17	,	,	PUNCT
ijassa-829	32	18	node	node	NOUN
ijassa-829	32	19	)	)	PUNCT
ijassa-829	32	20	is	be	AUX
ijassa-829	32	21	the	the	DET
ijassa-829	32	22	higher	high	ADJ
ijassa-829	32	23	it	it	PRON
ijassa-829	32	24	lies	lie	VERB
ijassa-829	32	25	,	,	PUNCT
ijassa-829	32	26	and	and	CCONJ
ijassa-829	32	27	the	the	DET
ijassa-829	32	28	elements	element	NOUN
ijassa-829	32	29	are	be	AUX
ijassa-829	32	30	compared	compare	VERB
ijassa-829	32	31	with	with	ADP
ijassa-829	32	32	each	each	DET
ijassa-829	32	33	other	other	ADJ
ijassa-829	32	34	lie	lie	NOUN
ijassa-829	32	35	in	in	ADP
ijassa-829	32	36	the	the	DET
ijassa-829	32	37	same	same	ADJ
ijassa-829	32	38	path	path	NOUN
ijassa-829	32	39	from	from	ADP
ijassa-829	32	40	the	the	DET
ijassa-829	32	41	minor	minor	ADJ
ijassa-829	32	42	element	element	NOUN
ijassa-829	32	43	to	to	ADP
ijassa-829	32	44	the	the	DET
ijassa-829	32	45	greater	great	ADJ
ijassa-829	32	46	one	one	NUM
ijassa-829	32	47	.	.	PUNCT
ijassa-829	33	1	two	two	NUM
ijassa-829	33	2	examples	example	NOUN
ijassa-829	33	3	of	of	ADP
ijassa-829	33	4	a	a	DET
ijassa-829	33	5	partially	partially	ADV
ijassa-829	33	6	-	-	PUNCT
ijassa-829	33	7	ordered	order	VERB
ijassa-829	33	8	set	set	NOUN
ijassa-829	33	9	diagram	diagram	NOUN
ijassa-829	33	10	are	be	AUX
ijassa-829	33	11	represented	represent	VERB
ijassa-829	33	12	in	in	ADP
ijassa-829	33	13	fig	fig	NOUN
ijassa-829	33	14	.	.	PUNCT
ijassa-829	34	1	2.1which	2.1which	NUM
ijassa-829	34	2	are	be	AUX
ijassa-829	34	3	also	also	ADV
ijassa-829	34	4	lattice	lattice	ADJ
ijassa-829	34	5	diagrams	diagram	NOUN
ijassa-829	34	6	.	.	PUNCT
ijassa-829	35	1	definition	definition	NOUN
ijassa-829	35	2	2.2	2.2	NUM
ijassa-829	35	3	:	:	PUNCT
ijassa-829	35	4	the	the	DET
ijassa-829	35	5	upper	upper	ADJ
ijassa-829	35	6	bound	bound	NOUN
ijassa-829	35	7	of	of	ADP
ijassa-829	35	8	a	a	DET
ijassa-829	35	9	subset	subset	NOUN
ijassa-829	35	10	x	x	PUNCT
ijassa-829	35	11	in	in	ADP
ijassa-829	35	12	a	a	DET
ijassa-829	35	13	partially	partially	ADV
ijassa-829	35	14	-	-	PUNCT
ijassa-829	35	15	ordered	order	VERB
ijassa-829	35	16	set	set	NOUN
ijassa-829	35	17	p	p	NOUN
ijassa-829	35	18	is	be	AUX
ijassa-829	35	19	the	the	DET
ijassa-829	35	20	element	element	NOUN
ijassa-829	35	21	𝑎	𝑎	PROPN
ijassa-829	35	22	∈	∈	NOUN
ijassa-829	35	23	𝑃	𝑃	NOUN
ijassa-829	35	24	,	,	PUNCT
ijassa-829	35	25	containing	contain	VERB
ijassa-829	35	26	all	all	PRON
ijassa-829	35	27	𝑥	𝑥	DET
ijassa-829	35	28	∈	∈	NOUN
ijassa-829	35	29	𝑋.the	𝑋.the	DET
ijassa-829	35	30	supremum	supremum	ADJ
ijassa-829	35	31	or	or	CCONJ
ijassa-829	35	32	join	join	NOUN
ijassa-829	35	33	is	be	AUX
ijassa-829	35	34	the	the	DET
ijassa-829	35	35	smallest	small	ADJ
ijassa-829	35	36	subset	subset	NOUN
ijassa-829	35	37	x	x	X
ijassa-829	35	38	upper	upper	ADJ
ijassa-829	35	39	bound.the	bound.the	DET
ijassa-829	35	40	infimum	infimum	ADJ
ijassa-829	35	41	or	or	CCONJ
ijassa-829	35	42	meet	meet	VERB
ijassa-829	35	43	defines	define	NOUN
ijassa-829	35	44	dually	dually	ADV
ijassa-829	35	45	as	as	ADP
ijassa-829	35	46	the	the	DET
ijassa-829	35	47	greatest	great	ADJ
ijassa-829	35	48	element𝑎	element𝑎	PROPN
ijassa-829	35	49	∈	∈	PROPN
ijassa-829	35	50	𝑃	𝑃	NOUN
ijassa-829	35	51	containing	contain	VERB
ijassa-829	35	52	in	in	ADP
ijassa-829	35	53	all	all	PRON
ijassa-829	35	54	𝑥	𝑥	DET
ijassa-829	35	55	∈	∈	PROPN
ijassa-829	35	56	𝑋.	𝑋.	PROPN
ijassa-829	35	57	definition	definition	NOUN
ijassa-829	35	58	2.3	2.3	NUM
ijassa-829	35	59	:	:	PUNCT
ijassa-829	35	60	a	a	DET
ijassa-829	35	61	lattice	lattice	NOUN
ijassa-829	35	62	is	be	AUX
ijassa-829	35	63	a	a	DET
ijassa-829	35	64	partially	partially	ADV
ijassa-829	35	65	-	-	PUNCT
ijassa-829	35	66	ordered	order	VERB
ijassa-829	35	67	set	set	NOUN
ijassa-829	35	68	,	,	PUNCT
ijassa-829	35	69	in	in	ADP
ijassa-829	35	70	which	which	PRON
ijassa-829	35	71	every	every	DET
ijassa-829	35	72	two	two	NUM
ijassa-829	35	73	elements	element	NOUN
ijassa-829	35	74	have	have	VERB
ijassa-829	35	75	their	their	PRON
ijassa-829	35	76	meet	meet	NOUN
ijassa-829	35	77	,	,	PUNCT
ijassa-829	35	78	denoting	denote	VERB
ijassa-829	35	79	as	as	ADP
ijassa-829	35	80	𝑥	𝑥	DET
ijassa-829	35	81	⋀𝑦	⋀𝑦	NOUN
ijassa-829	35	82	,	,	PUNCT
ijassa-829	35	83	andjoin	andjoin	ADV
ijassa-829	35	84	,	,	PUNCT
ijassa-829	35	85	denoting	denote	VERB
ijassa-829	35	86	as	as	SCONJ
ijassa-829	35	87	𝑥	𝑥	PRON
ijassa-829	35	88	⋁	⋁	AUX
ijassa-829	35	89	𝑦.	𝑦.	VERB
ijassa-829	35	90	in	in	ADP
ijassa-829	35	91	the	the	DET
ijassa-829	35	92	lattice	lattice	PROPN
ijassa-829	35	93	diagram	diagram	NOUN
ijassa-829	35	94	the	the	DET
ijassa-829	35	95	elements	element	NOUN
ijassa-829	35	96	join	join	VERB
ijassa-829	35	97	is	be	AUX
ijassa-829	35	98	the	the	DET
ijassa-829	35	99	nearest	near	ADJ
ijassa-829	35	100	upper	upper	ADJ
ijassa-829	35	101	element	element	NOUN
ijassa-829	35	102	to	to	ADP
ijassa-829	35	103	both	both	PRON
ijassa-829	35	104	of	of	ADP
ijassa-829	35	105	them	they	PRON
ijassa-829	35	106	,	,	PUNCT
ijassa-829	35	107	and	and	CCONJ
ijassa-829	35	108	the	the	DET
ijassa-829	35	109	meet	meet	NOUN
ijassa-829	35	110	is	be	AUX
ijassa-829	35	111	the	the	DET
ijassa-829	35	112	nearest	near	ADV
ijassa-829	35	113	lower	low	ADJ
ijassa-829	35	114	one	one	NUM
ijassa-829	35	115	to	to	ADP
ijassa-829	35	116	both	both	PRON
ijassa-829	35	117	.	.	PUNCT
ijassa-829	36	1	the	the	DET
ijassa-829	36	2	elements	element	NOUN
ijassa-829	36	3	generating	generate	VERB
ijassa-829	36	4	by	by	ADP
ijassa-829	36	5	joins	join	NOUN
ijassa-829	36	6	and	and	CCONJ
ijassa-829	36	7	meets	meet	VERB
ijassa-829	36	8	all	all	DET
ijassa-829	36	9	other	other	ADJ
ijassa-829	36	10	elements	element	NOUN
ijassa-829	36	11	are	be	AUX
ijassa-829	36	12	called	call	VERB
ijassa-829	36	13	generators	generator	NOUN
ijassa-829	36	14	.	.	PUNCT
ijassa-829	37	1	they	they	PRON
ijassa-829	37	2	refer	refer	VERB
ijassa-829	37	3	to	to	ADP
ijassa-829	37	4	the	the	DET
ijassa-829	37	5	lattice	lattice	NOUN
ijassa-829	37	6	as	as	ADP
ijassa-829	37	7	complete	complete	ADJ
ijassa-829	37	8	lattice	lattice	NOUN
ijassa-829	37	9	if	if	SCONJ
ijassa-829	37	10	its	its	PRON
ijassa-829	37	11	arbitrary	arbitrary	ADJ
ijassa-829	37	12	subset	subset	NOUN
ijassa-829	37	13	has	have	VERB
ijassa-829	37	14	the	the	DET
ijassa-829	37	15	join	join	NOUN
ijassa-829	37	16	and	and	CCONJ
ijassa-829	37	17	the	the	DET
ijassa-829	37	18	meet	meet	NOUN
ijassa-829	37	19	.	.	PUNCT
ijassa-829	38	1	thus	thus	ADV
ijassa-829	38	2	,	,	PUNCT
ijassa-829	38	3	any	any	DET
ijassa-829	38	4	complete	complete	ADJ
ijassa-829	38	5	lattice	lattice	NOUN
ijassa-829	38	6	has	have	VERB
ijassa-829	38	7	the	the	DET
ijassa-829	38	8	greatest	great	ADJ
ijassa-829	38	9	element	element	NOUN
ijassa-829	38	10	“	"	PUNCT
ijassa-829	38	11	1	1	NUM
ijassa-829	38	12	”	"	PUNCT
ijassa-829	38	13	,	,	PUNCT
ijassa-829	38	14	and	and	CCONJ
ijassa-829	38	15	the	the	DET
ijassa-829	38	16	smallest	small	ADJ
ijassa-829	38	17	one	one	NUM
ijassa-829	38	18	“	"	PUNCT
ijassa-829	38	19	0	0	NUM
ijassa-829	38	20	”	"	PUNCT
ijassa-829	38	21	and	and	CCONJ
ijassa-829	38	22	every	every	DET
ijassa-829	38	23	finite	finite	PROPN
ijassa-829	38	24	lattice	lattice	NOUN
ijassa-829	38	25	is	be	AUX
ijassa-829	38	26	complete	complete	ADJ
ijassa-829	38	27	.	.	PUNCT
ijassa-829	39	1	fig	fig	NOUN
ijassa-829	39	2	.	.	PUNCT
ijassa-829	40	1	2.1	2.1	NUM
ijassa-829	40	2	.	.	PUNCT
ijassa-829	41	1	examples	example	NOUN
ijassa-829	41	2	of	of	ADP
ijassa-829	41	3	a	a	DET
ijassa-829	41	4	goal	goal	NOUN
ijassa-829	41	5	lattice	lattice	NOUN
ijassa-829	41	6	(	(	PUNCT
ijassa-829	41	7	a	a	NOUN
ijassa-829	41	8	)	)	PUNCT
ijassa-829	41	9	and	and	CCONJ
ijassa-829	41	10	of	of	ADP
ijassa-829	41	11	an	an	DET
ijassa-829	41	12	agent	agent	NOUN
ijassa-829	41	13	desire	desire	NOUN
ijassa-829	41	14	lattice	lattice	NOUN
ijassa-829	41	15	(	(	PUNCT
ijassa-829	41	16	b	b	NOUN
ijassa-829	41	17	)	)	PUNCT
ijassa-829	41	18	an	an	DET
ijassa-829	41	19	optimal	optimal	ADJ
ijassa-829	41	20	itinerary	itinerary	ADJ
ijassa-829	41	21	generation	generation	NOUN
ijassa-829	41	22	with	with	ADP
ijassa-829	41	23	linear	linear	ADJ
ijassa-829	41	24	logic	logic	NOUN
ijassa-829	41	25	81	81	NUM
ijassa-829	41	26	copyright	copyright	NOUN
ijassa-829	41	27	©	©	PROPN
ijassa-829	41	28	2019	2019	NUM
ijassa-829	41	29	assa	assa	PROPN
ijassa-829	41	30	adv	adv	PROPN
ijassa-829	41	31	.	.	PUNCT
ijassa-829	42	1	in	in	ADP
ijassa-829	42	2	systems	system	NOUN
ijassa-829	42	3	science	science	NOUN
ijassa-829	42	4	and	and	CCONJ
ijassa-829	42	5	appl	appl	NOUN
ijassa-829	42	6	.	.	PUNCT
ijassa-829	43	1	(	(	PUNCT
ijassa-829	43	2	2019	2019	NUM
ijassa-829	43	3	)	)	PUNCT
ijassa-829	43	4	2.2	2.2	NUM
ijassa-829	43	5	.	.	PUNCT
ijassa-829	44	1	linear	linear	PROPN
ijassa-829	44	2	logic[7	logic[7	PROPN
ijassa-829	44	3	]	]	X
ijassa-829	44	4	if	if	SCONJ
ijassa-829	44	5	a	a	DET
ijassa-829	44	6	multiplication	multiplication	NOUN
ijassa-829	44	7	operation	operation	NOUN
ijassa-829	44	8	is	be	AUX
ijassa-829	44	9	additionally	additionally	ADV
ijassa-829	44	10	defined	define	VERB
ijassa-829	44	11	at	at	ADP
ijassa-829	44	12	the	the	DET
ijassa-829	44	13	lattice	lattice	NOUN
ijassa-829	44	14	elements	element	NOUN
ijassa-829	44	15	,	,	PUNCT
ijassa-829	44	16	then	then	ADV
ijassa-829	44	17	the	the	DET
ijassa-829	44	18	operations	operation	NOUN
ijassa-829	44	19	of	of	ADP
ijassa-829	44	20	linear	linear	ADJ
ijassa-829	44	21	logic	logic	NOUN
ijassa-829	44	22	also	also	ADV
ijassa-829	44	23	exist	exist	VERB
ijassa-829	44	24	at	at	ADP
ijassa-829	44	25	the	the	DET
ijassa-829	44	26	lattice	lattice	NOUN
ijassa-829	44	27	.	.	PUNCT
ijassa-829	45	1	we	we	PRON
ijassa-829	45	2	use	use	VERB
ijassa-829	45	3	the	the	DET
ijassa-829	45	4	phase	phase	NOUN
ijassa-829	45	5	semantic	semantic	ADJ
ijassa-829	45	6	of	of	ADP
ijassa-829	45	7	linear	linear	ADJ
ijassa-829	45	8	logic	logic	NOUN
ijassa-829	45	9	from	from	ADP
ijassa-829	45	10	[	[	X
ijassa-829	45	11	7	7	NUM
ijassa-829	45	12	]	]	PUNCT
ijassa-829	45	13	.	.	PUNCT
ijassa-829	46	1	definition	definition	NOUN
ijassa-829	46	2	2.4	2.4	NUM
ijassa-829	46	3	:	:	PUNCT
ijassa-829	46	4	a	a	DET
ijassa-829	46	5	phase	phase	NOUN
ijassa-829	46	6	space	space	NOUN
ijassa-829	46	7	is	be	AUX
ijassa-829	46	8	a	a	DET
ijassa-829	46	9	pare	pare	NOUN
ijassa-829	46	10	(	(	PUNCT
ijassa-829	46	11	𝑀	𝑀	PROPN
ijassa-829	46	12	,	,	PUNCT
ijassa-829	46	13	⊥	⊥	NOUN
ijassa-829	46	14	)	)	PUNCT
ijassa-829	46	15	,	,	PUNCT
ijassa-829	46	16	where	where	SCONJ
ijassa-829	46	17	mis	mis	PROPN
ijassa-829	46	18	a	a	DET
ijassa-829	46	19	multiplicative	multiplicative	ADJ
ijassa-829	46	20	monoid	monoid	NOUN
ijassa-829	46	21	(	(	PUNCT
ijassa-829	46	22	i.e.	i.e.	X
ijassa-829	46	23	,	,	PUNCT
ijassa-829	46	24	a	a	DET
ijassa-829	46	25	triple	triple	ADJ
ijassa-829	46	26	(	(	PUNCT
ijassa-829	46	27	𝑀0,⋅	𝑀0,⋅	ADJ
ijassa-829	46	28	,	,	PUNCT
ijassa-829	46	29	𝑒	𝑒	NOUN
ijassa-829	46	30	)	)	PUNCT
ijassa-829	46	31	with	with	ADP
ijassa-829	46	32	𝑀0	𝑀0	ADJ
ijassa-829	46	33	isa	isa	NOUN
ijassa-829	46	34	set	set	NOUN
ijassa-829	46	35	and	and	CCONJ
ijassa-829	46	36	⋅	⋅	PROPN
ijassa-829	46	37	is	be	AUX
ijassa-829	46	38	a	a	DET
ijassa-829	46	39	multiplication	multiplication	NOUN
ijassa-829	46	40	with	with	ADP
ijassa-829	46	41	the	the	DET
ijassa-829	46	42	unit	unit	NOUN
ijassa-829	46	43	e	e	NOUN
ijassa-829	46	44	)	)	PUNCT
ijassa-829	46	45	,	,	PUNCT
ijassa-829	46	46	which	which	PRON
ijassa-829	46	47	is	be	AUX
ijassa-829	46	48	also	also	ADV
ijassa-829	46	49	a	a	DET
ijassa-829	46	50	lattice	lattice	NOUN
ijassa-829	46	51	and	and	CCONJ
ijassa-829	46	52	the	the	DET
ijassa-829	46	53	element	element	NOUN
ijassa-829	46	54	false	false	ADJ
ijassa-829	46	55	of	of	ADP
ijassa-829	46	56	the	the	DET
ijassa-829	46	57	lattice	lattice	NOUN
ijassa-829	46	58	⊥	⊥	PROPN
ijassa-829	46	59	⊂	⊂	PROPN
ijassa-829	46	60	𝑀	𝑀	PROPN
ijassa-829	46	61	is	be	AUX
ijassa-829	46	62	anarbitrary	anarbitrary	ADJ
ijassa-829	46	63	subset	subset	NOUN
ijassa-829	46	64	of	of	ADP
ijassa-829	46	65	the	the	DET
ijassa-829	46	66	monoid	monoid	NOUN
ijassa-829	46	67	.	.	PUNCT
ijassa-829	47	1	in	in	ADP
ijassa-829	47	2	linear	linear	PROPN
ijassa-829	47	3	logic	logic	NOUN
ijassa-829	47	4	,	,	PUNCT
ijassa-829	47	5	the	the	DET
ijassa-829	47	6	element	element	NOUN
ijassa-829	47	7	false	false	ADJ
ijassa-829	47	8	differs	differ	VERB
ijassa-829	47	9	from	from	ADP
ijassa-829	47	10	0	0	NUM
ijassa-829	47	11	(	(	PUNCT
ijassa-829	47	12	the	the	DET
ijassa-829	47	13	minimal	minimal	ADJ
ijassa-829	47	14	lattice	lattice	PROPN
ijassa-829	47	15	element	element	NOUN
ijassa-829	47	16	)	)	PUNCT
ijassa-829	47	17	in	in	ADP
ijassa-829	47	18	general	general	ADJ
ijassa-829	47	19	in	in	ADP
ijassa-829	47	20	contrast	contrast	NOUN
ijassa-829	47	21	to	to	ADP
ijassa-829	47	22	classical	classical	ADJ
ijassa-829	47	23	logic	logic	NOUN
ijassa-829	47	24	or	or	CCONJ
ijassa-829	47	25	intuitionistic	intuitionistic	ADJ
ijassa-829	47	26	one	one	NUM
ijassa-829	47	27	.	.	PUNCT
ijassa-829	48	1	the	the	DET
ijassa-829	48	2	multiplication	multiplication	NOUN
ijassa-829	48	3	𝑋	𝑋	NOUN
ijassa-829	48	4	⋅	⋅	PROPN
ijassa-829	48	5	𝑌	𝑌	PROPN
ijassa-829	48	6	=	=	PUNCT
ijassa-829	48	7	{	{	PUNCT
ijassa-829	48	8	𝑥	𝑥	PROPN
ijassa-829	48	9	⋅	⋅	PROPN
ijassa-829	48	10	𝑦|𝑥	𝑦|𝑥	PUNCT
ijassa-829	48	11	∈	∈	PROPN
ijassa-829	48	12	𝑋	𝑋	PROPN
ijassa-829	48	13	;	;	PUNCT
ijassa-829	48	14	𝑦	𝑦	NOUN
ijassa-829	48	15	∈	∈	PROPN
ijassa-829	48	16	𝑌	𝑌	PROPN
ijassa-829	48	17	}	}	PUNCT
ijassa-829	48	18	is	be	AUX
ijassa-829	48	19	defined	define	VERB
ijassa-829	48	20	for	for	ADP
ijassa-829	48	21	arbitrary	arbitrary	ADJ
ijassa-829	48	22	monoid	monoid	NOUN
ijassa-829	48	23	subsets	subset	NOUN
ijassa-829	48	24	(	(	PUNCT
ijassa-829	48	25	i.e.	i.e.	X
ijassa-829	48	26	,	,	PUNCT
ijassa-829	48	27	the	the	DET
ijassa-829	48	28	lattice	lattice	NOUN
ijassa-829	48	29	elements	element	NOUN
ijassa-829	48	30	)	)	PUNCT
ijassa-829	48	31	𝑋	𝑋	PROPN
ijassa-829	48	32	,	,	PUNCT
ijassa-829	48	33	𝑌	𝑌	PROPN
ijassa-829	48	34	⊂	⊂	PROPN
ijassa-829	48	35	𝑀.	𝑀.	VERB
ijassa-829	48	36	the	the	DET
ijassa-829	48	37	linear	linear	ADJ
ijassa-829	48	38	implication	implication	NOUN
ijassa-829	48	39	𝑋	𝑋	PROPN
ijassa-829	48	40	⇒	⇒	VERB
ijassa-829	48	41	𝑌	𝑌	PROPN
ijassa-829	48	42	=	=	PRON
ijassa-829	48	43	{	{	PUNCT
ijassa-829	48	44	𝑧|𝑥	𝑧|𝑥	NOUN
ijassa-829	48	45	⋅	⋅	NUM
ijassa-829	48	46	𝑧	𝑧	DET
ijassa-829	48	47	∈	∈	PROPN
ijassa-829	48	48	𝑌	𝑌	PROPN
ijassa-829	48	49	,	,	PUNCT
ijassa-829	48	50	∀𝑥	∀𝑥	PROPN
ijassa-829	48	51	∈	∈	PROPN
ijassa-829	48	52	𝑋	𝑋	PROPN
ijassa-829	48	53	}	}	PUNCT
ijassa-829	48	54	is	be	AUX
ijassa-829	48	55	also	also	ADV
ijassa-829	48	56	defined	define	VERB
ijassa-829	48	57	.	.	PUNCT
ijassa-829	49	1	for𝑋	for𝑋	ADJ
ijassa-829	49	2	⊂	⊂	PROPN
ijassa-829	49	3	𝑀	𝑀	PROPN
ijassa-829	49	4	its	its	PRON
ijassa-829	49	5	dual	dual	NOUN
ijassa-829	49	6	is	be	AUX
ijassa-829	49	7	defined	define	VERB
ijassa-829	49	8	as	as	ADP
ijassa-829	49	9	𝑋⊥	𝑋⊥	PROPN
ijassa-829	49	10	⇒⊥.	⇒⊥.	NOUN
ijassa-829	49	11	the	the	DET
ijassa-829	49	12	dual	dual	ADJ
ijassa-829	49	13	element	element	NOUN
ijassa-829	49	14	isa	isa	NOUN
ijassa-829	49	15	generalization	generalization	NOUN
ijassa-829	49	16	of	of	ADP
ijassa-829	49	17	the	the	DET
ijassa-829	49	18	negation	negation	NOUN
ijassa-829	49	19	in	in	ADP
ijassa-829	49	20	the	the	DET
ijassa-829	49	21	case	case	NOUN
ijassa-829	49	22	of	of	ADP
ijassa-829	49	23	linear	linear	PROPN
ijassa-829	49	24	logic	logic	NOUN
ijassa-829	49	25	.	.	PUNCT
ijassa-829	50	1	definition	definition	NOUN
ijassa-829	50	2	2.5	2.5	NUM
ijassa-829	50	3	:	:	PUNCT
ijassa-829	50	4	facts	fact	NOUN
ijassa-829	50	5	are	be	AUX
ijassa-829	50	6	such	such	ADJ
ijassa-829	50	7	subsets	subset	NOUN
ijassa-829	50	8	𝑋	𝑋	PROPN
ijassa-829	50	9	⊂	⊂	PROPN
ijassa-829	50	10	𝑀	𝑀	PROPN
ijassa-829	50	11	that	that	DET
ijassa-829	50	12	𝑋⊥⊥	𝑋⊥⊥	NOUN
ijassa-829	50	13	=	=	PUNCT
ijassa-829	50	14	𝑋or	𝑋or	PROPN
ijassa-829	50	15	equivalently	equivalently	ADV
ijassa-829	50	16	𝑋	𝑋	NOUN
ijassa-829	50	17	=	=	PROPN
ijassa-829	50	18	𝑌⊥	𝑌⊥	NOUN
ijassa-829	50	19	for	for	ADP
ijassa-829	50	20	some	some	DET
ijassa-829	50	21	𝑌	𝑌	PROPN
ijassa-829	50	22	⊂	⊂	PROPN
ijassa-829	50	23	𝑀.	𝑀.	PROPN
ijassa-829	50	24	thus	thus	ADV
ijassa-829	50	25	,	,	PUNCT
ijassa-829	50	26	facts	fact	NOUN
ijassa-829	50	27	are	be	AUX
ijassa-829	50	28	lattice	lattice	ADJ
ijassa-829	50	29	elements	element	NOUN
ijassa-829	50	30	coinciding	coincide	VERB
ijassa-829	50	31	with	with	ADP
ijassa-829	50	32	their	their	PRON
ijassa-829	50	33	double	double	ADJ
ijassa-829	50	34	negations	negation	NOUN
ijassa-829	50	35	.	.	PUNCT
ijassa-829	51	1	e.g.	e.g.	ADV
ijassa-829	51	2	⊥⊥	⊥⊥	PROPN
ijassa-829	51	3	=	=	SYM
ijassa-829	51	4	𝐼	𝐼	PROPN
ijassa-829	51	5	=	=	PUNCT
ijassa-829	51	6	{	{	PUNCT
ijassa-829	51	7	𝑒}⊥⊥	𝑒}⊥⊥	NOUN
ijassa-829	51	8	;	;	PUNCT
ijassa-829	51	9	1	1	NUM
ijassa-829	51	10	=	=	SYM
ijassa-829	51	11	𝑀	𝑀	PROPN
ijassa-829	51	12	=	=	SYM
ijassa-829	51	13	∅⊥	∅⊥	PROPN
ijassa-829	51	14	;	;	PUNCT
ijassa-829	51	15	0	0	NUM
ijassa-829	51	16	=	=	SYM
ijassa-829	51	17	1⊥	1⊥	NUM
ijassa-829	52	1	=	=	SYM
ijassa-829	52	2	𝑀⊥	𝑀⊥	PROPN
ijassa-829	52	3	=	=	SYM
ijassa-829	52	4	∅⊥⊥.	∅⊥⊥.	NOUN
ijassa-829	52	5	here	here	ADV
ijassa-829	52	6	1	1	NUM
ijassa-829	52	7	is	be	AUX
ijassa-829	52	8	the	the	DET
ijassa-829	52	9	maximal	maximal	ADJ
ijassa-829	52	10	element	element	NOUN
ijassa-829	52	11	of	of	ADP
ijassa-829	52	12	the	the	DET
ijassa-829	52	13	lattice	lattice	PROPN
ijassa-829	52	14	m	m	PROPN
ijassa-829	52	15	,	,	PUNCT
ijassa-829	52	16	0is	0is	ADJ
ijassa-829	52	17	its	its	PRON
ijassa-829	52	18	minimal	minimal	ADJ
ijassa-829	52	19	element	element	NOUN
ijassa-829	52	20	,	,	PUNCT
ijassa-829	52	21	e	e	X
ijassa-829	52	22	is	be	AUX
ijassa-829	52	23	the	the	DET
ijassa-829	52	24	monoidal	monoidal	ADJ
ijassa-829	52	25	unit	unit	NOUN
ijassa-829	52	26	,	,	PUNCT
ijassa-829	52	27	and	and	CCONJ
ijassa-829	52	28	i	i	PRON
ijassa-829	52	29	is	be	AUX
ijassa-829	52	30	the	the	DET
ijassa-829	52	31	neutral	neutral	ADJ
ijassa-829	52	32	element	element	NOUN
ijassa-829	52	33	of	of	ADP
ijassa-829	52	34	the	the	DET
ijassa-829	52	35	multiplicative	multiplicative	ADJ
ijassa-829	52	36	conjunction	conjunction	NOUN
ijassa-829	52	37	(	(	PUNCT
ijassa-829	52	38	see	see	VERB
ijassa-829	52	39	after	after	ADP
ijassa-829	52	40	this	this	PRON
ijassa-829	52	41	)	)	PUNCT
ijassa-829	52	42	.	.	PUNCT
ijassa-829	53	1	it	it	PRON
ijassa-829	53	2	is	be	AUX
ijassa-829	53	3	easy	easy	ADJ
ijassa-829	53	4	to	to	PART
ijassa-829	53	5	get	get	VERB
ijassa-829	53	6	the	the	DET
ijassa-829	53	7	next	next	ADJ
ijassa-829	53	8	properties	property	NOUN
ijassa-829	53	9	:	:	PUNCT
ijassa-829	53	10	𝑋⊥𝑋	𝑋⊥𝑋	PROPN
ijassa-829	53	11	⊂	⊂	PROPN
ijassa-829	53	12	⊥	⊥	PROPN
ijassa-829	53	13	;	;	PUNCT
ijassa-829	53	14	𝑋	𝑋	PROPN
ijassa-829	53	15	⊂	⊂	PROPN
ijassa-829	53	16	𝑋⊥⊥	𝑋⊥⊥	PROPN
ijassa-829	53	17	;	;	PUNCT
ijassa-829	53	18	𝑋⊥⊥⊥	𝑋⊥⊥⊥	PROPN
ijassa-829	53	19	=	=	SYM
ijassa-829	53	20	𝑋	𝑋	PROPN
ijassa-829	53	21	;	;	PUNCT
ijassa-829	53	22	𝑋	𝑋	NOUN
ijassa-829	53	23	⇒	⇒	NOUN
ijassa-829	53	24	𝑌	𝑌	PROPN
ijassa-829	53	25	⊥	⊥	PROPN
ijassa-829	53	26	=	=	SYM
ijassa-829	53	27	(	(	PUNCT
ijassa-829	53	28	𝑋	𝑋	PROPN
ijassa-829	53	29	⋅	⋅	PROPN
ijassa-829	53	30	𝑌	𝑌	PROPN
ijassa-829	53	31	)	)	PUNCT
ijassa-829	53	32	⊥	⊥	PROPN
ijassa-829	53	33	;	;	PUNCT
ijassa-829	53	34	(	(	PUNCT
ijassa-829	53	35	𝑋	𝑋	PROPN
ijassa-829	53	36	∨	∨	NUM
ijassa-829	53	37	𝑌	𝑌	PROPN
ijassa-829	53	38	)	)	PUNCT
ijassa-829	54	1	⊥	⊥	PROPN
ijassa-829	54	2	=	=	PUNCT
ijassa-829	54	3	𝑋⊥	𝑋⊥	PROPN
ijassa-829	54	4	∧	∧	PROPN
ijassa-829	54	5	𝑌	𝑌	PROPN
ijassa-829	54	6	⊥.	⊥.	PROPN
ijassa-829	54	7	from	from	ADP
ijassa-829	54	8	here	here	ADV
ijassa-829	54	9	we	we	PRON
ijassa-829	54	10	get	get	VERB
ijassa-829	54	11	only	only	ADV
ijassa-829	54	12	facts	fact	NOUN
ijassa-829	54	13	may	may	AUX
ijassa-829	54	14	be	be	AUX
ijassa-829	54	15	the	the	DET
ijassa-829	54	16	values	value	NOUN
ijassa-829	54	17	and	and	CCONJ
ijassa-829	54	18	the	the	DET
ijassa-829	54	19	consequents	consequent	NOUN
ijassa-829	54	20	of	of	ADP
ijassa-829	54	21	the	the	DET
ijassa-829	54	22	implication	implication	NOUN
ijassa-829	54	23	.	.	PUNCT
ijassa-829	55	1	at	at	ADP
ijassa-829	55	2	facts	fact	NOUN
ijassa-829	55	3	the	the	DET
ijassa-829	55	4	lattice	lattice	NOUN
ijassa-829	55	5	operations	operation	NOUN
ijassa-829	55	6	of	of	ADP
ijassa-829	55	7	the	the	DET
ijassa-829	55	8	additive	additive	ADJ
ijassa-829	55	9	conjunction	conjunction	NOUN
ijassa-829	55	10	&	&	CCONJ
ijassa-829	55	11	and	and	CCONJ
ijassa-829	55	12	the	the	DET
ijassa-829	55	13	additive	additive	ADJ
ijassa-829	55	14	disjunction	disjunction	NOUN
ijassa-829	55	15	+	+	CCONJ
ijassa-829	55	16	are	be	AUX
ijassa-829	55	17	defined	define	VERB
ijassa-829	55	18	in	in	ADP
ijassa-829	55	19	the	the	DET
ijassa-829	55	20	following	following	ADJ
ijassa-829	55	21	way	way	NOUN
ijassa-829	55	22	:	:	PUNCT
ijassa-829	55	23	𝑋	𝑋	PROPN
ijassa-829	55	24	&	&	CCONJ
ijassa-829	55	25	𝑌	𝑌	PROPN
ijassa-829	55	26	=	=	SYM
ijassa-829	55	27	𝑋	𝑋	PROPN
ijassa-829	55	28	∧	∧	NOUN
ijassa-829	55	29	𝑌	𝑌	PROPN
ijassa-829	55	30	=	=	PUNCT
ijassa-829	55	31	(	(	PUNCT
ijassa-829	55	32	𝑋⊥	𝑋⊥	PROPN
ijassa-829	55	33	∨	∨	NUM
ijassa-829	55	34	𝑌	𝑌	PROPN
ijassa-829	55	35	⊥)⊥	⊥)⊥	NOUN
ijassa-829	55	36	;	;	PUNCT
ijassa-829	55	37	𝑋	𝑋	PROPN
ijassa-829	55	38	+	+	CCONJ
ijassa-829	55	39	𝑌	𝑌	PROPN
ijassa-829	55	40	=	=	SYM
ijassa-829	55	41	(	(	PUNCT
ijassa-829	55	42	𝑋⊥&𝑌	𝑋⊥&𝑌	SYM
ijassa-829	55	43	⊥)⊥	⊥)⊥	NOUN
ijassa-829	55	44	=	=	SYM
ijassa-829	55	45	(	(	PUNCT
ijassa-829	55	46	𝑋⊥	𝑋⊥	NOUN
ijassa-829	55	47	∧	∧	PROPN
ijassa-829	55	48	𝑌	𝑌	PROPN
ijassa-829	55	49	⊥)⊥	⊥)⊥	NOUN
ijassa-829	55	50	=	=	SYM
ijassa-829	55	51	(	(	PUNCT
ijassa-829	55	52	𝑋	𝑋	PROPN
ijassa-829	55	53	∨	∨	NUM
ijassa-829	55	54	𝑌)⊥⊥	𝑌)⊥⊥	PROPN
ijassa-829	55	55	.	.	PUNCT
ijassa-829	56	1	the	the	DET
ijassa-829	56	2	duality	duality	NOUN
ijassa-829	56	3	of	of	ADP
ijassa-829	56	4	the	the	DET
ijassa-829	56	5	operationsunderstands	operationsunderstand	NOUN
ijassa-829	56	6	here	here	ADV
ijassa-829	56	7	as	as	ADP
ijassa-829	56	8	in	in	ADP
ijassa-829	56	9	the	the	DET
ijassa-829	56	10	set	set	NOUN
ijassa-829	56	11	theory	theory	NOUN
ijassa-829	56	12	:	:	PUNCT
ijassa-829	56	13	∨	∨	NUM
ijassa-829	56	14	⊥	⊥	X
ijassa-829	56	15	=	=	SYM
ijassa-829	56	16	∧	∧	PROPN
ijassa-829	56	17	∧⊥	∧⊥	PROPN
ijassa-829	56	18	=	=	SYM
ijassa-829	56	19	∨	∨	PROPN
ijassa-829	56	20	inwhich	inwhich	NOUN
ijassa-829	56	21	the	the	DET
ijassa-829	56	22	duality	duality	NOUN
ijassa-829	56	23	means	mean	VERB
ijassa-829	56	24	the	the	DET
ijassa-829	56	25	negation	negation	NOUN
ijassa-829	56	26	.	.	PUNCT
ijassa-829	57	1	at	at	ADP
ijassa-829	57	2	facts	fact	NOUN
ijassa-829	57	3	,	,	PUNCT
ijassa-829	57	4	multiplicative	multiplicative	ADJ
ijassa-829	57	5	operations	operation	NOUN
ijassa-829	57	6	are	be	AUX
ijassa-829	57	7	also	also	ADV
ijassa-829	57	8	defined	define	VERB
ijassa-829	57	9	.	.	PUNCT
ijassa-829	58	1	these	these	PRON
ijassa-829	58	2	are	be	AUX
ijassa-829	58	3	the	the	DET
ijassa-829	58	4	multiplicative	multiplicative	ADJ
ijassa-829	58	5	conjunction	conjunction	NOUN
ijassa-829	58	6	⊗	⊗	PROPN
ijassa-829	58	7	and	and	CCONJ
ijassa-829	58	8	the	the	DET
ijassa-829	58	9	multiplicativedisjunction	multiplicativedisjunction	NOUN
ijassa-829	58	10	ð	ð	X
ijassa-829	58	11	:	:	PUNCT
ijassa-829	59	1	𝑋	𝑋	PROPN
ijassa-829	59	2	⊗	⊗	PROPN
ijassa-829	59	3	𝑌	𝑌	PROPN
ijassa-829	60	1	=	=	PUNCT
ijassa-829	60	2	(	(	PUNCT
ijassa-829	60	3	𝑋	𝑋	PROPN
ijassa-829	60	4	∙	∙	PROPN
ijassa-829	60	5	𝑌	𝑌	PROPN
ijassa-829	60	6	)	)	PUNCT
ijassa-829	60	7	⊥⊥	⊥⊥	PROPN
ijassa-829	60	8	=	=	SYM
ijassa-829	60	9	(	(	PUNCT
ijassa-829	60	10	𝑋	𝑋	NOUN
ijassa-829	60	11	⇒	⇒	VERB
ijassa-829	60	12	𝑌	𝑌	PROPN
ijassa-829	60	13	⊥)⊥	⊥)⊥	NOUN
ijassa-829	60	14	=	=	SYM
ijassa-829	60	15	(	(	PUNCT
ijassa-829	60	16	𝑋⊥	𝑋⊥	NOUN
ijassa-829	60	17	ð	ð	PRON
ijassa-829	60	18	𝑌	𝑌	PROPN
ijassa-829	60	19	⊥)⊥	⊥)⊥	NOUN
ijassa-829	60	20	;	;	PUNCT
ijassa-829	60	21	𝑋	𝑋	NOUN
ijassa-829	60	22	ð􀀀	ð􀀀	NOUN
ijassa-829	60	23	𝑌	𝑌	PROPN
ijassa-829	60	24	=	=	PUNCT
ijassa-829	60	25	(	(	PUNCT
ijassa-829	60	26	𝑋⊥	𝑋⊥	NOUN
ijassa-829	60	27	∙	∙	PROPN
ijassa-829	60	28	𝑌	𝑌	PROPN
ijassa-829	60	29	⊥)⊥	⊥)⊥	NOUN
ijassa-829	60	30	=	=	SYM
ijassa-829	60	31	𝑋⊥	𝑋⊥	NOUN
ijassa-829	60	32	⇒	⇒	VERB
ijassa-829	60	33	𝑌	𝑌	PROPN
ijassa-829	60	34	.	.	PUNCT
ijassa-829	61	1	theneutral	theneutral	ADJ
ijassa-829	61	2	element	element	NOUN
ijassa-829	61	3	of	of	ADP
ijassa-829	61	4	the	the	DET
ijassa-829	61	5	operation	operation	NOUN
ijassa-829	61	6	&	&	CCONJ
ijassa-829	61	7	is	be	AUX
ijassa-829	61	8	1	1	NUM
ijassa-829	61	9	,	,	PUNCT
ijassa-829	61	10	the	the	DET
ijassa-829	61	11	dual	dual	ADJ
ijassa-829	61	12	to	to	ADP
ijassa-829	61	13	it	it	PRON
ijassa-829	61	14	(	(	PUNCT
ijassa-829	61	15	neutralelement	neutralelement	NOUN
ijassa-829	61	16	of	of	ADP
ijassa-829	61	17	the	the	DET
ijassa-829	61	18	operation	operation	NOUN
ijassa-829	61	19	+	+	NOUN
ijassa-829	61	20	)	)	PUNCT
ijassa-829	61	21	is	be	AUX
ijassa-829	61	22	0	0	NUM
ijassa-829	61	23	.	.	PUNCT
ijassa-829	62	1	the	the	DET
ijassa-829	62	2	neutral	neutral	ADJ
ijassa-829	62	3	element	element	NOUN
ijassa-829	62	4	of	of	ADP
ijassa-829	62	5	theoperation	theoperation	NOUN
ijassa-829	62	6	ð	ð	PROPN
ijassa-829	62	7	is	be	AUX
ijassa-829	62	8	⊥	⊥	NUM
ijassa-829	62	9	,	,	PUNCT
ijassa-829	62	10	the	the	DET
ijassa-829	62	11	dual	dual	ADJ
ijassa-829	62	12	to	to	ADP
ijassa-829	62	13	it	it	PRON
ijassa-829	62	14	,	,	PUNCT
ijassa-829	62	15	the	the	DET
ijassa-829	62	16	neutral	neutral	ADJ
ijassa-829	62	17	element	element	NOUN
ijassa-829	62	18	of	of	ADP
ijassa-829	62	19	the	the	DET
ijassa-829	62	20	operation	operation	NOUN
ijassa-829	62	21	⊗	⊗	PROPN
ijassa-829	62	22	is	be	AUX
ijassa-829	62	23	i.	i.	NOUN
ijassa-829	62	24	the	the	DET
ijassa-829	62	25	set	set	NOUN
ijassa-829	62	26	of	of	ADP
ijassa-829	62	27	facts	fact	NOUN
ijassa-829	62	28	is	be	AUX
ijassa-829	62	29	divided	divide	VERB
ijassa-829	62	30	into	into	ADP
ijassa-829	62	31	two	two	NUM
ijassa-829	62	32	classes	class	NOUN
ijassa-829	62	33	dual	dual	ADJ
ijassa-829	62	34	to	to	ADP
ijassa-829	62	35	each	each	DET
ijassa-829	62	36	other	other	ADJ
ijassa-829	62	37	:	:	PUNCT
ijassa-829	62	38	the	the	DET
ijassa-829	62	39	class	class	NOUN
ijassa-829	62	40	of	of	ADP
ijassa-829	62	41	open	open	ADJ
ijassa-829	62	42	facts	fact	NOUN
ijassa-829	62	43	op	op	NOUN
ijassa-829	62	44	and	and	CCONJ
ijassa-829	62	45	the	the	DET
ijassa-829	62	46	class	class	NOUN
ijassa-829	62	47	of	of	ADP
ijassa-829	62	48	closed	closed	ADJ
ijassa-829	62	49	facts	fact	NOUN
ijassa-829	62	50	cl	cl	NOUN
ijassa-829	62	51	.	.	PUNCT
ijassa-829	63	1	the	the	DET
ijassa-829	63	2	set	set	NOUN
ijassa-829	63	3	op	op	NOUN
ijassa-829	63	4	is	be	AUX
ijassa-829	63	5	closed	close	VERB
ijassa-829	63	6	by	by	ADP
ijassa-829	63	7	operations	operation	NOUN
ijassa-829	63	8	+	+	CCONJ
ijassa-829	63	9	and	and	CCONJ
ijassa-829	63	10	⊗.	⊗.	NOUN
ijassa-829	63	11	its	its	PRON
ijassa-829	63	12	maximalelement	maximalelement	NOUN
ijassa-829	63	13	by	by	ADP
ijassa-829	63	14	inclusion	inclusion	NOUN
ijassa-829	63	15	is	be	AUX
ijassa-829	63	16	i	i	PROPN
ijassa-829	63	17	,	,	PUNCT
ijassa-829	63	18	and	and	CCONJ
ijassa-829	63	19	the	the	DET
ijassa-829	63	20	minimal	minimal	ADJ
ijassa-829	63	21	one	one	NUM
ijassa-829	63	22	is	be	AUX
ijassa-829	63	23	0	0	NUM
ijassa-829	63	24	.	.	PUNCT
ijassa-829	64	1	the	the	DET
ijassa-829	64	2	set	set	NOUN
ijassa-829	64	3	cl	cl	NOUN
ijassa-829	64	4	is	be	AUX
ijassa-829	64	5	closed	close	VERB
ijassa-829	64	6	correspondingly	correspondingly	ADV
ijassa-829	64	7	by	by	ADP
ijassa-829	64	8	operations	operation	NOUN
ijassa-829	64	9	&	&	CCONJ
ijassa-829	64	10	and	and	CCONJ
ijassa-829	64	11	ð	ð	NUM
ijassa-829	64	12	,	,	PUNCT
ijassa-829	64	13	and	and	CCONJ
ijassa-829	64	14	its	its	PRON
ijassa-829	64	15	maximal	maximal	ADJ
ijassa-829	64	16	element	element	NOUN
ijassa-829	64	17	is	be	AUX
ijassa-829	64	18	1	1	NUM
ijassa-829	64	19	,	,	PUNCT
ijassa-829	64	20	and	and	CCONJ
ijassa-829	64	21	the	the	DET
ijassa-829	64	22	minimal	minimal	ADJ
ijassa-829	64	23	one	one	NUM
ijassa-829	64	24	is	be	AUX
ijassa-829	64	25	⊥.	⊥.	NUM
ijassa-829	64	26	in	in	ADP
ijassa-829	64	27	fig.2.1a	fig.2.1a	NOUN
ijassa-829	64	28	,	,	PUNCT
ijassa-829	64	29	the	the	DET
ijassa-829	64	30	class	class	NOUN
ijassa-829	64	31	of	of	ADP
ijassa-829	64	32	open	open	ADJ
ijassa-829	64	33	facts	fact	NOUN
ijassa-829	64	34	is	be	AUX
ijassa-829	64	35	encircled	encircle	VERB
ijassa-829	64	36	as	as	ADP
ijassa-829	64	37	op	op	NOUN
ijassa-829	64	38	with	with	ADP
ijassa-829	64	39	𝐼	𝐼	PROPN
ijassa-829	64	40	=	=	SYM
ijassa-829	64	41	𝑚1𝑒	𝑚1𝑒	PROPN
ijassa-829	64	42	,	,	PUNCT
ijassa-829	64	43	and	and	CCONJ
ijassa-829	64	44	the	the	DET
ijassa-829	64	45	class	class	NOUN
ijassa-829	64	46	of	of	ADP
ijassa-829	64	47	closed	closed	ADJ
ijassa-829	64	48	facts	fact	NOUN
ijassa-829	64	49	is	be	AUX
ijassa-829	64	50	encircled	encircle	VERB
ijassa-829	64	51	as	as	ADP
ijassa-829	64	52	cl	cl	NOUN
ijassa-829	64	53	with	with	ADP
ijassa-829	64	54	⊥=	⊥=	PROPN
ijassa-829	64	55	𝑋3	𝑋3	VERB
ijassa-829	64	56	2.3.game	2.3.game	PROPN
ijassa-829	64	57	semantics	semantic	NOUN
ijassa-829	64	58	in	in	ADP
ijassa-829	64	59	a	a	DET
ijassa-829	64	60	linear	linear	ADJ
ijassa-829	64	61	logic	logic	NOUN
ijassa-829	64	62	category	category	NOUN
ijassa-829	64	63	[	[	X
ijassa-829	64	64	5	5	NUM
ijassa-829	64	65	]	]	PUNCT
ijassa-829	64	66	definition	definition	NOUN
ijassa-829	64	67	2.6	2.6	NUM
ijassa-829	64	68	:	:	PUNCT
ijassa-829	64	69	a	a	DET
ijassa-829	64	70	conway	conway	NOUN
ijassa-829	64	71	game	game	NOUN
ijassa-829	64	72	is	be	AUX
ijassa-829	64	73	defined	define	VERB
ijassa-829	64	74	as	as	ADP
ijassa-829	64	75	a	a	DET
ijassa-829	64	76	rooted	rooted	ADJ
ijassa-829	64	77	graph	graph	NOUN
ijassa-829	64	78	with	with	ADP
ijassa-829	64	79	vertices	vertex	NOUN
ijassa-829	64	80	v	v	ADP
ijassa-829	64	81	as	as	ADP
ijassa-829	64	82	the	the	DET
ijassa-829	64	83	game	game	NOUN
ijassa-829	64	84	positions	position	NOUN
ijassa-829	64	85	and	and	CCONJ
ijassa-829	64	86	edges	edge	VERB
ijassa-829	64	87	𝐸	𝐸	PROPN
ijassa-829	64	88	⊂	⊂	PUNCT
ijassa-829	64	89	𝑉	𝑉	PROPN
ijassa-829	64	90	×	×	PROPN
ijassa-829	64	91	𝑉	𝑉	PROPN
ijassa-829	64	92	as	as	ADP
ijassa-829	64	93	the	the	DET
ijassa-829	64	94	game	game	NOUN
ijassa-829	64	95	moves	move	VERB
ijassa-829	64	96	.	.	PUNCT
ijassa-829	65	1	each	each	DET
ijassa-829	65	2	edge	edge	NOUN
ijassa-829	65	3	has	have	VERB
ijassa-829	65	4	a	a	DET
ijassa-829	65	5	polarity	polarity	NOUN
ijassa-829	65	6	±1	±1	VERB
ijassa-829	65	7	which	which	PRON
ijassa-829	65	8	depends	depend	VERB
ijassa-829	65	9	on	on	ADP
ijassa-829	65	10	whether	whether	SCONJ
ijassa-829	65	11	it	it	PRON
ijassa-829	65	12	is	be	AUX
ijassa-829	65	13	the	the	DET
ijassa-829	65	14	proponent	proponent	NOUN
ijassa-829	65	15	or	or	CCONJ
ijassa-829	65	16	the	the	DET
ijassa-829	65	17	opponent	opponent	NOUN
ijassa-829	65	18	move	move	NOUN
ijassa-829	65	19	.	.	PUNCT
ijassa-829	66	1	definition	definition	NOUN
ijassa-829	66	2	2.7	2.7	NUM
ijassa-829	66	3	:	:	PUNCT
ijassa-829	66	4	82	82	NUM
ijassa-829	66	5	d.	d.	PROPN
ijassa-829	66	6	maximov	maximov	PROPN
ijassa-829	66	7	copyright	copyright	NOUN
ijassa-829	67	1	©	©	PROPN
ijassa-829	67	2	2019	2019	NUM
ijassa-829	67	3	assa	assa	PROPN
ijassa-829	67	4	adv	adv	PROPN
ijassa-829	67	5	.	.	PUNCT
ijassa-829	68	1	in	in	ADP
ijassa-829	68	2	systems	system	NOUN
ijassa-829	68	3	science	science	NOUN
ijassa-829	68	4	and	and	CCONJ
ijassa-829	68	5	appl	appl	NOUN
ijassa-829	68	6	.	.	PUNCT
ijassa-829	69	1	(	(	PUNCT
ijassa-829	69	2	2019	2019	NUM
ijassa-829	69	3	)	)	PUNCT
ijassa-829	69	4	a	a	DET
ijassa-829	69	5	trajectory	trajectory	NOUN
ijassa-829	69	6	or	or	CCONJ
ijassa-829	69	7	a	a	DET
ijassa-829	69	8	play	play	NOUN
ijassa-829	69	9	is	be	AUX
ijassa-829	69	10	some	some	DET
ijassa-829	69	11	path	path	NOUN
ijassa-829	69	12	from	from	ADP
ijassa-829	69	13	the	the	DET
ijassa-829	69	14	graph	graph	NOUN
ijassa-829	69	15	root	root	NOUN
ijassa-829	69	16	∗.	∗.	PROPN
ijassa-829	69	17	the	the	DET
ijassa-829	69	18	path	path	NOUN
ijassa-829	69	19	is	be	AUX
ijassa-829	69	20	alternated	alternate	VERB
ijassa-829	69	21	if	if	SCONJ
ijassa-829	69	22	the	the	DET
ijassa-829	69	23	adjacent	adjacent	ADJ
ijassa-829	69	24	edges	edge	NOUN
ijassa-829	69	25	are	be	AUX
ijassa-829	69	26	of	of	ADP
ijassa-829	69	27	different	different	ADJ
ijassa-829	69	28	polarities	polarity	NOUN
ijassa-829	69	29	.	.	PUNCT
ijassa-829	70	1	definition	definition	NOUN
ijassa-829	70	2	2.8	2.8	NUM
ijassa-829	70	3	:	:	PUNCT
ijassa-829	70	4	a	a	DET
ijassa-829	70	5	strategy	strategy	NOUN
ijassa-829	70	6	is	be	AUX
ijassa-829	70	7	defined	define	VERB
ijassa-829	70	8	as	as	ADP
ijassa-829	70	9	a	a	DET
ijassa-829	70	10	non	non	ADJ
ijassa-829	70	11	-	-	ADJ
ijassa-829	70	12	empty	empty	ADJ
ijassa-829	70	13	set	set	NOUN
ijassa-829	70	14	of	of	ADP
ijassa-829	70	15	alternated	alternate	VERB
ijassa-829	70	16	paths	path	NOUN
ijassa-829	70	17	of	of	ADP
ijassa-829	70	18	even	even	ADV
ijassa-829	70	19	length	length	NOUN
ijassa-829	70	20	,	,	PUNCT
ijassa-829	70	21	which	which	PRON
ijassa-829	70	22	are	be	AUX
ijassa-829	70	23	started	start	VERB
ijassa-829	70	24	from	from	ADP
ijassa-829	70	25	the	the	DET
ijassa-829	70	26	opponent	opponent	NOUN
ijassa-829	70	27	move	move	NOUN
ijassa-829	70	28	,	,	PUNCT
ijassa-829	70	29	closed	close	VERB
ijassa-829	70	30	up	up	ADP
ijassa-829	70	31	to	to	ADP
ijassa-829	70	32	the	the	DET
ijassa-829	70	33	prefix	prefix	NOUN
ijassa-829	70	34	of	of	ADP
ijassa-829	70	35	even	even	ADV
ijassa-829	70	36	length	length	NOUN
ijassa-829	70	37	and	and	CCONJ
ijassa-829	70	38	determined	determine	VERB
ijassa-829	70	39	.	.	PUNCT
ijassa-829	71	1	determinism	determinism	NOUN
ijassa-829	71	2	means	mean	VERB
ijassa-829	71	3	that	that	SCONJ
ijassa-829	71	4	two	two	NUM
ijassa-829	71	5	paths	path	NOUN
ijassa-829	71	6	with	with	ADP
ijassa-829	71	7	the	the	DET
ijassa-829	71	8	common	common	ADJ
ijassa-829	71	9	prefix	prefix	NOUN
ijassa-829	71	10	,	,	PUNCT
ijassa-829	71	11	which	which	PRON
ijassa-829	71	12	differ	differ	VERB
ijassa-829	71	13	in	in	ADP
ijassa-829	71	14	two	two	NUM
ijassa-829	71	15	moves	move	NOUN
ijassa-829	71	16	,	,	PUNCT
ijassa-829	71	17	should	should	AUX
ijassa-829	71	18	coincide	coincide	VERB
ijassa-829	71	19	.	.	PUNCT
ijassa-829	72	1	definition	definition	NOUN
ijassa-829	72	2	2.9	2.9	NUM
ijassa-829	72	3	:	:	PUNCT
ijassa-829	72	4	a	a	DET
ijassa-829	72	5	dual	dual	ADJ
ijassa-829	72	6	play	play	NOUN
ijassa-829	72	7	𝑋⊥is	𝑋⊥is	PRON
ijassa-829	72	8	obtained	obtain	VERB
ijassa-829	72	9	from	from	ADP
ijassa-829	72	10	the	the	DET
ijassa-829	72	11	play	play	NOUN
ijassa-829	72	12	x	x	PUNCT
ijassa-829	72	13	by	by	ADP
ijassa-829	72	14	reversing	reverse	VERB
ijassa-829	72	15	the	the	DET
ijassa-829	72	16	polarity	polarity	NOUN
ijassa-829	72	17	of	of	ADP
ijassa-829	72	18	moves	move	NOUN
ijassa-829	72	19	.	.	PUNCT
ijassa-829	73	1	definition	definition	NOUN
ijassa-829	73	2	2.10	2.10	NUM
ijassa-829	73	3	:	:	PUNCT
ijassa-829	73	4	the	the	DET
ijassa-829	73	5	tensor	tensor	NOUN
ijassa-829	73	6	product	product	NOUN
ijassa-829	73	7	𝑋⨂yof	𝑋⨂yof	PROPN
ijassa-829	73	8	two	two	NUM
ijassa-829	73	9	conway	conway	PROPN
ijassa-829	73	10	games	game	NOUN
ijassa-829	73	11	x	x	PUNCT
ijassa-829	73	12	and	and	CCONJ
ijassa-829	73	13	y	y	PROPN
ijassa-829	73	14	is	be	AUX
ijassa-829	73	15	defined	define	VERB
ijassa-829	73	16	in	in	ADP
ijassa-829	73	17	such	such	DET
ijassa-829	73	18	a	a	DET
ijassa-829	73	19	way	way	NOUN
ijassa-829	73	20	:	:	PUNCT
ijassa-829	73	21	positions	position	NOUN
ijassa-829	73	22	𝑥⨂y	𝑥⨂y	NOUN
ijassa-829	73	23	are	be	AUX
ijassa-829	73	24	𝑉𝑋⨂𝑌	𝑉𝑋⨂𝑌	NOUN
ijassa-829	73	25	=	=	SYM
ijassa-829	73	26	𝑉𝑋	𝑉𝑋	PROPN
ijassa-829	73	27	×	×	NOUN
ijassa-829	73	28	𝑉𝑌with	𝑉𝑌with	PROPN
ijassa-829	73	29	the	the	DET
ijassa-829	73	30	root	root	NOUN
ijassa-829	73	31	∗𝑋⨂𝑌=∗𝑋×∗𝑌	∗𝑋⨂𝑌=∗𝑋×∗𝑌	PROPN
ijassa-829	73	32	,	,	PUNCT
ijassa-829	73	33	moves	move	NOUN
ijassa-829	73	34	are	be	AUX
ijassa-829	73	35	𝑥⨂y	𝑥⨂y	ADJ
ijassa-829	73	36	↦	↦	PROPN
ijassa-829	73	37	{	{	PUNCT
ijassa-829	73	38	𝑧⨂y	𝑧⨂y	NOUN
ijassa-829	73	39	,	,	PUNCT
ijassa-829	73	40	x	x	PUNCT
ijassa-829	73	41	↦	↦	PROPN
ijassa-829	73	42	z	z	NOUN
ijassa-829	73	43	𝑖𝑛	𝑖𝑛	NOUN
ijassa-829	73	44	𝑋	𝑋	PROPN
ijassa-829	73	45	𝑥⨂z	𝑥⨂z	NOUN
ijassa-829	73	46	,	,	PUNCT
ijassa-829	73	47	y	y	PROPN
ijassa-829	73	48	↦	↦	PROPN
ijassa-829	73	49	z	z	NOUN
ijassa-829	73	50	𝑖𝑛	𝑖𝑛	NOUN
ijassa-829	73	51	𝑌	𝑌	PROPN
ijassa-829	73	52	,	,	PUNCT
ijassa-829	73	53	and	and	CCONJ
ijassa-829	73	54	the	the	DET
ijassa-829	73	55	polarity	polarity	NOUN
ijassa-829	73	56	of	of	ADP
ijassa-829	73	57	a	a	DET
ijassa-829	73	58	move	move	NOUN
ijassa-829	73	59	in	in	ADP
ijassa-829	73	60	𝑋⨂yis	𝑋⨂yis	NOUN
ijassa-829	73	61	inheritedfrom	inheritedfrom	ADP
ijassa-829	73	62	the	the	DET
ijassa-829	73	63	polarity	polarity	NOUN
ijassa-829	73	64	of	of	ADP
ijassa-829	73	65	the	the	DET
ijassa-829	73	66	underlying	underlie	VERB
ijassa-829	73	67	move	move	NOUN
ijassa-829	73	68	in	in	ADP
ijassa-829	73	69	x	x	PUNCT
ijassa-829	73	70	or	or	CCONJ
ijassa-829	73	71	y.	y.	NOUN
ijassa-829	73	72	a	a	DET
ijassa-829	73	73	generalized	generalized	ADJ
ijassa-829	73	74	linear	linear	ADJ
ijassa-829	73	75	logic	logic	NOUN
ijassa-829	73	76	is	be	AUX
ijassa-829	73	77	modeled	model	VERB
ijassa-829	73	78	in	in	ADP
ijassa-829	73	79	a	a	DET
ijassa-829	73	80	category	category	NOUN
ijassa-829	73	81	of	of	ADP
ijassa-829	73	82	such	such	ADJ
ijassa-829	73	83	games	game	NOUN
ijassa-829	73	84	.	.	PUNCT
ijassa-829	74	1	the	the	DET
ijassa-829	74	2	category	category	NOUN
ijassa-829	74	3	objects	object	VERB
ijassa-829	74	4	are	be	AUX
ijassa-829	74	5	conway	conway	NOUN
ijassa-829	74	6	games	game	NOUN
ijassa-829	74	7	and	and	CCONJ
ijassa-829	74	8	morphisms	morphism	VERB
ijassa-829	74	9	𝑋	𝑋	PROPN
ijassa-829	74	10	→	→	SYM
ijassa-829	74	11	𝑌	𝑌	PROPN
ijassa-829	74	12	are	be	AUX
ijassa-829	74	13	strategies	strategy	NOUN
ijassa-829	74	14	in	in	ADP
ijassa-829	74	15	𝑋⊥ðy.these	𝑋⊥ðy.these	ADJ
ijassa-829	74	16	multiplications	multiplication	NOUN
ijassa-829	74	17	are	be	AUX
ijassa-829	74	18	linear	linear	ADJ
ijassa-829	74	19	implications𝑋⊥ðy	implications𝑋⊥ðy	NOUN
ijassa-829	74	20	=	=	SYM
ijassa-829	74	21	𝑋	𝑋	NOUN
ijassa-829	74	22	⇒	⇒	VERB
ijassa-829	74	23	𝑌.	𝑌.	PROPN
ijassa-829	74	24	it	it	PRON
ijassa-829	74	25	should	should	AUX
ijassa-829	74	26	be	be	AUX
ijassa-829	74	27	mentioned	mention	VERB
ijassa-829	74	28	that	that	SCONJ
ijassa-829	74	29	on	on	SCONJ
ijassa-829	74	30	game	game	NOUN
ijassa-829	74	31	graphs	graph	VERB
ijassa-829	74	32	the	the	DET
ijassa-829	74	33	operations	operation	NOUN
ijassa-829	74	34	ð	ð	PROPN
ijassa-829	74	35	and	and	CCONJ
ijassa-829	74	36	⨂	⨂	PROPN
ijassa-829	74	37	are	be	AUX
ijassa-829	74	38	the	the	DET
ijassa-829	74	39	same	same	ADJ
ijassa-829	74	40	so	so	ADV
ijassa-829	74	41	in	in	ADP
ijassa-829	74	42	[	[	X
ijassa-829	74	43	5	5	X
ijassa-829	74	44	]	]	PUNCT
ijassa-829	74	45	they	they	PRON
ijassa-829	74	46	are	be	AUX
ijassa-829	74	47	not	not	PART
ijassa-829	74	48	even	even	ADV
ijassa-829	74	49	distinguished	distinguish	VERB
ijassa-829	74	50	.	.	PUNCT
ijassa-829	75	1	a	a	DET
ijassa-829	75	2	conway	conway	PROPN
ijassa-829	75	3	game	game	NOUN
ijassa-829	75	4	with	with	ADP
ijassa-829	75	5	a	a	DET
ijassa-829	75	6	payoff	payoff	NOUN
ijassa-829	75	7	is	be	AUX
ijassa-829	75	8	the	the	DET
ijassa-829	75	9	play	play	NOUN
ijassa-829	75	10	with	with	ADP
ijassa-829	75	11	an	an	DET
ijassa-829	75	12	additional	additional	ADJ
ijassa-829	75	13	weight	weight	NOUN
ijassa-829	75	14	1	1	NUM
ijassa-829	75	15	,	,	PUNCT
ijassa-829	75	16	1/2	1/2	NUM
ijassa-829	75	17	or0	or0	NOUN
ijassa-829	75	18	in	in	ADP
ijassa-829	75	19	each	each	DET
ijassa-829	75	20	vertex	vertex	NOUN
ijassa-829	75	21	.	.	PUNCT
ijassa-829	76	1	the	the	DET
ijassa-829	76	2	weight	weight	NOUN
ijassa-829	76	3	depends	depend	VERB
ijassa-829	76	4	on	on	ADP
ijassa-829	76	5	whether	whether	SCONJ
ijassa-829	76	6	the	the	DET
ijassa-829	76	7	position	position	NOUN
ijassa-829	76	8	is	be	AUX
ijassa-829	76	9	winning	win	VERB
ijassa-829	76	10	(	(	PUNCT
ijassa-829	76	11	i.e.	i.e.	X
ijassa-829	76	12	,	,	PUNCT
ijassa-829	76	13	of	of	ADP
ijassa-829	76	14	the	the	DET
ijassa-829	76	15	weight	weight	NOUN
ijassa-829	76	16	1	1	NUM
ijassa-829	76	17	or	or	CCONJ
ijassa-829	76	18	1/2	1/2	NUM
ijassa-829	76	19	)	)	PUNCT
ijassa-829	76	20	or	or	CCONJ
ijassa-829	76	21	not	not	PART
ijassa-829	76	22	.	.	PUNCT
ijassa-829	77	1	in	in	ADP
ijassa-829	77	2	the	the	DET
ijassa-829	77	3	tensor	tensor	NOUN
ijassa-829	77	4	product	product	NOUN
ijassa-829	77	5	,	,	PUNCT
ijassa-829	77	6	these	these	DET
ijassa-829	77	7	weights	weight	NOUN
ijassa-829	77	8	obey	obey	VERB
ijassa-829	77	9	rules	rule	NOUN
ijassa-829	77	10	of	of	ADP
ijassa-829	77	11	boolean	boolean	ADJ
ijassa-829	77	12	conjunction	conjunction	NOUN
ijassa-829	77	13	and	and	CCONJ
ijassa-829	77	14	implication	implication	NOUN
ijassa-829	77	15	.	.	PUNCT
ijassa-829	78	1	a	a	DET
ijassa-829	78	2	strategy	strategy	NOUN
ijassa-829	78	3	is	be	AUX
ijassa-829	78	4	winning	win	VERB
ijassa-829	78	5	if	if	SCONJ
ijassa-829	78	6	it	it	PRON
ijassa-829	78	7	terminates	terminate	VERB
ijassa-829	78	8	in	in	ADP
ijassa-829	78	9	the	the	DET
ijassa-829	78	10	winning	win	VERB
ijassa-829	78	11	position	position	NOUN
ijassa-829	78	12	.	.	PUNCT
ijassa-829	79	1	in	in	ADP
ijassa-829	79	2	the	the	DET
ijassa-829	79	3	category	category	NOUN
ijassa-829	79	4	of	of	ADP
ijassa-829	79	5	conway	conway	PROPN
ijassa-829	79	6	games	game	NOUN
ijassa-829	79	7	with	with	ADP
ijassa-829	79	8	a	a	DET
ijassa-829	79	9	payoff	payoff	NOUN
ijassa-829	79	10	,	,	PUNCT
ijassa-829	79	11	morphisms	morphism	NOUN
ijassa-829	79	12	are	be	AUX
ijassa-829	79	13	winning	win	VERB
ijassa-829	79	14	strategies	strategy	NOUN
ijassa-829	79	15	now	now	ADV
ijassa-829	79	16	.	.	PUNCT
ijassa-829	80	1	it	it	PRON
ijassa-829	80	2	is	be	AUX
ijassa-829	80	3	possible	possible	ADJ
ijassa-829	80	4	to	to	PART
ijassa-829	80	5	prove	prove	VERB
ijassa-829	80	6	[	[	X
ijassa-829	80	7	8	8	NUM
ijassa-829	80	8	]	]	PUNCT
ijassa-829	80	9	that	that	SCONJ
ijassa-829	80	10	the	the	DET
ijassa-829	80	11	categorical	categorical	ADJ
ijassa-829	80	12	construction	construction	NOUN
ijassa-829	80	13	is	be	AUX
ijassa-829	80	14	conserved	conserve	VERB
ijassa-829	80	15	if	if	SCONJ
ijassa-829	80	16	the	the	DET
ijassa-829	80	17	weights	weight	NOUN
ijassa-829	80	18	’	'	PUNCT
ijassa-829	80	19	numbers	number	NOUN
ijassa-829	80	20	are	be	AUX
ijassa-829	80	21	replaced	replace	VERB
ijassa-829	80	22	with	with	ADP
ijassa-829	80	23	some	some	DET
ijassa-829	80	24	sets	set	NOUN
ijassa-829	80	25	form	form	VERB
ijassa-829	80	26	a	a	DET
ijassa-829	80	27	lattice	lattice	NOUN
ijassa-829	80	28	,	,	PUNCT
ijassa-829	80	29	and	and	CCONJ
ijassa-829	80	30	the	the	DET
ijassa-829	80	31	boolean	boolean	ADJ
ijassa-829	80	32	operations	operation	NOUN
ijassa-829	80	33	are	be	AUX
ijassa-829	80	34	replaced	replace	VERB
ijassa-829	80	35	with	with	ADP
ijassa-829	80	36	the	the	DET
ijassa-829	80	37	lattice	lattice	PROPN
ijassa-829	80	38	operations	operation	NOUN
ijassa-829	80	39	.	.	PUNCT
ijassa-829	81	1	the	the	DET
ijassa-829	81	2	greater	great	ADJ
ijassa-829	81	3	set	set	NOUN
ijassa-829	81	4	is	be	AUX
ijassa-829	81	5	connected	connect	VERB
ijassa-829	81	6	with	with	ADP
ijassa-829	81	7	a	a	DET
ijassa-829	81	8	position	position	NOUN
ijassa-829	81	9	,	,	PUNCT
ijassa-829	81	10	the	the	PRON
ijassa-829	81	11	more	more	ADV
ijassa-829	81	12	advantageous	advantageous	ADJ
ijassa-829	81	13	it	it	PRON
ijassa-829	81	14	is	be	AUX
ijassa-829	81	15	,	,	PUNCT
ijassa-829	81	16	and	and	CCONJ
ijassa-829	81	17	it	it	PRON
ijassa-829	81	18	is	be	AUX
ijassa-829	81	19	winning	win	VERB
ijassa-829	81	20	if	if	SCONJ
ijassa-829	81	21	its	its	PRON
ijassa-829	81	22	weight	weight	NOUN
ijassa-829	81	23	is	be	AUX
ijassa-829	81	24	not	not	PART
ijassa-829	81	25	0	0	NUM
ijassa-829	81	26	.	.	PUNCT
ijassa-829	82	1	we	we	PRON
ijassa-829	82	2	suppose	suppose	VERB
ijassa-829	82	3	the	the	DET
ijassa-829	82	4	existence	existence	NOUN
ijassa-829	82	5	of	of	ADP
ijassa-829	82	6	a	a	DET
ijassa-829	82	7	universal	universal	ADJ
ijassa-829	82	8	set	set	NOUN
ijassa-829	82	9	containing	contain	VERB
ijassa-829	82	10	all	all	DET
ijassa-829	82	11	the	the	DET
ijassa-829	82	12	others	other	NOUN
ijassa-829	82	13	.	.	PUNCT
ijassa-829	83	1	thus	thus	ADV
ijassa-829	83	2	,	,	PUNCT
ijassa-829	83	3	all	all	DET
ijassa-829	83	4	such	such	ADJ
ijassa-829	83	5	estimation	estimation	NOUN
ijassa-829	83	6	sets	set	NOUN
ijassa-829	83	7	form	form	VERB
ijassa-829	83	8	a	a	DET
ijassa-829	83	9	complete	complete	PROPN
ijassa-829	83	10	brouwer	brouwer	PROPN
ijassa-829	83	11	lattice	lattice	PROPN
ijassa-829	83	12	.	.	PUNCT
ijassa-829	84	1	3	3	X
ijassa-829	84	2	.	.	X
ijassa-829	84	3	behavior	behavior	NOUN
ijassa-829	84	4	determination	determination	NOUN
ijassa-829	84	5	of	of	ADP
ijassa-829	84	6	an	an	DET
ijassa-829	84	7	intellectual	intellectual	ADJ
ijassa-829	84	8	agent	agent	NOUN
ijassa-829	84	9	system	system	NOUN
ijassa-829	84	10	an	an	DET
ijassa-829	84	11	example	example	NOUN
ijassa-829	84	12	of	of	ADP
ijassa-829	84	13	the	the	DET
ijassa-829	84	14	goal	goal	NOUN
ijassa-829	84	15	lattice	lattice	VERB
ijassa-829	84	16	ms	ms	PROPN
ijassa-829	84	17	matches	match	VERB
ijassa-829	84	18	a	a	DET
ijassa-829	84	19	system	system	NOUN
ijassa-829	84	20	of	of	ADP
ijassa-829	84	21	l	l	NOUN
ijassa-829	84	22	agents	agent	NOUN
ijassa-829	84	23	(	(	PUNCT
ijassa-829	84	24	fig	fig	NOUN
ijassa-829	84	25	.	.	PUNCT
ijassa-829	85	1	2.1,a	2.1,a	NUM
ijassa-829	85	2	)	)	PUNCT
ijassa-829	85	3	.	.	PUNCT
ijassa-829	86	1	in	in	ADP
ijassa-829	86	2	the	the	DET
ijassa-829	86	3	lattice	lattice	NOUN
ijassa-829	86	4	vertices	vertex	NOUN
ijassa-829	86	5	,	,	PUNCT
ijassa-829	86	6	xi	xi	PUNCT
ijassa-829	86	7	and	and	CCONJ
ijassa-829	86	8	e	e	PROPN
ijassa-829	86	9	are	be	AUX
ijassa-829	86	10	the	the	DET
ijassa-829	86	11	generators	generator	NOUN
ijassa-829	86	12	and	and	CCONJ
ijassa-829	86	13	denote	denote	VERB
ijassa-829	86	14	the	the	DET
ijassa-829	86	15	system	system	NOUN
ijassa-829	86	16	goals	goal	NOUN
ijassa-829	86	17	.	.	PUNCT
ijassa-829	87	1	vertices	vertice	VERB
ijassa-829	87	2	ji	ji	PROPN
ijassa-829	87	3	are	be	AUX
ijassa-829	87	4	the	the	DET
ijassa-829	87	5	generators	generator	NOUN
ijassa-829	87	6	joins	join	VERB
ijassa-829	87	7	and	and	CCONJ
ijassa-829	87	8	denote	denote	VERB
ijassa-829	87	9	combined	combined	ADJ
ijassa-829	87	10	goals	goal	NOUN
ijassa-829	87	11	achieving	achieve	VERB
ijassa-829	87	12	.	.	PUNCT
ijassa-829	88	1	these	these	DET
ijassa-829	88	2	combined	combined	ADJ
ijassa-829	88	3	goals	goal	NOUN
ijassa-829	88	4	,	,	PUNCT
ijassa-829	88	5	as	as	ADV
ijassa-829	88	6	well	well	ADV
ijassa-829	88	7	as	as	ADP
ijassa-829	88	8	generators	generator	NOUN
ijassa-829	88	9	,	,	PUNCT
ijassa-829	88	10	may	may	AUX
ijassa-829	88	11	be	be	AUX
ijassa-829	88	12	associated	associate	VERB
ijassa-829	88	13	with	with	ADP
ijassa-829	88	14	the	the	DET
ijassa-829	88	15	correspondent	correspondent	NOUN
ijassa-829	88	16	task	task	NOUN
ijassa-829	88	17	fulfilling	fulfil	VERB
ijassa-829	88	18	thus	thus	ADV
ijassa-829	88	19	the	the	DET
ijassa-829	88	20	vertices	vertex	NOUN
ijassa-829	88	21	may	may	AUX
ijassa-829	88	22	have	have	VERB
ijassa-829	88	23	meets	meet	NOUN
ijassa-829	88	24	,	,	PUNCT
ijassa-829	88	25	i.e.	i.e.	X
ijassa-829	88	26	,	,	PUNCT
ijassa-829	88	27	some	some	DET
ijassa-829	88	28	subtask	subtask	NOUN
ijassa-829	88	29	included	include	VERB
ijassa-829	88	30	in	in	ADP
ijassa-829	88	31	different	different	ADJ
ijassa-829	88	32	tasks	task	NOUN
ijassa-829	88	33	(	(	PUNCT
ijassa-829	88	34	or	or	CCONJ
ijassa-829	88	35	correspondent	correspondent	NOUN
ijassa-829	88	36	goals	goal	NOUN
ijassa-829	88	37	)	)	PUNCT
ijassa-829	88	38	.	.	PUNCT
ijassa-829	89	1	the	the	DET
ijassa-829	89	2	higher	high	ADJ
ijassa-829	89	3	goal	goal	NOUN
ijassa-829	89	4	lies	lie	VERB
ijassa-829	89	5	(	(	PUNCT
ijassa-829	89	6	hence	hence	ADV
ijassa-829	89	7	the	the	DET
ijassa-829	89	8	more	more	ADJ
ijassa-829	89	9	tasks	task	NOUN
ijassa-829	89	10	it	it	PRON
ijassa-829	89	11	contains	contain	VERB
ijassa-829	89	12	)	)	PUNCT
ijassa-829	89	13	,	,	PUNCT
ijassa-829	89	14	the	the	PRON
ijassa-829	89	15	more	more	ADV
ijassa-829	89	16	important	important	ADJ
ijassa-829	89	17	this	this	DET
ijassa-829	89	18	behavior	behavior	NOUN
ijassa-829	89	19	variant	variant	NOUN
ijassa-829	89	20	is	be	AUX
ijassa-829	89	21	.	.	PUNCT
ijassa-829	90	1	it	it	PRON
ijassa-829	90	2	supposed	suppose	VERB
ijassa-829	90	3	that	that	SCONJ
ijassa-829	90	4	the	the	DET
ijassa-829	90	5	preferable	preferable	ADJ
ijassa-829	90	6	behavior	behavior	NOUN
ijassa-829	90	7	of	of	ADP
ijassa-829	90	8	the	the	DET
ijassa-829	90	9	system	system	NOUN
ijassa-829	90	10	is	be	AUX
ijassa-829	90	11	to	to	PART
ijassa-829	90	12	achieve	achieve	VERB
ijassa-829	90	13	all	all	DET
ijassa-829	90	14	its	its	PRON
ijassa-829	90	15	goals	goal	NOUN
ijassa-829	90	16	.	.	PUNCT
ijassa-829	91	1	this	this	DET
ijassa-829	91	2	variant	variant	NOUN
ijassa-829	91	3	corresponds	correspond	VERB
ijassa-829	91	4	to	to	ADP
ijassa-829	91	5	the	the	DET
ijassa-829	91	6	top	top	ADJ
ijassa-829	91	7	lattice	lattice	PROPN
ijassa-829	91	8	element	element	NOUN
ijassa-829	91	9	1	1	NUM
ijassa-829	91	10	.	.	PUNCT
ijassa-829	92	1	and	and	CCONJ
ijassa-829	92	2	the	the	DET
ijassa-829	92	3	bottom	bottom	ADJ
ijassa-829	92	4	element	element	NOUN
ijassa-829	92	5	0	0	NUM
ijassa-829	92	6	corresponds	correspond	VERB
ijassa-829	92	7	to	to	PART
ijassa-829	92	8	complete	complete	VERB
ijassa-829	92	9	inactivity	inactivity	NOUN
ijassa-829	92	10	and	and	CCONJ
ijassa-829	92	11	to	to	ADP
ijassa-829	92	12	the	the	DET
ijassa-829	92	13	least	least	ADJ
ijassa-829	92	14	essential	essential	ADJ
ijassa-829	92	15	behavior	behavior	NOUN
ijassa-829	92	16	variant	variant	NOUN
ijassa-829	92	17	.	.	PUNCT
ijassa-829	93	1	all	all	DET
ijassa-829	93	2	the	the	DET
ijassa-829	93	3	estimations	estimation	NOUN
ijassa-829	93	4	may	may	AUX
ijassa-829	93	5	be	be	AUX
ijassa-829	93	6	considered	consider	VERB
ijassa-829	93	7	as	as	ADP
ijassa-829	93	8	partially	partially	ADV
ijassa-829	93	9	true	true	ADJ
ijassa-829	93	10	truth	truth	NOUN
ijassa-829	93	11	values	value	NOUN
ijassa-829	93	12	.	.	PUNCT
ijassa-829	94	1	thus	thus	ADV
ijassa-829	94	2	,	,	PUNCT
ijassa-829	94	3	we	we	PRON
ijassa-829	94	4	can	can	AUX
ijassa-829	94	5	say	say	VERB
ijassa-829	94	6	that	that	SCONJ
ijassa-829	94	7	the	the	PRON
ijassa-829	94	8	more	more	ADV
ijassa-829	94	9	important	important	ADJ
ijassa-829	94	10	the	the	DET
ijassa-829	94	11	behavior	behavior	NOUN
ijassa-829	94	12	is	be	AUX
ijassa-829	94	13	,	,	PUNCT
ijassa-829	94	14	the	the	PRON
ijassa-829	94	15	truer	truer	ADV
ijassa-829	94	16	it	it	PRON
ijassa-829	94	17	is	be	AUX
ijassa-829	94	18	.	.	PUNCT
ijassa-829	95	1	the	the	DET
ijassa-829	95	2	agent	agent	NOUN
ijassa-829	95	3	lattice	lattice	PROPN
ijassa-829	95	4	mi	mi	PROPN
ijassa-829	95	5	(	(	PUNCT
ijassa-829	95	6	fig	fig	NOUN
ijassa-829	95	7	.	.	PUNCT
ijassa-829	95	8	2.1	2.1	NUM
ijassa-829	95	9	,	,	PUNCT
ijassa-829	95	10	b	b	NOUN
ijassa-829	95	11	)	)	PUNCT
ijassa-829	95	12	has	have	VERB
ijassa-829	95	13	another	another	DET
ijassa-829	95	14	meaning	meaning	NOUN
ijassa-829	95	15	.	.	PUNCT
ijassa-829	96	1	the	the	DET
ijassa-829	96	2	same	same	ADJ
ijassa-829	96	3	generators	generator	NOUN
ijassa-829	96	4	and	and	CCONJ
ijassa-829	96	5	their	their	PRON
ijassa-829	96	6	joins	join	NOUN
ijassa-829	96	7	mean	mean	VERB
ijassa-829	96	8	the	the	DET
ijassa-829	96	9	agents	agent	NOUN
ijassa-829	96	10	’	'	PUNCT
ijassa-829	96	11	desires	desire	NOUN
ijassa-829	96	12	.	.	PUNCT
ijassa-829	97	1	one	one	NUM
ijassa-829	97	2	of	of	ADP
ijassa-829	97	3	the	the	DET
ijassa-829	97	4	vertices	vertex	NOUN
ijassa-829	97	5	is	be	AUX
ijassa-829	97	6	marked	mark	VERB
ijassa-829	97	7	as	as	ADP
ijassa-829	97	8	an	an	DET
ijassa-829	97	9	intention	intention	NOUN
ijassa-829	97	10	for	for	ADP
ijassa-829	97	11	every	every	DET
ijassa-829	97	12	agent	agent	NOUN
ijassa-829	97	13	.	.	PUNCT
ijassa-829	98	1	in	in	ADP
ijassa-829	98	2	the	the	DET
ijassa-829	98	3	same	same	ADJ
ijassa-829	98	4	manner	manner	NOUN
ijassa-829	98	5	,	,	PUNCT
ijassa-829	98	6	the	the	DET
ijassa-829	98	7	more	more	ADJ
ijassa-829	98	8	desires	desire	NOUN
ijassa-829	98	9	are	be	AUX
ijassa-829	98	10	included	include	VERB
ijassa-829	98	11	in	in	ADP
ijassa-829	98	12	the	the	DET
ijassa-829	98	13	intention	intention	NOUN
ijassa-829	98	14	,	,	PUNCT
ijassa-829	98	15	the	the	DET
ijassa-829	98	16	more	more	ADV
ijassa-829	98	17	essential	essential	ADJ
ijassa-829	98	18	the	the	DET
ijassa-829	98	19	intention	intention	NOUN
ijassa-829	98	20	is	be	AUX
ijassa-829	98	21	.	.	PUNCT
ijassa-829	99	1	a	a	DET
ijassa-829	99	2	variant	variant	NOUN
ijassa-829	99	3	of	of	ADP
ijassa-829	99	4	the	the	DET
ijassa-829	99	5	open	open	ADJ
ijassa-829	99	6	(	(	PUNCT
ijassa-829	99	7	op	op	NOUN
ijassa-829	99	8	)	)	PUNCT
ijassa-829	99	9	and	and	CCONJ
ijassa-829	99	10	the	the	DET
ijassa-829	99	11	closed	closed	ADJ
ijassa-829	99	12	(	(	PUNCT
ijassa-829	99	13	cl	cl	NOUN
ijassa-829	99	14	)	)	PUNCT
ijassa-829	99	15	classes	class	NOUN
ijassa-829	99	16	definition	definition	NOUN
ijassa-829	99	17	is	be	AUX
ijassa-829	99	18	indicated	indicate	VERB
ijassa-829	99	19	in	in	ADP
ijassa-829	99	20	the	the	DET
ijassa-829	99	21	system	system	NOUN
ijassa-829	99	22	lattice	lattice	NOUN
ijassa-829	99	23	(	(	PUNCT
ijassa-829	99	24	fig	fig	NOUN
ijassa-829	99	25	.	.	PUNCT
ijassa-829	100	1	2.1	2.1	NUM
ijassa-829	100	2	,	,	PUNCT
ijassa-829	100	3	a	a	PRON
ijassa-829	100	4	)	)	PUNCT
ijassa-829	100	5	.	.	PUNCT
ijassa-829	101	1	this	this	DET
ijassa-829	101	2	definition	definition	NOUN
ijassa-829	101	3	(	(	PUNCT
ijassa-829	101	4	as	as	ADV
ijassa-829	101	5	well	well	ADV
ijassa-829	101	6	as	as	ADP
ijassa-829	101	7	the	the	DET
ijassa-829	101	8	multiplication	multiplication	NOUN
ijassa-829	101	9	definition	definition	NOUN
ijassa-829	101	10	)	)	PUNCT
ijassa-829	101	11	defines	define	VERB
ijassa-829	101	12	the	the	DET
ijassa-829	101	13	structure	structure	NOUN
ijassa-829	101	14	of	of	ADP
ijassa-829	101	15	linear	linear	ADJ
ijassa-829	101	16	logic	logic	NOUN
ijassa-829	101	17	in	in	ADP
ijassa-829	101	18	the	the	DET
ijassa-829	101	19	lattice	lattice	NOUN
ijassa-829	101	20	.	.	PUNCT
ijassa-829	102	1	the	the	DET
ijassa-829	102	2	element	element	ADJ
ijassa-829	102	3	multiplication	multiplication	NOUN
ijassa-829	102	4	is	be	AUX
ijassa-829	102	5	obtained	obtain	VERB
ijassa-829	102	6	(	(	PUNCT
ijassa-829	102	7	usually	usually	ADV
ijassa-829	102	8	ambiguously	ambiguously	ADV
ijassa-829	102	9	,	,	PUNCT
ijassa-829	102	10	[	[	X
ijassa-829	102	11	4	4	NUM
ijassa-829	102	12	]	]	PUNCT
ijassa-829	102	13	)	)	PUNCT
ijassa-829	102	14	from	from	ADP
ijassa-829	102	15	the	the	DET
ijassa-829	102	16	demand	demand	NOUN
ijassa-829	102	17	to	to	PART
ijassa-829	102	18	implement	implement	VERB
ijassa-829	102	19	the	the	DET
ijassa-829	102	20	linear	linear	ADJ
ijassa-829	102	21	logic	logic	NOUN
ijassa-829	102	22	operations	operation	NOUN
ijassa-829	102	23	properties	property	NOUN
ijassa-829	102	24	.	.	PUNCT
ijassa-829	103	1	in	in	ADP
ijassa-829	103	2	this	this	DET
ijassa-829	103	3	case	case	NOUN
ijassa-829	103	4	,	,	PUNCT
ijassa-829	103	5	it	it	PRON
ijassa-829	103	6	is	be	AUX
ijassa-829	103	7	possible	possible	ADJ
ijassa-829	103	8	to	to	PART
ijassa-829	103	9	consider	consider	VERB
ijassa-829	103	10	an	an	DET
ijassa-829	103	11	optimal	optimal	ADJ
ijassa-829	103	12	itinerary	itinerary	ADJ
ijassa-829	103	13	generation	generation	NOUN
ijassa-829	103	14	with	with	ADP
ijassa-829	103	15	linear	linear	ADJ
ijassa-829	103	16	logic	logic	NOUN
ijassa-829	103	17	83	83	NUM
ijassa-829	103	18	copyright	copyright	NOUN
ijassa-829	103	19	©	©	PROPN
ijassa-829	103	20	2019	2019	NUM
ijassa-829	103	21	assa	assa	PROPN
ijassa-829	103	22	adv	adv	PROPN
ijassa-829	103	23	.	.	PUNCT
ijassa-829	104	1	in	in	ADP
ijassa-829	104	2	systems	system	NOUN
ijassa-829	104	3	science	science	NOUN
ijassa-829	104	4	and	and	CCONJ
ijassa-829	104	5	appl	appl	NOUN
ijassa-829	104	6	.	.	PUNCT
ijassa-829	105	1	(	(	PUNCT
ijassa-829	105	2	2019	2019	NUM
ijassa-829	105	3	)	)	PUNCT
ijassa-829	105	4	parallel	parallel	NOUN
ijassa-829	105	5	processes	process	NOUN
ijassa-829	105	6	of	of	ADP
ijassa-829	105	7	combined	combined	ADJ
ijassa-829	105	8	goals	goal	NOUN
ijassa-829	105	9	achieving	achieve	VERB
ijassa-829	105	10	as	as	ADP
ijassa-829	105	11	the	the	DET
ijassa-829	105	12	tensor	tensor	NOUN
ijassa-829	105	13	product	product	NOUN
ijassa-829	105	14	of	of	ADP
ijassa-829	105	15	corresponding	correspond	VERB
ijassa-829	105	16	lattice	lattice	NOUN
ijassa-829	105	17	elements	element	NOUN
ijassa-829	105	18	in	in	ADP
ijassa-829	105	19	the	the	DET
ijassa-829	105	20	logic	logic	NOUN
ijassa-829	105	21	.	.	PUNCT
ijassa-829	106	1	and	and	CCONJ
ijassa-829	106	2	the	the	DET
ijassa-829	106	3	priority	priority	NOUN
ijassa-829	106	4	of	of	ADP
ijassa-829	106	5	different	different	ADJ
ijassa-829	106	6	processes	process	NOUN
ijassa-829	106	7	is	be	AUX
ijassa-829	106	8	obtained	obtain	VERB
ijassa-829	106	9	from	from	ADP
ijassa-829	106	10	the	the	DET
ijassa-829	106	11	demand	demand	NOUN
ijassa-829	106	12	of	of	ADP
ijassa-829	106	13	the	the	DET
ijassa-829	106	14	greatest	great	ADJ
ijassa-829	106	15	correspondent	correspondent	NOUN
ijassa-829	106	16	tensor	tensor	NOUN
ijassa-829	106	17	product	product	NOUN
ijassa-829	106	18	estimation	estimation	NOUN
ijassa-829	106	19	in	in	ADP
ijassa-829	106	20	the	the	DET
ijassa-829	106	21	lattice	lattice	NOUN
ijassa-829	106	22	(	(	PUNCT
ijassa-829	106	23	the	the	DET
ijassa-829	106	24	product	product	NOUN
ijassa-829	106	25	is	be	AUX
ijassa-829	106	26	an	an	DET
ijassa-829	106	27	element	element	NOUN
ijassa-829	106	28	of	of	ADP
ijassa-829	106	29	the	the	DET
ijassa-829	106	30	lattice	lattice	NOUN
ijassa-829	106	31	;	;	PUNCT
ijassa-829	106	32	hence	hence	ADV
ijassa-829	106	33	the	the	PRON
ijassa-829	106	34	higher	high	ADJ
ijassa-829	106	35	it	it	PRON
ijassa-829	106	36	lies	lie	VERB
ijassa-829	106	37	,	,	PUNCT
ijassa-829	106	38	the	the	DET
ijassa-829	106	39	more	more	ADV
ijassa-829	106	40	important	important	ADJ
ijassa-829	106	41	it	it	PRON
ijassa-829	106	42	is	be	AUX
ijassa-829	106	43	,	,	PUNCT
ijassa-829	106	44	i.e.	i.e.	X
ijassa-829	106	45	,	,	PUNCT
ijassa-829	106	46	the	the	PRON
ijassa-829	106	47	greater	great	ADJ
ijassa-829	106	48	its	its	PRON
ijassa-829	106	49	truth	truth	NOUN
ijassa-829	106	50	-	-	PUNCT
ijassa-829	106	51	value	value	NOUN
ijassa-829	106	52	is	be	AUX
ijassa-829	106	53	)	)	PUNCT
ijassa-829	106	54	.	.	PUNCT
ijassa-829	107	1	it	it	PRON
ijassa-829	107	2	is	be	AUX
ijassa-829	107	3	supposed	suppose	VERB
ijassa-829	107	4	some	some	DET
ijassa-829	107	5	initial	initial	ADJ
ijassa-829	107	6	agent	agent	NOUN
ijassa-829	107	7	goal	goal	NOUN
ijassa-829	107	8	distribution	distribution	NOUN
ijassa-829	107	9	.	.	PUNCT
ijassa-829	108	1	for	for	ADP
ijassa-829	108	2	such	such	DET
ijassa-829	108	3	a	a	DET
ijassa-829	108	4	system	system	NOUN
ijassa-829	108	5	,	,	PUNCT
ijassa-829	108	6	we	we	PRON
ijassa-829	108	7	consider	consider	VERB
ijassa-829	108	8	the	the	DET
ijassa-829	108	9	process	process	NOUN
ijassa-829	108	10	of	of	ADP
ijassa-829	108	11	the	the	DET
ijassa-829	108	12	interaction	interaction	NOUN
ijassa-829	108	13	of	of	ADP
ijassa-829	108	14	the	the	DET
ijassa-829	108	15	system	system	NOUN
ijassa-829	108	16	with	with	ADP
ijassa-829	108	17	the	the	DET
ijassa-829	108	18	environment	environment	NOUN
ijassa-829	108	19	as	as	ADP
ijassa-829	108	20	a	a	DET
ijassa-829	108	21	conway	conway	NOUN
ijassa-829	108	22	game	game	NOUN
ijassa-829	108	23	.	.	PUNCT
ijassa-829	109	1	in	in	ADP
ijassa-829	109	2	the	the	DET
ijassa-829	109	3	game	game	NOUN
ijassa-829	109	4	,	,	PUNCT
ijassa-829	109	5	the	the	DET
ijassa-829	109	6	environment	environment	NOUN
ijassa-829	109	7	is	be	AUX
ijassa-829	109	8	the	the	DET
ijassa-829	109	9	proponent	proponent	NOUN
ijassa-829	109	10	which	which	PRON
ijassa-829	109	11	provides	provide	VERB
ijassa-829	109	12	the	the	DET
ijassa-829	109	13	system	system	NOUN
ijassa-829	109	14	(	(	PUNCT
ijassa-829	109	15	the	the	DET
ijassa-829	109	16	opponent	opponent	NOUN
ijassa-829	109	17	)	)	PUNCT
ijassa-829	109	18	with	with	ADP
ijassa-829	109	19	the	the	DET
ijassa-829	109	20	information	information	NOUN
ijassa-829	109	21	about	about	ADP
ijassa-829	109	22	the	the	DET
ijassa-829	109	23	environment	environment	NOUN
ijassa-829	109	24	objects	object	VERB
ijassa-829	109	25	.	.	PUNCT
ijassa-829	110	1	the	the	DET
ijassa-829	110	2	opponent	opponent	NOUN
ijassa-829	110	3	moves	move	VERB
ijassa-829	110	4	from	from	ADP
ijassa-829	110	5	one	one	NUM
ijassa-829	110	6	position	position	NOUN
ijassa-829	110	7	in	in	ADP
ijassa-829	110	8	the	the	DET
ijassa-829	110	9	environment	environment	NOUN
ijassa-829	110	10	to	to	ADP
ijassa-829	110	11	the	the	DET
ijassa-829	110	12	other	other	ADJ
ijassa-829	110	13	by	by	ADP
ijassa-829	110	14	the	the	DET
ijassa-829	110	15	use	use	NOUN
ijassa-829	110	16	of	of	ADP
ijassa-829	110	17	the	the	DET
ijassa-829	110	18	information	information	NOUN
ijassa-829	110	19	to	to	PART
ijassa-829	110	20	achieve	achieve	VERB
ijassa-829	110	21	his	his	PRON
ijassa-829	110	22	goals	goal	NOUN
ijassa-829	110	23	.	.	PUNCT
ijassa-829	111	1	for	for	ADP
ijassa-829	111	2	the	the	DET
ijassa-829	111	3	system	system	NOUN
ijassa-829	111	4	of	of	ADP
ijassa-829	111	5	l	l	NOUN
ijassa-829	111	6	agents	agent	NOUN
ijassa-829	111	7	,	,	PUNCT
ijassa-829	111	8	we	we	PRON
ijassa-829	111	9	,	,	PUNCT
ijassa-829	111	10	in	in	ADP
ijassa-829	111	11	fact	fact	NOUN
ijassa-829	111	12	,	,	PUNCT
ijassa-829	111	13	have	have	VERB
ijassa-829	111	14	l	l	NOUN
ijassa-829	111	15	parallel	parallel	NOUN
ijassa-829	111	16	processes	process	NOUN
ijassa-829	111	17	and	and	CCONJ
ijassa-829	111	18	,	,	PUNCT
ijassa-829	111	19	therefore	therefore	ADV
ijassa-829	111	20	,	,	PUNCT
ijassa-829	111	21	the	the	DET
ijassa-829	111	22	resulting	result	VERB
ijassa-829	111	23	game	game	NOUN
ijassa-829	111	24	is	be	AUX
ijassa-829	111	25	their	their	PRON
ijassa-829	111	26	tensor	tensor	NOUN
ijassa-829	111	27	product	product	NOUN
ijassa-829	111	28	.	.	PUNCT
ijassa-829	112	1	thus	thus	ADV
ijassa-829	112	2	,	,	PUNCT
ijassa-829	112	3	agents	agent	NOUN
ijassa-829	112	4	are	be	AUX
ijassa-829	112	5	placed	place	VERB
ijassa-829	112	6	initially	initially	ADV
ijassa-829	112	7	in	in	ADP
ijassa-829	112	8	the	the	DET
ijassa-829	112	9	configuration	configuration	NOUN
ijassa-829	112	10	space	space	NOUN
ijassa-829	112	11	(	(	PUNCT
ijassa-829	112	12	environment	environment	NOUN
ijassa-829	112	13	)	)	PUNCT
ijassa-829	112	14	in	in	ADP
ijassa-829	112	15	the	the	DET
ijassa-829	112	16	root	root	NOUN
ijassa-829	112	17	∗=∗1	∗=∗1	PUNCT
ijassa-829	112	18	⨂	⨂	X
ijassa-829	112	19	…	…	PUNCT
ijassa-829	112	20	⨂	⨂	NOUN
ijassa-829	112	21	∗𝑙	∗𝑙	PROPN
ijassa-829	112	22	of	of	ADP
ijassa-829	112	23	the	the	DET
ijassa-829	112	24	system	system	NOUN
ijassa-829	112	25	game	game	NOUN
ijassa-829	112	26	𝐴	𝐴	PROPN
ijassa-829	112	27	=	=	SYM
ijassa-829	112	28	𝐴1	𝐴1	PROPN
ijassa-829	112	29	⨂	⨂	PROPN
ijassa-829	112	30	…	…	PUNCT
ijassa-829	112	31	⨂𝐴𝑙	⨂𝐴𝑙	VERB
ijassa-829	112	32	with	with	ADP
ijassa-829	112	33	the	the	DET
ijassa-829	112	34	system	system	NOUN
ijassa-829	112	35	goal	goal	NOUN
ijassa-829	112	36	lattice	lattice	VERB
ijassa-829	112	37	ms	ms	NOUN
ijassa-829	112	38	and	and	CCONJ
ijassa-829	112	39	agent	agent	NOUN
ijassa-829	112	40	intention	intention	NOUN
ijassa-829	112	41	lattices	lattice	NOUN
ijassa-829	112	42	mi	mi	PROPN
ijassa-829	112	43	,	,	PUNCT
ijassa-829	112	44	𝑖	𝑖	SYM
ijassa-829	112	45	=	=	NOUN
ijassa-829	112	46	1	1	X
ijassa-829	112	47	.	.	PUNCT
ijassa-829	112	48	.	.	PUNCT
ijassa-829	113	1	𝑙.	𝑙.	NOUN
ijassa-829	114	1	the	the	DET
ijassa-829	114	2	game	game	NOUN
ijassa-829	114	3	aj	aj	PROPN
ijassa-829	114	4	represents	represent	VERB
ijassa-829	114	5	possible	possible	ADJ
ijassa-829	114	6	agent	agent	NOUN
ijassa-829	114	7	moves	move	NOUN
ijassa-829	114	8	in	in	ADP
ijassa-829	114	9	the	the	DET
ijassa-829	114	10	environment	environment	NOUN
ijassa-829	114	11	.	.	PUNCT
ijassa-829	115	1	but	but	CCONJ
ijassa-829	115	2	the	the	DET
ijassa-829	115	3	real	real	ADJ
ijassa-829	115	4	trajectory	trajectory	NOUN
ijassa-829	115	5	or	or	CCONJ
ijassa-829	115	6	the	the	DET
ijassa-829	115	7	play	play	NOUN
ijassa-829	115	8	is	be	AUX
ijassa-829	115	9	chosen	choose	VERB
ijassa-829	115	10	from	from	ADP
ijassa-829	115	11	the	the	DET
ijassa-829	115	12	demand	demand	NOUN
ijassa-829	115	13	of	of	ADP
ijassa-829	115	14	the	the	DET
ijassa-829	115	15	maximal	maximal	ADJ
ijassa-829	115	16	total	total	ADJ
ijassa-829	115	17	position	position	NOUN
ijassa-829	115	18	reward	reward	NOUN
ijassa-829	115	19	along	along	ADP
ijassa-829	115	20	the	the	DET
ijassa-829	115	21	projected	project	VERB
ijassa-829	115	22	path	path	NOUN
ijassa-829	115	23	.	.	PUNCT
ijassa-829	116	1	the	the	DET
ijassa-829	116	2	agent	agent	NOUN
ijassa-829	116	3	move	move	NOUN
ijassa-829	116	4	in	in	ADP
ijassa-829	116	5	the	the	DET
ijassa-829	116	6	environment	environment	NOUN
ijassa-829	116	7	is	be	AUX
ijassa-829	116	8	estimated	estimate	VERB
ijassa-829	116	9	corresponding	correspond	VERB
ijassa-829	116	10	to	to	ADP
ijassa-829	116	11	an	an	DET
ijassa-829	116	12	optimality	optimality	NOUN
ijassa-829	116	13	criterion	criterion	NOUN
ijassa-829	116	14	with	with	ADP
ijassa-829	116	15	the	the	DET
ijassa-829	116	16	reward	reward	NOUN
ijassa-829	116	17	𝑘(𝑝𝑖	𝑘(𝑝𝑖	PROPN
ijassa-829	116	18	,	,	PUNCT
ijassa-829	116	19	𝑏𝑗	𝑏𝑗	NOUN
ijassa-829	116	20	)	)	PUNCT
ijassa-829	116	21	in	in	ADP
ijassa-829	116	22	the	the	DET
ijassa-829	116	23	position	position	NOUN
ijassa-829	116	24	𝑝𝑖of	𝑝𝑖of	VERB
ijassa-829	116	25	the	the	DET
ijassa-829	116	26	goal	goal	NOUN
ijassa-829	116	27	𝑏𝑗achieving	𝑏𝑗achieve	VERB
ijassa-829	116	28	process	process	NOUN
ijassa-829	116	29	.	.	PUNCT
ijassa-829	117	1	it	it	PRON
ijassa-829	117	2	may	may	AUX
ijassa-829	117	3	be	be	AUX
ijassa-829	117	4	that	that	SCONJ
ijassa-829	117	5	the	the	DET
ijassa-829	117	6	system	system	NOUN
ijassa-829	117	7	does	do	AUX
ijassa-829	117	8	not	not	PART
ijassa-829	117	9	see	see	VERB
ijassa-829	117	10	any	any	DET
ijassa-829	117	11	goal	goal	NOUN
ijassa-829	117	12	initially	initially	ADV
ijassa-829	117	13	and	and	CCONJ
ijassa-829	117	14	moves	move	NOUN
ijassa-829	117	15	according	accord	VERB
ijassa-829	117	16	to	to	ADP
ijassa-829	117	17	a	a	DET
ijassa-829	117	18	criterion	criterion	NOUN
ijassa-829	117	19	of	of	ADP
ijassa-829	117	20	an	an	DET
ijassa-829	117	21	optimal	optimal	ADJ
ijassa-829	117	22	move	move	NOUN
ijassa-829	117	23	in	in	ADP
ijassa-829	117	24	goals	goal	NOUN
ijassa-829	117	25	absence	absence	NOUN
ijassa-829	117	26	.	.	PUNCT
ijassa-829	118	1	thus	thus	ADV
ijassa-829	118	2	,	,	PUNCT
ijassa-829	118	3	the	the	DET
ijassa-829	118	4	system	system	NOUN
ijassa-829	118	5	has	have	AUX
ijassa-829	118	6	additionally	additionally	ADV
ijassa-829	118	7	l	l	NOUN
ijassa-829	118	8	goals	goal	NOUN
ijassa-829	118	9	(	(	PUNCT
ijassa-829	118	10	tasks	task	NOUN
ijassa-829	118	11	)	)	PUNCT
ijassa-829	118	12	𝑎𝑗of	𝑎𝑗of	NOUN
ijassa-829	118	13	movement	movement	NOUN
ijassa-829	118	14	in	in	ADP
ijassa-829	118	15	the	the	DET
ijassa-829	118	16	environment	environment	NOUN
ijassa-829	118	17	,	,	PUNCT
ijassa-829	118	18	which	which	PRON
ijassa-829	118	19	are	be	AUX
ijassa-829	118	20	included	include	VERB
ijassa-829	118	21	as	as	ADP
ijassa-829	118	22	in	in	ADP
ijassa-829	118	23	the	the	DET
ijassa-829	118	24	generator	generator	NOUN
ijassa-829	118	25	set	set	NOUN
ijassa-829	118	26	of	of	ADP
ijassa-829	118	27	the	the	DET
ijassa-829	118	28	lattice	lattice	PROPN
ijassa-829	118	29	ms	ms	PROPN
ijassa-829	118	30	,	,	PUNCT
ijassa-829	118	31	as	as	ADP
ijassa-829	118	32	in	in	ADP
ijassa-829	118	33	the	the	DET
ijassa-829	118	34	generator	generator	NOUN
ijassa-829	118	35	sets	set	NOUN
ijassa-829	118	36	of	of	ADP
ijassa-829	118	37	lattices	lattice	NOUN
ijassa-829	118	38	mi	mi	PROPN
ijassa-829	118	39	.	.	PROPN
ijassa-829	118	40	the	the	DET
ijassa-829	118	41	optimality	optimality	NOUN
ijassa-829	118	42	criterion	criterion	NOUN
ijassa-829	118	43	may	may	AUX
ijassa-829	118	44	represent	represent	VERB
ijassa-829	118	45	the	the	DET
ijassa-829	118	46	highest	high	ADJ
ijassa-829	118	47	degree	degree	NOUN
ijassa-829	118	48	of	of	ADP
ijassa-829	118	49	the	the	DET
ijassa-829	118	50	correspondence	correspondence	NOUN
ijassa-829	118	51	to	to	ADP
ijassa-829	118	52	the	the	DET
ijassa-829	118	53	demanding	demand	VERB
ijassa-829	118	54	system	system	NOUN
ijassa-829	118	55	configuration	configuration	NOUN
ijassa-829	118	56	,	,	PUNCT
ijassa-829	118	57	or	or	CCONJ
ijassa-829	118	58	the	the	DET
ijassa-829	118	59	highest	high	ADJ
ijassa-829	118	60	freedom	freedom	NOUN
ijassa-829	118	61	in	in	ADP
ijassa-829	118	62	future	future	ADJ
ijassa-829	118	63	moves	move	NOUN
ijassa-829	118	64	or	or	CCONJ
ijassa-829	118	65	the	the	DET
ijassa-829	118	66	most	most	ADV
ijassa-829	118	67	excellent	excellent	ADJ
ijassa-829	118	68	visibility	visibility	NOUN
ijassa-829	118	69	from	from	ADP
ijassa-829	118	70	a	a	DET
ijassa-829	118	71	position	position	NOUN
ijassa-829	118	72	or	or	CCONJ
ijassa-829	118	73	so	so	ADV
ijassa-829	118	74	on	on	ADV
ijassa-829	118	75	in	in	ADP
ijassa-829	118	76	the	the	DET
ijassa-829	118	77	case	case	NOUN
ijassa-829	118	78	of	of	ADP
ijassa-829	118	79	the	the	DET
ijassa-829	118	80	free	free	ADJ
ijassa-829	118	81	movement	movement	NOUN
ijassa-829	118	82	in	in	ADP
ijassa-829	118	83	the	the	DET
ijassa-829	118	84	goals	goal	NOUN
ijassa-829	118	85	absence	absence	NOUN
ijassa-829	118	86	.	.	PUNCT
ijassa-829	119	1	and	and	CCONJ
ijassa-829	119	2	in	in	ADP
ijassa-829	119	3	the	the	DET
ijassa-829	119	4	case	case	NOUN
ijassa-829	119	5	of	of	ADP
ijassa-829	119	6	the	the	DET
ijassa-829	119	7	system	system	NOUN
ijassa-829	119	8	goals	goal	NOUN
ijassa-829	119	9	achieving	achieve	VERB
ijassa-829	119	10	we	we	PRON
ijassa-829	119	11	suppose	suppose	VERB
ijassa-829	119	12	the	the	DET
ijassa-829	119	13	better	well	ADJ
ijassa-829	119	14	a	a	DET
ijassa-829	119	15	goal	goal	NOUN
ijassa-829	119	16	object	object	NOUN
ijassa-829	119	17	is	be	AUX
ijassa-829	119	18	visible	visible	ADJ
ijassa-829	119	19	,	,	PUNCT
ijassa-829	119	20	the	the	PRON
ijassa-829	119	21	higher	high	ADJ
ijassa-829	119	22	the	the	DET
ijassa-829	119	23	reward	reward	NOUN
ijassa-829	119	24	is	be	AUX
ijassa-829	119	25	.	.	PUNCT
ijassa-829	120	1	it	it	PRON
ijassa-829	120	2	is	be	AUX
ijassa-829	120	3	supposed	suppose	VERB
ijassa-829	120	4	that	that	SCONJ
ijassa-829	120	5	agents	agent	NOUN
ijassa-829	120	6	see	see	VERB
ijassa-829	120	7	not	not	PART
ijassa-829	120	8	the	the	DET
ijassa-829	120	9	whole	whole	ADJ
ijassa-829	120	10	environment	environment	NOUN
ijassa-829	120	11	,	,	PUNCT
ijassa-829	120	12	but	but	CCONJ
ijassa-829	120	13	up	up	ADP
ijassa-829	120	14	to	to	ADP
ijassa-829	120	15	some	some	DET
ijassa-829	120	16	horizon	horizon	NOUN
ijassa-829	120	17	which	which	PRON
ijassa-829	120	18	may	may	AUX
ijassa-829	120	19	change	change	VERB
ijassa-829	120	20	in	in	ADP
ijassa-829	120	21	each	each	DET
ijassa-829	120	22	direction	direction	NOUN
ijassa-829	120	23	fig	fig	NOUN
ijassa-829	120	24	.	.	PUNCT
ijassa-829	121	1	3.1	3.1	NUM
ijassa-829	121	2	.	.	PUNCT
ijassa-829	122	1	moreover	moreover	ADV
ijassa-829	122	2	,	,	PUNCT
ijassa-829	122	3	the	the	DET
ijassa-829	122	4	agent	agent	NOUN
ijassa-829	122	5	sees	see	VERB
ijassa-829	122	6	the	the	DET
ijassa-829	122	7	environment	environment	NOUN
ijassa-829	122	8	as	as	ADP
ijassa-829	122	9	in	in	ADP
ijassa-829	122	10	the	the	DET
ijassa-829	122	11	fog	fog	NOUN
ijassa-829	122	12	–	–	PUNCT
ijassa-829	122	13	the	the	PRON
ijassa-829	122	14	nearer	near	ADJ
ijassa-829	122	15	the	the	DET
ijassa-829	122	16	object	object	NOUN
ijassa-829	122	17	,	,	PUNCT
ijassa-829	122	18	the	the	PRON
ijassa-829	122	19	better	well	ADJ
ijassa-829	122	20	it	it	PRON
ijassa-829	122	21	is	be	AUX
ijassa-829	122	22	perceived†.	perceived†.	NUM
ijassa-829	122	23	therefore	therefore	ADV
ijassa-829	122	24	,	,	PUNCT
ijassa-829	122	25	we	we	PRON
ijassa-829	122	26	can	can	AUX
ijassa-829	122	27	predict	predict	VERB
ijassa-829	122	28	a	a	DET
ijassa-829	122	29	play	play	NOUN
ijassa-829	122	30	only	only	ADV
ijassa-829	122	31	up	up	ADP
ijassa-829	122	32	to	to	ADP
ijassa-829	122	33	some	some	DET
ijassa-829	122	34	finite	finite	ADJ
ijassa-829	122	35	step	step	NOUN
ijassa-829	122	36	number	number	NOUN
ijassa-829	122	37	with	with	ADP
ijassa-829	122	38	the	the	DET
ijassa-829	122	39	increasing	increase	VERB
ijassa-829	122	40	uncertainty	uncertainty	NOUN
ijassa-829	122	41	along	along	ADP
ijassa-829	122	42	the	the	DET
ijassa-829	122	43	path	path	NOUN
ijassa-829	122	44	.	.	PUNCT
ijassa-829	123	1	let	let	VERB
ijassa-829	123	2	us	we	PRON
ijassa-829	123	3	n	n	PROPN
ijassa-829	123	4	goals	goal	VERB
ijassa-829	123	5	b1	b1	VERB
ijassa-829	123	6	…	…	SYM
ijassa-829	123	7	bn	bn	NUM
ijassa-829	123	8	are	be	AUX
ijassa-829	123	9	discovered	discover	VERB
ijassa-829	123	10	in	in	ADP
ijassa-829	123	11	the	the	DET
ijassa-829	123	12	environment	environment	NOUN
ijassa-829	123	13	by	by	ADP
ijassa-829	123	14	the	the	DET
ijassa-829	123	15	system	system	NOUN
ijassa-829	123	16	with	with	ADP
ijassa-829	123	17	information	information	NOUN
ijassa-829	123	18	about	about	ADP
ijassa-829	123	19	them	they	PRON
ijassa-829	123	20	(	(	PUNCT
ijassa-829	123	21	or	or	CCONJ
ijassa-829	123	22	some	some	DET
ijassa-829	123	23	other	other	ADJ
ijassa-829	123	24	reward	reward	NOUN
ijassa-829	123	25	)	)	PUNCT
ijassa-829	124	1	𝑘(𝑝𝑖	𝑘(𝑝𝑖	PROPN
ijassa-829	124	2	,	,	PUNCT
ijassa-829	124	3	𝑏𝑗	𝑏𝑗	NOUN
ijassa-829	124	4	)	)	PUNCT
ijassa-829	124	5	in	in	ADP
ijassa-829	124	6	positions	position	NOUN
ijassa-829	124	7	𝑝𝑖of	𝑝𝑖of	VERB
ijassa-829	124	8	the	the	DET
ijassa-829	124	9	play	play	NOUN
ijassa-829	124	10	𝐴	𝐴	PROPN
ijassa-829	124	11	=	=	SYM
ijassa-829	124	12	𝐴1	𝐴1	PROPN
ijassa-829	124	13	⨂	⨂	PROPN
ijassa-829	124	14	…	…	PUNCT
ijassa-829	124	15	⨂𝐴𝑙of	⨂𝐴𝑙of	NUM
ijassa-829	124	16	l	l	NOUN
ijassa-829	124	17	agents	agent	NOUN
ijassa-829	124	18	.	.	PUNCT
ijassa-829	125	1	the	the	DET
ijassa-829	125	2	game	game	NOUN
ijassa-829	125	3	a	a	DET
ijassa-829	125	4	corresponds	correspond	NOUN
ijassa-829	125	5	to	to	ADP
ijassa-829	125	6	l	l	NOUN
ijassa-829	125	7	parallel	parallel	NOUN
ijassa-829	125	8	processes	process	NOUN
ijassa-829	125	9	of	of	ADP
ijassa-829	125	10	achieving	achieve	VERB
ijassa-829	125	11	l	l	NOUN
ijassa-829	125	12	movement	movement	NOUN
ijassa-829	125	13	goals	goal	NOUN
ijassa-829	125	14	𝑎𝑗.	𝑎𝑗.	VERB
ijassa-829	125	15	then	then	ADV
ijassa-829	125	16	,	,	PUNCT
ijassa-829	125	17	a	a	DET
ijassa-829	125	18	winning	win	VERB
ijassa-829	125	19	strategy	strategy	NOUN
ijassa-829	125	20	of	of	ADP
ijassa-829	125	21	the	the	DET
ijassa-829	125	22	game𝐴′	game𝐴′	X
ijassa-829	125	23	=	=	SYM
ijassa-829	125	24	𝐴1	𝐴1	PROPN
ijassa-829	125	25	⨂	⨂	X
ijassa-829	125	26	…	…	PUNCT
ijassa-829	125	27	⨂𝐴𝑙	⨂𝐴𝑙	VERB
ijassa-829	125	28	⇒	⇒	NOUN
ijassa-829	125	29	𝐵1	𝐵1	PROPN
ijassa-829	125	30	⨂	⨂	PROPN
ijassa-829	125	31	…	…	PUNCT
ijassa-829	125	32	⨂𝐵𝑘defines	⨂𝐵𝑘define	VERB
ijassa-829	125	33	a	a	DET
ijassa-829	125	34	transition	transition	NOUN
ijassa-829	125	35	(	(	PUNCT
ijassa-829	125	36	morphism	morphism	NOUN
ijassa-829	125	37	)	)	PUNCT
ijassa-829	125	38	to	to	ADP
ijassa-829	125	39	this	this	DET
ijassa-829	125	40	new	new	ADJ
ijassa-829	125	41	game	game	NOUN
ijassa-829	125	42	𝐴′.	𝐴′.	NOUN
ijassa-829	125	43	this	this	DET
ijassa-829	125	44	game	game	NOUN
ijassa-829	125	45	corresponds	correspond	VERB
ijassa-829	125	46	to	to	ADP
ijassa-829	125	47	l	l	NOUN
ijassa-829	125	48	parallel	parallel	NOUN
ijassa-829	125	49	processes	process	NOUN
ijassa-829	125	50	of	of	ADP
ijassa-829	125	51	moving	move	VERB
ijassa-829	125	52	and	and	CCONJ
ijassa-829	125	53	achieving	achieve	VERB
ijassa-829	125	54	those	those	DET
ijassa-829	125	55	k	k	PROPN
ijassa-829	125	56	goals	goal	NOUN
ijassa-829	125	57	from	from	ADP
ijassa-829	125	58	discovered	discover	VERB
ijassa-829	125	59	n	n	PRON
ijassa-829	125	60	ones	one	NOUN
ijassa-829	125	61	,	,	PUNCT
ijassa-829	125	62	which	which	PRON
ijassa-829	125	63	may	may	AUX
ijassa-829	125	64	be	be	AUX
ijassa-829	125	65	better	well	ADV
ijassa-829	125	66	achieved	achieve	VERB
ijassa-829	125	67	in	in	ADP
ijassa-829	125	68	the	the	DET
ijassa-829	125	69	next	next	ADJ
ijassa-829	125	70	sense	sense	NOUN
ijassa-829	125	71	(	(	PUNCT
ijassa-829	125	72	that	that	PRON
ijassa-829	125	73	means	mean	VERB
ijassa-829	125	74	that	that	SCONJ
ijassa-829	125	75	these	these	DET
ijassa-829	125	76	k	k	PROPN
ijassa-829	125	77	goals	goal	NOUN
ijassa-829	125	78	are	be	AUX
ijassa-829	125	79	the	the	DET
ijassa-829	125	80	system	system	NOUN
ijassa-829	125	81	intentions	intention	NOUN
ijassa-829	125	82	)	)	PUNCT
ijassa-829	125	83	.	.	PUNCT
ijassa-829	126	1	the	the	DET
ijassa-829	126	2	reward	reward	NOUN
ijassa-829	126	3	𝑘(𝑝𝑖	𝑘(𝑝𝑖	PROPN
ijassa-829	126	4	,	,	PUNCT
ijassa-829	126	5	𝑏𝑗	𝑏𝑗	PROPN
ijassa-829	126	6	)	)	PUNCT
ijassa-829	126	7	is	be	AUX
ijassa-829	126	8	some	some	DET
ijassa-829	126	9	set	set	NOUN
ijassa-829	126	10	.	.	PUNCT
ijassa-829	127	1	in	in	ADP
ijassa-829	127	2	the	the	DET
ijassa-829	127	3	case	case	NOUN
ijassa-829	127	4	of	of	ADP
ijassa-829	127	5	,	,	PUNCT
ijassa-829	127	6	e.g.	e.g.	ADV
ijassa-829	127	7	,	,	PUNCT
ijassa-829	127	8	unmanned	unmanned	ADJ
ijassa-829	127	9	vehicles	vehicle	NOUN
ijassa-829	127	10	,	,	PUNCT
ijassa-829	127	11	it	it	PRON
ijassa-829	127	12	may	may	AUX
ijassa-829	127	13	be	be	AUX
ijassa-829	127	14	an	an	DET
ijassa-829	127	15	image	image	NOUN
ijassa-829	127	16	of	of	ADP
ijassa-829	127	17	the	the	DET
ijassa-829	127	18	object	object	NOUN
ijassa-829	127	19	.	.	PUNCT
ijassa-829	128	1	the	the	PRON
ijassa-829	128	2	better	well	ADJ
ijassa-829	128	3	the	the	DET
ijassa-829	128	4	object	object	NOUN
ijassa-829	128	5	is	be	AUX
ijassa-829	128	6	visible	visible	ADJ
ijassa-829	128	7	,	,	PUNCT
ijassa-829	128	8	the	the	PRON
ijassa-829	128	9	better	well	ADJ
ijassa-829	128	10	the	the	DET
ijassa-829	128	11	coincidence	coincidence	NOUN
ijassa-829	128	12	of	of	ADP
ijassa-829	128	13	the	the	DET
ijassa-829	128	14	image	image	NOUN
ijassa-829	128	15	with	with	ADP
ijassa-829	128	16	the	the	DET
ijassa-829	128	17	original	original	ADJ
ijassa-829	128	18	and	and	CCONJ
ijassa-829	128	19	the	the	PRON
ijassa-829	128	20	greater	great	ADJ
ijassa-829	128	21	the	the	DET
ijassa-829	128	22	reward	reward	NOUN
ijassa-829	128	23	.	.	PUNCT
ijassa-829	129	1	†	†	X
ijassa-829	130	1	it	it	PRON
ijassa-829	130	2	is	be	AUX
ijassa-829	130	3	possible	possible	ADJ
ijassa-829	130	4	to	to	PART
ijassa-829	130	5	consider	consider	VERB
ijassa-829	130	6	different	different	ADJ
ijassa-829	130	7	horizons	horizon	NOUN
ijassa-829	130	8	and	and	CCONJ
ijassa-829	130	9	different	different	ADJ
ijassa-829	130	10	uncertainty	uncertainty	NOUN
ijassa-829	130	11	degree	degree	NOUN
ijassa-829	130	12	for	for	ADP
ijassa-829	130	13	different	different	ADJ
ijassa-829	130	14	goals	goal	NOUN
ijassa-829	130	15	.	.	PUNCT
ijassa-829	131	1	we	we	PRON
ijassa-829	131	2	do	do	AUX
ijassa-829	131	3	not	not	PART
ijassa-829	131	4	do	do	VERB
ijassa-829	131	5	it	it	PRON
ijassa-829	131	6	here	here	ADV
ijassa-829	131	7	.	.	PUNCT
ijassa-829	132	1	84	84	NUM
ijassa-829	132	2	d.	d.	PROPN
ijassa-829	132	3	maximov	maximov	PROPN
ijassa-829	132	4	copyright	copyright	NOUN
ijassa-829	132	5	©	©	PROPN
ijassa-829	132	6	2019	2019	NUM
ijassa-829	132	7	assa	assa	PROPN
ijassa-829	132	8	adv	adv	PROPN
ijassa-829	132	9	.	.	PUNCT
ijassa-829	133	1	in	in	ADP
ijassa-829	133	2	systems	system	NOUN
ijassa-829	133	3	science	science	NOUN
ijassa-829	133	4	and	and	CCONJ
ijassa-829	133	5	appl	appl	NOUN
ijassa-829	133	6	.	.	PUNCT
ijassa-829	134	1	(	(	PUNCT
ijassa-829	134	2	2019	2019	NUM
ijassa-829	134	3	)	)	PUNCT
ijassa-829	134	4	fig	fig	NOUN
ijassa-829	134	5	.	.	PUNCT
ijassa-829	135	1	3.1.the	3.1.the	DET
ijassa-829	135	2	visibility	visibility	NOUN
ijassa-829	135	3	horizon	horizon	NOUN
ijassa-829	135	4	it	it	PRON
ijassa-829	135	5	is	be	AUX
ijassa-829	135	6	reasonable	reasonable	ADJ
ijassa-829	135	7	to	to	PART
ijassa-829	135	8	choose	choose	VERB
ijassa-829	135	9	the	the	DET
ijassa-829	135	10	trajectory	trajectory	NOUN
ijassa-829	135	11	(	(	PUNCT
ijassa-829	135	12	play	play	NOUN
ijassa-829	135	13	)	)	PUNCT
ijassa-829	135	14	from	from	ADP
ijassa-829	135	15	the	the	DET
ijassa-829	135	16	demand	demand	NOUN
ijassa-829	135	17	to	to	PART
ijassa-829	135	18	maximize	maximize	VERB
ijassa-829	135	19	the	the	DET
ijassa-829	135	20	reward	reward	NOUN
ijassa-829	135	21	along	along	ADP
ijassa-829	135	22	the	the	DET
ijassa-829	135	23	path	path	NOUN
ijassa-829	135	24	within	within	ADP
ijassa-829	135	25	the	the	DET
ijassa-829	135	26	visibility	visibility	NOUN
ijassa-829	135	27	horizon	horizon	NOUN
ijassa-829	135	28	:	:	PUNCT
ijassa-829	135	29	𝑘𝑝𝑙𝑎𝑦	𝑘𝑝𝑙𝑎𝑦	NOUN
ijassa-829	135	30	(	(	PUNCT
ijassa-829	135	31	𝐴1	𝐴1	PROPN
ijassa-829	135	32	⨂	⨂	PROPN
ijassa-829	135	33	…	…	SYM
ijassa-829	135	34	⨂𝐴𝑙)⊥ð𝐵1	⨂𝐴𝑙)⊥ð𝐵1	PROPN
ijassa-829	135	35	⨂	⨂	NOUN
ijassa-829	135	36	…	…	SYM
ijassa-829	135	37	⨂𝐵𝑘	⨂𝐵𝑘	NOUN
ijassa-829	136	1	=	=	X
ijassa-829	136	2	(	(	PUNCT
ijassa-829	136	3	3.1	3.1	NUM
ijassa-829	136	4	)	)	PUNCT
ijassa-829	136	5	=	=	SYM
ijassa-829	136	6	𝑚𝑎𝑥𝑝𝑙𝑎𝑦𝑠	𝑚𝑎𝑥𝑝𝑙𝑎𝑦𝑠	NOUN
ijassa-829	136	7	[	[	PUNCT
ijassa-829	136	8	⋃	⋃	PROPN
ijassa-829	136	9	𝑘(𝐴1	𝑘(𝐴1	PROPN
ijassa-829	136	10	⨂	⨂	NOUN
ijassa-829	136	11	…	…	SYM
ijassa-829	136	12	⨂𝐴𝑙)⊥	⨂𝐴𝑙)⊥	NOUN
ijassa-829	136	13	𝑝𝑙𝑎𝑦	𝑝𝑙𝑎𝑦	NOUN
ijassa-829	136	14	&	&	CCONJ
ijassa-829	136	15	⋃	⋃	PROPN
ijassa-829	136	16	𝑘𝐵1	𝑘𝐵1	PROPN
ijassa-829	136	17	𝑝𝑙𝑎𝑦	𝑝𝑙𝑎𝑦	NOUN
ijassa-829	136	18	&	&	CCONJ
ijassa-829	136	19	…	…	PUNCT
ijassa-829	136	20	&	&	CCONJ
ijassa-829	136	21	⋃	⋃	ADP
ijassa-829	136	22	𝑘𝐵𝑘	𝑘𝐵𝑘	ADJ
ijassa-829	136	23	𝑝𝑙𝑎𝑦	𝑝𝑙𝑎𝑦	NOUN
ijassa-829	136	24	here	here	ADV
ijassa-829	136	25	the	the	DET
ijassa-829	136	26	reward	reward	NOUN
ijassa-829	136	27	𝑘𝑝𝑙𝑎𝑦	𝑘𝑝𝑙𝑎𝑦	NOUN
ijassa-829	136	28	(	(	PUNCT
ijassa-829	136	29	𝐴1	𝐴1	PROPN
ijassa-829	136	30	⨂	⨂	PROPN
ijassa-829	136	31	…	…	SYM
ijassa-829	136	32	⨂𝐴𝑙)⊥ð𝐵1	⨂𝐴𝑙)⊥ð𝐵1	CCONJ
ijassa-829	136	33	⨂	⨂	PROPN
ijassa-829	136	34	…	…	SYM
ijassa-829	136	35	⨂𝐵𝑘	⨂𝐵𝑘	NOUN
ijassa-829	136	36	is	be	AUX
ijassa-829	136	37	maximized	maximize	VERB
ijassa-829	136	38	in	in	ADP
ijassa-829	136	39	the	the	DET
ijassa-829	136	40	game	game	NOUN
ijassa-829	136	41	𝐴′	𝐴′	PROPN
ijassa-829	136	42	and	and	CCONJ
ijassa-829	136	43	corresponds	correspond	VERB
ijassa-829	136	44	to	to	ADP
ijassa-829	136	45	that	that	DET
ijassa-829	136	46	process	process	NOUN
ijassa-829	136	47	of	of	ADP
ijassa-829	136	48	k	k	PROPN
ijassa-829	136	49	goals	goal	NOUN
ijassa-829	136	50	achieving	achieve	VERB
ijassa-829	136	51	that	that	PRON
ijassa-829	136	52	has	have	VERB
ijassa-829	136	53	the	the	DET
ijassa-829	136	54	highest	high	ADJ
ijassa-829	136	55	priority	priority	NOUN
ijassa-829	136	56	(	(	PUNCT
ijassa-829	136	57	𝑎1	𝑎1	ADP
ijassa-829	136	58	⨂	⨂	PROPN
ijassa-829	136	59	…	…	PUNCT
ijassa-829	136	60	⨂𝑎𝑙	⨂𝑎𝑙	NOUN
ijassa-829	136	61	)	)	PUNCT
ijassa-829	136	62	⊥ð𝑏1	⊥ð𝑏1	PROPN
ijassa-829	136	63	⨂	⨂	PROPN
ijassa-829	136	64	…	…	PUNCT
ijassa-829	136	65	⨂𝑏𝑘	⨂𝑏𝑘	NOUN
ijassa-829	136	66	in	in	ADP
ijassa-829	136	67	the	the	DET
ijassa-829	136	68	system	system	NOUN
ijassa-829	136	69	goal	goal	NOUN
ijassa-829	136	70	lattice	lattice	VERB
ijassa-829	136	71	.	.	PUNCT
ijassa-829	137	1	the	the	DET
ijassa-829	137	2	priority	priority	NOUN
ijassa-829	137	3	is	be	AUX
ijassa-829	137	4	maximal	maximal	ADJ
ijassa-829	137	5	among	among	ADP
ijassa-829	137	6	all	all	DET
ijassa-829	137	7	possible	possible	ADJ
ijassa-829	137	8	parallel	parallel	ADJ
ijassa-829	137	9	processes	process	NOUN
ijassa-829	137	10	of	of	ADP
ijassa-829	137	11	achieving	achieve	VERB
ijassa-829	137	12	n	n	PRON
ijassa-829	137	13	discovered	discover	VERB
ijassa-829	137	14	goals	goal	NOUN
ijassa-829	137	15	.	.	PUNCT
ijassa-829	138	1	the	the	DET
ijassa-829	138	2	maximum	maximum	NOUN
ijassa-829	138	3	is	be	AUX
ijassa-829	138	4	taken	take	VERB
ijassa-829	138	5	among	among	ADP
ijassa-829	138	6	all	all	DET
ijassa-829	138	7	possible	possible	ADJ
ijassa-829	138	8	plays	play	NOUN
ijassa-829	138	9	and	and	CCONJ
ijassa-829	138	10	it	it	PRON
ijassa-829	138	11	joins	join	VERB
ijassa-829	138	12	the	the	DET
ijassa-829	138	13	rewards	reward	NOUN
ijassa-829	138	14	along	along	ADP
ijassa-829	138	15	these	these	DET
ijassa-829	138	16	plays	play	NOUN
ijassa-829	138	17	(	(	PUNCT
ijassa-829	138	18	i.e.	i.e.	X
ijassa-829	138	19	,	,	PUNCT
ijassa-829	138	20	trajectories	trajectory	NOUN
ijassa-829	138	21	)	)	PUNCT
ijassa-829	138	22	in	in	SCONJ
ijassa-829	138	23	(	(	PUNCT
ijassa-829	138	24	𝐴1	𝐴1	PROPN
ijassa-829	138	25	⨂	⨂	PROPN
ijassa-829	138	26	…	…	PUNCT
ijassa-829	138	27	⨂𝐴𝑙)⊥	⨂𝐴𝑙)⊥	PROPN
ijassa-829	138	28	,	,	PUNCT
ijassa-829	138	29	and	and	CCONJ
ijassa-829	138	30	in	in	ADP
ijassa-829	138	31	𝐵1	𝐵1	PROPN
ijassa-829	138	32	,	,	PUNCT
ijassa-829	138	33	and	and	CCONJ
ijassa-829	138	34	so	so	ADV
ijassa-829	138	35	on	on	ADV
ijassa-829	138	36	and	and	CCONJ
ijassa-829	138	37	in	in	ADP
ijassa-829	138	38	𝐵𝑘.	𝐵𝑘.	PROPN
ijassa-829	138	39	thus	thus	ADV
ijassa-829	138	40	,	,	PUNCT
ijassa-829	138	41	the	the	DET
ijassa-829	138	42	sign	sign	PROPN
ijassa-829	138	43	&	&	CCONJ
ijassa-829	138	44	means	mean	VERB
ijassa-829	138	45	conjunction	conjunction	NOUN
ijassa-829	138	46	.	.	PUNCT
ijassa-829	139	1	if	if	SCONJ
ijassa-829	139	2	there	there	PRON
ijassa-829	139	3	are	be	VERB
ijassa-829	139	4	parallel	parallel	ADJ
ijassa-829	139	5	processes	process	NOUN
ijassa-829	139	6	which	which	PRON
ijassa-829	139	7	are	be	AUX
ijassa-829	139	8	not	not	PART
ijassa-829	139	9	compared	compare	VERB
ijassa-829	139	10	by	by	ADP
ijassa-829	139	11	priority	priority	NOUN
ijassa-829	139	12	,	,	PUNCT
ijassa-829	139	13	i.e.	i.e.	X
ijassa-829	139	14	,	,	PUNCT
ijassa-829	139	15	if	if	SCONJ
ijassa-829	139	16	there	there	PRON
ijassa-829	139	17	are	be	VERB
ijassa-829	139	18	several	several	ADJ
ijassa-829	139	19	incompatible	incompatible	ADJ
ijassa-829	139	20	priorities(𝑎1	priorities(𝑎1	NOUN
ijassa-829	139	21	⨂	⨂	PROPN
ijassa-829	139	22	…	…	PUNCT
ijassa-829	139	23	⨂𝑎𝑙)⊥ð𝑏1	⨂𝑎𝑙)⊥ð𝑏1	VERB
ijassa-829	139	24	⨂	⨂	NOUN
ijassa-829	139	25	…	…	PUNCT
ijassa-829	139	26	⨂𝑏𝑘	⨂𝑏𝑘	NOUN
ijassa-829	139	27	,	,	PUNCT
ijassa-829	139	28	it	it	PRON
ijassa-829	139	29	is	be	AUX
ijassa-829	139	30	possible	possible	ADJ
ijassa-829	139	31	to	to	PART
ijassa-829	139	32	reorder	reorder	VERB
ijassa-829	139	33	the	the	DET
ijassa-829	139	34	goal	goal	NOUN
ijassa-829	139	35	lattice	lattice	NOUN
ijassa-829	139	36	in	in	ADP
ijassa-829	139	37	the	the	DET
ijassa-829	139	38	manner	manner	NOUN
ijassa-829	139	39	that	that	PRON
ijassa-829	139	40	some	some	DET
ijassa-829	139	41	lattice	lattice	NOUN
ijassa-829	139	42	vertex	vertex	NOUN
ijassa-829	139	43	has	have	AUX
ijassa-829	139	44	used	use	VERB
ijassa-829	139	45	as	as	ADP
ijassa-829	139	46	an	an	DET
ijassa-829	139	47	additional	additional	ADJ
ijassa-829	139	48	priority	priority	NOUN
ijassa-829	139	49	[	[	X
ijassa-829	139	50	3	3	NUM
ijassa-829	139	51	]	]	PUNCT
ijassa-829	139	52	.	.	PUNCT
ijassa-829	140	1	in	in	ADP
ijassa-829	140	2	the	the	DET
ijassa-829	140	3	reordered	reordered	ADJ
ijassa-829	140	4	lattice	lattice	NOUN
ijassa-829	140	5	,	,	PUNCT
ijassa-829	140	6	initially	initially	ADV
ijassa-829	140	7	incompatible	incompatible	ADJ
ijassa-829	140	8	elements	element	NOUN
ijassa-829	140	9	may	may	AUX
ijassa-829	140	10	become	become	VERB
ijassa-829	140	11	compatible	compatible	ADJ
ijassa-829	140	12	,	,	PUNCT
ijassa-829	140	13	so	so	SCONJ
ijassa-829	140	14	we	we	PRON
ijassa-829	140	15	can	can	AUX
ijassa-829	140	16	choose	choose	VERB
ijassa-829	140	17	the	the	DET
ijassa-829	140	18	processes	process	NOUN
ijassa-829	140	19	’	'	PUNCT
ijassa-829	140	20	priority	priority	NOUN
ijassa-829	140	21	.	.	PUNCT
ijassa-829	141	1	such	such	DET
ijassa-829	141	2	a	a	DET
ijassa-829	141	3	lexicographical	lexicographical	ADJ
ijassa-829	141	4	rule	rule	NOUN
ijassa-829	141	5	follows	follow	VERB
ijassa-829	141	6	from	from	ADP
ijassa-829	141	7	the	the	DET
ijassa-829	141	8	teleological	teleological	ADJ
ijassa-829	141	9	system	system	NOUN
ijassa-829	141	10	assignment	assignment	NOUN
ijassa-829	141	11	,	,	PUNCT
ijassa-829	141	12	i.e.	i.e.	X
ijassa-829	141	13	,	,	PUNCT
ijassa-829	141	14	our	our	PRON
ijassa-829	141	15	vision	vision	NOUN
ijassa-829	141	16	of	of	ADP
ijassa-829	141	17	the	the	DET
ijassa-829	141	18	system	system	NOUN
ijassa-829	141	19	purpose	purpose	NOUN
ijassa-829	141	20	.	.	PUNCT
ijassa-829	142	1	it	it	PRON
ijassa-829	142	2	may	may	AUX
ijassa-829	142	3	be	be	AUX
ijassa-829	142	4	an	an	DET
ijassa-829	142	5	occasion	occasion	NOUN
ijassa-829	142	6	that	that	SCONJ
ijassa-829	142	7	the	the	DET
ijassa-829	142	8	lattice	lattice	NOUN
ijassa-829	142	9	is	be	AUX
ijassa-829	142	10	so	so	ADV
ijassa-829	142	11	symmetric	symmetric	ADJ
ijassa-829	142	12	that	that	PRON
ijassa-829	142	13	does	do	AUX
ijassa-829	142	14	not	not	PART
ijassa-829	142	15	allow	allow	VERB
ijassa-829	142	16	make	make	VERB
ijassa-829	142	17	such	such	DET
ijassa-829	142	18	a	a	DET
ijassa-829	142	19	choice	choice	NOUN
ijassa-829	142	20	.	.	PUNCT
ijassa-829	143	1	in	in	ADP
ijassa-829	143	2	this	this	DET
ijassa-829	143	3	case	case	NOUN
ijassa-829	143	4	,	,	PUNCT
ijassa-829	143	5	the	the	DET
ijassa-829	143	6	ambiguity	ambiguity	NOUN
ijassa-829	143	7	of	of	ADP
ijassa-829	143	8	the	the	DET
ijassa-829	143	9	linear	linear	ADJ
ijassa-829	143	10	logic	logic	NOUN
ijassa-829	143	11	structure	structure	NOUN
ijassa-829	143	12	allows	allow	VERB
ijassa-829	143	13	the	the	DET
ijassa-829	143	14	necessary	necessary	ADJ
ijassa-829	143	15	variant	variant	NOUN
ijassa-829	143	16	choosing	choose	VERB
ijassa-829	143	17	[	[	X
ijassa-829	143	18	8	8	NUM
ijassa-829	143	19	]	]	PUNCT
ijassa-829	143	20	.	.	PUNCT
ijassa-829	144	1	fig	fig	NOUN
ijassa-829	144	2	.	.	PUNCT
ijassa-829	145	1	3.2	3.2	NUM
ijassa-829	145	2	.	.	PUNCT
ijassa-829	146	1	an	an	DET
ijassa-829	146	2	example	example	NOUN
ijassa-829	146	3	of	of	ADP
ijassa-829	146	4	a	a	DET
ijassa-829	146	5	game	game	NOUN
ijassa-829	146	6	(	(	PUNCT
ijassa-829	146	7	depicted	depict	VERB
ijassa-829	146	8	only	only	ADV
ijassa-829	146	9	the	the	DET
ijassa-829	146	10	opponent	opponent	NOUN
ijassa-829	146	11	moves	move	VERB
ijassa-829	146	12	)	)	PUNCT
ijassa-829	146	13	an	an	DET
ijassa-829	146	14	optimal	optimal	ADJ
ijassa-829	146	15	itinerary	itinerary	ADJ
ijassa-829	146	16	generation	generation	NOUN
ijassa-829	146	17	with	with	ADP
ijassa-829	146	18	linear	linear	ADJ
ijassa-829	146	19	logic	logic	NOUN
ijassa-829	146	20	85	85	NUM
ijassa-829	146	21	copyright	copyright	NOUN
ijassa-829	146	22	©	©	PROPN
ijassa-829	146	23	2019	2019	NUM
ijassa-829	146	24	assa	assa	PROPN
ijassa-829	146	25	adv	adv	PROPN
ijassa-829	146	26	.	.	PUNCT
ijassa-829	147	1	in	in	ADP
ijassa-829	147	2	systems	system	NOUN
ijassa-829	147	3	science	science	NOUN
ijassa-829	147	4	and	and	CCONJ
ijassa-829	147	5	appl	appl	NOUN
ijassa-829	147	6	.	.	PUNCT
ijassa-829	148	1	(	(	PUNCT
ijassa-829	148	2	2019	2019	NUM
ijassa-829	148	3	)	)	PUNCT
ijassa-829	148	4	also	also	ADV
ijassa-829	148	5	,	,	PUNCT
ijassa-829	148	6	if	if	SCONJ
ijassa-829	148	7	we	we	PRON
ijassa-829	148	8	are	be	AUX
ijassa-829	148	9	not	not	PART
ijassa-829	148	10	able	able	ADJ
ijassa-829	148	11	to	to	PART
ijassa-829	148	12	determine	determine	VERB
ijassa-829	148	13	the	the	DET
ijassa-829	148	14	trajectory	trajectory	NOUN
ijassa-829	148	15	in	in	ADP
ijassa-829	148	16	(	(	PUNCT
ijassa-829	148	17	3.1	3.1	NUM
ijassa-829	148	18	)	)	PUNCT
ijassa-829	148	19	uniquely	uniquely	ADV
ijassa-829	148	20	,	,	PUNCT
ijassa-829	148	21	it	it	PRON
ijassa-829	148	22	is	be	AUX
ijassa-829	148	23	possible	possible	ADJ
ijassa-829	148	24	to	to	PART
ijassa-829	148	25	use	use	VERB
ijassa-829	148	26	the	the	DET
ijassa-829	148	27	goal	goal	NOUN
ijassa-829	148	28	lattices	lattice	NOUN
ijassa-829	148	29	of	of	ADP
ijassa-829	148	30	different	different	ADJ
ijassa-829	148	31	agents	agent	NOUN
ijassa-829	148	32	to	to	PART
ijassa-829	148	33	determine	determine	VERB
ijassa-829	148	34	the	the	DET
ijassa-829	148	35	agent	agent	NOUN
ijassa-829	148	36	(	(	PUNCT
ijassa-829	148	37	and	and	CCONJ
ijassa-829	148	38	the	the	DET
ijassa-829	148	39	correspondent	correspondent	NOUN
ijassa-829	148	40	trajectory	trajectory	NOUN
ijassa-829	148	41	)	)	PUNCT
ijassa-829	148	42	priority	priority	NOUN
ijassa-829	148	43	as	as	ADP
ijassa-829	148	44	in	in	ADP
ijassa-829	148	45	[	[	X
ijassa-829	148	46	2	2	NUM
ijassa-829	148	47	]	]	PUNCT
ijassa-829	148	48	.	.	PUNCT
ijassa-829	149	1	in	in	ADP
ijassa-829	149	2	this	this	DET
ijassa-829	149	3	case	case	NOUN
ijassa-829	149	4	,	,	PUNCT
ijassa-829	149	5	we	we	PRON
ijassa-829	149	6	assign	assign	VERB
ijassa-829	149	7	a	a	DET
ijassa-829	149	8	definite	definite	ADJ
ijassa-829	149	9	agent	agent	NOUN
ijassa-829	149	10	to	to	PART
ijassa-829	149	11	achieve	achieve	VERB
ijassa-829	149	12	a	a	DET
ijassa-829	149	13	particular	particular	ADJ
ijassa-829	149	14	goal	goal	NOUN
ijassa-829	149	15	from	from	ADP
ijassa-829	149	16	agents	agent	NOUN
ijassa-829	149	17	’	'	PUNCT
ijassa-829	149	18	intention	intention	NOUN
ijassa-829	149	19	estimations	estimation	NOUN
ijassa-829	149	20	.	.	PUNCT
ijassa-829	150	1	specifically	specifically	ADV
ijassa-829	150	2	,	,	PUNCT
ijassa-829	150	3	let	let	VERB
ijassa-829	150	4	us	we	PRON
ijassa-829	150	5	there	there	PRON
ijassa-829	150	6	are	be	VERB
ijassa-829	150	7	three	three	NUM
ijassa-829	150	8	agents	agent	NOUN
ijassa-829	150	9	’	'	PUNCT
ijassa-829	150	10	plays	play	VERB
ijassa-829	150	11	a1	a1	PROPN
ijassa-829	150	12	,	,	PUNCT
ijassa-829	150	13	a2	a2	PROPN
ijassa-829	150	14	and	and	CCONJ
ijassa-829	150	15	a3	a3	NOUN
ijassa-829	150	16	in	in	ADP
ijassa-829	150	17	which	which	PRON
ijassa-829	150	18	the	the	DET
ijassa-829	150	19	agents	agent	NOUN
ijassa-829	150	20	in	in	ADP
ijassa-829	150	21	positions	position	NOUN
ijassa-829	150	22	p1	p1	PROPN
ijassa-829	150	23	have	have	AUX
ijassa-829	150	24	discovered	discover	VERB
ijassa-829	150	25	two	two	NUM
ijassa-829	150	26	goals	goal	NOUN
ijassa-829	150	27	b1	b1	NOUN
ijassa-829	150	28	and	and	CCONJ
ijassa-829	150	29	b2	b2	NOUN
ijassa-829	150	30	from	from	ADP
ijassa-829	150	31	possible	possible	ADJ
ijassa-829	150	32	three	three	NUM
ijassa-829	150	33	ones	one	NOUN
ijassa-829	150	34	(	(	PUNCT
ijassa-829	150	35	fig	fig	NOUN
ijassa-829	150	36	.	.	PUNCT
ijassa-829	150	37	3.2	3.2	NUM
ijassa-829	150	38	)	)	PUNCT
ijassa-829	150	39	.	.	PUNCT
ijassa-829	151	1	let	let	VERB
ijassa-829	151	2	us	we	PRON
ijassa-829	151	3	also	also	ADV
ijassa-829	151	4	the	the	DET
ijassa-829	151	5	rewards	reward	NOUN
ijassa-829	151	6	in	in	ADP
ijassa-829	151	7	the	the	DET
ijassa-829	151	8	positions	position	NOUN
ijassa-829	151	9	p1	p1	NOUN
ijassa-829	151	10	satisfy	satisfy	VERB
ijassa-829	151	11	the	the	DET
ijassa-829	151	12	next	next	ADJ
ijassa-829	151	13	relations	relation	NOUN
ijassa-829	151	14	:	:	PUNCT
ijassa-829	151	15	𝑘𝐴1	𝑘𝐴1	PROPN
ijassa-829	151	16	(	(	PUNCT
ijassa-829	151	17	𝑝1	𝑝1	NOUN
ijassa-829	151	18	,	,	PUNCT
ijassa-829	151	19	𝑏1	𝑏1	NOUN
ijassa-829	151	20	)	)	PUNCT
ijassa-829	151	21	>	>	X
ijassa-829	152	1	𝑘𝐴2	𝑘𝐴2	PROPN
ijassa-829	152	2	(	(	PUNCT
ijassa-829	152	3	𝑝1	𝑝1	NOUN
ijassa-829	152	4	,	,	PUNCT
ijassa-829	152	5	𝑏1	𝑏1	NOUN
ijassa-829	152	6	)	)	PUNCT
ijassa-829	152	7	<	<	X
ijassa-829	152	8	>	>	X
ijassa-829	152	9	𝑘𝐴3	𝑘𝐴3	PROPN
ijassa-829	152	10	(	(	PUNCT
ijassa-829	152	11	𝑝1	𝑝1	NOUN
ijassa-829	152	12	,	,	PUNCT
ijassa-829	152	13	𝑏1	𝑏1	NOUN
ijassa-829	152	14	)	)	PUNCT
ijassa-829	152	15	(	(	PUNCT
ijassa-829	152	16	3.2	3.2	NUM
ijassa-829	152	17	)	)	PUNCT
ijassa-829	152	18	𝑘𝐴3	𝑘𝐴3	PROPN
ijassa-829	152	19	(	(	PUNCT
ijassa-829	152	20	𝑝1	𝑝1	NOUN
ijassa-829	152	21	,	,	PUNCT
ijassa-829	152	22	𝑏2	𝑏2	PROPN
ijassa-829	152	23	)	)	PUNCT
ijassa-829	152	24	>	>	X
ijassa-829	152	25	𝑘𝐴2	𝑘𝐴2	PROPN
ijassa-829	152	26	(	(	PUNCT
ijassa-829	152	27	𝑝1	𝑝1	PROPN
ijassa-829	152	28	,	,	PUNCT
ijassa-829	152	29	𝑏2	𝑏2	PROPN
ijassa-829	152	30	)	)	PUNCT
ijassa-829	152	31	<	<	X
ijassa-829	153	1	>	>	X
ijassa-829	153	2	𝑘𝐴1	𝑘𝐴1	PROPN
ijassa-829	153	3	(	(	PUNCT
ijassa-829	153	4	𝑝1	𝑝1	PROPN
ijassa-829	153	5	,	,	PUNCT
ijassa-829	153	6	𝑏2	𝑏2	PROPN
ijassa-829	153	7	)	)	PUNCT
ijassa-829	153	8	(	(	PUNCT
ijassa-829	153	9	3.3	3.3	NUM
ijassa-829	153	10	)	)	PUNCT
ijassa-829	153	11	where	where	SCONJ
ijassa-829	153	12	the	the	DET
ijassa-829	153	13	sign	sign	NOUN
ijassa-829	153	14	<	<	X
ijassa-829	153	15	>	>	X
ijassa-829	153	16	means	mean	VERB
ijassa-829	153	17	the	the	DET
ijassa-829	153	18	rewards	reward	NOUN
ijassa-829	153	19	’	'	PUNCT
ijassa-829	153	20	incompatibility	incompatibility	NOUN
ijassa-829	153	21	.	.	PUNCT
ijassa-829	154	1	this	this	PRON
ijassa-829	154	2	means	mean	VERB
ijassa-829	154	3	that	that	SCONJ
ijassa-829	154	4	though	though	SCONJ
ijassa-829	154	5	the	the	DET
ijassa-829	154	6	visibility	visibility	NOUN
ijassa-829	154	7	degrees	degree	VERB
ijassa-829	154	8	in	in	ADP
ijassa-829	154	9	positions	position	NOUN
ijassa-829	154	10	p1	p1	PROPN
ijassa-829	154	11	of	of	ADP
ijassa-829	154	12	a2	a2	PROPN
ijassa-829	154	13	and	and	CCONJ
ijassa-829	154	14	a3	a3	NOUN
ijassa-829	154	15	does	do	AUX
ijassa-829	154	16	not	not	PART
ijassa-829	154	17	differ	differ	VERB
ijassa-829	154	18	,	,	PUNCT
ijassa-829	154	19	the	the	DET
ijassa-829	154	20	foreshortenings	foreshortening	NOUN
ijassa-829	154	21	are	be	AUX
ijassa-829	154	22	different	different	ADJ
ijassa-829	154	23	thus	thus	ADV
ijassa-829	154	24	the	the	DET
ijassa-829	154	25	images	image	NOUN
ijassa-829	154	26	are	be	AUX
ijassa-829	154	27	different	different	ADJ
ijassa-829	154	28	and	and	CCONJ
ijassa-829	154	29	,	,	PUNCT
ijassa-829	154	30	therefore	therefore	ADV
ijassa-829	154	31	,	,	PUNCT
ijassa-829	154	32	incompatible	incompatible	ADJ
ijassa-829	154	33	.	.	PUNCT
ijassa-829	155	1	therefore	therefore	ADV
ijassa-829	155	2	,	,	PUNCT
ijassa-829	155	3	we	we	PRON
ijassa-829	155	4	can	can	AUX
ijassa-829	155	5	not	not	PART
ijassa-829	155	6	define	define	VERB
ijassa-829	155	7	the	the	DET
ijassa-829	155	8	system	system	NOUN
ijassa-829	155	9	trajectory	trajectory	NOUN
ijassa-829	155	10	uniquely	uniquely	ADV
ijassa-829	155	11	.	.	PUNCT
ijassa-829	156	1	it	it	PRON
ijassa-829	156	2	is	be	AUX
ijassa-829	156	3	clear	clear	ADJ
ijassa-829	156	4	that	that	SCONJ
ijassa-829	156	5	agent-1	agent-1	PROPN
ijassa-829	156	6	should	should	AUX
ijassa-829	156	7	achieve	achieve	VERB
ijassa-829	156	8	the	the	DET
ijassa-829	156	9	goal	goal	NOUN
ijassa-829	156	10	b1because	b1because	NOUN
ijassa-829	156	11	it	it	PRON
ijassa-829	156	12	sees	see	VERB
ijassa-829	156	13	it	it	PRON
ijassa-829	156	14	better	well	ADJ
ijassa-829	156	15	than	than	ADP
ijassa-829	156	16	the	the	DET
ijassa-829	156	17	others	other	NOUN
ijassa-829	156	18	.	.	PUNCT
ijassa-829	157	1	for	for	ADP
ijassa-829	157	2	the	the	DET
ijassa-829	157	3	others	other	NOUN
ijassa-829	157	4	let	let	VERB
ijassa-829	157	5	us	we	PRON
ijassa-829	157	6	,	,	PUNCT
ijassa-829	157	7	in	in	ADP
ijassa-829	157	8	this	this	DET
ijassa-829	157	9	case	case	NOUN
ijassa-829	157	10	,	,	PUNCT
ijassa-829	157	11	the	the	DET
ijassa-829	157	12	desires	desire	NOUN
ijassa-829	157	13	’	'	PUNCT
ijassa-829	157	14	lattices	lattice	NOUN
ijassa-829	157	15	for	for	ADP
ijassa-829	157	16	these	these	DET
ijassa-829	157	17	two	two	NUM
ijassa-829	157	18	agents	agent	NOUN
ijassa-829	157	19	have	have	VERB
ijassa-829	157	20	the	the	DET
ijassa-829	157	21	form	form	NOUN
ijassa-829	157	22	of	of	ADP
ijassa-829	157	23	fig	fig	NOUN
ijassa-829	157	24	.	.	PUNCT
ijassa-829	158	1	3.3	3.3	NUM
ijassa-829	158	2	.	.	PUNCT
ijassa-829	159	1	thus	thus	ADV
ijassa-829	159	2	,	,	PUNCT
ijassa-829	159	3	the	the	DET
ijassa-829	159	4	agent-2	agent-2	PROPN
ijassa-829	159	5	may	may	AUX
ijassa-829	159	6	reach	reach	VERB
ijassa-829	159	7	goals	goal	NOUN
ijassa-829	159	8	b1	b1	NOUN
ijassa-829	159	9	and	and	CCONJ
ijassa-829	159	10	b2	b2	NOUN
ijassa-829	159	11	,	,	PUNCT
ijassa-829	159	12	and	and	CCONJ
ijassa-829	159	13	the	the	DET
ijassa-829	159	14	agent-3	agent-3	NUM
ijassa-829	159	15	has	have	VERB
ijassa-829	159	16	an	an	DET
ijassa-829	159	17	additional	additional	ADJ
ijassa-829	159	18	desire	desire	NOUN
ijassa-829	159	19	b3	b3	NOUN
ijassa-829	159	20	.	.	PUNCT
ijassa-829	160	1	then	then	ADV
ijassa-829	160	2	,	,	PUNCT
ijassa-829	160	3	we	we	PRON
ijassa-829	160	4	may	may	AUX
ijassa-829	160	5	evaluate	evaluate	VERB
ijassa-829	160	6	the	the	DET
ijassa-829	160	7	lattice	lattice	NOUN
ijassa-829	160	8	vertices	vertex	NOUN
ijassa-829	160	9	’	'	PUNCT
ijassa-829	160	10	weights	weight	NOUN
ijassa-829	160	11	by	by	ADP
ijassa-829	160	12	the	the	DET
ijassa-829	160	13	formula	formula	NOUN
ijassa-829	160	14	[	[	X
ijassa-829	160	15	2	2	NUM
ijassa-829	160	16	]	]	NUM
ijassa-829	160	17	:	:	PUNCT
ijassa-829	160	18	vertex	vertex	NOUN
ijassa-829	160	19	weight	weight	NOUN
ijassa-829	160	20	=	=	PUNCT
ijassa-829	160	21	joined	join	VERB
ijassa-829	160	22	in	in	ADP
ijassa-829	160	23	the	the	DET
ijassa-829	160	24	vertex	vertex	NOUN
ijassa-829	160	25	desires	desire	NOUN
ijassa-829	160	26	/total	/total	PUNCT
ijassa-829	160	27	desires	desire	NOUN
ijassa-829	160	28	’	'	PUNCT
ijassa-829	160	29	number	number	NOUN
ijassa-829	160	30	(	(	PUNCT
ijassa-829	160	31	3.4	3.4	NUM
ijassa-829	160	32	)	)	PUNCT
ijassa-829	160	33	the	the	DET
ijassa-829	160	34	formula	formula	NOUN
ijassa-829	160	35	evaluates	evaluate	NOUN
ijassa-829	160	36	vertices	vertice	VERB
ijassa-829	160	37	’	'	PUNCT
ijassa-829	160	38	weights	weight	NOUN
ijassa-829	160	39	by	by	ADP
ijassa-829	160	40	two	two	NUM
ijassa-829	160	41	parameters	parameter	NOUN
ijassa-829	160	42	:	:	PUNCT
ijassa-829	160	43	the	the	DET
ijassa-829	160	44	number	number	NOUN
ijassa-829	160	45	of	of	ADP
ijassa-829	160	46	desires	desire	NOUN
ijassa-829	160	47	joined	join	VERB
ijassa-829	160	48	in	in	ADP
ijassa-829	160	49	the	the	DET
ijassa-829	160	50	intention	intention	NOUN
ijassa-829	160	51	and	and	CCONJ
ijassa-829	160	52	the	the	DET
ijassa-829	160	53	vicinity	vicinity	NOUN
ijassa-829	160	54	of	of	ADP
ijassa-829	160	55	the	the	DET
ijassa-829	160	56	vertex	vertex	NOUN
ijassa-829	160	57	to	to	ADP
ijassa-829	160	58	the	the	DET
ijassa-829	160	59	top	top	ADJ
ijassa-829	160	60	element	element	NOUN
ijassa-829	160	61	,	,	PUNCT
ijassa-829	160	62	i.e.	i.e.	X
ijassa-829	160	63	,	,	PUNCT
ijassa-829	160	64	to	to	ADP
ijassa-829	160	65	the	the	DET
ijassa-829	160	66	most	most	ADV
ijassa-829	160	67	desirable	desirable	ADJ
ijassa-829	160	68	behavior	behavior	NOUN
ijassa-829	160	69	variant	variant	NOUN
ijassa-829	160	70	.	.	PUNCT
ijassa-829	161	1	the	the	DET
ijassa-829	161	2	play	play	NOUN
ijassa-829	161	3	of	of	ADP
ijassa-829	161	4	the	the	DET
ijassa-829	161	5	two	two	NUM
ijassa-829	161	6	parameters	parameter	NOUN
ijassa-829	161	7	allows	allow	VERB
ijassa-829	161	8	weights	weight	NOUN
ijassa-829	161	9	’	'	PUNCT
ijassa-829	161	10	comparing	compare	VERB
ijassa-829	161	11	in	in	ADP
ijassa-829	161	12	different	different	ADJ
ijassa-829	161	13	lattices	lattice	NOUN
ijassa-829	161	14	.	.	PUNCT
ijassa-829	162	1	thus	thus	ADV
ijassa-829	162	2	,	,	PUNCT
ijassa-829	162	3	e.g.	e.g.	ADV
ijassa-829	162	4	the	the	DET
ijassa-829	162	5	u12	u12	NOUN
ijassa-829	162	6	weight	weight	NOUN
ijassa-829	162	7	is	be	AUX
ijassa-829	162	8	𝑉𝑈12	𝑉𝑈12	PROPN
ijassa-829	162	9	=	=	SYM
ijassa-829	162	10	2/3	2/3	PROPN
ijassa-829	162	11	.	.	PUNCT
ijassa-829	163	1	since	since	SCONJ
ijassa-829	163	2	𝑉𝑏2	𝑉𝑏2	NOUN
ijassa-829	163	3	=	=	SYM
ijassa-829	163	4	1/2	1/2	NUM
ijassa-829	163	5	in	in	ADP
ijassa-829	163	6	the	the	DET
ijassa-829	163	7	agent-2	agent-2	PROPN
ijassa-829	163	8	lattice	lattice	NOUN
ijassa-829	163	9	and	and	CCONJ
ijassa-829	163	10	𝑉𝑏2	𝑉𝑏2	NOUN
ijassa-829	163	11	=	=	SYM
ijassa-829	163	12	1/3	1/3	NUM
ijassa-829	163	13	in	in	ADP
ijassa-829	163	14	the	the	DET
ijassa-829	163	15	agent3	agent3	PROPN
ijassa-829	163	16	lattice	lattice	PROPN
ijassa-829	163	17	,	,	PUNCT
ijassa-829	163	18	we	we	PRON
ijassa-829	163	19	should	should	AUX
ijassa-829	163	20	choose	choose	VERB
ijassa-829	163	21	the	the	DET
ijassa-829	163	22	bigger	big	ADJ
ijassa-829	163	23	value	value	NOUN
ijassa-829	163	24	and	and	CCONJ
ijassa-829	163	25	correspondent	correspondent	NOUN
ijassa-829	163	26	agent-2	agent-2	PROPN
ijassa-829	163	27	to	to	PART
ijassa-829	163	28	achieve	achieve	VERB
ijassa-829	163	29	the	the	DET
ijassa-829	163	30	goal	goal	NOUN
ijassa-829	163	31	b2.this	b2.this	PRON
ijassa-829	163	32	is	be	AUX
ijassa-829	163	33	reasonable	reasonable	ADJ
ijassa-829	163	34	because	because	SCONJ
ijassa-829	163	35	the	the	DET
ijassa-829	163	36	agent-3	agent-3	NUM
ijassa-829	163	37	is	be	AUX
ijassa-829	163	38	left	leave	VERB
ijassa-829	163	39	free	free	ADJ
ijassa-829	163	40	and	and	CCONJ
ijassa-829	163	41	can	can	AUX
ijassa-829	163	42	look	look	VERB
ijassa-829	163	43	for	for	ADP
ijassa-829	163	44	the	the	DET
ijassa-829	163	45	goal	goal	NOUN
ijassa-829	163	46	b3	b3	PROPN
ijassa-829	163	47	.	.	PUNCT
ijassa-829	164	1	finally	finally	ADV
ijassa-829	164	2	,	,	PUNCT
ijassa-829	164	3	the	the	DET
ijassa-829	164	4	obtained	obtain	VERB
ijassa-829	164	5	play	play	NOUN
ijassa-829	164	6	is	be	AUX
ijassa-829	164	7	depicted	depict	VERB
ijassa-829	164	8	in	in	ADP
ijassa-829	164	9	fig	fig	NOUN
ijassa-829	164	10	.	.	PUNCT
ijassa-829	165	1	3.3	3.3	NUM
ijassa-829	165	2	by	by	ADP
ijassa-829	165	3	bold	bold	ADJ
ijassa-829	165	4	lines	line	NOUN
ijassa-829	165	5	.	.	PUNCT
ijassa-829	166	1	fig	fig	NOUN
ijassa-829	166	2	.	.	PUNCT
ijassa-829	167	1	3.3	3.3	NUM
ijassa-829	167	2	.	.	PUNCT
ijassa-829	168	1	the	the	DET
ijassa-829	168	2	agent-2	agent-2	PROPN
ijassa-829	168	3	lattice	lattice	NOUN
ijassa-829	168	4	(	(	PUNCT
ijassa-829	168	5	a	a	NOUN
ijassa-829	168	6	)	)	PUNCT
ijassa-829	168	7	and	and	CCONJ
ijassa-829	168	8	the	the	DET
ijassa-829	168	9	agent-3	agent-3	NUM
ijassa-829	168	10	lattice	lattice	NOUN
ijassa-829	168	11	(	(	PUNCT
ijassa-829	168	12	b	b	NOUN
ijassa-829	168	13	)	)	PUNCT
ijassa-829	168	14	the	the	DET
ijassa-829	168	15	additional	additional	ADJ
ijassa-829	168	16	subtle	subtle	ADJ
ijassa-829	168	17	point	point	NOUN
ijassa-829	168	18	is	be	AUX
ijassa-829	168	19	that	that	SCONJ
ijassa-829	168	20	the	the	DET
ijassa-829	168	21	graphs	graph	NOUN
ijassa-829	168	22	of	of	ADP
ijassa-829	168	23	the	the	DET
ijassa-829	168	24	games	game	NOUN
ijassa-829	168	25	a	a	PRON
ijassa-829	168	26	and	and	CCONJ
ijassa-829	168	27	b	b	NOUN
ijassa-829	168	28	do	do	AUX
ijassa-829	168	29	not	not	PART
ijassa-829	168	30	always	always	ADV
ijassa-829	168	31	coincide	coincide	VERB
ijassa-829	168	32	,	,	PUNCT
ijassa-829	168	33	i.e.	i.e.	X
ijassa-829	168	34	,	,	PUNCT
ijassa-829	168	35	a	a	DET
ijassa-829	168	36	goal	goal	NOUN
ijassa-829	168	37	may	may	AUX
ijassa-829	168	38	be	be	AUX
ijassa-829	168	39	seen	see	VERB
ijassa-829	168	40	in	in	ADP
ijassa-829	168	41	b	b	NOUN
ijassa-829	168	42	,	,	PUNCT
ijassa-829	168	43	but	but	CCONJ
ijassa-829	168	44	the	the	DET
ijassa-829	168	45	way	way	NOUN
ijassa-829	168	46	to	to	ADP
ijassa-829	168	47	the	the	DET
ijassa-829	168	48	goal	goal	NOUN
ijassa-829	168	49	may	may	AUX
ijassa-829	168	50	not	not	PART
ijassa-829	168	51	exist	exist	VERB
ijassa-829	168	52	in	in	ADP
ijassa-829	168	53	a	a	DET
ijassa-829	168	54	(	(	PUNCT
ijassa-829	168	55	i.e.	i.e.	X
ijassa-829	168	56	,	,	PUNCT
ijassa-829	168	57	in	in	ADP
ijassa-829	168	58	the	the	DET
ijassa-829	168	59	environment	environment	NOUN
ijassa-829	168	60	)	)	PUNCT
ijassa-829	168	61	.	.	PUNCT
ijassa-829	169	1	thus	thus	ADV
ijassa-829	169	2	,	,	PUNCT
ijassa-829	169	3	we	we	PRON
ijassa-829	169	4	have	have	VERB
ijassa-829	169	5	a	a	DET
ijassa-829	169	6	deal	deal	NOUN
ijassa-829	169	7	with	with	ADP
ijassa-829	169	8	the	the	DET
ijassa-829	169	9	game	game	NOUN
ijassa-829	169	10	a	a	PRON
ijassa-829	169	11	of	of	ADP
ijassa-829	169	12	l	l	NOUN
ijassa-829	169	13	parallel	parallel	NOUN
ijassa-829	169	14	processes	process	NOUN
ijassa-829	169	15	of	of	ADP
ijassa-829	169	16	agent	agent	NOUN
ijassa-829	169	17	moves	move	NOUN
ijassa-829	169	18	,	,	PUNCT
ijassa-829	169	19	on	on	ADP
ijassa-829	169	20	the	the	DET
ijassa-829	169	21	positions	position	NOUN
ijassa-829	169	22	of	of	ADP
ijassa-829	169	23	which	which	PRON
ijassa-829	169	24	the	the	DET
ijassa-829	169	25	rewards	reward	NOUN
ijassa-829	169	26	of	of	ADP
ijassa-829	169	27	k	k	PROPN
ijassa-829	169	28	games	games	PROPN
ijassa-829	169	29	b	b	PROPN
ijassa-829	169	30	are	be	AUX
ijassa-829	169	31	possible	possible	ADJ
ijassa-829	169	32	but	but	CCONJ
ijassa-829	169	33	are	be	AUX
ijassa-829	169	34	not	not	PART
ijassa-829	169	35	obligatory	obligatory	ADJ
ijassa-829	169	36	.	.	PUNCT
ijassa-829	170	1	it	it	PRON
ijassa-829	170	2	should	should	AUX
ijassa-829	170	3	be	be	AUX
ijassa-829	170	4	pointed	point	VERB
ijassa-829	170	5	out	out	ADP
ijassa-829	170	6	that	that	SCONJ
ijassa-829	170	7	the	the	DET
ijassa-829	170	8	structures	structure	NOUN
ijassa-829	170	9	of	of	ADP
ijassa-829	170	10	tensorial	tensorial	ADJ
ijassa-829	170	11	multiplications	multiplication	NOUN
ijassa-829	170	12	⨂	⨂	PROPN
ijassa-829	170	13	and	and	CCONJ
ijassa-829	170	14	ð	ð	PROPN
ijassa-829	170	15	in	in	ADP
ijassa-829	170	16	(	(	PUNCT
ijassa-829	170	17	𝑎1	𝑎1	INTJ
ijassa-829	170	18	⨂	⨂	PROPN
ijassa-829	170	19	…	…	PUNCT
ijassa-829	170	20	⨂𝑎𝑙)⊥ð𝑏1	⨂𝑎𝑙)⊥ð𝑏1	VERB
ijassa-829	170	21	⨂	⨂	NOUN
ijassa-829	170	22	…	…	PUNCT
ijassa-829	170	23	⨂𝑏𝑘	⨂𝑏𝑘	NOUN
ijassa-829	170	24	and	and	CCONJ
ijassa-829	170	25	in	in	ADP
ijassa-829	170	26	(	(	PUNCT
ijassa-829	170	27	𝐴1	𝐴1	PROPN
ijassa-829	170	28	⨂	⨂	PROPN
ijassa-829	170	29	…	…	PUNCT
ijassa-829	170	30	⨂𝐴𝑙)⊥ð𝐵1	⨂𝐴𝑙)⊥ð𝐵1	X
ijassa-829	170	31	⨂	⨂	X
ijassa-829	170	32	…	…	PUNCT
ijassa-829	170	33	⨂𝐵𝑘	⨂𝐵𝑘	NOUN
ijassa-829	170	34	are	be	AUX
ijassa-829	170	35	different	different	ADJ
ijassa-829	170	36	.	.	PUNCT
ijassa-829	171	1	in	in	ADP
ijassa-829	171	2	(	(	PUNCT
ijassa-829	171	3	𝑎1	𝑎1	INTJ
ijassa-829	171	4	⨂	⨂	PROPN
ijassa-829	171	5	…	…	PUNCT
ijassa-829	171	6	⨂𝑎𝑙)⊥ð𝑏1	⨂𝑎𝑙)⊥ð𝑏1	VERB
ijassa-829	171	7	⨂	⨂	NOUN
ijassa-829	171	8	…	…	PUNCT
ijassa-829	171	9	⨂𝑏𝑘the	⨂𝑏𝑘the	PRON
ijassa-829	171	10	tensor	tensor	NOUN
ijassa-829	171	11	⨂	⨂	PROPN
ijassa-829	171	12	is	be	AUX
ijassa-829	171	13	a	a	DET
ijassa-829	171	14	monoid	monoid	NOUN
ijassa-829	171	15	in	in	ADP
ijassa-829	171	16	the	the	DET
ijassa-829	171	17	goal	goal	NOUN
ijassa-829	171	18	lattice	lattice	NOUN
ijassa-829	171	19	.	.	PUNCT
ijassa-829	172	1	these	these	DET
ijassa-829	172	2	structures	structure	NOUN
ijassa-829	172	3	of	of	ADP
ijassa-829	172	4	ðand	ðand	NOUN
ijassa-829	172	5	⨂	⨂	NOUN
ijassa-829	172	6	are	be	AUX
ijassa-829	172	7	pre	pre	ADJ
ijassa-829	172	8	-	-	ADJ
ijassa-829	172	9	existent	existent	ADJ
ijassa-829	172	10	and	and	CCONJ
ijassa-829	172	11	does	do	AUX
ijassa-829	172	12	not	not	PART
ijassa-829	172	13	depend	depend	VERB
ijassa-829	172	14	on	on	ADP
ijassa-829	172	15	the	the	DET
ijassa-829	172	16	environment	environment	NOUN
ijassa-829	172	17	.	.	PUNCT
ijassa-829	173	1	it	it	PRON
ijassa-829	173	2	may	may	AUX
ijassa-829	173	3	be	be	AUX
ijassa-829	173	4	chosen	choose	VERB
ijassa-829	173	5	from	from	ADP
ijassa-829	173	6	very	very	ADV
ijassa-829	173	7	general	general	ADJ
ijassa-829	173	8	considerations	consideration	NOUN
ijassa-829	173	9	[	[	X
ijassa-829	173	10	4	4	X
ijassa-829	173	11	]	]	PUNCT
ijassa-829	173	12	and	and	CCONJ
ijassa-829	173	13	determines	determine	VERB
ijassa-829	173	14	the	the	DET
ijassa-829	173	15	system	system	NOUN
ijassa-829	173	16	purpose	purpose	NOUN
ijassa-829	173	17	.	.	PUNCT
ijassa-829	174	1	but	but	CCONJ
ijassa-829	174	2	the	the	DET
ijassa-829	174	3	tensor	tensor	NOUN
ijassa-829	174	4	⨂	⨂	PROPN
ijassa-829	174	5	and	and	CCONJ
ijassa-829	174	6	the	the	DET
ijassa-829	174	7	co	co	NOUN
ijassa-829	174	8	-	-	NOUN
ijassa-829	174	9	tensor	tensor	NOUN
ijassa-829	174	10	ðin(𝐴1	ðin(𝐴1	PUNCT
ijassa-829	174	11	⨂	⨂	X
ijassa-829	174	12	…	…	PUNCT
ijassa-829	174	13	⨂𝐴𝑙)⊥ð𝐵1	⨂𝐴𝑙)⊥ð𝐵1	X
ijassa-829	174	14	⨂	⨂	X
ijassa-829	174	15	…	…	PUNCT
ijassa-829	174	16	⨂𝐵𝑘are	⨂𝐵𝑘are	AUX
ijassa-829	174	17	determined	determine	VERB
ijassa-829	174	18	by	by	ADP
ijassa-829	174	19	the	the	DET
ijassa-829	174	20	environment	environment	NOUN
ijassa-829	174	21	,	,	PUNCT
ijassa-829	174	22	by	by	ADP
ijassa-829	174	23	the	the	DET
ijassa-829	174	24	goals	goal	NOUN
ijassa-829	174	25	and	and	CCONJ
ijassa-829	174	26	obstacles	obstacle	NOUN
ijassa-829	174	27	86	86	NUM
ijassa-829	174	28	d.	d.	PROPN
ijassa-829	174	29	maximov	maximov	PROPN
ijassa-829	174	30	copyright	copyright	NOUN
ijassa-829	174	31	©	©	PROPN
ijassa-829	174	32	2019	2019	NUM
ijassa-829	174	33	assa	assa	PROPN
ijassa-829	174	34	adv	adv	PROPN
ijassa-829	174	35	.	.	PUNCT
ijassa-829	175	1	in	in	ADP
ijassa-829	175	2	systems	system	NOUN
ijassa-829	175	3	science	science	NOUN
ijassa-829	175	4	and	and	CCONJ
ijassa-829	175	5	appl	appl	NOUN
ijassa-829	175	6	.	.	PUNCT
ijassa-829	176	1	(	(	PUNCT
ijassa-829	176	2	2019	2019	NUM
ijassa-829	176	3	)	)	PUNCT
ijassa-829	176	4	distributions	distribution	NOUN
ijassa-829	176	5	,	,	PUNCT
ijassa-829	176	6	by	by	ADP
ijassa-829	176	7	visibility	visibility	NOUN
ijassa-829	176	8	and	and	CCONJ
ijassa-829	176	9	so	so	ADV
ijassa-829	176	10	on	on	ADV
ijassa-829	176	11	.	.	PUNCT
ijassa-829	177	1	thus	thus	ADV
ijassa-829	177	2	,	,	PUNCT
ijassa-829	177	3	there	there	PRON
ijassa-829	177	4	are	be	VERB
ijassa-829	177	5	two	two	NUM
ijassa-829	177	6	different	different	ADJ
ijassa-829	177	7	linear	linear	ADJ
ijassa-829	177	8	logic	logic	NOUN
ijassa-829	177	9	structures	structure	NOUN
ijassa-829	177	10	in	in	ADP
ijassa-829	177	11	the	the	DET
ijassa-829	177	12	approach	approach	NOUN
ijassa-829	177	13	.	.	PUNCT
ijassa-829	178	1	4	4	X
ijassa-829	178	2	.	.	X
ijassa-829	178	3	conclusion	conclusion	NOUN
ijassa-829	178	4	in	in	ADP
ijassa-829	178	5	the	the	DET
ijassa-829	178	6	paper	paper	NOUN
ijassa-829	178	7	,	,	PUNCT
ijassa-829	178	8	a	a	DET
ijassa-829	178	9	movement	movement	NOUN
ijassa-829	178	10	of	of	ADP
ijassa-829	178	11	an	an	DET
ijassa-829	178	12	agent	agent	NOUN
ijassa-829	178	13	group	group	NOUN
ijassa-829	178	14	with	with	ADP
ijassa-829	178	15	its	its	PRON
ijassa-829	178	16	goal	goal	NOUN
ijassa-829	178	17	lattice	lattice	NOUN
ijassa-829	178	18	was	be	AUX
ijassa-829	178	19	considered	consider	VERB
ijassa-829	178	20	in	in	ADP
ijassa-829	178	21	some	some	DET
ijassa-829	178	22	environment	environment	NOUN
ijassa-829	178	23	.	.	PUNCT
ijassa-829	179	1	each	each	DET
ijassa-829	179	2	agent	agent	NOUN
ijassa-829	179	3	move	move	NOUN
ijassa-829	179	4	was	be	AUX
ijassa-829	179	5	represented	represent	VERB
ijassa-829	179	6	as	as	ADP
ijassa-829	179	7	a	a	DET
ijassa-829	179	8	game	game	NOUN
ijassa-829	179	9	in	in	ADP
ijassa-829	179	10	which	which	PRON
ijassa-829	179	11	the	the	DET
ijassa-829	179	12	environment	environment	NOUN
ijassa-829	179	13	corresponds	correspond	VERB
ijassa-829	179	14	to	to	ADP
ijassa-829	179	15	the	the	DET
ijassa-829	179	16	proponent	proponent	NOUN
ijassa-829	179	17	which	which	PRON
ijassa-829	179	18	provides	provide	VERB
ijassa-829	179	19	the	the	DET
ijassa-829	179	20	opponent	opponent	NOUN
ijassa-829	179	21	(	(	PUNCT
ijassa-829	179	22	the	the	DET
ijassa-829	179	23	agent	agent	NOUN
ijassa-829	179	24	)	)	PUNCT
ijassa-829	179	25	with	with	ADP
ijassa-829	179	26	some	some	DET
ijassa-829	179	27	information	information	NOUN
ijassa-829	179	28	to	to	PART
ijassa-829	179	29	achieve	achieve	VERB
ijassa-829	179	30	the	the	DET
ijassa-829	179	31	agent	agent	NOUN
ijassa-829	179	32	goal	goal	NOUN
ijassa-829	179	33	.	.	PUNCT
ijassa-829	180	1	different	different	ADJ
ijassa-829	180	2	agent	agent	NOUN
ijassa-829	180	3	moves	move	NOUN
ijassa-829	180	4	are	be	AUX
ijassa-829	180	5	considered	consider	VERB
ijassa-829	180	6	as	as	ADP
ijassa-829	180	7	parallel	parallel	ADJ
ijassa-829	180	8	processes	process	NOUN
ijassa-829	180	9	which	which	PRON
ijassa-829	180	10	are	be	AUX
ijassa-829	180	11	represented	represent	VERB
ijassa-829	180	12	as	as	ADP
ijassa-829	180	13	the	the	DET
ijassa-829	180	14	tensor	tensor	NOUN
ijassa-829	180	15	product	product	NOUN
ijassa-829	180	16	of	of	ADP
ijassa-829	180	17	correspondent	correspondent	NOUN
ijassa-829	180	18	games	game	NOUN
ijassa-829	180	19	and	and	CCONJ
ijassa-829	180	20	form	form	VERB
ijassa-829	180	21	a	a	DET
ijassa-829	180	22	comprehensive	comprehensive	ADJ
ijassa-829	180	23	game	game	NOUN
ijassa-829	180	24	.	.	PUNCT
ijassa-829	181	1	the	the	DET
ijassa-829	181	2	game	game	NOUN
ijassa-829	181	3	has	have	VERB
ijassa-829	181	4	rewards	reward	NOUN
ijassa-829	181	5	on	on	ADP
ijassa-829	181	6	its	its	PRON
ijassa-829	181	7	positions	position	NOUN
ijassa-829	181	8	,	,	PUNCT
ijassa-829	181	9	which	which	PRON
ijassa-829	181	10	estimates	estimate	VERB
ijassa-829	181	11	the	the	DET
ijassa-829	181	12	quality	quality	NOUN
ijassa-829	181	13	of	of	ADP
ijassa-829	181	14	the	the	DET
ijassa-829	181	15	information	information	NOUN
ijassa-829	181	16	provided	provide	VERB
ijassa-829	181	17	by	by	ADP
ijassa-829	181	18	the	the	DET
ijassa-829	181	19	environment	environment	NOUN
ijassa-829	181	20	.	.	PUNCT
ijassa-829	182	1	the	the	DET
ijassa-829	182	2	reward	reward	NOUN
ijassa-829	182	3	may	may	AUX
ijassa-829	182	4	be	be	AUX
ijassa-829	182	5	very	very	ADV
ijassa-829	182	6	different	different	ADJ
ijassa-829	182	7	:	:	PUNCT
ijassa-829	182	8	it	it	PRON
ijassa-829	182	9	may	may	AUX
ijassa-829	182	10	represent	represent	VERB
ijassa-829	182	11	the	the	DET
ijassa-829	182	12	highest	high	ADJ
ijassa-829	182	13	degree	degree	NOUN
ijassa-829	182	14	of	of	ADP
ijassa-829	182	15	the	the	DET
ijassa-829	182	16	correspondence	correspondence	NOUN
ijassa-829	182	17	to	to	ADP
ijassa-829	182	18	the	the	DET
ijassa-829	182	19	demanding	demand	VERB
ijassa-829	182	20	system	system	NOUN
ijassa-829	182	21	configuration	configuration	NOUN
ijassa-829	182	22	,	,	PUNCT
ijassa-829	182	23	or	or	CCONJ
ijassa-829	182	24	the	the	DET
ijassa-829	182	25	highest	high	ADJ
ijassa-829	182	26	freedom	freedom	NOUN
ijassa-829	182	27	in	in	ADP
ijassa-829	182	28	future	future	ADJ
ijassa-829	182	29	moves	move	NOUN
ijassa-829	182	30	,	,	PUNCT
ijassa-829	182	31	or	or	CCONJ
ijassa-829	182	32	the	the	DET
ijassa-829	182	33	most	most	ADV
ijassa-829	182	34	excellent	excellent	ADJ
ijassa-829	182	35	visibility	visibility	NOUN
ijassa-829	182	36	from	from	ADP
ijassa-829	182	37	a	a	DET
ijassa-829	182	38	position	position	NOUN
ijassa-829	182	39	,	,	PUNCT
ijassa-829	182	40	or	or	CCONJ
ijassa-829	182	41	the	the	DET
ijassa-829	182	42	degree	degree	NOUN
ijassa-829	182	43	of	of	ADP
ijassa-829	182	44	the	the	DET
ijassa-829	182	45	coincidence	coincidence	NOUN
ijassa-829	182	46	of	of	ADP
ijassa-829	182	47	the	the	DET
ijassa-829	182	48	goal	goal	NOUN
ijassa-829	182	49	object	object	VERB
ijassa-829	182	50	image	image	NOUN
ijassa-829	182	51	with	with	ADP
ijassa-829	182	52	the	the	DET
ijassa-829	182	53	original	original	ADJ
ijassa-829	182	54	or	or	CCONJ
ijassa-829	182	55	some	some	PRON
ijassa-829	182	56	else	else	ADV
ijassa-829	182	57	.	.	PUNCT
ijassa-829	183	1	we	we	PRON
ijassa-829	183	2	demand	demand	VERB
ijassa-829	183	3	the	the	DET
ijassa-829	183	4	greatest	great	ADJ
ijassa-829	183	5	total	total	ADJ
ijassa-829	183	6	reward	reward	NOUN
ijassa-829	183	7	along	along	ADP
ijassa-829	183	8	all	all	DET
ijassa-829	183	9	agents	agent	NOUN
ijassa-829	183	10	’	'	PUNCT
ijassa-829	183	11	plays	play	VERB
ijassa-829	183	12	to	to	PART
ijassa-829	183	13	choose	choose	VERB
ijassa-829	183	14	the	the	DET
ijassa-829	183	15	group	group	NOUN
ijassa-829	183	16	trajectory	trajectory	NOUN
ijassa-829	183	17	.	.	PUNCT
ijassa-829	184	1	and	and	CCONJ
ijassa-829	184	2	we	we	PRON
ijassa-829	184	3	choose	choose	VERB
ijassa-829	184	4	those	those	DET
ijassa-829	184	5	goal	goal	NOUN
ijassa-829	184	6	achieving	achieve	VERB
ijassa-829	184	7	processes	process	NOUN
ijassa-829	184	8	(	(	PUNCT
ijassa-829	184	9	i.e.	i.e.	X
ijassa-829	184	10	,	,	PUNCT
ijassa-829	184	11	agent	agent	NOUN
ijassa-829	184	12	plays	play	NOUN
ijassa-829	184	13	)	)	PUNCT
ijassa-829	184	14	from	from	ADP
ijassa-829	184	15	all	all	DET
ijassa-829	184	16	possible	possible	ADJ
ijassa-829	184	17	,	,	PUNCT
ijassa-829	184	18	which	which	PRON
ijassa-829	184	19	have	have	VERB
ijassa-829	184	20	the	the	DET
ijassa-829	184	21	highest	high	ADJ
ijassa-829	184	22	estimation	estimation	NOUN
ijassa-829	184	23	in	in	ADP
ijassa-829	184	24	the	the	DET
ijassa-829	184	25	agent	agent	NOUN
ijassa-829	184	26	group	group	NOUN
ijassa-829	184	27	goal	goal	NOUN
ijassa-829	184	28	lattice	lattice	VERB
ijassa-829	184	29	.	.	PUNCT
ijassa-829	185	1	it	it	PRON
ijassa-829	185	2	is	be	AUX
ijassa-829	185	3	so	so	SCONJ
ijassa-829	185	4	because	because	SCONJ
ijassa-829	185	5	every	every	DET
ijassa-829	185	6	goal	goal	NOUN
ijassa-829	185	7	and	and	CCONJ
ijassa-829	185	8	the	the	DET
ijassa-829	185	9	corresponding	corresponding	ADJ
ijassa-829	185	10	process	process	NOUN
ijassa-829	185	11	of	of	ADP
ijassa-829	185	12	its	its	PRON
ijassa-829	185	13	achieving	achieving	NOUN
ijassa-829	185	14	has	have	VERB
ijassa-829	185	15	a	a	DET
ijassa-829	185	16	definite	definite	ADJ
ijassa-829	185	17	correspondent	correspondent	NOUN
ijassa-829	185	18	truth	truth	NOUN
ijassa-829	185	19	value	value	NOUN
ijassa-829	185	20	in	in	ADP
ijassa-829	185	21	the	the	DET
ijassa-829	185	22	lattice	lattice	NOUN
ijassa-829	185	23	.	.	PUNCT
ijassa-829	186	1	the	the	PRON
ijassa-829	186	2	higher	high	ADJ
ijassa-829	186	3	the	the	DET
ijassa-829	186	4	value	value	NOUN
ijassa-829	186	5	lies	lie	VERB
ijassa-829	186	6	in	in	ADP
ijassa-829	186	7	the	the	DET
ijassa-829	186	8	lattice	lattice	PROPN
ijassa-829	186	9	diagram	diagram	PROPN
ijassa-829	186	10	;	;	PUNCT
ijassa-829	186	11	the	the	DET
ijassa-829	186	12	higher	high	ADJ
ijassa-829	186	13	priority	priority	NOUN
ijassa-829	186	14	of	of	ADP
ijassa-829	186	15	the	the	DET
ijassa-829	186	16	process	process	NOUN
ijassa-829	186	17	is	be	AUX
ijassa-829	186	18	.	.	PUNCT
ijassa-829	187	1	thus	thus	ADV
ijassa-829	187	2	,	,	PUNCT
ijassa-829	187	3	we	we	PRON
ijassa-829	187	4	consider	consider	VERB
ijassa-829	187	5	two	two	NUM
ijassa-829	187	6	types	type	NOUN
ijassa-829	187	7	of	of	ADP
ijassa-829	187	8	estimations	estimation	NOUN
ijassa-829	187	9	:	:	PUNCT
ijassa-829	187	10	the	the	DET
ijassa-829	187	11	goal	goal	NOUN
ijassa-829	187	12	lattice	lattice	NOUN
ijassa-829	187	13	value	value	NOUN
ijassa-829	187	14	defines	define	VERB
ijassa-829	187	15	the	the	DET
ijassa-829	187	16	choice	choice	NOUN
ijassa-829	187	17	of	of	ADP
ijassa-829	187	18	the	the	DET
ijassa-829	187	19	goal	goal	NOUN
ijassa-829	187	20	achieving	achieve	VERB
ijassa-829	187	21	processes	process	NOUN
ijassa-829	187	22	from	from	ADP
ijassa-829	187	23	all	all	DET
ijassa-829	187	24	possible	possible	ADJ
ijassa-829	187	25	ones	one	NOUN
ijassa-829	187	26	,	,	PUNCT
ijassa-829	187	27	and	and	CCONJ
ijassa-829	187	28	the	the	DET
ijassa-829	187	29	position	position	NOUN
ijassa-829	187	30	rewards	reward	NOUN
ijassa-829	187	31	of	of	ADP
ijassa-829	187	32	the	the	DET
ijassa-829	187	33	game	game	NOUN
ijassa-829	187	34	determine	determine	VERB
ijassa-829	187	35	the	the	DET
ijassa-829	187	36	optimal	optimal	ADJ
ijassa-829	187	37	trajectory	trajectory	NOUN
ijassa-829	187	38	of	of	ADP
ijassa-829	187	39	these	these	DET
ijassa-829	187	40	chosen	choose	VERB
ijassa-829	187	41	processes	process	NOUN
ijassa-829	187	42	in	in	ADP
ijassa-829	187	43	the	the	DET
ijassa-829	187	44	environment	environment	NOUN
ijassa-829	187	45	.	.	PUNCT
ijassa-829	188	1	when	when	SCONJ
ijassa-829	188	2	it	it	PRON
ijassa-829	188	3	is	be	AUX
ijassa-829	188	4	not	not	PART
ijassa-829	188	5	possible	possible	ADJ
ijassa-829	188	6	to	to	PART
ijassa-829	188	7	determine	determine	VERB
ijassa-829	188	8	the	the	DET
ijassa-829	188	9	most	most	ADV
ijassa-829	188	10	significant	significant	ADJ
ijassa-829	188	11	estimations	estimation	NOUN
ijassa-829	188	12	in	in	ADP
ijassa-829	188	13	both	both	DET
ijassa-829	188	14	these	these	DET
ijassa-829	188	15	cases	case	NOUN
ijassa-829	188	16	,	,	PUNCT
ijassa-829	188	17	some	some	DET
ijassa-829	188	18	additional	additional	ADJ
ijassa-829	188	19	methods	method	NOUN
ijassa-829	188	20	may	may	AUX
ijassa-829	188	21	be	be	AUX
ijassa-829	188	22	used	use	VERB
ijassa-829	188	23	to	to	PART
ijassa-829	188	24	select	select	VERB
ijassa-829	188	25	the	the	DET
ijassa-829	188	26	optimal	optimal	ADJ
ijassa-829	188	27	variant	variant	NOUN
ijassa-829	188	28	.	.	PUNCT
ijassa-829	189	1	references	reference	NOUN
ijassa-829	189	2	1	1	NUM
ijassa-829	189	3	.	.	PUNCT
ijassa-829	189	4	hutter	hutter	NOUN
ijassa-829	189	5	m.	m.	NOUN
ijassa-829	189	6	(	(	PUNCT
ijassa-829	189	7	2012	2012	NUM
ijassa-829	189	8	)	)	PUNCT
ijassa-829	189	9	.	.	PUNCT
ijassa-829	190	1	one	one	NUM
ijassa-829	190	2	decade	decade	NOUN
ijassa-829	190	3	of	of	ADP
ijassa-829	190	4	universal	universal	ADJ
ijassa-829	190	5	artificial	artificial	ADJ
ijassa-829	190	6	intelligence	intelligence	NOUN
ijassa-829	190	7	,	,	PUNCT
ijassa-829	190	8	in	in	ADP
ijassa-829	190	9	theoretical	theoretical	ADJ
ijassa-829	190	10	foundations	foundation	NOUN
ijassa-829	190	11	of	of	ADP
ijassa-829	190	12	artificial	artificial	ADJ
ijassa-829	190	13	general	general	ADJ
ijassa-829	190	14	intelligence	intelligence	NOUN
ijassa-829	190	15	(	(	PUNCT
ijassa-829	190	16	pp	pp	ADV
ijassa-829	190	17	.	.	PUNCT
ijassa-829	190	18	66–88	66–88	NUM
ijassa-829	190	19	)	)	PUNCT
ijassa-829	190	20	,	,	PUNCT
ijassa-829	190	21	atlantis	atlantis	PROPN
ijassa-829	190	22	press	press	NOUN
ijassa-829	190	23	.	.	PUNCT
ijassa-829	191	1	2	2	X
ijassa-829	191	2	.	.	X
ijassa-829	191	3	legovich	legovich	PROPN
ijassa-829	191	4	y.	y.	PROPN
ijassa-829	191	5	s.	s.	PROPN
ijassa-829	191	6	&	&	CCONJ
ijassa-829	191	7	maximov	maximov	PROPN
ijassa-829	191	8	d.	d.	PROPN
ijassa-829	191	9	y.	y.	PROPN
ijassa-829	191	10	(	(	PUNCT
ijassa-829	191	11	2017	2017	NUM
ijassa-829	191	12	)	)	PUNCT
ijassa-829	191	13	.	.	PUNCT
ijassa-829	192	1	selecting	select	VERB
ijassa-829	192	2	executor	executor	NOUN
ijassa-829	192	3	in	in	ADP
ijassa-829	192	4	a	a	DET
ijassa-829	192	5	group	group	NOUN
ijassa-829	192	6	of	of	ADP
ijassa-829	192	7	intellectual	intellectual	ADJ
ijassa-829	192	8	agents	agent	NOUN
ijassa-829	192	9	,	,	PUNCT
ijassa-829	192	10	automation	automation	NOUN
ijassa-829	192	11	and	and	CCONJ
ijassa-829	192	12	remote	remote	ADJ
ijassa-829	192	13	control	control	NOUN
ijassa-829	192	14	,	,	PUNCT
ijassa-829	192	15	78	78	NUM
ijassa-829	192	16	(	(	PUNCT
ijassa-829	192	17	7	7	NUM
ijassa-829	192	18	)	)	PUNCT
ijassa-829	192	19	,	,	PUNCT
ijassa-829	192	20	1341–1349	1341–1349	NUM
ijassa-829	192	21	.	.	PUNCT
ijassa-829	193	1	3	3	X
ijassa-829	193	2	.	.	X
ijassa-829	193	3	maximov	maximov	PROPN
ijassa-829	193	4	d.	d.	PROPN
ijassa-829	193	5	y.	y.	PROPN
ijassa-829	193	6	(	(	PUNCT
ijassa-829	193	7	2016	2016	NUM
ijassa-829	193	8	)	)	PUNCT
ijassa-829	193	9	.	.	PUNCT
ijassa-829	194	1	reconfiguring	reconfigure	VERB
ijassa-829	194	2	system	system	NOUN
ijassa-829	194	3	hierarchies	hierarchy	NOUN
ijassa-829	194	4	with	with	ADP
ijassa-829	194	5	multi	multi	ADJ
ijassa-829	194	6	-	-	ADJ
ijassa-829	194	7	valued	value	VERB
ijassa-829	194	8	logic	logic	NOUN
ijassa-829	194	9	,	,	PUNCT
ijassa-829	194	10	automation	automation	NOUN
ijassa-829	194	11	and	and	CCONJ
ijassa-829	194	12	remote	remote	ADJ
ijassa-829	194	13	control	control	NOUN
ijassa-829	194	14	,	,	PUNCT
ijassa-829	194	15	77(3	77(3	NUM
ijassa-829	194	16	)	)	PUNCT
ijassa-829	194	17	,	,	PUNCT
ijassa-829	194	18	462–472	462–472	NUM
ijassa-829	194	19	.	.	NOUN
ijassa-829	195	1	4	4	X
ijassa-829	195	2	.	.	X
ijassa-829	195	3	maximov	maximov	PROPN
ijassa-829	195	4	d.	d.	PROPN
ijassa-829	195	5	y.	y.	PROPN
ijassa-829	195	6	,	,	PUNCT
ijassa-829	195	7	legovich	legovich	PRON
ijassa-829	195	8	y.	y.	PROPN
ijassa-829	195	9	s.	s.	PROPN
ijassa-829	195	10	&	&	CCONJ
ijassa-829	195	11	ryvkin	ryvkin	PROPN
ijassa-829	195	12	s.	s.	PROPN
ijassa-829	195	13	e.	e.	PROPN
ijassa-829	195	14	(	(	PUNCT
ijassa-829	195	15	2017	2017	NUM
ijassa-829	195	16	)	)	PUNCT
ijassa-829	195	17	.	.	PUNCT
ijassa-829	196	1	how	how	SCONJ
ijassa-829	196	2	the	the	DET
ijassa-829	196	3	structure	structure	NOUN
ijassa-829	196	4	of	of	ADP
ijassa-829	196	5	system	system	NOUN
ijassa-829	196	6	problems	problem	NOUN
ijassa-829	196	7	influences	influence	VERB
ijassa-829	196	8	system	system	NOUN
ijassa-829	196	9	behavior	behavior	NOUN
ijassa-829	196	10	,	,	PUNCT
ijassa-829	196	11	automation	automation	NOUN
ijassa-829	196	12	and	and	CCONJ
ijassa-829	196	13	remote	remote	ADJ
ijassa-829	196	14	control	control	NOUN
ijassa-829	196	15	,	,	PUNCT
ijassa-829	196	16	78(4	78(4	NUM
ijassa-829	196	17	)	)	PUNCT
ijassa-829	196	18	,	,	PUNCT
ijassa-829	196	19	689–699	689–699	NUM
ijassa-829	196	20	.	.	PUNCT
ijassa-829	197	1	5	5	NUM
ijassa-829	197	2	.	.	X
ijassa-829	197	3	mellies	mellie	NOUN
ijassa-829	197	4	p.	p.	NOUN
ijassa-829	197	5	-a	-a	PROPN
ijassa-829	198	1	.	.	PROPN
ijassa-829	198	2	&	&	CCONJ
ijassa-829	198	3	tabareau	tabareau	PROPN
ijassa-829	198	4	n.	n.	PROPN
ijassa-829	198	5	(	(	PUNCT
ijassa-829	198	6	2010	2010	NUM
ijassa-829	198	7	)	)	PUNCT
ijassa-829	198	8	.	.	PUNCT
ijassa-829	199	1	resource	resource	NOUN
ijassa-829	199	2	modalities	modality	NOUN
ijassa-829	199	3	in	in	ADP
ijassa-829	199	4	tensor	tensor	NOUN
ijassa-829	199	5	logic	logic	NOUN
ijassa-829	199	6	,	,	PUNCT
ijassa-829	199	7	ann	ann	PROPN
ijassa-829	199	8	.	.	PUNCT
ijassa-829	200	1	pure	pure	PROPN
ijassa-829	200	2	.	.	PUNCT
ijassa-829	201	1	appl	appl	PROPN
ijassa-829	201	2	.	.	PUNCT
ijassa-829	202	1	logic	logic	NOUN
ijassa-829	202	2	,	,	PUNCT
ijassa-829	202	3	161(5	161(5	NUM
ijassa-829	202	4	)	)	PUNCT
ijassa-829	202	5	,	,	PUNCT
ijassa-829	202	6	632–653	632–653	NUM
ijassa-829	202	7	.	.	NOUN
ijassa-829	203	1	6	6	NUM
ijassa-829	203	2	.	.	X
ijassa-829	203	3	birkhoff	birkhoff	PROPN
ijassa-829	203	4	g.	g.	PROPN
ijassa-829	203	5	(	(	PUNCT
ijassa-829	203	6	1967	1967	NUM
ijassa-829	203	7	)	)	PUNCT
ijassa-829	203	8	.	.	PUNCT
ijassa-829	204	1	lattice	lattice	PROPN
ijassa-829	204	2	theory	theory	PROPN
ijassa-829	204	3	.	.	PUNCT
ijassa-829	205	1	rhode	rhode	PROPN
ijassa-829	205	2	island	island	PROPN
ijassa-829	205	3	,	,	PUNCT
ijassa-829	205	4	providence	providence	NOUN
ijassa-829	205	5	.	.	PUNCT
ijassa-829	206	1	7	7	X
ijassa-829	206	2	.	.	X
ijassa-829	206	3	girar	girar	PROPN
ijassa-829	206	4	j.	j.	PROPN
ijassa-829	206	5	-y	-y	PROPN
ijassa-829	206	6	.	.	PUNCT
ijassa-829	206	7	(	(	PUNCT
ijassa-829	206	8	1987	1987	NUM
ijassa-829	206	9	)	)	PUNCT
ijassa-829	206	10	.	.	PUNCT
ijassa-829	207	1	linear	linear	ADJ
ijassa-829	207	2	logic	logic	NOUN
ijassa-829	207	3	,	,	PUNCT
ijassa-829	207	4	theoretical	theoretical	ADJ
ijassa-829	207	5	computer	computer	NOUN
ijassa-829	207	6	science	science	NOUN
ijassa-829	207	7	,	,	PUNCT
ijassa-829	207	8	50	50	NUM
ijassa-829	207	9	,	,	PUNCT
ijassa-829	207	10	1–102	1–102	NUM
ijassa-829	207	11	.	.	NOUN
ijassa-829	207	12	8	8	NUM
ijassa-829	207	13	.	.	X
ijassa-829	208	1	maximov	maximov	PROPN
ijassa-829	208	2	d.	d.	PROPN
ijassa-829	208	3	y.	y.	PROPN
ijassa-829	208	4	(	(	PUNCT
ijassa-829	208	5	2019	2019	NUM
ijassa-829	208	6	)	)	PUNCT
ijassa-829	208	7	.	.	PUNCT
ijassa-829	209	1	formirovanie	formirovanie	PROPN
ijassa-829	209	2	optimal’nogo	optimal’nogo	PROPN
ijassa-829	209	3	marshruta	marshruta	PROPN
ijassa-829	209	4	bol’shih	bol’shih	PROPN
ijassa-829	209	5	grupp	grupp	PROPN
ijassa-829	209	6	intellectual’nyh	intellectual’nyh	ADP
ijassa-829	209	7	agentov	agentov	NOUN
ijassa-829	210	1	[	[	X
ijassa-829	210	2	an	an	DET
ijassa-829	210	3	optimal	optimal	ADJ
ijassa-829	210	4	itinerary	itinerary	ADJ
ijassa-829	210	5	generation	generation	NOUN
ijassa-829	210	6	of	of	ADP
ijassa-829	210	7	large	large	ADJ
ijassa-829	210	8	intelligent	intelligent	ADJ
ijassa-829	210	9	agent	agent	NOUN
ijassa-829	210	10	groups	group	NOUN
ijassa-829	210	11	]	]	PUNCT
ijassa-829	210	12	,	,	PUNCT
ijassa-829	210	13	large	large	ADJ
ijassa-829	210	14	-	-	PUNCT
ijassa-829	210	15	scale	scale	NOUN
ijassa-829	210	16	systems	system	NOUN
ijassa-829	210	17	control	control	NOUN
ijassa-829	210	18	,	,	PUNCT
ijassa-829	210	19	78	78	NUM
ijassa-829	210	20	,	,	PUNCT
ijassa-829	210	21	46–70	46–70	NOUN
ijassa-829	210	22	.	.	PUNCT