id	sid	tid	token	lemma	pos
ap-464	1	1	ap03_5.vp	ap03_5.vp	PRON
ap-464	1	2	1	1	NUM
ap-464	1	3	introduction	introduction	NOUN
ap-464	1	4	the	the	DET
ap-464	1	5	main	main	ADJ
ap-464	1	6	problem	problem	NOUN
ap-464	1	7	of	of	ADP
ap-464	1	8	cad	cad	PROPN
ap-464	1	9	systems	system	NOUN
ap-464	1	10	is	be	AUX
ap-464	1	11	how	how	SCONJ
ap-464	1	12	to	to	PART
ap-464	1	13	represent	represent	VERB
ap-464	1	14	designed	design	VERB
ap-464	1	15	objects	object	NOUN
ap-464	1	16	,	,	PUNCT
ap-464	1	17	how	how	SCONJ
ap-464	1	18	to	to	PART
ap-464	1	19	represent	represent	VERB
ap-464	1	20	design	design	NOUN
ap-464	1	21	knowledge	knowledge	NOUN
ap-464	1	22	and	and	CCONJ
ap-464	1	23	primarily	primarily	ADV
ap-464	1	24	how	how	SCONJ
ap-464	1	25	to	to	PART
ap-464	1	26	represent	represent	VERB
ap-464	1	27	the	the	DET
ap-464	1	28	design	design	NOUN
ap-464	1	29	process	process	NOUN
ap-464	1	30	itself	itself	PRON
ap-464	1	31	.	.	PUNCT
ap-464	2	1	the	the	DET
ap-464	2	2	problem	problem	NOUN
ap-464	2	3	of	of	ADP
ap-464	2	4	representation	representation	NOUN
ap-464	2	5	of	of	ADP
ap-464	2	6	the	the	DET
ap-464	2	7	design	design	NOUN
ap-464	2	8	process	process	NOUN
ap-464	2	9	and	and	CCONJ
ap-464	2	10	its	its	PRON
ap-464	2	11	components	component	NOUN
ap-464	2	12	has	have	AUX
ap-464	2	13	been	be	AUX
ap-464	2	14	solved	solve	VERB
ap-464	2	15	since	since	SCONJ
ap-464	2	16	cad	cad	PROPN
ap-464	2	17	systems	system	NOUN
ap-464	2	18	came	come	VERB
ap-464	2	19	into	into	ADP
ap-464	2	20	existence	existence	NOUN
ap-464	2	21	.	.	PUNCT
ap-464	3	1	the	the	DET
ap-464	3	2	question	question	NOUN
ap-464	3	3	of	of	ADP
ap-464	3	4	how	how	SCONJ
ap-464	3	5	to	to	PART
ap-464	3	6	represent	represent	VERB
ap-464	3	7	the	the	DET
ap-464	3	8	design	design	NOUN
ap-464	3	9	process	process	NOUN
ap-464	3	10	still	still	ADV
ap-464	3	11	remains	remain	VERB
ap-464	3	12	open	open	ADJ
ap-464	3	13	.	.	PUNCT
ap-464	4	1	there	there	PRON
ap-464	4	2	is	be	VERB
ap-464	4	3	no	no	DET
ap-464	4	4	common	common	ADJ
ap-464	4	5	universal	universal	ADJ
ap-464	4	6	theoretical	theoretical	ADJ
ap-464	4	7	model	model	NOUN
ap-464	4	8	for	for	ADP
ap-464	4	9	describing	describe	VERB
ap-464	4	10	the	the	DET
ap-464	4	11	design	design	NOUN
ap-464	4	12	process	process	NOUN
ap-464	4	13	nor	nor	CCONJ
ap-464	4	14	are	be	AUX
ap-464	4	15	there	there	PRON
ap-464	4	16	any	any	DET
ap-464	4	17	standards	standard	NOUN
ap-464	4	18	for	for	ADP
ap-464	4	19	design	design	NOUN
ap-464	4	20	process	process	NOUN
ap-464	4	21	representation	representation	NOUN
ap-464	4	22	.	.	PUNCT
ap-464	5	1	this	this	DET
ap-464	5	2	situation	situation	NOUN
ap-464	5	3	is	be	AUX
ap-464	5	4	similar	similar	ADJ
ap-464	5	5	that	that	SCONJ
ap-464	5	6	20	20	NUM
ap-464	5	7	–	–	SYM
ap-464	5	8	30	30	NUM
ap-464	5	9	years	year	NOUN
ap-464	5	10	ago	ago	ADV
ap-464	5	11	in	in	ADP
ap-464	5	12	computer	computer	NOUN
ap-464	5	13	graphics	graphic	NOUN
ap-464	5	14	.	.	PUNCT
ap-464	6	1	there	there	PRON
ap-464	6	2	were	be	VERB
ap-464	6	3	a	a	DET
ap-464	6	4	great	great	ADJ
ap-464	6	5	number	number	NOUN
ap-464	6	6	of	of	ADP
ap-464	6	7	geometrical	geometrical	ADJ
ap-464	6	8	modelers	modeler	NOUN
ap-464	6	9	that	that	PRON
ap-464	6	10	served	serve	VERB
ap-464	6	11	as	as	ADP
ap-464	6	12	the	the	DET
ap-464	6	13	kernels	kernel	NOUN
ap-464	6	14	of	of	ADP
ap-464	6	15	cad	cad	PROPN
ap-464	6	16	systems	system	NOUN
ap-464	6	17	.	.	PUNCT
ap-464	7	1	the	the	DET
ap-464	7	2	consequence	consequence	NOUN
ap-464	7	3	of	of	ADP
ap-464	7	4	this	this	DET
ap-464	7	5	situation	situation	NOUN
ap-464	7	6	is	be	AUX
ap-464	7	7	obvious	obvious	ADJ
ap-464	7	8	even	even	ADV
ap-464	7	9	today	today	NOUN
ap-464	7	10	–	–	PUNCT
ap-464	7	11	cad	cad	PROPN
ap-464	7	12	systems	system	NOUN
ap-464	7	13	have	have	VERB
ap-464	7	14	poor	poor	ADJ
ap-464	7	15	compatibility	compatibility	NOUN
ap-464	7	16	.	.	PUNCT
ap-464	8	1	the	the	DET
ap-464	8	2	principles	principle	NOUN
ap-464	8	3	of	of	ADP
ap-464	8	4	design	design	NOUN
ap-464	8	5	theory	theory	NOUN
ap-464	8	6	were	be	AUX
ap-464	8	7	formulated	formulate	VERB
ap-464	8	8	among	among	ADP
ap-464	8	9	others	other	NOUN
ap-464	8	10	in	in	ADP
ap-464	8	11	[	[	X
ap-464	8	12	2	2	NUM
ap-464	8	13	]	]	PUNCT
ap-464	8	14	.	.	PUNCT
ap-464	9	1	a	a	DET
ap-464	9	2	general	general	ADJ
ap-464	9	3	design	design	NOUN
ap-464	9	4	theory	theory	NOUN
ap-464	9	5	based	base	VERB
ap-464	9	6	on	on	ADP
ap-464	9	7	the	the	DET
ap-464	9	8	principle	principle	NOUN
ap-464	9	9	of	of	ADP
ap-464	9	10	metamodel	metamodel	NOUN
ap-464	9	11	first	first	ADV
ap-464	9	12	appeared	appear	VERB
ap-464	9	13	in	in	ADP
ap-464	9	14	[	[	X
ap-464	9	15	3	3	NUM
ap-464	9	16	]	]	PUNCT
ap-464	9	17	,	,	PUNCT
ap-464	9	18	then	then	ADV
ap-464	9	19	later	later	ADV
ap-464	9	20	,	,	PUNCT
ap-464	9	21	e.g.	e.g.	ADV
ap-464	9	22	,	,	PUNCT
ap-464	9	23	in	in	ADP
ap-464	9	24	[	[	X
ap-464	9	25	4	4	NUM
ap-464	9	26	]	]	PUNCT
ap-464	9	27	and	and	CCONJ
ap-464	9	28	[	[	X
ap-464	9	29	5	5	NUM
ap-464	9	30	]	]	PUNCT
ap-464	9	31	.	.	PUNCT
ap-464	10	1	the	the	DET
ap-464	10	2	idea	idea	NOUN
ap-464	10	3	of	of	ADP
ap-464	10	4	design	design	NOUN
ap-464	10	5	theory	theory	NOUN
ap-464	10	6	again	again	ADV
ap-464	10	7	evokes	evoke	VERB
ap-464	10	8	a	a	DET
ap-464	10	9	new	new	ADJ
ap-464	10	10	discussion	discussion	NOUN
ap-464	10	11	activity	activity	NOUN
ap-464	10	12	.	.	PUNCT
ap-464	11	1	a	a	DET
ap-464	11	2	fresh	fresh	ADJ
ap-464	11	3	critical	critical	ADJ
ap-464	11	4	view	view	NOUN
ap-464	11	5	on	on	ADP
ap-464	11	6	the	the	DET
ap-464	11	7	extended	extended	ADJ
ap-464	11	8	general	general	ADJ
ap-464	11	9	theory	theory	NOUN
ap-464	11	10	and	and	CCONJ
ap-464	11	11	the	the	DET
ap-464	11	12	theory	theory	NOUN
ap-464	11	13	of	of	ADP
ap-464	11	14	the	the	DET
ap-464	11	15	metamodel	metamodel	NOUN
ap-464	11	16	appeared	appear	VERB
ap-464	11	17	in	in	ADP
ap-464	11	18	[	[	X
ap-464	11	19	6	6	NUM
ap-464	11	20	]	]	PUNCT
ap-464	11	21	.	.	PUNCT
ap-464	12	1	in	in	ADP
ap-464	12	2	[	[	X
ap-464	12	3	7	7	X
ap-464	12	4	]	]	PUNCT
ap-464	12	5	there	there	PRON
ap-464	12	6	is	be	VERB
ap-464	12	7	a	a	DET
ap-464	12	8	discussion	discussion	NOUN
ap-464	12	9	of	of	ADP
ap-464	12	10	a	a	DET
ap-464	12	11	new	new	ADJ
ap-464	12	12	idea	idea	NOUN
ap-464	12	13	for	for	ADP
ap-464	12	14	using	use	VERB
ap-464	12	15	a	a	DET
ap-464	12	16	formal	formal	ADJ
ap-464	12	17	means	mean	NOUN
ap-464	12	18	of	of	ADP
ap-464	12	19	modal	modal	ADJ
ap-464	12	20	logic	logic	NOUN
ap-464	12	21	for	for	ADP
ap-464	12	22	design	design	NOUN
ap-464	12	23	process	process	NOUN
ap-464	12	24	description	description	NOUN
ap-464	12	25	.	.	PUNCT
ap-464	13	1	lately	lately	ADV
ap-464	13	2	,	,	PUNCT
ap-464	13	3	a	a	DET
ap-464	13	4	number	number	NOUN
ap-464	13	5	of	of	ADP
ap-464	13	6	papers	paper	NOUN
ap-464	13	7	have	have	AUX
ap-464	13	8	appeared	appear	VERB
ap-464	13	9	which	which	PRON
ap-464	13	10	are	be	AUX
ap-464	13	11	searching	search	VERB
ap-464	13	12	for	for	ADP
ap-464	13	13	new	new	ADJ
ap-464	13	14	methods	method	NOUN
ap-464	13	15	to	to	PART
ap-464	13	16	describe	describe	VERB
ap-464	13	17	the	the	DET
ap-464	13	18	design	design	NOUN
ap-464	13	19	process	process	NOUN
ap-464	13	20	–	–	PUNCT
ap-464	13	21	for	for	ADP
ap-464	13	22	example	example	NOUN
ap-464	13	23	:	:	PUNCT
ap-464	13	24	by	by	ADP
ap-464	13	25	means	mean	NOUN
ap-464	13	26	of	of	ADP
ap-464	13	27	analysis	analysis	NOUN
ap-464	13	28	of	of	ADP
ap-464	13	29	a	a	DET
ap-464	13	30	design	design	NOUN
ap-464	13	31	protocol	protocol	NOUN
ap-464	13	32	[	[	X
ap-464	13	33	8	8	NUM
ap-464	13	34	]	]	PUNCT
ap-464	13	35	,	,	PUNCT
ap-464	13	36	by	by	ADP
ap-464	13	37	means	mean	NOUN
ap-464	13	38	of	of	ADP
ap-464	13	39	a	a	DET
ap-464	13	40	relational	relational	ADJ
ap-464	13	41	system	system	NOUN
ap-464	13	42	[	[	X
ap-464	13	43	9	9	NUM
ap-464	13	44	]	]	PUNCT
ap-464	13	45	,	,	PUNCT
ap-464	13	46	with	with	ADP
ap-464	13	47	the	the	DET
ap-464	13	48	help	help	NOUN
ap-464	13	49	of	of	ADP
ap-464	13	50	a	a	DET
ap-464	13	51	set	set	NOUN
ap-464	13	52	-	-	PUNCT
ap-464	13	53	theory	theory	NOUN
ap-464	13	54	model	model	NOUN
ap-464	13	55	[	[	X
ap-464	13	56	10	10	NUM
ap-464	13	57	]	]	PUNCT
ap-464	13	58	,	,	PUNCT
ap-464	13	59	an	an	DET
ap-464	13	60	object	object	NOUN
ap-464	13	61	-	-	PUNCT
ap-464	13	62	oriented	orient	VERB
ap-464	13	63	approach	approach	NOUN
ap-464	13	64	[	[	X
ap-464	13	65	11	11	NUM
ap-464	13	66	]	]	PUNCT
ap-464	13	67	,	,	PUNCT
ap-464	13	68	etc	etc	X
ap-464	13	69	.	.	X
ap-464	14	1	there	there	PRON
ap-464	14	2	is	be	VERB
ap-464	14	3	a	a	DET
ap-464	14	4	growing	grow	VERB
ap-464	14	5	effort	effort	NOUN
ap-464	14	6	to	to	PART
ap-464	14	7	overcome	overcome	VERB
ap-464	14	8	the	the	DET
ap-464	14	9	gap	gap	NOUN
ap-464	14	10	in	in	ADP
ap-464	14	11	describing	describe	VERB
ap-464	14	12	the	the	DET
ap-464	14	13	design	design	NOUN
ap-464	14	14	process	process	NOUN
ap-464	14	15	.	.	PUNCT
ap-464	15	1	in	in	ADP
ap-464	15	2	this	this	DET
ap-464	15	3	paper	paper	NOUN
ap-464	15	4	we	we	PRON
ap-464	15	5	try	try	VERB
ap-464	15	6	to	to	PART
ap-464	15	7	formalize	formalize	VERB
ap-464	15	8	the	the	DET
ap-464	15	9	design	design	NOUN
ap-464	15	10	process	process	NOUN
ap-464	15	11	by	by	ADP
ap-464	15	12	means	mean	NOUN
ap-464	15	13	of	of	ADP
ap-464	15	14	one	one	NUM
ap-464	15	15	type	type	NOUN
ap-464	15	16	of	of	ADP
ap-464	15	17	non	non	ADJ
ap-464	15	18	-	-	ADJ
ap-464	15	19	standard	standard	ADJ
ap-464	15	20	logic	logic	NOUN
ap-464	15	21	–	–	PUNCT
ap-464	15	22	modal	modal	ADJ
ap-464	15	23	logic	logic	NOUN
ap-464	15	24	[	[	X
ap-464	15	25	1	1	NUM
ap-464	15	26	]	]	PUNCT
ap-464	15	27	.	.	PUNCT
ap-464	16	1	the	the	DET
ap-464	16	2	reason	reason	NOUN
ap-464	16	3	for	for	ADP
ap-464	16	4	this	this	DET
ap-464	16	5	choice	choice	NOUN
ap-464	16	6	is	be	AUX
ap-464	16	7	the	the	DET
ap-464	16	8	ability	ability	NOUN
ap-464	16	9	of	of	ADP
ap-464	16	10	this	this	DET
ap-464	16	11	formalism	formalism	NOUN
ap-464	16	12	to	to	PART
ap-464	16	13	describe	describe	VERB
ap-464	16	14	modeling	modeling	NOUN
ap-464	16	15	of	of	ADP
ap-464	16	16	the	the	DET
ap-464	16	17	individual	individual	ADJ
ap-464	16	18	discrete	discrete	ADJ
ap-464	16	19	steps	step	NOUN
ap-464	16	20	of	of	ADP
ap-464	16	21	design	design	NOUN
ap-464	16	22	,	,	PUNCT
ap-464	16	23	design	design	NOUN
ap-464	16	24	process	process	NOUN
ap-464	16	25	branching	branch	VERB
ap-464	16	26	,	,	PUNCT
ap-464	16	27	respecting	respect	VERB
ap-464	16	28	necessity	necessity	NOUN
ap-464	16	29	or	or	CCONJ
ap-464	16	30	possibility	possibility	NOUN
ap-464	16	31	types	type	NOUN
ap-464	16	32	of	of	ADP
ap-464	16	33	design	design	NOUN
ap-464	16	34	knowledge	knowledge	NOUN
ap-464	16	35	.	.	PUNCT
ap-464	17	1	2	2	NUM
ap-464	17	2	modal	modal	ADJ
ap-464	17	3	logic	logic	NOUN
ap-464	17	4	one	one	NUM
ap-464	17	5	way	way	NOUN
ap-464	17	6	to	to	PART
ap-464	17	7	define	define	VERB
ap-464	17	8	modal	modal	ADJ
ap-464	17	9	logic	logic	NOUN
ap-464	17	10	is	be	AUX
ap-464	17	11	by	by	ADP
ap-464	17	12	extending	extend	VERB
ap-464	17	13	of	of	ADP
ap-464	17	14	the	the	DET
ap-464	17	15	classical	classical	ADJ
ap-464	17	16	axiomatic	axiomatic	ADJ
ap-464	17	17	definition	definition	NOUN
ap-464	17	18	of	of	ADP
ap-464	17	19	propositional	propositional	ADJ
ap-464	17	20	logic	logic	NOUN
ap-464	17	21	by	by	ADP
ap-464	17	22	adding	add	VERB
ap-464	17	23	some	some	DET
ap-464	17	24	other	other	ADJ
ap-464	17	25	connectives	connective	NOUN
ap-464	17	26	(	(	PUNCT
ap-464	17	27	modal	modal	NOUN
ap-464	17	28	connectives	connective	NOUN
ap-464	17	29	)	)	PUNCT
ap-464	17	30	,	,	PUNCT
ap-464	17	31	and	and	CCONJ
ap-464	17	32	the	the	DET
ap-464	17	33	deductive	deductive	ADJ
ap-464	17	34	system	system	NOUN
ap-464	17	35	of	of	ADP
ap-464	17	36	propositional	propositional	ADJ
ap-464	17	37	logic	logic	NOUN
ap-464	17	38	can	can	AUX
ap-464	17	39	be	be	AUX
ap-464	17	40	extended	extend	VERB
ap-464	17	41	with	with	ADP
ap-464	17	42	axioms	axiom	NOUN
ap-464	17	43	and	and	CCONJ
ap-464	17	44	inference	inference	NOUN
ap-464	17	45	rules	rule	NOUN
ap-464	17	46	characterizing	characterize	VERB
ap-464	17	47	modal	modal	ADJ
ap-464	17	48	logic	logic	NOUN
ap-464	17	49	.	.	PUNCT
ap-464	18	1	first	first	ADV
ap-464	18	2	,	,	PUNCT
ap-464	18	3	two	two	NUM
ap-464	18	4	alethic	alethic	ADJ
ap-464	18	5	modalities	modality	NOUN
ap-464	18	6	–	–	PUNCT
ap-464	18	7	modality	modality	NOUN
ap-464	18	8	of	of	ADP
ap-464	18	9	necessity	necessity	NOUN
ap-464	18	10	and	and	CCONJ
ap-464	18	11	modality	modality	NOUN
ap-464	18	12	of	of	ADP
ap-464	18	13	possibility	possibility	NOUN
ap-464	18	14	–	–	PUNCT
ap-464	18	15	will	will	AUX
ap-464	18	16	be	be	AUX
ap-464	18	17	introduced	introduce	VERB
ap-464	18	18	and	and	CCONJ
ap-464	18	19	represented	represent	VERB
ap-464	18	20	by	by	ADP
ap-464	18	21	symbols	symbol	NOUN
ap-464	18	22	�	�	PROPN
ap-464	18	23	and	and	CCONJ
ap-464	18	24	�	�	PROPN
ap-464	18	25	.	.	PUNCT
ap-464	19	1	the	the	DET
ap-464	19	2	expression	expression	NOUN
ap-464	19	3	,	,	PUNCT
ap-464	19	4	p	p	PROPN
ap-464	19	5	will	will	AUX
ap-464	19	6	be	be	AUX
ap-464	19	7	read	read	VERB
ap-464	19	8	as	as	SCONJ
ap-464	19	9	“	"	PUNCT
ap-464	19	10	it	it	PRON
ap-464	19	11	is	be	AUX
ap-464	19	12	necessary	necessary	ADJ
ap-464	19	13	that	that	SCONJ
ap-464	19	14	p	p	X
ap-464	19	15	”	"	PUNCT
ap-464	19	16	and	and	CCONJ
ap-464	19	17	expression	expression	NOUN
ap-464	19	18	�	�	PROPN
ap-464	19	19	p	p	NOUN
ap-464	19	20	as	as	SCONJ
ap-464	19	21	“	"	PUNCT
ap-464	19	22	it	it	PRON
ap-464	19	23	is	be	AUX
ap-464	19	24	possible	possible	ADJ
ap-464	19	25	that	that	SCONJ
ap-464	19	26	p	p	X
ap-464	19	27	”	"	PUNCT
ap-464	19	28	.	.	PUNCT
ap-464	20	1	the	the	DET
ap-464	20	2	language	language	NOUN
ap-464	20	3	of	of	ADP
ap-464	20	4	propositional	propositional	ADJ
ap-464	20	5	modal	modal	ADJ
ap-464	20	6	logic	logic	NOUN
ap-464	20	7	will	will	AUX
ap-464	20	8	be	be	AUX
ap-464	20	9	enriched	enrich	VERB
ap-464	20	10	by	by	ADP
ap-464	20	11	these	these	DET
ap-464	20	12	two	two	NUM
ap-464	20	13	symbols	symbol	NOUN
ap-464	20	14	,	,	PUNCT
ap-464	20	15	i.e.	i.e.	X
ap-464	20	16	,	,	PUNCT
ap-464	20	17	modal	modal	ADJ
ap-464	20	18	logic	logic	NOUN
ap-464	20	19	language	language	NOUN
ap-464	20	20	will	will	AUX
ap-464	20	21	contain	contain	VERB
ap-464	20	22	the	the	DET
ap-464	20	23	following	follow	VERB
ap-464	20	24	connectives	connective	NOUN
ap-464	20	25	:	:	PUNCT
ap-464	20	26	�	�	PROPN
ap-464	20	27	,	,	PUNCT
ap-464	20	28	�	�	PROPN
ap-464	20	29	,	,	PUNCT
ap-464	20	30	�	�	PROPN
ap-464	20	31	,	,	PUNCT
ap-464	20	32	�	�	PROPN
ap-464	20	33	,	,	PUNCT
ap-464	20	34	�	�	PROPN
ap-464	20	35	,	,	PUNCT
ap-464	20	36	�	�	PROPN
ap-464	20	37	and	and	CCONJ
ap-464	20	38	�	�	PROPN
ap-464	20	39	.	.	PUNCT
ap-464	20	40	modal	modal	ADJ
ap-464	20	41	logic	logic	NOUN
ap-464	20	42	language	language	NOUN
ap-464	20	43	syntax	syntax	NOUN
ap-464	20	44	is	be	AUX
ap-464	20	45	determined	determine	VERB
ap-464	20	46	by	by	ADP
ap-464	20	47	two	two	NUM
ap-464	20	48	rules	rule	NOUN
ap-464	20	49	:	:	PUNCT
ap-464	21	1	1	1	X
ap-464	21	2	.	.	X
ap-464	21	3	all	all	DET
ap-464	21	4	propositional	propositional	ADJ
ap-464	21	5	logic	logic	NOUN
ap-464	21	6	formulas	formula	NOUN
ap-464	21	7	are	be	AUX
ap-464	21	8	also	also	ADV
ap-464	21	9	modal	modal	ADJ
ap-464	21	10	propositional	propositional	ADJ
ap-464	21	11	logic	logic	NOUN
ap-464	21	12	formulas	formula	NOUN
ap-464	21	13	.	.	PUNCT
ap-464	22	1	2	2	X
ap-464	22	2	.	.	X
ap-464	22	3	if	if	SCONJ
ap-464	22	4	p	p	NOUN
ap-464	22	5	is	be	AUX
ap-464	22	6	a	a	DET
ap-464	22	7	modal	modal	ADJ
ap-464	22	8	propositional	propositional	ADJ
ap-464	22	9	logic	logic	NOUN
ap-464	22	10	formula	formula	NOUN
ap-464	22	11	then	then	ADV
ap-464	22	12	formulas	formula	VERB
ap-464	22	13	�	�	PROPN
ap-464	22	14	p	p	PROPN
ap-464	22	15	and	and	CCONJ
ap-464	22	16	�	�	PROPN
ap-464	22	17	p	p	NOUN
ap-464	22	18	are	be	AUX
ap-464	22	19	also	also	ADV
ap-464	22	20	formulas	formula	NOUN
ap-464	22	21	of	of	ADP
ap-464	22	22	this	this	DET
ap-464	22	23	logic	logic	NOUN
ap-464	22	24	.	.	PUNCT
ap-464	23	1	connectives	connective	NOUN
ap-464	23	2	of	of	ADP
ap-464	23	3	necessity	necessity	NOUN
ap-464	23	4	and	and	CCONJ
ap-464	23	5	possibility	possibility	NOUN
ap-464	23	6	are	be	AUX
ap-464	23	7	connected	connect	VERB
ap-464	23	8	according	accord	VERB
ap-464	23	9	to	to	ADP
ap-464	23	10	the	the	DET
ap-464	23	11	following	follow	VERB
ap-464	23	12	definition	definition	NOUN
ap-464	23	13	:	:	PUNCT
ap-464	23	14	�	�	PROPN
ap-464	23	15	�	�	PROPN
ap-464	23	16	�	�	PROPN
ap-464	23	17	p	p	PROPN
ap-464	23	18	def	def	PROPN
ap-464	23	19	�	�	PROPN
ap-464	23	20	�	�	PROPN
ap-464	23	21	p	p	PROPN
ap-464	23	22	which	which	PRON
ap-464	23	23	can	can	AUX
ap-464	23	24	be	be	AUX
ap-464	23	25	informally	informally	ADV
ap-464	23	26	interpreted	interpret	VERB
ap-464	23	27	as	as	ADP
ap-464	23	28	,	,	PUNCT
ap-464	23	29	e.g.	e.g.	ADV
ap-464	23	30	“	"	PUNCT
ap-464	23	31	if	if	SCONJ
ap-464	23	32	something	something	PRON
ap-464	23	33	is	be	AUX
ap-464	23	34	possible	possible	ADJ
ap-464	23	35	,	,	PUNCT
ap-464	23	36	then	then	ADV
ap-464	23	37	it	it	PRON
ap-464	23	38	is	be	AUX
ap-464	23	39	not	not	PART
ap-464	23	40	true	true	ADJ
ap-464	23	41	that	that	SCONJ
ap-464	23	42	it	it	PRON
ap-464	23	43	is	be	AUX
ap-464	23	44	necessary	necessary	ADJ
ap-464	23	45	for	for	SCONJ
ap-464	23	46	it	it	PRON
ap-464	23	47	to	to	PART
ap-464	23	48	be	be	AUX
ap-464	23	49	invalid	invalid	ADJ
ap-464	23	50	”	"	PUNCT
ap-464	23	51	.	.	PUNCT
ap-464	24	1	some	some	DET
ap-464	24	2	other	other	ADJ
ap-464	24	3	interpretations	interpretation	NOUN
ap-464	24	4	are	be	AUX
ap-464	24	5	given	give	VERB
ap-464	24	6	,	,	PUNCT
ap-464	24	7	e.g.	e.g.	ADV
ap-464	24	8	,	,	PUNCT
ap-464	24	9	in	in	ADP
ap-464	24	10	[	[	PUNCT
ap-464	24	11	1	1	NUM
ap-464	24	12	,	,	PUNCT
ap-464	24	13	14	14	NUM
ap-464	24	14	]	]	PUNCT
ap-464	24	15	.	.	PUNCT
ap-464	25	1	several	several	ADJ
ap-464	25	2	axiomatic	axiomatic	ADJ
ap-464	25	3	systems	system	NOUN
ap-464	25	4	exist	exist	VERB
ap-464	25	5	which	which	PRON
ap-464	25	6	characterize	characterize	VERB
ap-464	25	7	the	the	DET
ap-464	25	8	respective	respective	ADJ
ap-464	25	9	modal	modal	ADJ
ap-464	25	10	propositional	propositional	ADJ
ap-464	25	11	logic	logic	NOUN
ap-464	25	12	system	system	NOUN
ap-464	25	13	[	[	X
ap-464	25	14	1	1	NUM
ap-464	25	15	]	]	PUNCT
ap-464	25	16	.	.	PUNCT
ap-464	26	1	here	here	ADV
ap-464	26	2	,	,	PUNCT
ap-464	26	3	some	some	PRON
ap-464	26	4	of	of	ADP
ap-464	26	5	the	the	DET
ap-464	26	6	systems	system	NOUN
ap-464	26	7	will	will	AUX
ap-464	26	8	be	be	AUX
ap-464	26	9	shown	show	VERB
ap-464	26	10	and	and	CCONJ
ap-464	26	11	one	one	NUM
ap-464	26	12	the	the	DET
ap-464	26	13	most	most	ADV
ap-464	26	14	appropriate	appropriate	ADJ
ap-464	26	15	for	for	ADP
ap-464	26	16	our	our	PRON
ap-464	26	17	purpose	purpose	NOUN
ap-464	26	18	will	will	AUX
ap-464	26	19	be	be	AUX
ap-464	26	20	chosen	choose	VERB
ap-464	26	21	.	.	PUNCT
ap-464	27	1	attention	attention	NOUN
ap-464	27	2	will	will	AUX
ap-464	27	3	be	be	AUX
ap-464	27	4	focused	focus	VERB
ap-464	27	5	on	on	ADP
ap-464	27	6	the	the	DET
ap-464	27	7	term	term	NOUN
ap-464	27	8	accessibility	accessibility	NOUN
ap-464	27	9	relation	relation	NOUN
ap-464	27	10	,	,	PUNCT
ap-464	27	11	which	which	PRON
ap-464	27	12	is	be	AUX
ap-464	27	13	closely	closely	ADV
ap-464	27	14	connected	connect	VERB
ap-464	27	15	to	to	ADP
ap-464	27	16	the	the	DET
ap-464	27	17	modal	modal	ADJ
ap-464	27	18	logic	logic	NOUN
ap-464	27	19	structure	structure	NOUN
ap-464	27	20	of	of	ADP
ap-464	27	21	axioms	axiom	NOUN
ap-464	27	22	,	,	PUNCT
ap-464	27	23	after	after	ADP
ap-464	27	24	which	which	PRON
ap-464	27	25	some	some	DET
ap-464	27	26	axiomatic	axiomatic	ADJ
ap-464	27	27	systems	system	NOUN
ap-464	27	28	will	will	AUX
ap-464	27	29	be	be	AUX
ap-464	27	30	shown	show	VERB
ap-464	27	31	[	[	PUNCT
ap-464	27	32	1	1	NUM
ap-464	27	33	]	]	PUNCT
ap-464	27	34	.	.	PUNCT
ap-464	28	1	unlike	unlike	ADP
ap-464	28	2	classical	classical	ADJ
ap-464	28	3	propositional	propositional	ADJ
ap-464	28	4	logic	logic	NOUN
ap-464	28	5	,	,	PUNCT
ap-464	28	6	modal	modal	ADJ
ap-464	28	7	logic	logic	NOUN
ap-464	28	8	formulas	formula	NOUN
ap-464	28	9	can	can	AUX
ap-464	28	10	not	not	PART
ap-464	28	11	be	be	AUX
ap-464	28	12	simply	simply	ADV
ap-464	28	13	interpreted	interpret	VERB
ap-464	28	14	in	in	ADP
ap-464	28	15	an	an	DET
ap-464	28	16	extensional	extensional	ADJ
ap-464	28	17	way	way	NOUN
ap-464	28	18	.	.	PUNCT
ap-464	29	1	modal	modal	ADJ
ap-464	29	2	connectives	connective	NOUN
ap-464	29	3	are	be	AUX
ap-464	29	4	operators	operator	NOUN
ap-464	29	5	of	of	ADP
ap-464	29	6	an	an	DET
ap-464	29	7	intensional	intensional	ADJ
ap-464	29	8	character	character	NOUN
ap-464	29	9	–	–	PUNCT
ap-464	29	10	which	which	PRON
ap-464	29	11	means	mean	VERB
ap-464	29	12	that	that	SCONJ
ap-464	29	13	interpretation	interpretation	NOUN
ap-464	29	14	of	of	ADP
ap-464	29	15	a	a	DET
ap-464	29	16	formula	formula	NOUN
ap-464	29	17	that	that	PRON
ap-464	29	18	contains	contain	VERB
ap-464	29	19	modal	modal	ADJ
ap-464	29	20	operators	operator	NOUN
ap-464	29	21	is	be	AUX
ap-464	29	22	not	not	PART
ap-464	29	23	possible	possible	ADJ
ap-464	29	24	if	if	SCONJ
ap-464	29	25	based	base	VERB
ap-464	29	26	only	only	ADV
ap-464	29	27	on	on	ADP
ap-464	29	28	knowledge	knowledge	NOUN
ap-464	29	29	of	of	ADP
ap-464	29	30	the	the	DET
ap-464	29	31	individual	individual	ADJ
ap-464	29	32	subformula	subformula	NOUN
ap-464	29	33	values	value	NOUN
ap-464	29	34	and	and	CCONJ
ap-464	29	35	application	application	NOUN
ap-464	29	36	of	of	ADP
ap-464	29	37	logical	logical	ADJ
ap-464	29	38	operations	operation	NOUN
ap-464	29	39	represented	represent	VERB
ap-464	29	40	by	by	ADP
ap-464	29	41	the	the	DET
ap-464	29	42	semantics	semantic	NOUN
ap-464	29	43	of	of	ADP
ap-464	29	44	these	these	DET
ap-464	29	45	connectives	connective	NOUN
ap-464	29	46	.	.	PUNCT
ap-464	30	1	the	the	DET
ap-464	30	2	interpretation	interpretation	NOUN
ap-464	30	3	is	be	AUX
ap-464	30	4	extended	extend	VERB
ap-464	30	5	by	by	ADP
ap-464	30	6	different	different	ADJ
ap-464	30	7	world	world	NOUN
ap-464	30	8	images	image	NOUN
ap-464	30	9	in	in	ADP
ap-464	30	10	which	which	PRON
ap-464	30	11	the	the	DET
ap-464	30	12	logic	logic	NOUN
ap-464	30	13	formulas	formula	NOUN
ap-464	30	14	can	can	AUX
ap-464	30	15	be	be	AUX
ap-464	30	16	evaluated	evaluate	VERB
ap-464	30	17	in	in	ADP
ap-464	30	18	a	a	DET
ap-464	30	19	different	different	ADJ
ap-464	30	20	way	way	NOUN
ap-464	30	21	.	.	PUNCT
ap-464	31	1	a	a	DET
ap-464	31	2	world	world	NOUN
ap-464	31	3	is	be	AUX
ap-464	31	4	an	an	DET
ap-464	31	5	element	element	NOUN
ap-464	31	6	of	of	ADP
ap-464	31	7	a	a	DET
ap-464	31	8	semantic	semantic	ADJ
ap-464	31	9	environment	environment	NOUN
ap-464	31	10	for	for	ADP
ap-464	31	11	the	the	DET
ap-464	31	12	interpretation	interpretation	NOUN
ap-464	31	13	of	of	ADP
ap-464	31	14	modal	modal	ADJ
ap-464	31	15	logic	logic	NOUN
ap-464	31	16	formulas	formula	NOUN
ap-464	31	17	.	.	PUNCT
ap-464	32	1	this	this	DET
ap-464	32	2	environment	environment	NOUN
ap-464	32	3	has	have	VERB
ap-464	32	4	a	a	DET
ap-464	32	5	finite	finite	ADJ
ap-464	32	6	non	non	ADJ
ap-464	32	7	-	-	ADJ
ap-464	32	8	zero	zero	NUM
ap-464	32	9	number	number	NOUN
ap-464	32	10	of	of	ADP
ap-464	32	11	elements	element	NOUN
ap-464	32	12	,	,	PUNCT
ap-464	32	13	or	or	CCONJ
ap-464	32	14	worlds	world	NOUN
ap-464	32	15	.	.	PUNCT
ap-464	33	1	modal	modal	ADJ
ap-464	33	2	logic	logic	NOUN
ap-464	33	3	did	do	AUX
ap-464	33	4	not	not	PART
ap-464	33	5	need	need	VERB
ap-464	33	6	this	this	DET
ap-464	33	7	image	image	NOUN
ap-464	33	8	because	because	SCONJ
ap-464	33	9	it	it	PRON
ap-464	33	10	is	be	AUX
ap-464	33	11	,	,	PUNCT
ap-464	33	12	from	from	ADP
ap-464	33	13	the	the	DET
ap-464	33	14	formula	formula	NOUN
ap-464	33	15	interpretation	interpretation	NOUN
ap-464	33	16	point	point	NOUN
ap-464	33	17	of	of	ADP
ap-464	33	18	view	view	NOUN
ap-464	33	19	,	,	PUNCT
ap-464	33	20	an	an	DET
ap-464	33	21	enclosed	enclose	VERB
ap-464	33	22	system	system	NOUN
ap-464	33	23	.	.	PUNCT
ap-464	34	1	interpretation	interpretation	NOUN
ap-464	34	2	of	of	ADP
ap-464	34	3	a	a	DET
ap-464	34	4	formula	formula	NOUN
ap-464	34	5	depends	depend	VERB
ap-464	34	6	only	only	ADV
ap-464	34	7	on	on	ADP
ap-464	34	8	the	the	DET
ap-464	34	9	individual	individual	ADJ
ap-464	34	10	subformulas	subformula	NOUN
ap-464	34	11	“	"	PUNCT
ap-464	34	12	in	in	ADP
ap-464	34	13	one	one	NUM
ap-464	34	14	given	give	VERB
ap-464	34	15	world	world	NOUN
ap-464	34	16	of	of	ADP
ap-464	34	17	interpretation	interpretation	NOUN
ap-464	34	18	–	–	PUNCT
ap-464	34	19	given	give	VERB
ap-464	34	20	state	state	NOUN
ap-464	34	21	of	of	ADP
ap-464	34	22	things	thing	NOUN
ap-464	34	23	”	"	PUNCT
ap-464	34	24	.	.	PUNCT
ap-464	35	1	for	for	ADP
ap-464	35	2	the	the	DET
ap-464	35	3	final	final	ADJ
ap-464	35	4	image	image	NOUN
ap-464	35	5	,	,	PUNCT
ap-464	35	6	it	it	PRON
ap-464	35	7	is	be	AUX
ap-464	35	8	possible	possible	ADJ
ap-464	35	9	to	to	PART
ap-464	35	10	imagine	imagine	VERB
ap-464	35	11	a	a	DET
ap-464	35	12	world	world	NOUN
ap-464	35	13	as	as	ADP
ap-464	35	14	one	one	NUM
ap-464	35	15	possible	possible	ADJ
ap-464	35	16	state	state	NOUN
ap-464	35	17	of	of	ADP
ap-464	35	18	a	a	DET
ap-464	35	19	tested	test	VERB
ap-464	35	20	reality	reality	NOUN
ap-464	35	21	description	description	NOUN
ap-464	35	22	,	,	PUNCT
ap-464	35	23	the	the	DET
ap-464	35	24	state	state	NOUN
ap-464	35	25	of	of	ADP
ap-464	35	26	the	the	DET
ap-464	35	27	investigated	investigated	ADJ
ap-464	35	28	reality	reality	NOUN
ap-464	35	29	.	.	PUNCT
ap-464	36	1	©	©	PROPN
ap-464	36	2	czech	czech	PROPN
ap-464	36	3	technical	technical	PROPN
ap-464	36	4	university	university	PROPN
ap-464	36	5	publishing	publishing	NOUN
ap-464	36	6	house	house	NOUN
ap-464	36	7	http://ctn.cvut.cz/ap/	http://ctn.cvut.cz/ap/	PROPN
ap-464	36	8	3	3	NUM
ap-464	36	9	acta	acta	PROPN
ap-464	36	10	polytechnica	polytechnica	PROPN
ap-464	36	11	vol	vol	NOUN
ap-464	36	12	.	.	PUNCT
ap-464	37	1	43	43	NUM
ap-464	37	2	no	no	NOUN
ap-464	37	3	.	.	PUNCT
ap-464	38	1	5/2003	5/2003	NUM
ap-464	38	2	modal	modal	ADJ
ap-464	38	3	logic	logic	NOUN
ap-464	38	4	–	–	PUNCT
ap-464	38	5	a	a	DET
ap-464	38	6	tool	tool	NOUN
ap-464	38	7	for	for	ADP
ap-464	38	8	design	design	NOUN
ap-464	38	9	process	process	NOUN
ap-464	38	10	formalisation	formalisation	NOUN
ap-464	38	11	i.	i.	NOUN
ap-464	38	12	jelínek	jelínek	NOUN
ap-464	38	13	in	in	ADP
ap-464	38	14	this	this	DET
ap-464	38	15	paper	paper	NOUN
ap-464	38	16	we	we	PRON
ap-464	38	17	show	show	VERB
ap-464	38	18	the	the	DET
ap-464	38	19	possibility	possibility	NOUN
ap-464	38	20	to	to	PART
ap-464	38	21	formalize	formalize	VERB
ap-464	38	22	the	the	DET
ap-464	38	23	design	design	NOUN
ap-464	38	24	process	process	NOUN
ap-464	38	25	by	by	ADP
ap-464	38	26	means	mean	NOUN
ap-464	38	27	of	of	ADP
ap-464	38	28	one	one	NUM
ap-464	38	29	type	type	NOUN
ap-464	38	30	of	of	ADP
ap-464	38	31	non	non	ADJ
ap-464	38	32	-	-	ADJ
ap-464	38	33	standard	standard	ADJ
ap-464	38	34	logic	logic	NOUN
ap-464	38	35	–	–	PUNCT
ap-464	38	36	modal	modal	ADJ
ap-464	38	37	logic	logic	NOUN
ap-464	38	38	[	[	X
ap-464	38	39	1	1	NUM
ap-464	38	40	]	]	PUNCT
ap-464	38	41	.	.	PUNCT
ap-464	39	1	the	the	DET
ap-464	39	2	type	type	NOUN
ap-464	39	3	chosen	choose	VERB
ap-464	39	4	for	for	ADP
ap-464	39	5	this	this	DET
ap-464	39	6	study	study	NOUN
ap-464	39	7	is	be	AUX
ap-464	39	8	modal	modal	ADJ
ap-464	39	9	logic	logic	NOUN
ap-464	39	10	s4	s4	NOUN
ap-464	39	11	.	.	PUNCT
ap-464	40	1	the	the	DET
ap-464	40	2	reason	reason	NOUN
ap-464	40	3	for	for	ADP
ap-464	40	4	this	this	DET
ap-464	40	5	choice	choice	NOUN
ap-464	40	6	is	be	AUX
ap-464	40	7	the	the	DET
ap-464	40	8	ability	ability	NOUN
ap-464	40	9	of	of	ADP
ap-464	40	10	this	this	DET
ap-464	40	11	formalism	formalism	NOUN
ap-464	40	12	to	to	PART
ap-464	40	13	describe	describe	VERB
ap-464	40	14	modeling	modeling	NOUN
ap-464	40	15	of	of	ADP
ap-464	40	16	the	the	DET
ap-464	40	17	individual	individual	ADJ
ap-464	40	18	discrete	discrete	ADJ
ap-464	40	19	steps	step	NOUN
ap-464	40	20	of	of	ADP
ap-464	40	21	design	design	NOUN
ap-464	40	22	,	,	PUNCT
ap-464	40	23	respecting	respect	VERB
ap-464	40	24	necessity	necessity	NOUN
ap-464	40	25	or	or	CCONJ
ap-464	40	26	possibility	possibility	NOUN
ap-464	40	27	types	type	NOUN
ap-464	40	28	of	of	ADP
ap-464	40	29	design	design	NOUN
ap-464	40	30	knowledge	knowledge	NOUN
ap-464	40	31	.	.	PUNCT
ap-464	41	1	keywords	keyword	NOUN
ap-464	41	2	:	:	PUNCT
ap-464	41	3	modal	modal	ADJ
ap-464	41	4	logic	logic	NOUN
ap-464	41	5	,	,	PUNCT
ap-464	41	6	accessibility	accessibility	NOUN
ap-464	41	7	relation	relation	NOUN
ap-464	41	8	,	,	PUNCT
ap-464	41	9	design	design	NOUN
ap-464	41	10	process	process	NOUN
ap-464	41	11	,	,	PUNCT
ap-464	41	12	formalisation	formalisation	NOUN
ap-464	41	13	of	of	ADP
ap-464	41	14	design	design	NOUN
ap-464	41	15	process	process	NOUN
ap-464	41	16	.	.	PUNCT
ap-464	42	1	interpretation	interpretation	NOUN
ap-464	42	2	of	of	ADP
ap-464	42	3	modal	modal	ADJ
ap-464	42	4	logic	logic	NOUN
ap-464	42	5	formulas	formula	NOUN
ap-464	42	6	can	can	AUX
ap-464	42	7	depend	depend	VERB
ap-464	42	8	not	not	PART
ap-464	42	9	only	only	ADV
ap-464	42	10	on	on	ADP
ap-464	42	11	subformula	subformula	NOUN
ap-464	42	12	values	value	NOUN
ap-464	42	13	in	in	ADP
ap-464	42	14	the	the	DET
ap-464	42	15	given	give	VERB
ap-464	42	16	world	world	NOUN
ap-464	42	17	but	but	CCONJ
ap-464	42	18	also	also	ADV
ap-464	42	19	on	on	ADP
ap-464	42	20	formula	formula	NOUN
ap-464	42	21	values	value	NOUN
ap-464	42	22	in	in	ADP
ap-464	42	23	worlds	world	NOUN
ap-464	42	24	which	which	PRON
ap-464	42	25	have	have	VERB
ap-464	42	26	some	some	DET
ap-464	42	27	connection	connection	NOUN
ap-464	42	28	with	with	ADP
ap-464	42	29	the	the	DET
ap-464	42	30	considered	consider	VERB
ap-464	42	31	actual	actual	ADJ
ap-464	42	32	world	world	NOUN
ap-464	42	33	of	of	ADP
ap-464	42	34	evaluation	evaluation	NOUN
ap-464	42	35	.	.	PUNCT
ap-464	43	1	and	and	CCONJ
ap-464	43	2	it	it	PRON
ap-464	43	3	is	be	AUX
ap-464	43	4	on	on	ADP
ap-464	43	5	the	the	DET
ap-464	43	6	very	very	ADJ
ap-464	43	7	properties	property	NOUN
ap-464	43	8	of	of	ADP
ap-464	43	9	the	the	DET
ap-464	43	10	given	give	VERB
ap-464	43	11	world	world	NOUN
ap-464	43	12	connection	connection	NOUN
ap-464	43	13	with	with	ADP
ap-464	43	14	other	other	ADJ
ap-464	43	15	worlds	world	NOUN
ap-464	43	16	that	that	SCONJ
ap-464	43	17	the	the	DET
ap-464	43	18	character	character	NOUN
ap-464	43	19	of	of	ADP
ap-464	43	20	different	different	ADJ
ap-464	43	21	modal	modal	ADJ
ap-464	43	22	logic	logic	NOUN
ap-464	43	23	systems	system	NOUN
ap-464	43	24	is	be	AUX
ap-464	43	25	built	build	VERB
ap-464	43	26	.	.	PUNCT
ap-464	44	1	the	the	DET
ap-464	44	2	given	give	VERB
ap-464	44	3	world	world	NOUN
ap-464	44	4	connection	connection	NOUN
ap-464	44	5	to	to	ADP
ap-464	44	6	other	other	ADJ
ap-464	44	7	connected	connect	VERB
ap-464	44	8	worlds	world	NOUN
ap-464	44	9	is	be	AUX
ap-464	44	10	characterized	characterize	VERB
ap-464	44	11	by	by	ADP
ap-464	44	12	the	the	DET
ap-464	44	13	accessibility	accessibility	NOUN
ap-464	44	14	relation	relation	NOUN
ap-464	44	15	[	[	X
ap-464	44	16	1	1	NUM
ap-464	44	17	,	,	PUNCT
ap-464	44	18	14	14	NUM
ap-464	44	19	]	]	PUNCT
ap-464	44	20	.	.	PUNCT
ap-464	45	1	modal	modal	ADJ
ap-464	45	2	logic	logic	NOUN
ap-464	45	3	formula	formula	NOUN
ap-464	45	4	interpretation	interpretation	NOUN
ap-464	45	5	is	be	AUX
ap-464	45	6	thus	thus	ADV
ap-464	45	7	conducted	conduct	VERB
ap-464	45	8	within	within	ADP
ap-464	45	9	the	the	DET
ap-464	45	10	frame	frame	NOUN
ap-464	45	11	of	of	ADP
ap-464	45	12	the	the	DET
ap-464	45	13	accessible	accessible	ADJ
ap-464	45	14	worlds	world	NOUN
ap-464	45	15	.	.	PUNCT
ap-464	46	1	let	let	VERB
ap-464	46	2	us	we	PRON
ap-464	46	3	introduce	introduce	VERB
ap-464	46	4	the	the	DET
ap-464	46	5	frame	frame	NOUN
ap-464	46	6	of	of	ADP
ap-464	46	7	worlds	world	NOUN
ap-464	46	8	[	[	X
ap-464	46	9	1	1	X
ap-464	46	10	]	]	PUNCT
ap-464	46	11	(	(	PUNCT
ap-464	46	12	structure	structure	NOUN
ap-464	46	13	[	[	X
ap-464	46	14	14	14	NUM
ap-464	46	15	]	]	PUNCT
ap-464	46	16	)	)	PUNCT
ap-464	46	17	formally	formally	ADV
ap-464	46	18	as	as	ADP
ap-464	46	19	an	an	DET
ap-464	46	20	ordered	ordered	ADJ
ap-464	46	21	couple	couple	NOUN
ap-464	46	22	:	:	PUNCT
ap-464	46	23	�	�	PROPN
ap-464	46	24	�	�	PROPN
ap-464	46	25	f	f	PROPN
ap-464	46	26	w	w	PROPN
ap-464	46	27	r	r	PROPN
ap-464	46	28	�	�	PROPN
ap-464	46	29	,	,	PUNCT
ap-464	46	30	,	,	PUNCT
ap-464	46	31	where	where	SCONJ
ap-464	46	32	w	w	NOUN
ap-464	46	33	set	set	NOUN
ap-464	46	34	of	of	ADP
ap-464	46	35	worlds	world	NOUN
ap-464	46	36	,	,	PUNCT
ap-464	46	37	r	r	NOUN
ap-464	46	38	r	r	PROPN
ap-464	46	39	w	w	PROPN
ap-464	46	40	w	w	PROPN
ap-464	46	41	�	�	PROPN
ap-464	46	42	�	�	PROPN
ap-464	46	43	,	,	PUNCT
ap-464	46	44	binary	binary	ADJ
ap-464	46	45	relation	relation	NOUN
ap-464	46	46	(	(	PUNCT
ap-464	46	47	accessibility	accessibility	NOUN
ap-464	46	48	relation	relation	NOUN
ap-464	46	49	)	)	PUNCT
ap-464	46	50	.	.	PUNCT
ap-464	47	1	now	now	ADV
ap-464	47	2	let	let	VERB
ap-464	47	3	us	we	PRON
ap-464	47	4	introduce	introduce	VERB
ap-464	47	5	the	the	DET
ap-464	47	6	term	term	NOUN
ap-464	47	7	model	model	NOUN
ap-464	47	8	(	(	PUNCT
ap-464	47	9	compare	compare	VERB
ap-464	47	10	to	to	ADP
ap-464	47	11	the	the	DET
ap-464	47	12	term	term	NOUN
ap-464	47	13	model	model	NOUN
ap-464	47	14	for	for	ADP
ap-464	47	15	propositional	propositional	ADJ
ap-464	47	16	logic	logic	NOUN
ap-464	47	17	,	,	PUNCT
ap-464	47	18	where	where	SCONJ
ap-464	47	19	it	it	PRON
ap-464	47	20	was	be	AUX
ap-464	47	21	determined	determine	VERB
ap-464	47	22	only	only	ADV
ap-464	47	23	by	by	ADP
ap-464	47	24	evaluation	evaluation	NOUN
ap-464	47	25	)	)	PUNCT
ap-464	47	26	.	.	PUNCT
ap-464	48	1	let	let	VERB
ap-464	48	2	p	p	PRON
ap-464	48	3	be	be	AUX
ap-464	48	4	a	a	DET
ap-464	48	5	set	set	NOUN
ap-464	48	6	of	of	ADP
ap-464	48	7	atomic	atomic	ADJ
ap-464	48	8	formulas	formula	NOUN
ap-464	48	9	.	.	PUNCT
ap-464	49	1	let	let	VERB
ap-464	49	2	us	we	PRON
ap-464	49	3	symbolize	symbolize	VERB
ap-464	49	4	as	as	ADP
ap-464	49	5	l(p	l(p	NOUN
ap-464	49	6	)	)	PUNCT
ap-464	49	7	the	the	DET
ap-464	49	8	set	set	NOUN
ap-464	49	9	of	of	ADP
ap-464	49	10	formulas	formula	NOUN
ap-464	49	11	which	which	PRON
ap-464	49	12	can	can	AUX
ap-464	49	13	be	be	AUX
ap-464	49	14	generated	generate	VERB
ap-464	49	15	from	from	ADP
ap-464	49	16	p.	p.	PROPN
ap-464	49	17	the	the	DET
ap-464	49	18	model	model	NOUN
ap-464	49	19	(	(	PUNCT
ap-464	49	20	p	p	NOUN
ap-464	49	21	-	-	PUNCT
ap-464	49	22	model	model	NOUN
ap-464	49	23	)	)	PUNCT
ap-464	49	24	within	within	ADP
ap-464	49	25	the	the	DET
ap-464	49	26	frame	frame	NOUN
ap-464	49	27	�	�	PROPN
ap-464	49	28	�	�	PROPN
ap-464	49	29	f	f	PROPN
ap-464	49	30	w	w	PROPN
ap-464	49	31	r	r	PROPN
ap-464	49	32	�	�	PROPN
ap-464	49	33	,	,	PUNCT
ap-464	49	34	will	will	AUX
ap-464	49	35	be	be	AUX
ap-464	49	36	then	then	ADV
ap-464	49	37	called	call	VERB
ap-464	49	38	a	a	DET
ap-464	49	39	triad	triad	ADJ
ap-464	49	40	:	:	PUNCT
ap-464	49	41	�	�	PROPN
ap-464	49	42	�	�	PROPN
ap-464	49	43	m	m	PROPN
ap-464	49	44	w	w	PROPN
ap-464	49	45	r	r	PROPN
ap-464	49	46	v	v	NOUN
ap-464	49	47	�	�	PROPN
ap-464	49	48	,	,	PUNCT
ap-464	49	49	,	,	PUNCT
ap-464	49	50	where	where	SCONJ
ap-464	49	51	v	v	NOUN
ap-464	49	52	:	:	PUNCT
ap-464	49	53	p	p	PROPN
ap-464	49	54	�	�	PROPN
ap-464	49	55	2w	2w	NUM
ap-464	49	56	.	.	PUNCT
ap-464	50	1	v	v	NOUN
ap-464	50	2	maps	map	VERB
ap-464	50	3	each	each	DET
ap-464	50	4	atomic	atomic	ADJ
ap-464	50	5	formula	formula	NOUN
ap-464	50	6	p	p	PROPN
ap-464	50	7	p	p	X
ap-464	50	8	�	�	PROPN
ap-464	50	9	to	to	ADP
ap-464	50	10	the	the	DET
ap-464	50	11	subset	subset	NOUN
ap-464	50	12	�	�	PROPN
ap-464	50	13	�	�	PROPN
ap-464	50	14	v	v	PROPN
ap-464	50	15	p	p	PROPN
ap-464	50	16	w	w	PROPN
ap-464	50	17	�	�	PROPN
ap-464	50	18	and	and	CCONJ
ap-464	50	19	therefore	therefore	ADV
ap-464	50	20	represents	represent	VERB
ap-464	50	21	all	all	DET
ap-464	50	22	worlds	world	NOUN
ap-464	50	23	w	w	PROPN
ap-464	50	24	w	w	PROPN
ap-464	50	25	�	�	PROPN
ap-464	50	26	in	in	ADP
ap-464	50	27	which	which	PRON
ap-464	50	28	p	p	NOUN
ap-464	50	29	is	be	AUX
ap-464	50	30	valid	valid	ADJ
ap-464	50	31	.	.	PUNCT
ap-464	51	1	the	the	DET
ap-464	51	2	validity	validity	NOUN
ap-464	51	3	of	of	ADP
ap-464	51	4	formula	formula	NOUN
ap-464	51	5	a	a	PRON
ap-464	51	6	in	in	ADP
ap-464	51	7	a	a	DET
ap-464	51	8	given	give	VERB
ap-464	51	9	world	world	NOUN
ap-464	51	10	w	w	NOUN
ap-464	51	11	and	and	CCONJ
ap-464	51	12	model	model	NOUN
ap-464	51	13	m	m	PROPN
ap-464	51	14	will	will	AUX
ap-464	51	15	be	be	AUX
ap-464	51	16	symbolized	symbolize	VERB
ap-464	51	17	as	as	SCONJ
ap-464	51	18	follows	follow	VERB
ap-464	51	19	:	:	PUNCT
ap-464	51	20	m	m	VERB
ap-464	51	21	�	�	PROPN
ap-464	51	22	w	w	PROPN
ap-464	51	23	a	a	NOUN
ap-464	51	24	and	and	CCONJ
ap-464	51	25	will	will	AUX
ap-464	51	26	be	be	AUX
ap-464	51	27	defined	define	VERB
ap-464	51	28	recursively	recursively	ADV
ap-464	51	29	:	:	PUNCT
ap-464	51	30	m	m	VERB
ap-464	51	31	�	�	PROPN
ap-464	51	32	�	�	PROPN
ap-464	51	33	w	w	PROPN
ap-464	51	34	f	f	PROPN
ap-464	51	35	(	(	PUNCT
ap-464	51	36	false	false	ADJ
ap-464	51	37	)	)	PUNCT
ap-464	51	38	m	m	VERB
ap-464	51	39	�	�	PROPN
ap-464	51	40	w	w	NOUN
ap-464	51	41	p	p	NOUN
ap-464	51	42	if	if	SCONJ
ap-464	51	43	�	�	PROPN
ap-464	51	44	�	�	PROPN
ap-464	51	45	w	w	PROPN
ap-464	51	46	v	v	PROPN
ap-464	51	47	p	p	PROPN
ap-464	51	48	p	p	X
ap-464	51	49	p	p	PROPN
ap-464	51	50	�	�	PROPN
ap-464	51	51	�	�	PROPN
ap-464	51	52	,	,	PUNCT
ap-464	51	53	m	m	PROPN
ap-464	51	54	�	�	PROPN
ap-464	51	55	w	w	NOUN
ap-464	51	56	x	x	SYM
ap-464	51	57	�	�	PROPN
ap-464	51	58	y	y	PROPN
ap-464	51	59	if	if	SCONJ
ap-464	51	60	m	m	PROPN
ap-464	51	61	�	�	VERB
ap-464	51	62	w	w	ADP
ap-464	51	63	x	x	PROPN
ap-464	51	64	implies	imply	VERB
ap-464	51	65	m	m	VERB
ap-464	51	66	�	�	PROPN
ap-464	51	67	w	w	PROPN
ap-464	51	68	y	y	PROPN
ap-464	51	69	m	m	PROPN
ap-464	51	70	�	�	PROPN
ap-464	51	71	w	w	PROPN
ap-464	51	72	�	�	PROPN
ap-464	51	73	a	a	DET
ap-464	51	74	if	if	SCONJ
ap-464	51	75	wrt	wrt	X
ap-464	51	76	implies	imply	VERB
ap-464	51	77	m	m	VERB
ap-464	51	78	�	�	PROPN
ap-464	51	79	w	w	NOUN
ap-464	51	80	a	a	PRON
ap-464	51	81	for	for	ADP
ap-464	51	82	all	all	DET
ap-464	51	83	worlds	world	NOUN
ap-464	51	84	t	t	PROPN
ap-464	51	85	�	�	PROPN
ap-464	51	86	w	w	PROPN
ap-464	51	87	and	and	CCONJ
ap-464	51	88	possibly	possibly	ADV
ap-464	51	89	we	we	PRON
ap-464	51	90	can	can	AUX
ap-464	51	91	add	add	VERB
ap-464	51	92	definitions	definition	NOUN
ap-464	51	93	of	of	ADP
ap-464	51	94	other	other	ADJ
ap-464	51	95	connectives	connective	NOUN
ap-464	51	96	:	:	PUNCT
ap-464	51	97	m	m	VERB
ap-464	51	98	�	�	PROPN
ap-464	51	99	w	w	NOUN
ap-464	51	100	x	x	SYM
ap-464	51	101	�	�	PROPN
ap-464	51	102	y	y	PROPN
ap-464	51	103	if	if	SCONJ
ap-464	51	104	m	m	VERB
ap-464	51	105	�	�	VERB
ap-464	51	106	w	w	NOUN
ap-464	51	107	x	x	X
ap-464	51	108	and	and	CCONJ
ap-464	51	109	simultaneously	simultaneously	ADV
ap-464	51	110	m	m	VERB
ap-464	51	111	�	�	PROPN
ap-464	51	112	w	w	PROPN
ap-464	51	113	y	y	PROPN
ap-464	51	114	m	m	PROPN
ap-464	51	115	�	�	PROPN
ap-464	51	116	w	w	NOUN
ap-464	51	117	x	x	SYM
ap-464	51	118	�	�	PROPN
ap-464	51	119	y	y	PROPN
ap-464	51	120	if	if	SCONJ
ap-464	51	121	m	m	VERB
ap-464	51	122	�	�	VERB
ap-464	51	123	w	w	NOUN
ap-464	51	124	x	x	X
ap-464	51	125	or	or	CCONJ
ap-464	51	126	m	m	PROPN
ap-464	51	127	�	�	PROPN
ap-464	51	128	w	w	PROPN
ap-464	51	129	y	y	PROPN
ap-464	51	130	m	m	PROPN
ap-464	51	131	�	�	PROPN
ap-464	51	132	w	w	PROPN
ap-464	51	133	�	�	PROPN
ap-464	51	134	x	x	PROPN
ap-464	51	135	if	if	SCONJ
ap-464	51	136	m	m	PROPN
ap-464	51	137	�	�	PROPN
ap-464	51	138	�	�	PROPN
ap-464	51	139	w	w	PROPN
ap-464	51	140	x	x	PROPN
ap-464	51	141	m	m	VERB
ap-464	51	142	�	�	PROPN
ap-464	51	143	w	w	PROPN
ap-464	51	144	�	�	PROPN
ap-464	51	145	a	a	DET
ap-464	51	146	if	if	SCONJ
ap-464	51	147	wrt	wrt	X
ap-464	51	148	implies	imply	VERB
ap-464	51	149	m	m	VERB
ap-464	51	150	�	�	PROPN
ap-464	51	151	w	w	NOUN
ap-464	51	152	a	a	NOUN
ap-464	51	153	for	for	ADP
ap-464	51	154	at	at	ADV
ap-464	51	155	least	least	ADV
ap-464	51	156	one	one	NUM
ap-464	51	157	world	world	NOUN
ap-464	51	158	t	t	PROPN
ap-464	51	159	�	�	PROPN
ap-464	51	160	w.	w.	PROPN
ap-464	51	161	formula	formula	PROPN
ap-464	51	162	�	�	PROPN
ap-464	51	163	�	�	PROPN
ap-464	51	164	a	a	DET
ap-464	51	165	l	l	NOUN
ap-464	52	1	p	p	X
ap-464	52	2	�	�	PROPN
ap-464	52	3	is	be	AUX
ap-464	52	4	valid	valid	ADJ
ap-464	52	5	in	in	ADP
ap-464	52	6	a	a	DET
ap-464	52	7	model	model	NOUN
ap-464	52	8	�	�	PROPN
ap-464	52	9	�	�	PROPN
ap-464	52	10	m	m	PROPN
ap-464	52	11	w	w	PROPN
ap-464	52	12	r	r	PROPN
ap-464	52	13	v	v	NOUN
ap-464	52	14	�	�	PROPN
ap-464	52	15	,	,	PUNCT
ap-464	52	16	,	,	PUNCT
ap-464	52	17	,	,	PUNCT
ap-464	52	18	if	if	SCONJ
ap-464	52	19	a	a	PRON
ap-464	52	20	is	be	AUX
ap-464	52	21	valid	valid	ADJ
ap-464	52	22	in	in	ADP
ap-464	52	23	all	all	DET
ap-464	52	24	worlds	world	NOUN
ap-464	52	25	of	of	ADP
ap-464	52	26	the	the	DET
ap-464	52	27	model	model	NOUN
ap-464	52	28	m	m	PROPN
ap-464	52	29	,	,	PUNCT
ap-464	52	30	i.e.	i.e.	X
ap-464	52	31	m	m	VERB
ap-464	52	32	�	�	PROPN
ap-464	52	33	w	w	NOUN
ap-464	52	34	a	a	PRON
ap-464	52	35	for	for	ADP
ap-464	52	36	all	all	DET
ap-464	52	37	w	w	PROPN
ap-464	52	38	w	w	PROPN
ap-464	52	39	�	�	PROPN
ap-464	52	40	.	.	PUNCT
ap-464	53	1	symbolized	symbolize	VERB
ap-464	53	2	as	as	SCONJ
ap-464	53	3	:	:	PUNCT
ap-464	53	4	m	m	VERB
ap-464	53	5	�	�	PROPN
ap-464	53	6	a.	a.	NOUN
ap-464	53	7	formula	formula	NOUN
ap-464	53	8	�	�	PROPN
ap-464	53	9	�	�	PROPN
ap-464	53	10	a	a	DET
ap-464	53	11	l	l	NOUN
ap-464	53	12	p	p	X
ap-464	53	13	�	�	PROPN
ap-464	53	14	is	be	AUX
ap-464	53	15	valid	valid	ADJ
ap-464	53	16	within	within	ADP
ap-464	53	17	the	the	DET
ap-464	53	18	frame	frame	NOUN
ap-464	53	19	�	�	PROPN
ap-464	53	20	�	�	PROPN
ap-464	53	21	f	f	PROPN
ap-464	53	22	w	w	PROPN
ap-464	53	23	r	r	PROPN
ap-464	53	24	�	�	PROPN
ap-464	53	25	,	,	PUNCT
ap-464	53	26	,	,	PUNCT
ap-464	53	27	if	if	SCONJ
ap-464	53	28	a	a	PRON
ap-464	53	29	is	be	AUX
ap-464	53	30	valid	valid	ADJ
ap-464	53	31	in	in	ADP
ap-464	53	32	every	every	DET
ap-464	53	33	model	model	NOUN
ap-464	53	34	�	�	PROPN
ap-464	53	35	�	�	PROPN
ap-464	53	36	m	m	PROPN
ap-464	53	37	w	w	PROPN
ap-464	53	38	r	r	PROPN
ap-464	53	39	v	v	NOUN
ap-464	53	40	�	�	PROPN
ap-464	53	41	,	,	PUNCT
ap-464	53	42	,	,	PUNCT
ap-464	53	43	,	,	PUNCT
ap-464	53	44	i.e.	i.e.	X
ap-464	53	45	m	m	VERB
ap-464	53	46	�	�	PROPN
ap-464	53	47	a	a	PRON
ap-464	53	48	it	it	PRON
ap-464	53	49	means	mean	VERB
ap-464	53	50	for	for	ADP
ap-464	53	51	every	every	DET
ap-464	53	52	model	model	NOUN
ap-464	53	53	�	�	PROPN
ap-464	53	54	�	�	PROPN
ap-464	53	55	m	m	PROPN
ap-464	53	56	w	w	PROPN
ap-464	53	57	r	r	PROPN
ap-464	53	58	v	v	NOUN
ap-464	53	59	�	�	PROPN
ap-464	53	60	,	,	PUNCT
ap-464	53	61	,	,	PUNCT
ap-464	53	62	.	.	PUNCT
ap-464	54	1	symbolized	symbolize	VERB
ap-464	54	2	as	as	SCONJ
ap-464	54	3	:	:	PUNCT
ap-464	54	4	f	f	PROPN
ap-464	54	5	�	�	PROPN
ap-464	54	6	a.	a.	NOUN
ap-464	54	7	formula	formula	NOUN
ap-464	54	8	�	�	PROPN
ap-464	54	9	�	�	PROPN
ap-464	54	10	a	a	DET
ap-464	54	11	l	l	NOUN
ap-464	54	12	p	p	X
ap-464	54	13	�	�	PROPN
ap-464	54	14	is	be	AUX
ap-464	54	15	valid	valid	ADJ
ap-464	54	16	if	if	SCONJ
ap-464	54	17	a	a	PRON
ap-464	54	18	is	be	AUX
ap-464	54	19	valid	valid	ADJ
ap-464	54	20	in	in	ADP
ap-464	54	21	every	every	DET
ap-464	54	22	frame	frame	NOUN
ap-464	54	23	,	,	PUNCT
ap-464	54	24	i.e.	i.e.	X
ap-464	54	25	f	f	X
ap-464	54	26	�	�	PROPN
ap-464	54	27	a	a	PRON
ap-464	54	28	it	it	PRON
ap-464	54	29	means	mean	VERB
ap-464	54	30	for	for	ADP
ap-464	54	31	every	every	DET
ap-464	54	32	frame	frame	NOUN
ap-464	54	33	�	�	PROPN
ap-464	54	34	�	�	PROPN
ap-464	54	35	f	f	PROPN
ap-464	54	36	w	w	PROPN
ap-464	54	37	r	r	PROPN
ap-464	54	38	�	�	PROPN
ap-464	54	39	,	,	PUNCT
ap-464	54	40	.	.	PUNCT
ap-464	55	1	symbolized	symbolize	VERB
ap-464	55	2	as	as	ADP
ap-464	55	3	:	:	PUNCT
ap-464	55	4	�	�	PROPN
ap-464	55	5	a.	a.	NOUN
ap-464	55	6	accessibility	accessibility	NOUN
ap-464	55	7	relation	relation	NOUN
ap-464	55	8	properties	property	NOUN
ap-464	55	9	are	be	AUX
ap-464	55	10	the	the	DET
ap-464	55	11	key	key	ADJ
ap-464	55	12	moment	moment	NOUN
ap-464	55	13	that	that	PRON
ap-464	55	14	characterizes	characterize	VERB
ap-464	55	15	the	the	DET
ap-464	55	16	modal	modal	ADJ
ap-464	55	17	logic	logic	NOUN
ap-464	55	18	system	system	NOUN
ap-464	55	19	type	type	NOUN
ap-464	55	20	.	.	PUNCT
ap-464	56	1	the	the	DET
ap-464	56	2	fundamental	fundamental	ADJ
ap-464	56	3	properties	property	NOUN
ap-464	56	4	that	that	PRON
ap-464	56	5	the	the	DET
ap-464	56	6	relation	relation	NOUN
ap-464	56	7	of	of	ADP
ap-464	56	8	accessibility	accessibility	NOUN
ap-464	56	9	can	can	AUX
ap-464	56	10	have	have	VERB
ap-464	56	11	are	be	AUX
ap-464	56	12	the	the	DET
ap-464	56	13	following	follow	VERB
ap-464	56	14	(	(	PUNCT
ap-464	56	15	see	see	VERB
ap-464	56	16	[	[	X
ap-464	56	17	1	1	NUM
ap-464	56	18	,	,	PUNCT
ap-464	56	19	14	14	NUM
ap-464	56	20	]	]	SYM
ap-464	56	21	):	):	PUNCT
ap-464	56	22	1	1	X
ap-464	56	23	.	.	X
ap-464	56	24	reflexivity	reflexivity	NOUN
ap-464	56	25	:	:	PUNCT
ap-464	56	26	s	s	PART
ap-464	56	27	srs	srs	PROPN
ap-464	56	28	where	where	SCONJ
ap-464	56	29	the	the	DET
ap-464	56	30	world	world	NOUN
ap-464	56	31	s	s	PART
ap-464	56	32	w	w	PROPN
ap-464	56	33	�	�	PROPN
ap-464	56	34	is	be	AUX
ap-464	56	35	accessible	accessible	ADJ
ap-464	56	36	on	on	ADP
ap-464	56	37	its	its	PRON
ap-464	56	38	own	own	ADJ
ap-464	56	39	.	.	PUNCT
ap-464	57	1	2	2	X
ap-464	57	2	.	.	X
ap-464	57	3	symmetry	symmetry	NOUN
ap-464	57	4	:	:	PUNCT
ap-464	57	5	s	s	PART
ap-464	57	6	t	t	PROPN
ap-464	57	7	srt	srt	NOUN
ap-464	57	8	trs	trs	PROPN
ap-464	57	9	if	if	SCONJ
ap-464	57	10	world	world	PROPN
ap-464	57	11	t	t	PROPN
ap-464	57	12	is	be	AUX
ap-464	57	13	accessible	accessible	ADJ
ap-464	57	14	from	from	ADP
ap-464	57	15	world	world	NOUN
ap-464	57	16	s	s	PART
ap-464	57	17	then	then	ADV
ap-464	57	18	world	world	PROPN
ap-464	57	19	s	s	PART
ap-464	57	20	is	be	AUX
ap-464	57	21	accessible	accessible	ADJ
ap-464	57	22	from	from	ADP
ap-464	57	23	world	world	PROPN
ap-464	57	24	t	t	PROPN
ap-464	57	25	,	,	PUNCT
ap-464	57	26	3	3	NUM
ap-464	57	27	.	.	PUNCT
ap-464	57	28	transitivity	transitivity	NOUN
ap-464	57	29	:	:	PUNCT
ap-464	57	30	�	�	PROPN
ap-464	57	31	s	s	PART
ap-464	57	32	t	t	NOUN
ap-464	57	33	u	u	PROPN
ap-464	57	34	srt	srt	VERB
ap-464	57	35	tru	tru	PROPN
ap-464	57	36	sru	sru	PROPN
ap-464	57	37	if	if	SCONJ
ap-464	57	38	world	world	PROPN
ap-464	57	39	t	t	PROPN
ap-464	57	40	is	be	AUX
ap-464	57	41	accessible	accessible	ADJ
ap-464	57	42	from	from	ADP
ap-464	57	43	world	world	NOUN
ap-464	57	44	s	s	PART
ap-464	57	45	and	and	CCONJ
ap-464	57	46	world	world	PROPN
ap-464	57	47	u	u	NOUN
ap-464	57	48	from	from	ADP
ap-464	57	49	world	world	PROPN
ap-464	57	50	t	t	PROPN
ap-464	57	51	then	then	ADV
ap-464	57	52	world	world	PROPN
ap-464	57	53	u	u	NOUN
ap-464	57	54	is	be	AUX
ap-464	57	55	accessible	accessible	ADJ
ap-464	57	56	from	from	ADP
ap-464	57	57	world	world	PROPN
ap-464	57	58	s.	s.	PROPN
ap-464	57	59	it	it	PRON
ap-464	57	60	is	be	AUX
ap-464	57	61	possible	possible	ADJ
ap-464	57	62	to	to	PART
ap-464	57	63	show	show	VERB
ap-464	57	64	[	[	X
ap-464	57	65	1	1	X
ap-464	57	66	]	]	PUNCT
ap-464	57	67	that	that	SCONJ
ap-464	57	68	the	the	DET
ap-464	57	69	individual	individual	ADJ
ap-464	57	70	properties	property	NOUN
ap-464	57	71	of	of	ADP
ap-464	57	72	the	the	DET
ap-464	57	73	accessibility	accessibility	NOUN
ap-464	57	74	relation	relation	NOUN
ap-464	57	75	respect	respect	VERB
ap-464	57	76	the	the	DET
ap-464	57	77	fundamental	fundamental	ADJ
ap-464	57	78	axiomatic	axiomatic	ADJ
ap-464	57	79	system	system	NOUN
ap-464	57	80	of	of	ADP
ap-464	57	81	modal	modal	ADJ
ap-464	57	82	logic	logic	NOUN
ap-464	57	83	:	:	PUNCT
ap-464	57	84	ad	ad	NOUN
ap-464	57	85	(	(	PUNCT
ap-464	57	86	1	1	NUM
ap-464	57	87	)	)	PUNCT
ap-464	57	88	reflexivity	reflexivity	NOUN
ap-464	57	89	:	:	PUNCT
ap-464	57	90	�	�	PROPN
ap-464	57	91	a	a	DET
ap-464	57	92	�	�	PROPN
ap-464	57	93	a	a	PRON
ap-464	57	94	(	(	PUNCT
ap-464	57	95	t	t	NOUN
ap-464	57	96	)	)	PUNCT
ap-464	57	97	ad	ad	NOUN
ap-464	57	98	(	(	PUNCT
ap-464	57	99	2	2	NUM
ap-464	57	100	)	)	PUNCT
ap-464	57	101	symmetry	symmetry	NOUN
ap-464	57	102	:	:	PUNCT
ap-464	57	103	a	a	DET
ap-464	57	104	�	�	PROPN
ap-464	57	105	�	�	PROPN
ap-464	57	106	�	�	PROPN
ap-464	57	107	a	a	DET
ap-464	57	108	(	(	PUNCT
ap-464	57	109	b	b	NOUN
ap-464	57	110	)	)	PUNCT
ap-464	57	111	ad	ad	NOUN
ap-464	57	112	(	(	PUNCT
ap-464	57	113	3	3	NUM
ap-464	57	114	)	)	PUNCT
ap-464	57	115	transitivity	transitivity	NOUN
ap-464	57	116	:	:	PUNCT
ap-464	57	117	�	�	PROPN
ap-464	57	118	a	a	DET
ap-464	57	119	�	�	PROPN
ap-464	57	120	�	�	PROPN
ap-464	57	121	�	�	PROPN
ap-464	57	122	a.	a.	NOUN
ap-464	57	123	(	(	PUNCT
ap-464	57	124	4	4	X
ap-464	57	125	)	)	PUNCT
ap-464	57	126	now	now	ADV
ap-464	57	127	,	,	PUNCT
ap-464	57	128	it	it	PRON
ap-464	57	129	is	be	AUX
ap-464	57	130	possible	possible	ADJ
ap-464	57	131	to	to	PART
ap-464	57	132	formulate	formulate	VERB
ap-464	57	133	the	the	DET
ap-464	57	134	fundamental	fundamental	ADJ
ap-464	57	135	system	system	NOUN
ap-464	57	136	of	of	ADP
ap-464	57	137	propositional	propositional	ADJ
ap-464	57	138	modal	modal	ADJ
ap-464	57	139	logic	logic	NOUN
ap-464	57	140	as	as	ADP
ap-464	57	141	a	a	DET
ap-464	57	142	system	system	NOUN
ap-464	57	143	created	create	VERB
ap-464	57	144	by	by	ADP
ap-464	57	145	:	:	PUNCT
ap-464	57	146	1	1	X
ap-464	57	147	.	.	X
ap-464	58	1	the	the	DET
ap-464	58	2	propositional	propositional	ADJ
ap-464	58	3	logic	logic	NOUN
ap-464	58	4	axiomatic	axiomatic	ADJ
ap-464	58	5	system	system	NOUN
ap-464	58	6	2	2	NUM
ap-464	58	7	.	.	PUNCT
ap-464	59	1	the	the	DET
ap-464	59	2	modality	modality	NOUN
ap-464	59	3	distribution	distribution	NOUN
ap-464	59	4	axiom	axiom	NOUN
ap-464	59	5	:	:	PUNCT
ap-464	59	6	�	�	PROPN
ap-464	59	7	(	(	PUNCT
ap-464	59	8	a	a	DET
ap-464	59	9	�	�	PROPN
ap-464	59	10	b	b	PROPN
ap-464	59	11	)	)	PUNCT
ap-464	59	12	�	�	PROPN
ap-464	59	13	(	(	PUNCT
ap-464	59	14	�	�	PROPN
ap-464	59	15	a	a	DET
ap-464	59	16	�	�	PROPN
ap-464	59	17	�	�	PROPN
ap-464	59	18	b	b	NOUN
ap-464	59	19	)	)	PUNCT
ap-464	59	20	(	(	PUNCT
ap-464	59	21	k	k	NOUN
ap-464	59	22	)	)	PUNCT
ap-464	59	23	3	3	NUM
ap-464	59	24	.	.	PUNCT
ap-464	60	1	the	the	DET
ap-464	60	2	modal	modal	ADJ
ap-464	60	3	interference	interference	NOUN
ap-464	60	4	rule	rule	NOUN
ap-464	60	5	of	of	ADP
ap-464	60	6	necessity	necessity	NOUN
ap-464	60	7	:	:	PUNCT
ap-464	60	8	and	and	CCONJ
ap-464	60	9	possibly	possibly	ADV
ap-464	60	10	for	for	ADP
ap-464	60	11	derivations	derivation	NOUN
ap-464	60	12	the	the	DET
ap-464	60	13	inference	inference	NOUN
ap-464	60	14	rule	rule	NOUN
ap-464	60	15	can	can	AUX
ap-464	60	16	be	be	AUX
ap-464	60	17	used	use	VERB
ap-464	60	18	:	:	PUNCT
ap-464	60	19	a	a	DET
ap-464	60	20	modal	modal	ADJ
ap-464	60	21	logic	logic	NOUN
ap-464	60	22	axiomatic	axiomatic	ADJ
ap-464	60	23	system	system	NOUN
ap-464	60	24	determined	determine	VERB
ap-464	60	25	in	in	ADP
ap-464	60	26	this	this	DET
ap-464	60	27	way	way	NOUN
ap-464	60	28	is	be	AUX
ap-464	60	29	symbolized	symbolize	VERB
ap-464	60	30	in	in	ADP
ap-464	60	31	the	the	DET
ap-464	60	32	literature	literature	NOUN
ap-464	60	33	as	as	ADP
ap-464	60	34	a	a	DET
ap-464	60	35	fundamental	fundamental	ADJ
ap-464	60	36	system	system	NOUN
ap-464	60	37	k	k	NOUN
ap-464	61	1	according	accord	VERB
ap-464	61	2	to	to	ADP
ap-464	61	3	the	the	DET
ap-464	61	4	characteristic	characteristic	ADJ
ap-464	61	5	modal	modal	NOUN
ap-464	61	6	axiom	axiom	NOUN
ap-464	61	7	.	.	PUNCT
ap-464	62	1	some	some	DET
ap-464	62	2	other	other	ADJ
ap-464	62	3	used	use	VERB
ap-464	62	4	axiomatic	axiomatic	ADJ
ap-464	62	5	systems	system	NOUN
ap-464	62	6	of	of	ADP
ap-464	62	7	modal	modal	ADJ
ap-464	62	8	propositional	propositional	ADJ
ap-464	62	9	logic	logic	NOUN
ap-464	62	10	will	will	AUX
ap-464	62	11	be	be	AUX
ap-464	62	12	demonstrated	demonstrate	VERB
ap-464	62	13	in	in	ADP
ap-464	62	14	the	the	DET
ap-464	62	15	following	follow	VERB
ap-464	62	16	table	table	NOUN
ap-464	62	17	.	.	PUNCT
ap-464	63	1	every	every	DET
ap-464	63	2	type	type	NOUN
ap-464	63	3	of	of	ADP
ap-464	63	4	modal	modal	ADJ
ap-464	63	5	logic	logic	NOUN
ap-464	63	6	is	be	AUX
ap-464	63	7	characterized	characterize	VERB
ap-464	63	8	by	by	ADP
ap-464	63	9	the	the	DET
ap-464	63	10	set	set	NOUN
ap-464	63	11	of	of	ADP
ap-464	63	12	modal	modal	ADJ
ap-464	63	13	logic	logic	NOUN
ap-464	63	14	axioms	axiom	VERB
ap-464	63	15	.	.	PUNCT
ap-464	64	1	there	there	PRON
ap-464	64	2	exists	exist	VERB
ap-464	64	3	an	an	DET
ap-464	64	4	unambiguous	unambiguous	ADJ
ap-464	64	5	relation	relation	NOUN
ap-464	64	6	between	between	ADP
ap-464	64	7	the	the	DET
ap-464	64	8	modal	modal	ADJ
ap-464	64	9	logic	logic	NOUN
ap-464	64	10	axiom	axiom	NOUN
ap-464	64	11	and	and	CCONJ
ap-464	64	12	the	the	DET
ap-464	64	13	property	property	NOUN
ap-464	64	14	of	of	ADP
ap-464	64	15	an	an	DET
ap-464	64	16	accessibility	accessibility	NOUN
ap-464	64	17	relation	relation	NOUN
ap-464	64	18	[	[	X
ap-464	64	19	14	14	NUM
ap-464	64	20	]	]	PUNCT
ap-464	64	21	–	–	PUNCT
ap-464	64	22	see	see	VERB
ap-464	64	23	table	table	NOUN
ap-464	64	24	1	1	NUM
ap-464	64	25	.	.	PUNCT
ap-464	65	1	the	the	DET
ap-464	65	2	modal	modal	ADJ
ap-464	65	3	logic	logic	NOUN
ap-464	65	4	s4	s4	NOUN
ap-464	65	5	will	will	AUX
ap-464	65	6	be	be	AUX
ap-464	65	7	at	at	ADP
ap-464	65	8	the	the	DET
ap-464	65	9	center	center	NOUN
ap-464	65	10	of	of	ADP
ap-464	65	11	our	our	PRON
ap-464	65	12	attention	attention	NOUN
ap-464	65	13	.	.	PUNCT
ap-464	66	1	it	it	PRON
ap-464	66	2	has	have	AUX
ap-464	66	3	been	be	AUX
ap-464	66	4	shown	show	VERB
ap-464	66	5	that	that	SCONJ
ap-464	66	6	the	the	DET
ap-464	66	7	connective	connective	ADJ
ap-464	66	8	�	�	PROPN
ap-464	66	9	can	can	AUX
ap-464	66	10	be	be	AUX
ap-464	66	11	defined	define	VERB
ap-464	66	12	by	by	ADP
ap-464	66	13	using	use	VERB
ap-464	66	14	a	a	DET
ap-464	66	15	relationship	relationship	NOUN
ap-464	66	16	a	a	DET
ap-464	66	17	�	�	PROPN
ap-464	66	18	�	�	PROPN
ap-464	66	19	def	def	PROPN
ap-464	66	20	�	�	PROPN
ap-464	66	21	�	�	PROPN
ap-464	66	22	a	a	PRON
ap-464	66	23	and	and	CCONJ
ap-464	66	24	considerations	consideration	NOUN
ap-464	66	25	of	of	ADP
ap-464	66	26	the	the	DET
ap-464	66	27	connective	connective	ADJ
ap-464	66	28	�	�	PROPN
ap-464	66	29	can	can	AUX
ap-464	66	30	be	be	AUX
ap-464	66	31	transferred	transfer	VERB
ap-464	66	32	to	to	ADP
ap-464	66	33	similar	similar	ADJ
ap-464	66	34	considerations	consideration	NOUN
ap-464	66	35	of	of	ADP
ap-464	66	36	the	the	DET
ap-464	66	37	connective	connective	ADJ
ap-464	66	38	�	�	PROPN
ap-464	66	39	.	.	PUNCT
ap-464	66	40	symmetrically	symmetrically	PROPN
ap-464	66	41	to	to	ADP
ap-464	66	42	the	the	DET
ap-464	66	43	axiom	axiom	NOUN
ap-464	66	44	(	(	PUNCT
ap-464	66	45	t	t	PROPN
ap-464	66	46	):	):	PUNCT
ap-464	66	47	�	�	PROPN
ap-464	66	48	a	a	DET
ap-464	66	49	�	�	PROPN
ap-464	66	50	a	a	DET
ap-464	66	51	an	an	DET
ap-464	66	52	axiom	axiom	NOUN
ap-464	66	53	a	a	DET
ap-464	66	54	�	�	PROPN
ap-464	66	55	�	�	PROPN
ap-464	66	56	a	a	DET
ap-464	66	57	exists	exist	NOUN
ap-464	66	58	.	.	PUNCT
ap-464	67	1	in	in	ADP
ap-464	67	2	this	this	DET
ap-464	67	3	paper	paper	NOUN
ap-464	67	4	,	,	PUNCT
ap-464	67	5	modal	modal	ADJ
ap-464	67	6	logic	logic	NOUN
ap-464	67	7	will	will	AUX
ap-464	67	8	be	be	AUX
ap-464	67	9	proposed	propose	VERB
ap-464	67	10	for	for	ADP
ap-464	67	11	design	design	NOUN
ap-464	67	12	process	process	NOUN
ap-464	67	13	formalization	formalization	NOUN
ap-464	67	14	.	.	PUNCT
ap-464	68	1	the	the	DET
ap-464	68	2	modal	modal	ADJ
ap-464	68	3	logic	logic	NOUN
ap-464	68	4	worlds	world	NOUN
ap-464	68	5	will	will	AUX
ap-464	68	6	represent	represent	VERB
ap-464	68	7	individual	individual	ADJ
ap-464	68	8	stages	stage	NOUN
ap-464	68	9	(	(	PUNCT
ap-464	68	10	or	or	CCONJ
ap-464	68	11	steps	step	NOUN
ap-464	68	12	)	)	PUNCT
ap-464	68	13	of	of	ADP
ap-464	68	14	the	the	DET
ap-464	68	15	design	design	NOUN
ap-464	68	16	process	process	NOUN
ap-464	68	17	and	and	CCONJ
ap-464	68	18	the	the	DET
ap-464	68	19	relation	relation	NOUN
ap-464	68	20	of	of	ADP
ap-464	68	21	accessibility	accessibility	NOUN
ap-464	68	22	will	will	AUX
ap-464	68	23	represent	represent	VERB
ap-464	68	24	the	the	DET
ap-464	68	25	transition	transition	NOUN
ap-464	68	26	between	between	ADP
ap-464	68	27	these	these	DET
ap-464	68	28	stages	stage	NOUN
ap-464	68	29	.	.	PUNCT
ap-464	69	1	4	4	NUM
ap-464	69	2	©	©	PROPN
ap-464	69	3	czech	czech	PROPN
ap-464	69	4	technical	technical	PROPN
ap-464	69	5	university	university	PROPN
ap-464	69	6	publishing	publishing	NOUN
ap-464	69	7	house	house	NOUN
ap-464	69	8	http://ctn.cvut.cz/ap/	http://ctn.cvut.cz/ap/	PROPN
ap-464	69	9	acta	acta	PROPN
ap-464	69	10	polytechnica	polytechnica	PROPN
ap-464	69	11	vol	vol	NOUN
ap-464	69	12	.	.	PUNCT
ap-464	70	1	43	43	NUM
ap-464	70	2	no	no	INTJ
ap-464	70	3	.	.	PUNCT
ap-464	71	1	5/2003	5/2003	NUM
ap-464	71	2	x	x	SYM
ap-464	71	3	y	y	PROPN
ap-464	71	4	�	�	PROPN
ap-464	71	5	x	x	SYM
ap-464	71	6	�	�	PROPN
ap-464	71	7	y	y	PROPN
ap-464	71	8	.	.	PUNCT
ap-464	72	1	x	x	PUNCT
ap-464	72	2	x	x	SYM
ap-464	72	3	3	3	NUM
ap-464	72	4	design	design	NOUN
ap-464	72	5	space	space	NOUN
ap-464	72	6	and	and	CCONJ
ap-464	72	7	metamodel	metamodel	NOUN
ap-464	72	8	theory	theory	NOUN
ap-464	72	9	in	in	ADP
ap-464	72	10	general	general	ADJ
ap-464	72	11	,	,	PUNCT
ap-464	72	12	the	the	DET
ap-464	72	13	design	design	NOUN
ap-464	72	14	process	process	NOUN
ap-464	72	15	is	be	AUX
ap-464	72	16	not	not	PART
ap-464	72	17	a	a	DET
ap-464	72	18	simple	simple	ADJ
ap-464	72	19	,	,	PUNCT
ap-464	72	20	“	"	PUNCT
ap-464	72	21	straightforward	straightforward	ADJ
ap-464	72	22	”	"	PUNCT
ap-464	72	23	mapping	mapping	NOUN
ap-464	72	24	coming	come	VERB
ap-464	72	25	from	from	ADP
ap-464	72	26	the	the	DET
ap-464	72	27	object	object	NOUN
ap-464	72	28	specification	specification	NOUN
ap-464	72	29	to	to	ADP
ap-464	72	30	the	the	DET
ap-464	72	31	field	field	NOUN
ap-464	72	32	of	of	ADP
ap-464	72	33	design	design	NOUN
ap-464	72	34	object	object	NOUN
ap-464	72	35	attributes	attribute	NOUN
ap-464	72	36	.	.	PUNCT
ap-464	73	1	on	on	ADP
ap-464	73	2	the	the	DET
ap-464	73	3	contrary	contrary	NOUN
ap-464	73	4	,	,	PUNCT
ap-464	73	5	the	the	DET
ap-464	73	6	design	design	NOUN
ap-464	73	7	process	process	NOUN
ap-464	73	8	consists	consist	VERB
ap-464	73	9	of	of	ADP
ap-464	73	10	gradual	gradual	ADJ
ap-464	73	11	discrete	discrete	ADJ
ap-464	73	12	steps	step	NOUN
ap-464	73	13	.	.	PUNCT
ap-464	74	1	the	the	DET
ap-464	74	2	design	design	NOUN
ap-464	74	3	process	process	NOUN
ap-464	74	4	can	can	AUX
ap-464	74	5	branch	branch	VERB
ap-464	74	6	out	out	ADP
ap-464	74	7	,	,	PUNCT
ap-464	74	8	because	because	SCONJ
ap-464	74	9	the	the	DET
ap-464	74	10	designer	designer	NOUN
ap-464	74	11	can	can	AUX
ap-464	74	12	choose	choose	VERB
ap-464	74	13	a	a	DET
ap-464	74	14	transition	transition	NOUN
ap-464	74	15	to	to	ADP
ap-464	74	16	several	several	ADJ
ap-464	74	17	steps	step	NOUN
ap-464	74	18	.	.	PUNCT
ap-464	75	1	moreover	moreover	ADV
ap-464	75	2	,	,	PUNCT
ap-464	75	3	one	one	NUM
ap-464	75	4	part	part	NOUN
ap-464	75	5	of	of	ADP
ap-464	75	6	the	the	DET
ap-464	75	7	specification	specification	NOUN
ap-464	75	8	can	can	AUX
ap-464	75	9	be	be	AUX
ap-464	75	10	a	a	DET
ap-464	75	11	set	set	NOUN
ap-464	75	12	of	of	ADP
ap-464	75	13	conditions	condition	NOUN
ap-464	75	14	,	,	PUNCT
ap-464	75	15	which	which	PRON
ap-464	75	16	must	must	AUX
ap-464	75	17	be	be	AUX
ap-464	75	18	valid	valid	ADJ
ap-464	75	19	in	in	ADP
ap-464	75	20	every	every	DET
ap-464	75	21	step	step	NOUN
ap-464	75	22	or	or	CCONJ
ap-464	75	23	there	there	PRON
ap-464	75	24	are	be	VERB
ap-464	75	25	some	some	DET
ap-464	75	26	optional	optional	ADJ
ap-464	75	27	limits	limit	NOUN
ap-464	75	28	that	that	PRON
ap-464	75	29	can	can	AUX
ap-464	75	30	be	be	AUX
ap-464	75	31	used	use	VERB
ap-464	75	32	.	.	PUNCT
ap-464	76	1	these	these	DET
ap-464	76	2	requirements	requirement	NOUN
ap-464	76	3	can	can	AUX
ap-464	76	4	not	not	PART
ap-464	76	5	be	be	AUX
ap-464	76	6	described	describe	VERB
ap-464	76	7	by	by	ADP
ap-464	76	8	any	any	DET
ap-464	76	9	classical	classical	ADJ
ap-464	76	10	logic	logic	NOUN
ap-464	76	11	.	.	PUNCT
ap-464	77	1	for	for	ADP
ap-464	77	2	this	this	DET
ap-464	77	3	reason	reason	NOUN
ap-464	77	4	,	,	PUNCT
ap-464	77	5	modal	modal	ADJ
ap-464	77	6	logic	logic	NOUN
ap-464	77	7	was	be	AUX
ap-464	77	8	suggested	suggest	VERB
ap-464	77	9	for	for	ADP
ap-464	77	10	design	design	NOUN
ap-464	77	11	process	process	NOUN
ap-464	77	12	description	description	NOUN
ap-464	77	13	.	.	PUNCT
ap-464	78	1	the	the	DET
ap-464	78	2	reasons	reason	NOUN
ap-464	78	3	were	be	AUX
ap-464	78	4	based	base	VERB
ap-464	78	5	on	on	ADP
ap-464	78	6	the	the	DET
ap-464	78	7	described	describe	VERB
ap-464	78	8	design	design	NOUN
ap-464	78	9	process	process	NOUN
ap-464	78	10	characteristics	characteristic	NOUN
ap-464	78	11	–	–	PUNCT
ap-464	78	12	individual	individual	ADJ
ap-464	78	13	discrete	discrete	ADJ
ap-464	78	14	steps	step	NOUN
ap-464	78	15	,	,	PUNCT
ap-464	78	16	design	design	NOUN
ap-464	78	17	process	process	NOUN
ap-464	78	18	branching	branch	VERB
ap-464	78	19	,	,	PUNCT
ap-464	78	20	respecting	respect	VERB
ap-464	78	21	necessity	necessity	NOUN
ap-464	78	22	or	or	CCONJ
ap-464	78	23	possibility	possibility	NOUN
ap-464	78	24	types	type	NOUN
ap-464	78	25	of	of	ADP
ap-464	78	26	knowledge	knowledge	NOUN
ap-464	78	27	.	.	PUNCT
ap-464	79	1	we	we	PRON
ap-464	79	2	will	will	AUX
ap-464	79	3	try	try	VERB
ap-464	79	4	to	to	PART
ap-464	79	5	show	show	VERB
ap-464	79	6	in	in	ADP
ap-464	79	7	the	the	DET
ap-464	79	8	following	follow	VERB
ap-464	79	9	text	text	NOUN
ap-464	79	10	that	that	SCONJ
ap-464	79	11	modal	modal	ADJ
ap-464	79	12	logic	logic	NOUN
ap-464	79	13	as	as	SCONJ
ap-464	79	14	it	it	PRON
ap-464	79	15	was	be	AUX
ap-464	79	16	determined	determine	VERB
ap-464	79	17	in	in	ADP
ap-464	79	18	above	above	ADV
ap-464	79	19	with	with	ADP
ap-464	79	20	its	its	PRON
ap-464	79	21	accessibility	accessibility	NOUN
ap-464	79	22	relation	relation	NOUN
ap-464	79	23	and	and	CCONJ
ap-464	79	24	connectives	connective	NOUN
ap-464	79	25	of	of	ADP
ap-464	79	26	necessity	necessity	NOUN
ap-464	79	27	and	and	CCONJ
ap-464	79	28	possibility	possibility	NOUN
ap-464	79	29	is	be	AUX
ap-464	79	30	an	an	DET
ap-464	79	31	appropriate	appropriate	ADJ
ap-464	79	32	apparatus	apparatus	NOUN
ap-464	79	33	for	for	ADP
ap-464	79	34	formalizing	formalize	VERB
ap-464	79	35	the	the	DET
ap-464	79	36	given	give	VERB
ap-464	79	37	types	type	NOUN
ap-464	79	38	of	of	ADP
ap-464	79	39	design	design	NOUN
ap-464	79	40	process	process	NOUN
ap-464	79	41	.	.	PUNCT
ap-464	80	1	a	a	DET
ap-464	80	2	set	set	NOUN
ap-464	80	3	of	of	ADP
ap-464	80	4	accessible	accessible	ADJ
ap-464	80	5	worlds	world	NOUN
ap-464	80	6	w	w	VERB
ap-464	80	7	was	be	AUX
ap-464	80	8	introduced	introduce	VERB
ap-464	80	9	in	in	ADP
ap-464	80	10	the	the	DET
ap-464	80	11	modal	modal	ADJ
ap-464	80	12	logic	logic	NOUN
ap-464	80	13	.	.	PUNCT
ap-464	81	1	each	each	DET
ap-464	81	2	world	world	NOUN
ap-464	81	3	was	be	AUX
ap-464	81	4	represented	represent	VERB
ap-464	81	5	by	by	ADP
ap-464	81	6	a	a	DET
ap-464	81	7	finite	finite	ADJ
ap-464	81	8	set	set	NOUN
ap-464	81	9	of	of	ADP
ap-464	81	10	valid	valid	ADJ
ap-464	81	11	formulas	formula	NOUN
ap-464	81	12	using	use	VERB
ap-464	81	13	mapping	mapping	NOUN
ap-464	81	14	v.	v.	ADP
ap-464	81	15	the	the	DET
ap-464	81	16	individual	individual	ADJ
ap-464	81	17	worlds	world	NOUN
ap-464	81	18	were	be	AUX
ap-464	81	19	connected	connect	VERB
ap-464	81	20	through	through	ADP
ap-464	81	21	the	the	DET
ap-464	81	22	relation	relation	NOUN
ap-464	81	23	of	of	ADP
ap-464	81	24	accessibility	accessibility	NOUN
ap-464	81	25	r.	r.	NOUN
ap-464	81	26	a	a	DET
ap-464	81	27	modal	modal	ADJ
ap-464	81	28	logic	logic	NOUN
ap-464	81	29	was	be	AUX
ap-464	81	30	built	build	VERB
ap-464	81	31	as	as	ADP
ap-464	81	32	a	a	DET
ap-464	81	33	formal	formal	ADJ
ap-464	81	34	system	system	NOUN
ap-464	81	35	based	base	VERB
ap-464	81	36	on	on	ADP
ap-464	81	37	a	a	DET
ap-464	81	38	formal	formal	ADJ
ap-464	81	39	language	language	NOUN
ap-464	81	40	,	,	PUNCT
ap-464	81	41	logical	logical	ADJ
ap-464	81	42	axioms	axiom	NOUN
ap-464	81	43	and	and	CCONJ
ap-464	81	44	inference	inference	NOUN
ap-464	81	45	rules	rule	NOUN
ap-464	81	46	.	.	PUNCT
ap-464	82	1	the	the	DET
ap-464	82	2	mutual	mutual	ADJ
ap-464	82	3	connection	connection	NOUN
ap-464	82	4	between	between	ADP
ap-464	82	5	these	these	DET
ap-464	82	6	two	two	NUM
ap-464	82	7	systems	system	NOUN
ap-464	82	8	a	a	DET
ap-464	82	9	design	design	NOUN
ap-464	82	10	process	process	NOUN
ap-464	82	11	based	base	VERB
ap-464	82	12	on	on	ADP
ap-464	82	13	a	a	DET
ap-464	82	14	metamodel	metamodel	NOUN
ap-464	82	15	theory	theory	NOUN
ap-464	82	16	[	[	X
ap-464	82	17	3	3	NUM
ap-464	82	18	,	,	PUNCT
ap-464	82	19	4	4	NUM
ap-464	82	20	,	,	PUNCT
ap-464	82	21	5	5	NUM
ap-464	82	22	]	]	PUNCT
ap-464	82	23	and	and	CCONJ
ap-464	82	24	modal	modal	ADJ
ap-464	82	25	logic	logic	NOUN
ap-464	82	26	-	-	PUNCT
ap-464	82	27	will	will	AUX
ap-464	82	28	be	be	AUX
ap-464	82	29	shown	show	VERB
ap-464	82	30	in	in	ADP
ap-464	82	31	this	this	DET
ap-464	82	32	paper	paper	NOUN
ap-464	82	33	.	.	PUNCT
ap-464	83	1	definition	definition	NOUN
ap-464	83	2	1	1	NUM
ap-464	83	3	:	:	PUNCT
ap-464	83	4	the	the	DET
ap-464	83	5	formalized	formalize	VERB
ap-464	83	6	metamodel	metamodel	PROPN
ap-464	83	7	t	t	PROPN
ap-464	83	8	theory	theory	NOUN
ap-464	83	9	(	(	PUNCT
ap-464	83	10	metamodel	metamodel	PROPN
ap-464	83	11	theory	theory	NOUN
ap-464	83	12	)	)	PUNCT
ap-464	83	13	is	be	AUX
ap-464	83	14	a	a	DET
ap-464	83	15	triad	triad	ADJ
ap-464	83	16	�	�	PROPN
ap-464	83	17	�	�	PROPN
ap-464	83	18	t	t	PROPN
ap-464	83	19	j	j	PROPN
ap-464	83	20	l	l	PROPN
ap-464	83	21	a	a	DET
ap-464	83	22	�	�	PROPN
ap-464	83	23	,	,	PUNCT
ap-464	83	24	,	,	PUNCT
ap-464	83	25	,	,	PUNCT
ap-464	83	26	where	where	SCONJ
ap-464	83	27	j	j	PROPN
ap-464	83	28	theory	theory	NOUN
ap-464	83	29	language	language	NOUN
ap-464	83	30	represented	represent	VERB
ap-464	83	31	by	by	ADP
ap-464	83	32	modal	modal	ADJ
ap-464	83	33	lo	lo	PROPN
ap-464	83	34	gic	gic	PROPN
ap-464	83	35	syntax	syntax	NOUN
ap-464	83	36	,	,	PUNCT
ap-464	83	37	l	l	PROPN
ap-464	83	38	theory	theory	NOUN
ap-464	83	39	logic	logic	NOUN
ap-464	83	40	represented	represent	VERB
ap-464	83	41	by	by	ADP
ap-464	83	42	the	the	DET
ap-464	83	43	basic	basic	ADJ
ap-464	83	44	axiomatic	axiomatic	ADJ
ap-464	83	45	system	system	NOUN
ap-464	83	46	of	of	ADP
ap-464	83	47	modal	modal	ADJ
ap-464	83	48	logic	logic	NOUN
ap-464	83	49	,	,	PUNCT
ap-464	83	50	a	a	DET
ap-464	83	51	proper	proper	ADJ
ap-464	83	52	theory	theory	NOUN
ap-464	83	53	axioms	axiom	VERB
ap-464	83	54	.	.	PUNCT
ap-464	84	1	this	this	DET
ap-464	84	2	definition	definition	NOUN
ap-464	84	3	comes	come	VERB
ap-464	84	4	from	from	ADP
ap-464	84	5	the	the	DET
ap-464	84	6	basic	basic	ADJ
ap-464	84	7	determination	determination	NOUN
ap-464	84	8	of	of	ADP
ap-464	84	9	formalized	formalize	VERB
ap-464	84	10	theory	theory	NOUN
ap-464	84	11	.	.	PUNCT
ap-464	85	1	one	one	NUM
ap-464	85	2	part	part	NOUN
ap-464	85	3	of	of	ADP
ap-464	85	4	this	this	DET
ap-464	85	5	theory	theory	NOUN
ap-464	85	6	is	be	AUX
ap-464	85	7	a	a	DET
ap-464	85	8	system	system	NOUN
ap-464	85	9	of	of	ADP
ap-464	85	10	proper	proper	ADJ
ap-464	85	11	theory	theory	NOUN
ap-464	85	12	axioms	axiom	NOUN
ap-464	85	13	that	that	PRON
ap-464	85	14	enables	enable	VERB
ap-464	85	15	logic	logic	NOUN
ap-464	85	16	axioms	axiom	NOUN
ap-464	85	17	of	of	ADP
ap-464	85	18	a	a	DET
ap-464	85	19	formalized	formalize	VERB
ap-464	85	20	theory	theory	NOUN
ap-464	85	21	deductive	deductive	ADJ
ap-464	85	22	system	system	NOUN
ap-464	85	23	to	to	PART
ap-464	85	24	be	be	AUX
ap-464	85	25	enriched	enrich	VERB
ap-464	85	26	.	.	PUNCT
ap-464	86	1	proper	proper	ADJ
ap-464	86	2	metamodel	metamodel	PROPN
ap-464	86	3	theory	theory	NOUN
ap-464	86	4	axioms	axiom	NOUN
ap-464	86	5	represent	represent	VERB
ap-464	86	6	specification	specification	NOUN
ap-464	86	7	of	of	ADP
ap-464	86	8	the	the	DET
ap-464	86	9	functional	functional	ADJ
ap-464	86	10	and	and	CCONJ
ap-464	86	11	other	other	ADJ
ap-464	86	12	attributes	attribute	NOUN
ap-464	86	13	of	of	ADP
ap-464	86	14	designed	design	VERB
ap-464	86	15	objects	object	NOUN
ap-464	86	16	.	.	PUNCT
ap-464	87	1	definition	definition	NOUN
ap-464	87	2	2	2	NUM
ap-464	87	3	:	:	PUNCT
ap-464	87	4	metamodel	metamodel	PROPN
ap-464	87	5	mi	mi	PROPN
ap-464	87	6	will	will	AUX
ap-464	87	7	be	be	AUX
ap-464	87	8	a	a	DET
ap-464	87	9	world	world	NOUN
ap-464	87	10	w	w	PROPN
ap-464	87	11	w	w	PROPN
ap-464	87	12	ii	ii	PROPN
ap-464	87	13	,	,	PUNCT
ap-464	87	14	,	,	PUNCT
ap-464	87	15	,	,	PUNCT
ap-464	87	16	,	,	PUNCT
ap-464	87	17	0	0	NUM
ap-464	87	18	1	1	NUM
ap-464	87	19	2	2	NUM
ap-464	87	20	�	�	NOUN
ap-464	87	21	in	in	ADP
ap-464	87	22	the	the	DET
ap-464	87	23	sense	sense	NOUN
ap-464	87	24	of	of	ADP
ap-464	87	25	modal	modal	ADJ
ap-464	87	26	logic	logic	NOUN
ap-464	87	27	.	.	PUNCT
ap-464	88	1	it	it	PRON
ap-464	88	2	was	be	AUX
ap-464	88	3	shown	show	VERB
ap-464	88	4	above	above	ADP
ap-464	88	5	that	that	SCONJ
ap-464	88	6	the	the	DET
ap-464	88	7	system	system	NOUN
ap-464	88	8	of	of	ADP
ap-464	88	9	modal	modal	ADJ
ap-464	88	10	logic	logic	NOUN
ap-464	88	11	worlds	world	NOUN
ap-464	88	12	is	be	AUX
ap-464	88	13	used	use	VERB
ap-464	88	14	for	for	ADP
ap-464	88	15	interpretation	interpretation	NOUN
ap-464	88	16	of	of	ADP
ap-464	88	17	modal	modal	ADJ
ap-464	88	18	logic	logic	NOUN
ap-464	88	19	formulas	formula	NOUN
ap-464	88	20	.	.	PUNCT
ap-464	89	1	each	each	DET
ap-464	89	2	world	world	NOUN
ap-464	89	3	is	be	AUX
ap-464	89	4	characterized	characterize	VERB
ap-464	89	5	by	by	ADP
ap-464	89	6	formulas	formula	NOUN
ap-464	89	7	of	of	ADP
ap-464	89	8	the	the	DET
ap-464	89	9	world	world	NOUN
ap-464	89	10	evaluation	evaluation	NOUN
ap-464	89	11	.	.	PUNCT
ap-464	90	1	the	the	DET
ap-464	90	2	metamodel	metamodel	NOUN
ap-464	90	3	was	be	AUX
ap-464	90	4	characterized	characterize	VERB
ap-464	90	5	using	use	VERB
ap-464	90	6	a	a	DET
ap-464	90	7	finite	finite	ADJ
ap-464	90	8	set	set	NOUN
ap-464	90	9	of	of	ADP
ap-464	90	10	specifications	specification	NOUN
ap-464	90	11	and	and	CCONJ
ap-464	90	12	attributes	attribute	NOUN
ap-464	90	13	of	of	ADP
ap-464	90	14	the	the	DET
ap-464	90	15	designed	design	VERB
ap-464	90	16	object	object	NOUN
ap-464	90	17	.	.	PUNCT
ap-464	91	1	definition	definition	NOUN
ap-464	91	2	3	3	NUM
ap-464	91	3	:	:	PUNCT
ap-464	91	4	the	the	DET
ap-464	91	5	set	set	NOUN
ap-464	91	6	of	of	ADP
ap-464	91	7	metamodels	metamodel	NOUN
ap-464	91	8	m0	m0	PROPN
ap-464	91	9	,	,	PUNCT
ap-464	91	10	m1	m1	PROPN
ap-464	91	11	,	,	PUNCT
ap-464	91	12	…	…	PUNCT
ap-464	91	13	,	,	PUNCT
ap-464	91	14	mm	mm	INTJ
ap-464	91	15	,	,	PUNCT
ap-464	91	16	…	…	PUNCT
ap-464	91	17	,	,	PUNCT
ap-464	91	18	will	will	AUX
ap-464	91	19	be	be	AUX
ap-464	91	20	understood	understand	VERB
ap-464	91	21	as	as	ADP
ap-464	91	22	a	a	DET
ap-464	91	23	non	non	ADJ
ap-464	91	24	-	-	ADJ
ap-464	91	25	empty	empty	ADJ
ap-464	91	26	set	set	NOUN
ap-464	91	27	w	w	PROPN
ap-464	91	28	w	w	PROPN
ap-464	91	29	i	i	PROPN
ap-464	91	30	mi	mi	PROPN
ap-464	91	31	,	,	PUNCT
ap-464	91	32	,	,	PUNCT
ap-464	91	33	,	,	PUNCT
ap-464	91	34	,	,	PUNCT
ap-464	91	35	,	,	PUNCT
ap-464	91	36	,	,	PUNCT
ap-464	91	37	0	0	NUM
ap-464	91	38	1	1	NUM
ap-464	91	39	2	2	NUM
ap-464	91	40	�	�	PROPN
ap-464	91	41	�	�	PROPN
ap-464	91	42	of	of	ADP
ap-464	91	43	worlds	world	NOUN
ap-464	91	44	of	of	ADP
ap-464	91	45	modal	modal	ADJ
ap-464	91	46	logic	logic	NOUN
ap-464	91	47	where	where	SCONJ
ap-464	91	48	mi	mi	PROPN
ap-464	91	49	is	be	AUX
ap-464	91	50	represented	represent	VERB
ap-464	91	51	by	by	ADP
ap-464	91	52	the	the	DET
ap-464	91	53	world	world	NOUN
ap-464	91	54	wi	wi	PROPN
ap-464	91	55	for	for	ADP
ap-464	91	56	all	all	DET
ap-464	91	57	i.	i.	NOUN
ap-464	91	58	each	each	DET
ap-464	91	59	world	world	NOUN
ap-464	91	60	is	be	AUX
ap-464	91	61	represented	represent	VERB
ap-464	91	62	by	by	ADP
ap-464	91	63	a	a	DET
ap-464	91	64	set	set	NOUN
ap-464	91	65	of	of	ADP
ap-464	91	66	modal	modal	ADJ
ap-464	91	67	logic	logic	NOUN
ap-464	91	68	formulas	formula	NOUN
ap-464	91	69	.	.	PUNCT
ap-464	92	1	functional	functional	ADJ
ap-464	92	2	and	and	CCONJ
ap-464	92	3	other	other	ADJ
ap-464	92	4	design	design	NOUN
ap-464	92	5	object	object	NOUN
ap-464	92	6	attributes	attribute	NOUN
ap-464	92	7	that	that	PRON
ap-464	92	8	represent	represent	VERB
ap-464	92	9	the	the	DET
ap-464	92	10	object	object	NOUN
ap-464	92	11	specification	specification	NOUN
ap-464	92	12	are	be	AUX
ap-464	92	13	part	part	NOUN
ap-464	92	14	of	of	ADP
ap-464	92	15	the	the	DET
ap-464	92	16	world	world	NOUN
ap-464	92	17	that	that	PRON
ap-464	92	18	represents	represent	VERB
ap-464	92	19	the	the	DET
ap-464	92	20	metamodel	metamodel	NOUN
ap-464	92	21	m0	m0	PROPN
ap-464	92	22	(	(	PUNCT
ap-464	92	23	object	object	NOUN
ap-464	92	24	specification	specification	NOUN
ap-464	92	25	)	)	PUNCT
ap-464	92	26	.	.	PUNCT
ap-464	93	1	the	the	DET
ap-464	93	2	individual	individual	ADJ
ap-464	93	3	modal	modal	ADJ
ap-464	93	4	logic	logic	NOUN
ap-464	93	5	worlds	world	NOUN
ap-464	93	6	represent	represent	VERB
ap-464	93	7	elements	element	NOUN
ap-464	93	8	of	of	ADP
ap-464	93	9	the	the	DET
ap-464	93	10	set	set	NOUN
ap-464	93	11	of	of	ADP
ap-464	93	12	metamodels	metamodel	NOUN
ap-464	93	13	.	.	PUNCT
ap-464	94	1	logic	logic	NOUN
ap-464	94	2	axioms	axiom	NOUN
ap-464	94	3	of	of	ADP
ap-464	94	4	modal	modal	ADJ
ap-464	94	5	logic	logic	NOUN
ap-464	94	6	and	and	CCONJ
ap-464	94	7	proper	proper	ADJ
ap-464	94	8	design	design	NOUN
ap-464	94	9	axioms	axiom	NOUN
ap-464	94	10	form	form	VERB
ap-464	94	11	one	one	NUM
ap-464	94	12	part	part	NOUN
ap-464	94	13	of	of	ADP
ap-464	94	14	the	the	DET
ap-464	94	15	metamodel	metamodel	NOUN
ap-464	94	16	theory	theory	NOUN
ap-464	94	17	[	[	X
ap-464	94	18	3	3	NUM
ap-464	94	19	]	]	PUNCT
ap-464	94	20	.	.	PUNCT
ap-464	95	1	definition	definition	NOUN
ap-464	95	2	4	4	NUM
ap-464	95	3	:	:	PUNCT
ap-464	95	4	the	the	DET
ap-464	95	5	design	design	NOUN
ap-464	95	6	space	space	NOUN
ap-464	95	7	over	over	ADP
ap-464	95	8	the	the	DET
ap-464	95	9	set	set	NOUN
ap-464	95	10	of	of	ADP
ap-464	95	11	metamodels	metamodel	NOUN
ap-464	95	12	is	be	AUX
ap-464	95	13	a	a	DET
ap-464	95	14	couple	couple	NOUN
ap-464	95	15	of	of	ADP
ap-464	95	16	worlds	world	NOUN
ap-464	95	17	w	w	VERB
ap-464	95	18	w	w	PROPN
ap-464	96	1	i	i	PROPN
ap-464	96	2	mi	mi	PROPN
ap-464	96	3	,	,	PUNCT
ap-464	96	4	,	,	PUNCT
ap-464	96	5	,	,	PUNCT
ap-464	96	6	,	,	PUNCT
ap-464	96	7	,	,	PUNCT
ap-464	96	8	,	,	PUNCT
ap-464	96	9	0	0	NUM
ap-464	96	10	1	1	NUM
ap-464	96	11	2	2	NUM
ap-464	96	12	�	�	PROPN
ap-464	96	13	�	�	PROPN
ap-464	96	14	and	and	CCONJ
ap-464	96	15	the	the	DET
ap-464	96	16	accessibility	accessibility	NOUN
ap-464	96	17	relation	relation	NOUN
ap-464	96	18	r	r	NOUN
ap-464	96	19	(	(	PUNCT
ap-464	96	20	r	r	NOUN
ap-464	96	21	�	�	PROPN
ap-464	96	22	w	w	PROPN
ap-464	96	23	�	�	PROPN
ap-464	96	24	w	w	PROPN
ap-464	96	25	)	)	PUNCT
ap-464	96	26	of	of	ADP
ap-464	96	27	modal	modal	ADJ
ap-464	96	28	logic	logic	NOUN
ap-464	96	29	.	.	PUNCT
ap-464	97	1	the	the	DET
ap-464	97	2	design	design	NOUN
ap-464	97	3	space	space	NOUN
ap-464	97	4	ensures	ensure	VERB
ap-464	97	5	the	the	DET
ap-464	97	6	possibility	possibility	NOUN
ap-464	97	7	to	to	PART
ap-464	97	8	test	test	VERB
ap-464	97	9	the	the	DET
ap-464	97	10	set	set	NOUN
ap-464	97	11	of	of	ADP
ap-464	97	12	all	all	DET
ap-464	97	13	metamodels	metamodel	NOUN
ap-464	97	14	accessible	accessible	ADJ
ap-464	97	15	from	from	ADP
ap-464	97	16	one	one	NUM
ap-464	97	17	of	of	ADP
ap-464	97	18	the	the	DET
ap-464	97	19	metamodels	metamodel	NOUN
ap-464	97	20	,	,	PUNCT
ap-464	97	21	e.g.	e.g.	ADV
ap-464	97	22	,	,	PUNCT
ap-464	97	23	from	from	ADP
ap-464	97	24	a	a	DET
ap-464	97	25	metamodel	metamodel	NOUN
ap-464	97	26	m0	m0	NOUN
ap-464	97	27	–	–	PUNCT
ap-464	97	28	of	of	ADP
ap-464	97	29	the	the	DET
ap-464	97	30	initial	initial	ADJ
ap-464	97	31	specification	specification	NOUN
ap-464	97	32	.	.	PUNCT
ap-464	98	1	definition	definition	NOUN
ap-464	98	2	4	4	NUM
ap-464	98	3	ensures	ensure	VERB
ap-464	98	4	that	that	SCONJ
ap-464	98	5	each	each	DET
ap-464	98	6	design	design	NOUN
ap-464	98	7	space	space	NOUN
ap-464	98	8	can	can	AUX
ap-464	98	9	be	be	AUX
ap-464	98	10	described	describe	VERB
ap-464	98	11	by	by	ADP
ap-464	98	12	a	a	DET
ap-464	98	13	frame	frame	NOUN
ap-464	99	1	f	f	X
ap-464	99	2	:	:	PUNCT
ap-464	99	3	�	�	PROPN
ap-464	99	4	�	�	PROPN
ap-464	99	5	f	f	PROPN
ap-464	99	6	w	w	PROPN
ap-464	99	7	r	r	PROPN
ap-464	99	8	�	�	PROPN
ap-464	99	9	,	,	PUNCT
ap-464	99	10	,	,	PUNCT
ap-464	99	11	where	where	SCONJ
ap-464	99	12	w	w	NOUN
ap-464	99	13	represents	represent	VERB
ap-464	99	14	the	the	DET
ap-464	99	15	set	set	NOUN
ap-464	99	16	of	of	ADP
ap-464	99	17	metamodels	metamodel	NOUN
ap-464	99	18	,	,	PUNCT
ap-464	99	19	r	r	NOUN
ap-464	99	20	�	�	PROPN
ap-464	99	21	w	w	PROPN
ap-464	99	22	�	�	PROPN
ap-464	99	23	w	w	PROPN
ap-464	99	24	characterizes	characterize	VERB
ap-464	99	25	the	the	DET
ap-464	99	26	accessibility	accessibility	NOUN
ap-464	99	27	relation	relation	NOUN
ap-464	99	28	between	between	ADP
ap-464	99	29	individual	individual	ADJ
ap-464	99	30	metamodels	metamodel	NOUN
ap-464	99	31	.	.	PUNCT
ap-464	100	1	the	the	DET
ap-464	100	2	definition	definition	NOUN
ap-464	100	3	ensures	ensure	VERB
ap-464	100	4	that	that	SCONJ
ap-464	100	5	only	only	ADV
ap-464	100	6	those	those	DET
ap-464	100	7	metamodels	metamodel	NOUN
ap-464	100	8	which	which	PRON
ap-464	100	9	are	be	AUX
ap-464	100	10	represented	represent	VERB
ap-464	100	11	in	in	ADP
ap-464	100	12	the	the	DET
ap-464	100	13	frame	frame	NOUN
ap-464	100	14	�	�	PROPN
ap-464	100	15	�	�	PROPN
ap-464	100	16	f	f	PROPN
ap-464	100	17	w	w	PROPN
ap-464	100	18	r	r	PROPN
ap-464	100	19	�	�	PROPN
ap-464	100	20	,	,	PUNCT
ap-464	100	21	are	be	AUX
ap-464	100	22	concerned	concern	VERB
ap-464	100	23	in	in	ADP
ap-464	100	24	the	the	DET
ap-464	100	25	design	design	NOUN
ap-464	100	26	.	.	PUNCT
ap-464	101	1	their	their	PRON
ap-464	101	2	connection	connection	NOUN
ap-464	101	3	is	be	AUX
ap-464	101	4	represented	represent	VERB
ap-464	101	5	by	by	ADP
ap-464	101	6	the	the	DET
ap-464	101	7	accessibility	accessibility	NOUN
ap-464	101	8	relation	relation	PROPN
ap-464	101	9	r.	r.	PROPN
ap-464	101	10	definition	definition	NOUN
ap-464	101	11	5	5	NUM
ap-464	101	12	:	:	PUNCT
ap-464	101	13	accessibility	accessibility	NOUN
ap-464	101	14	relation	relation	NOUN
ap-464	101	15	r	r	NOUN
ap-464	101	16	of	of	ADP
ap-464	101	17	the	the	DET
ap-464	101	18	design	design	NOUN
ap-464	101	19	space	space	NOUN
ap-464	101	20	is	be	AUX
ap-464	101	21	reflexive	reflexive	ADJ
ap-464	101	22	and	and	CCONJ
ap-464	101	23	transitive	transitive	ADJ
ap-464	101	24	.	.	PUNCT
ap-464	102	1	the	the	DET
ap-464	102	2	definition	definition	NOUN
ap-464	102	3	comes	come	VERB
ap-464	102	4	from	from	ADP
ap-464	102	5	a	a	DET
ap-464	102	6	design	design	NOUN
ap-464	102	7	reality	reality	NOUN
ap-464	102	8	.	.	PUNCT
ap-464	103	1	it	it	PRON
ap-464	103	2	is	be	AUX
ap-464	103	3	assumed	assume	VERB
ap-464	103	4	that	that	SCONJ
ap-464	103	5	all	all	DET
ap-464	103	6	conclusions	conclusion	NOUN
ap-464	103	7	derived	derive	VERB
ap-464	103	8	in	in	ADP
ap-464	103	9	one	one	NUM
ap-464	103	10	metamodel	metamodel	NOUN
ap-464	103	11	(	(	PUNCT
ap-464	103	12	in	in	ADP
ap-464	103	13	one	one	NUM
ap-464	103	14	design	design	NOUN
ap-464	103	15	stage	stage	NOUN
ap-464	103	16	)	)	PUNCT
ap-464	103	17	are	be	AUX
ap-464	103	18	usable	usable	ADJ
ap-464	103	19	in	in	ADP
ap-464	103	20	this	this	DET
ap-464	103	21	particular	particular	ADJ
ap-464	103	22	step	step	NOUN
ap-464	103	23	(	(	PUNCT
ap-464	103	24	reflexivity	reflexivity	NOUN
ap-464	103	25	)	)	PUNCT
ap-464	103	26	.	.	PUNCT
ap-464	104	1	similarly	similarly	ADV
ap-464	104	2	,	,	PUNCT
ap-464	104	3	conclusions	conclusion	NOUN
ap-464	104	4	derived	derive	VERB
ap-464	104	5	in	in	ADP
ap-464	104	6	a	a	DET
ap-464	104	7	transition	transition	NOUN
ap-464	104	8	from	from	ADP
ap-464	104	9	one	one	NUM
ap-464	104	10	design	design	NOUN
ap-464	104	11	stage	stage	NOUN
ap-464	104	12	to	to	ADP
ap-464	104	13	another	another	PRON
ap-464	104	14	are	be	AUX
ap-464	104	15	also	also	ADV
ap-464	104	16	usable	usable	ADJ
ap-464	104	17	in	in	ADP
ap-464	104	18	the	the	DET
ap-464	104	19	following	follow	VERB
ap-464	104	20	design	design	NOUN
ap-464	104	21	stages	stage	NOUN
ap-464	104	22	(	(	PUNCT
ap-464	104	23	transitivity	transitivity	NOUN
ap-464	104	24	)	)	PUNCT
ap-464	104	25	.	.	PUNCT
ap-464	105	1	the	the	DET
ap-464	105	2	other	other	ADJ
ap-464	105	3	property	property	NOUN
ap-464	105	4	of	of	ADP
ap-464	105	5	the	the	DET
ap-464	105	6	relation	relation	NOUN
ap-464	105	7	of	of	ADP
ap-464	105	8	accessibility	accessibility	NOUN
ap-464	105	9	–	–	PUNCT
ap-464	105	10	symmetry	symmetry	NOUN
ap-464	105	11	–	–	PUNCT
ap-464	105	12	does	do	AUX
ap-464	105	13	not	not	PART
ap-464	105	14	have	have	VERB
ap-464	105	15	a	a	DET
ap-464	105	16	practical	practical	ADJ
ap-464	105	17	sense	sense	NOUN
ap-464	105	18	here	here	ADV
ap-464	105	19	,	,	PUNCT
ap-464	105	20	so	so	CCONJ
ap-464	105	21	it	it	PRON
ap-464	105	22	is	be	AUX
ap-464	105	23	not	not	PART
ap-464	105	24	considered	consider	VERB
ap-464	105	25	.	.	PUNCT
ap-464	106	1	this	this	PRON
ap-464	106	2	would	would	AUX
ap-464	106	3	mean	mean	VERB
ap-464	106	4	that	that	SCONJ
ap-464	106	5	the	the	DET
ap-464	106	6	conclusions	conclusion	NOUN
ap-464	106	7	created	create	VERB
ap-464	106	8	in	in	ADP
ap-464	106	9	the	the	DET
ap-464	106	10	subsequent	subsequent	ADJ
ap-464	106	11	steps	step	NOUN
ap-464	106	12	would	would	AUX
ap-464	106	13	be	be	AUX
ap-464	106	14	usable	usable	ADJ
ap-464	106	15	in	in	ADP
ap-464	106	16	the	the	DET
ap-464	106	17	previous	previous	ADJ
ap-464	106	18	ones	one	NOUN
ap-464	106	19	,	,	PUNCT
ap-464	106	20	©	©	PROPN
ap-464	106	21	czech	czech	PROPN
ap-464	106	22	technical	technical	PROPN
ap-464	106	23	university	university	PROPN
ap-464	106	24	publishing	publishing	NOUN
ap-464	106	25	house	house	NOUN
ap-464	106	26	http://ctn.cvut.cz/ap/	http://ctn.cvut.cz/ap/	PROPN
ap-464	106	27	5	5	NUM
ap-464	106	28	acta	acta	PROPN
ap-464	106	29	polytechnica	polytechnica	PROPN
ap-464	106	30	vol	vol	NOUN
ap-464	106	31	.	.	PUNCT
ap-464	107	1	43	43	NUM
ap-464	107	2	no	no	NOUN
ap-464	107	3	.	.	PUNCT
ap-464	108	1	5/2003	5/2003	NUM
ap-464	108	2	system	system	NOUN
ap-464	108	3	symbol	symbol	NOUN
ap-464	108	4	accessibility	accessibility	NOUN
ap-464	108	5	relation	relation	NOUN
ap-464	108	6	property	property	NOUN
ap-464	108	7	axioms	axiom	NOUN
ap-464	108	8	t	t	X
ap-464	108	9	s	s	PROPN
ap-464	108	10	srs	srs	PROPN
ap-464	108	11	(	(	PUNCT
ap-464	108	12	t	t	PROPN
ap-464	108	13	):	):	PUNCT
ap-464	108	14	�	�	PROPN
ap-464	108	15	a	a	DET
ap-464	108	16	�	�	PROPN
ap-464	108	17	a	a	DET
ap-464	108	18	b	b	PROPN
ap-464	108	19	s	s	PROPN
ap-464	108	20	srs	srs	PROPN
ap-464	108	21	(	(	PUNCT
ap-464	108	22	t	t	PROPN
ap-464	108	23	):	):	PUNCT
ap-464	108	24	�	�	PROPN
ap-464	108	25	a	a	DET
ap-464	108	26	�	�	PROPN
ap-464	108	27	a	a	DET
ap-464	108	28	�	�	PROPN
ap-464	108	29	s	s	PART
ap-464	108	30	t	t	PROPN
ap-464	108	31	srt	srt	NOUN
ap-464	108	32	trs	trs	PROPN
ap-464	108	33	(	(	PUNCT
ap-464	108	34	b	b	NOUN
ap-464	108	35	):	):	PUNCT
ap-464	108	36	a	a	DET
ap-464	108	37	�	�	PROPN
ap-464	108	38	�	�	PROPN
ap-464	108	39	�	�	PROPN
ap-464	108	40	a	a	DET
ap-464	108	41	s4	s4	PROPN
ap-464	108	42	s	s	PART
ap-464	108	43	srs	srs	PROPN
ap-464	108	44	(	(	PUNCT
ap-464	108	45	t	t	PROPN
ap-464	108	46	):	):	PUNCT
ap-464	108	47	�	�	PROPN
ap-464	108	48	a	a	DET
ap-464	108	49	�	�	PROPN
ap-464	108	50	a	a	DET
ap-464	108	51	�	�	PROPN
ap-464	108	52	�	�	PROPN
ap-464	108	53	s	s	PART
ap-464	108	54	t	t	NOUN
ap-464	108	55	u	u	NOUN
ap-464	108	56	srt	srt	VERB
ap-464	108	57	tru	tru	PROPN
ap-464	108	58	sru	sru	PROPN
ap-464	108	59	(	(	PUNCT
ap-464	108	60	4	4	NUM
ap-464	108	61	):	):	PUNCT
ap-464	108	62	�	�	PROPN
ap-464	108	63	a	a	DET
ap-464	108	64	�	�	PROPN
ap-464	108	65	�	�	PROPN
ap-464	108	66	�	�	PROPN
ap-464	108	67	a	a	DET
ap-464	108	68	s5	s5	PROPN
ap-464	108	69	s	s	PROPN
ap-464	108	70	srs	srs	PROPN
ap-464	108	71	(	(	PUNCT
ap-464	108	72	t	t	PROPN
ap-464	108	73	):	):	PUNCT
ap-464	108	74	�	�	PROPN
ap-464	108	75	a	a	DET
ap-464	108	76	�	�	PROPN
ap-464	108	77	a	a	DET
ap-464	108	78	�	�	PROPN
ap-464	108	79	s	s	PART
ap-464	108	80	t	t	PROPN
ap-464	108	81	srt	srt	NOUN
ap-464	108	82	trs	trs	PROPN
ap-464	108	83	(	(	PUNCT
ap-464	108	84	b	b	NOUN
ap-464	108	85	):	):	PUNCT
ap-464	108	86	a	a	DET
ap-464	108	87	�	�	PROPN
ap-464	108	88	�	�	PROPN
ap-464	108	89	�	�	PROPN
ap-464	108	90	a	a	DET
ap-464	108	91	�	�	PROPN
ap-464	108	92	�	�	PROPN
ap-464	108	93	s	s	PART
ap-464	108	94	t	t	NOUN
ap-464	108	95	u	u	NOUN
ap-464	108	96	srt	srt	VERB
ap-464	108	97	tru	tru	PROPN
ap-464	108	98	sru	sru	PROPN
ap-464	108	99	(	(	PUNCT
ap-464	108	100	4	4	NUM
ap-464	108	101	):	):	PUNCT
ap-464	108	102	�	�	PROPN
ap-464	108	103	a	a	DET
ap-464	108	104	�	�	PROPN
ap-464	108	105	�	�	PROPN
ap-464	108	106	�	�	PROPN
ap-464	108	107	a	a	DET
ap-464	108	108	table	table	NOUN
ap-464	108	109	1	1	NUM
ap-464	108	110	:	:	PUNCT
ap-464	108	111	connection	connection	NOUN
ap-464	108	112	between	between	ADP
ap-464	108	113	accessibility	accessibility	NOUN
ap-464	108	114	relation	relation	NOUN
ap-464	108	115	properties	property	NOUN
ap-464	108	116	and	and	CCONJ
ap-464	108	117	modal	modal	ADJ
ap-464	108	118	logic	logic	NOUN
ap-464	108	119	axioms	axiom	NOUN
ap-464	108	120	which	which	PRON
ap-464	108	121	does	do	AUX
ap-464	108	122	not	not	PART
ap-464	108	123	correspond	correspond	VERB
ap-464	108	124	with	with	ADP
ap-464	108	125	reality	reality	NOUN
ap-464	108	126	.	.	PUNCT
ap-464	109	1	in	in	ADP
ap-464	109	2	this	this	DET
ap-464	109	3	case	case	NOUN
ap-464	109	4	,	,	PUNCT
ap-464	109	5	the	the	DET
ap-464	109	6	accessibility	accessibility	NOUN
ap-464	109	7	relation	relation	NOUN
ap-464	109	8	would	would	AUX
ap-464	109	9	cease	cease	VERB
ap-464	109	10	to	to	PART
ap-464	109	11	represent	represent	VERB
ap-464	109	12	the	the	DET
ap-464	109	13	basic	basic	ADJ
ap-464	109	14	principle	principle	NOUN
ap-464	109	15	of	of	ADP
ap-464	109	16	design	design	NOUN
ap-464	109	17	process	process	NOUN
ap-464	109	18	–	–	PUNCT
ap-464	109	19	evolutionary	evolutionary	ADJ
ap-464	109	20	design	design	NOUN
ap-464	109	21	process	process	NOUN
ap-464	109	22	.	.	PUNCT
ap-464	110	1	as	as	SCONJ
ap-464	110	2	the	the	DET
ap-464	110	3	accessibility	accessibility	NOUN
ap-464	110	4	relation	relation	NOUN
ap-464	110	5	of	of	ADP
ap-464	110	6	the	the	DET
ap-464	110	7	design	design	NOUN
ap-464	110	8	space	space	NOUN
ap-464	110	9	is	be	AUX
ap-464	110	10	determined	determine	VERB
ap-464	110	11	design	design	NOUN
ap-464	110	12	system	system	NOUN
ap-464	110	13	can	can	AUX
ap-464	110	14	be	be	AUX
ap-464	110	15	defined	define	VERB
ap-464	110	16	as	as	ADP
ap-464	110	17	follows	follow	VERB
ap-464	110	18	.	.	PUNCT
ap-464	111	1	definition	definition	NOUN
ap-464	111	2	6	6	NUM
ap-464	111	3	:	:	PUNCT
ap-464	111	4	the	the	DET
ap-464	111	5	design	design	NOUN
ap-464	111	6	system	system	NOUN
ap-464	111	7	will	will	AUX
ap-464	111	8	be	be	AUX
ap-464	111	9	understood	understand	VERB
ap-464	111	10	as	as	ADP
ap-464	111	11	a	a	DET
ap-464	111	12	modal	modal	ADJ
ap-464	111	13	logic	logic	NOUN
ap-464	111	14	of	of	ADP
ap-464	111	15	type	type	NOUN
ap-464	111	16	s4	s4	NOUN
ap-464	111	17	.	.	PUNCT
ap-464	112	1	the	the	DET
ap-464	112	2	definition	definition	NOUN
ap-464	112	3	only	only	ADV
ap-464	112	4	formulates	formulate	VERB
ap-464	112	5	the	the	DET
ap-464	112	6	facts	fact	NOUN
ap-464	112	7	given	give	VERB
ap-464	112	8	in	in	ADP
ap-464	112	9	definition	definition	NOUN
ap-464	112	10	5	5	NUM
ap-464	112	11	in	in	ADP
ap-464	112	12	an	an	DET
ap-464	112	13	actual	actual	ADJ
ap-464	112	14	notation	notation	NOUN
ap-464	112	15	used	use	VERB
ap-464	112	16	for	for	ADP
ap-464	112	17	modal	modal	ADJ
ap-464	112	18	logic	logic	NOUN
ap-464	112	19	type	type	NOUN
ap-464	112	20	names	name	NOUN
ap-464	112	21	according	accord	VERB
ap-464	112	22	to	to	ADP
ap-464	112	23	table	table	NOUN
ap-464	112	24	1	1	NUM
ap-464	112	25	.	.	PUNCT
ap-464	113	1	an	an	DET
ap-464	113	2	accessibility	accessibility	NOUN
ap-464	113	3	relation	relation	NOUN
ap-464	113	4	of	of	ADP
ap-464	113	5	modal	modal	ADJ
ap-464	113	6	logic	logic	NOUN
ap-464	113	7	of	of	ADP
ap-464	113	8	s4	s4	NOUN
ap-464	113	9	type	type	NOUN
ap-464	113	10	is	be	AUX
ap-464	113	11	characterized	characterize	VERB
ap-464	113	12	by	by	ADP
ap-464	113	13	the	the	DET
ap-464	113	14	transitivity	transitivity	NOUN
ap-464	113	15	and	and	CCONJ
ap-464	113	16	reflexivity	reflexivity	NOUN
ap-464	113	17	property	property	NOUN
ap-464	113	18	.	.	PUNCT
ap-464	114	1	it	it	PRON
ap-464	114	2	has	have	AUX
ap-464	114	3	been	be	AUX
ap-464	114	4	shown	show	VERB
ap-464	114	5	that	that	SCONJ
ap-464	114	6	the	the	DET
ap-464	114	7	characteristic	characteristic	ADJ
ap-464	114	8	properties	property	NOUN
ap-464	114	9	of	of	ADP
ap-464	114	10	the	the	DET
ap-464	114	11	respective	respective	ADJ
ap-464	114	12	accessibility	accessibility	NOUN
ap-464	114	13	relation	relation	NOUN
ap-464	114	14	which	which	PRON
ap-464	114	15	models	model	VERB
ap-464	114	16	the	the	DET
ap-464	114	17	actual	actual	ADJ
ap-464	114	18	design	design	NOUN
ap-464	114	19	course	course	NOUN
ap-464	114	20	are	be	AUX
ap-464	114	21	the	the	DET
ap-464	114	22	reason	reason	NOUN
ap-464	114	23	for	for	ADP
ap-464	114	24	choosing	choose	VERB
ap-464	114	25	modal	modal	ADJ
ap-464	114	26	logic	logic	NOUN
ap-464	114	27	type	type	NOUN
ap-464	114	28	s4	s4	NOUN
ap-464	114	29	for	for	ADP
ap-464	114	30	design	design	NOUN
ap-464	114	31	modeling	modeling	NOUN
ap-464	114	32	.	.	PUNCT
ap-464	115	1	the	the	DET
ap-464	115	2	design	design	NOUN
ap-464	115	3	proceeds	proceed	VERB
ap-464	115	4	gradually	gradually	ADV
ap-464	115	5	from	from	ADP
ap-464	115	6	one	one	NUM
ap-464	115	7	step	step	NOUN
ap-464	115	8	to	to	ADP
ap-464	115	9	another	another	PRON
ap-464	115	10	and	and	CCONJ
ap-464	115	11	everything	everything	PRON
ap-464	115	12	that	that	PRON
ap-464	115	13	was	be	AUX
ap-464	115	14	valid	valid	ADJ
ap-464	115	15	in	in	ADP
ap-464	115	16	the	the	DET
ap-464	115	17	previous	previous	ADJ
ap-464	115	18	step	step	NOUN
ap-464	115	19	is	be	AUX
ap-464	115	20	transitively	transitively	PROPN
ap-464	115	21	used	use	VERB
ap-464	115	22	in	in	ADP
ap-464	115	23	the	the	DET
ap-464	115	24	subsequent	subsequent	ADJ
ap-464	115	25	steps	step	NOUN
ap-464	115	26	(	(	PUNCT
ap-464	115	27	a	a	DET
ap-464	115	28	design	design	NOUN
ap-464	115	29	can	can	AUX
ap-464	115	30	be	be	AUX
ap-464	115	31	returned	return	VERB
ap-464	115	32	by	by	ADP
ap-464	115	33	rejecting	reject	VERB
ap-464	115	34	the	the	DET
ap-464	115	35	following	follow	VERB
ap-464	115	36	step	step	NOUN
ap-464	115	37	,	,	PUNCT
ap-464	115	38	i.e.	i.e.	X
ap-464	115	39	by	by	ADP
ap-464	115	40	exemption	exemption	NOUN
ap-464	115	41	of	of	ADP
ap-464	115	42	a	a	DET
ap-464	115	43	world	world	NOUN
ap-464	115	44	from	from	ADP
ap-464	115	45	the	the	DET
ap-464	115	46	design	design	NOUN
ap-464	115	47	process	process	NOUN
ap-464	115	48	)	)	PUNCT
ap-464	115	49	.	.	PUNCT
ap-464	116	1	similarly	similarly	ADV
ap-464	116	2	,	,	PUNCT
ap-464	116	3	it	it	PRON
ap-464	116	4	is	be	AUX
ap-464	116	5	true	true	ADJ
ap-464	116	6	that	that	SCONJ
ap-464	116	7	the	the	DET
ap-464	116	8	properties	property	NOUN
ap-464	116	9	valid	valid	ADJ
ap-464	116	10	in	in	ADP
ap-464	116	11	one	one	NUM
ap-464	116	12	step	step	NOUN
ap-464	116	13	are	be	AUX
ap-464	116	14	usable	usable	ADJ
ap-464	116	15	in	in	ADP
ap-464	116	16	that	that	DET
ap-464	116	17	step	step	NOUN
ap-464	116	18	(	(	PUNCT
ap-464	116	19	reflexivity	reflexivity	NOUN
ap-464	116	20	)	)	PUNCT
ap-464	116	21	.	.	PUNCT
ap-464	117	1	the	the	DET
ap-464	117	2	given	give	VERB
ap-464	117	3	definitions	definition	NOUN
ap-464	117	4	enable	enable	VERB
ap-464	117	5	us	we	PRON
ap-464	117	6	to	to	PART
ap-464	117	7	use	use	VERB
ap-464	117	8	the	the	DET
ap-464	117	9	modal	modal	ADJ
ap-464	117	10	logic	logic	NOUN
ap-464	117	11	apparatus	apparatus	NOUN
ap-464	117	12	for	for	ADP
ap-464	117	13	design	design	NOUN
ap-464	117	14	process	process	NOUN
ap-464	117	15	formalization	formalization	NOUN
ap-464	117	16	–	–	PUNCT
ap-464	117	17	modalities	modality	NOUN
ap-464	117	18	�	�	NOUN
ap-464	117	19	p	p	NOUN
ap-464	117	20	and	and	CCONJ
ap-464	117	21	�	�	PROPN
ap-464	117	22	p	p	NOUN
ap-464	117	23	respectively	respectively	ADV
ap-464	117	24	,	,	PUNCT
ap-464	117	25	can	can	AUX
ap-464	117	26	be	be	AUX
ap-464	117	27	used	use	VERB
ap-464	117	28	.	.	PUNCT
ap-464	118	1	the	the	DET
ap-464	118	2	most	most	ADV
ap-464	118	3	common	common	ADJ
ap-464	118	4	way	way	NOUN
ap-464	118	5	of	of	ADP
ap-464	118	6	informal	informal	ADJ
ap-464	118	7	interpretation	interpretation	NOUN
ap-464	118	8	of	of	ADP
ap-464	118	9	these	these	DET
ap-464	118	10	formulas	formula	NOUN
ap-464	118	11	is	be	AUX
ap-464	118	12	“	"	PUNCT
ap-464	118	13	it	it	PRON
ap-464	118	14	must	must	AUX
ap-464	118	15	be	be	AUX
ap-464	118	16	true	true	ADJ
ap-464	118	17	in	in	ADP
ap-464	118	18	the	the	DET
ap-464	118	19	whole	whole	ADJ
ap-464	118	20	design	design	NOUN
ap-464	118	21	”	"	PUNCT
ap-464	118	22	or	or	CCONJ
ap-464	118	23	“	"	PUNCT
ap-464	118	24	it	it	PRON
ap-464	118	25	will	will	AUX
ap-464	118	26	be	be	AUX
ap-464	118	27	true	true	ADJ
ap-464	118	28	somewhere	somewhere	ADV
ap-464	118	29	in	in	ADP
ap-464	118	30	the	the	DET
ap-464	118	31	design	design	NOUN
ap-464	118	32	”	"	PUNCT
ap-464	118	33	.	.	PUNCT
ap-464	119	1	a	a	DET
ap-464	119	2	number	number	NOUN
ap-464	119	3	of	of	ADP
ap-464	119	4	definitions	definition	NOUN
ap-464	119	5	have	have	AUX
ap-464	119	6	been	be	AUX
ap-464	119	7	formulated	formulate	VERB
ap-464	119	8	and	and	CCONJ
ap-464	119	9	a	a	DET
ap-464	119	10	number	number	NOUN
ap-464	119	11	of	of	ADP
ap-464	119	12	theorems	theorem	NOUN
ap-464	119	13	that	that	PRON
ap-464	119	14	set	set	VERB
ap-464	119	15	conditions	condition	NOUN
ap-464	119	16	for	for	ADP
ap-464	119	17	validity	validity	NOUN
ap-464	119	18	of	of	ADP
ap-464	119	19	the	the	DET
ap-464	119	20	formulas	formula	NOUN
ap-464	119	21	of	of	ADP
ap-464	119	22	the	the	DET
ap-464	119	23	formalized	formalize	VERB
ap-464	119	24	t	t	NOUN
ap-464	119	25	theory	theory	NOUN
ap-464	119	26	have	have	AUX
ap-464	119	27	been	be	AUX
ap-464	119	28	formulated	formulate	VERB
ap-464	119	29	and	and	CCONJ
ap-464	119	30	proved	prove	VERB
ap-464	119	31	in	in	ADP
ap-464	119	32	our	our	PRON
ap-464	119	33	previous	previous	ADJ
ap-464	119	34	work	work	NOUN
ap-464	119	35	[	[	X
ap-464	119	36	7	7	NUM
ap-464	119	37	]	]	PUNCT
ap-464	119	38	.	.	PUNCT
ap-464	120	1	let	let	VERB
ap-464	120	2	us	we	PRON
ap-464	120	3	introduce	introduce	VERB
ap-464	120	4	only	only	ADV
ap-464	120	5	a	a	DET
ap-464	120	6	fundamental	fundamental	ADJ
ap-464	120	7	theorem	theorem	NOUN
ap-464	120	8	with	with	ADP
ap-464	120	9	the	the	DET
ap-464	120	10	main	main	ADJ
ap-464	120	11	idea	idea	NOUN
ap-464	120	12	of	of	ADP
ap-464	120	13	the	the	DET
ap-464	120	14	proof	proof	NOUN
ap-464	120	15	.	.	PUNCT
ap-464	121	1	theorem	theorem	VERB
ap-464	121	2	:	:	PUNCT
ap-464	121	3	1	1	X
ap-464	121	4	.	.	X
ap-464	122	1	if	if	SCONJ
ap-464	122	2	in	in	ADP
ap-464	122	3	formula	formula	NOUN
ap-464	122	4	f	f	X
ap-464	122	5	of	of	ADP
ap-464	122	6	a	a	DET
ap-464	122	7	metamodel	metamodel	PROPN
ap-464	122	8	m	m	PROPN
ap-464	122	9	ii	ii	PROPN
ap-464	122	10	,	,	PUNCT
ap-464	122	11	,	,	PUNCT
ap-464	122	12	,	,	PUNCT
ap-464	122	13	,	,	PUNCT
ap-464	122	14	0	0	NUM
ap-464	122	15	1	1	NUM
ap-464	122	16	2	2	NUM
ap-464	122	17	�	�	NOUN
ap-464	122	18	there	there	PRON
ap-464	122	19	are	be	VERB
ap-464	122	20	no	no	DET
ap-464	122	21	modal	modal	ADJ
ap-464	122	22	connectives	connective	NOUN
ap-464	122	23	,	,	PUNCT
ap-464	122	24	then	then	ADV
ap-464	122	25	the	the	DET
ap-464	122	26	validity	validity	NOUN
ap-464	122	27	of	of	ADP
ap-464	122	28	formula	formula	NOUN
ap-464	122	29	f	f	PROPN
ap-464	122	30	validity	validity	NOUN
ap-464	122	31	will	will	AUX
ap-464	122	32	be	be	AUX
ap-464	122	33	determined	determine	VERB
ap-464	122	34	as	as	SCONJ
ap-464	122	35	follows	follow	VERB
ap-464	122	36	:	:	PUNCT
ap-464	122	37	let	let	VERB
ap-464	122	38	us	we	PRON
ap-464	122	39	suppose	suppose	VERB
ap-464	122	40	that	that	SCONJ
ap-464	122	41	formula	formula	NOUN
ap-464	122	42	f	f	PROPN
ap-464	122	43	of	of	ADP
ap-464	122	44	metamodel	metamodel	PROPN
ap-464	122	45	mi	mi	PROPN
ap-464	122	46	is	be	AUX
ap-464	122	47	invalid	invalid	ADJ
ap-464	122	48	and	and	CCONJ
ap-464	122	49	let	let	VERB
ap-464	122	50	us	we	PRON
ap-464	122	51	check	check	VERB
ap-464	122	52	recursively	recursively	ADV
ap-464	122	53	whether	whether	SCONJ
ap-464	122	54	this	this	DET
ap-464	122	55	assumption	assumption	NOUN
ap-464	122	56	is	be	AUX
ap-464	122	57	kept	keep	VERB
ap-464	122	58	even	even	ADV
ap-464	122	59	for	for	ADP
ap-464	122	60	the	the	DET
ap-464	122	61	subformulas	subformula	NOUN
ap-464	122	62	f	f	PROPN
ap-464	122	63	of	of	ADP
ap-464	122	64	the	the	DET
ap-464	122	65	metamodel	metamodel	PROPN
ap-464	122	66	mi	mi	PROPN
ap-464	122	67	,	,	PUNCT
ap-464	122	68	or	or	CCONJ
ap-464	122	69	even	even	ADV
ap-464	122	70	to	to	ADP
ap-464	122	71	the	the	DET
ap-464	122	72	level	level	NOUN
ap-464	122	73	of	of	ADP
ap-464	122	74	atoms	atom	NOUN
ap-464	122	75	.	.	PUNCT
ap-464	123	1	if	if	SCONJ
ap-464	123	2	some	some	DET
ap-464	123	3	logical	logical	ADJ
ap-464	123	4	conflict	conflict	NOUN
ap-464	123	5	in	in	ADP
ap-464	123	6	the	the	DET
ap-464	123	7	validity	validity	NOUN
ap-464	123	8	of	of	ADP
ap-464	123	9	the	the	DET
ap-464	123	10	subformulas	subformula	NOUN
ap-464	123	11	occurs	occur	VERB
ap-464	123	12	during	during	ADP
ap-464	123	13	the	the	DET
ap-464	123	14	evaluation	evaluation	NOUN
ap-464	123	15	,	,	PUNCT
ap-464	123	16	then	then	ADV
ap-464	123	17	formula	formula	NOUN
ap-464	123	18	f	f	PROPN
ap-464	123	19	is	be	AUX
ap-464	123	20	valid	valid	ADJ
ap-464	123	21	,	,	PUNCT
ap-464	123	22	while	while	SCONJ
ap-464	123	23	it	it	PRON
ap-464	123	24	is	be	AUX
ap-464	123	25	not	not	PART
ap-464	123	26	valid	valid	ADJ
ap-464	123	27	in	in	ADP
ap-464	123	28	the	the	DET
ap-464	123	29	opposite	opposite	ADJ
ap-464	123	30	case	case	NOUN
ap-464	123	31	.	.	PUNCT
ap-464	124	1	2	2	X
ap-464	124	2	.	.	X
ap-464	124	3	if	if	SCONJ
ap-464	124	4	a	a	DET
ap-464	124	5	formula	formula	NOUN
ap-464	124	6	f	f	NOUN
ap-464	124	7	of	of	ADP
ap-464	124	8	a	a	DET
ap-464	124	9	metamodel	metamodel	NOUN
ap-464	124	10	mi	mi	PROPN
ap-464	124	11	contains	contain	VERB
ap-464	124	12	some	some	DET
ap-464	124	13	modal	modal	ADJ
ap-464	124	14	connectives	connective	NOUN
ap-464	124	15	then	then	ADV
ap-464	124	16	we	we	PRON
ap-464	124	17	proceed	proceed	VERB
ap-464	124	18	as	as	ADP
ap-464	124	19	in	in	ADP
ap-464	124	20	paragraph	paragraph	NOUN
ap-464	124	21	1	1	NUM
ap-464	124	22	with	with	ADP
ap-464	124	23	the	the	DET
ap-464	124	24	following	follow	VERB
ap-464	124	25	exceptions	exception	NOUN
ap-464	124	26	:	:	PUNCT
ap-464	124	27	a.	a.	NOUN
ap-464	124	28	if	if	SCONJ
ap-464	124	29	validity	validity	NOUN
ap-464	124	30	of	of	ADP
ap-464	124	31	formula	formula	NOUN
ap-464	124	32	�	�	PROPN
ap-464	124	33	p	p	NOUN
ap-464	124	34	is	be	AUX
ap-464	124	35	assumed	assume	VERB
ap-464	124	36	then	then	ADV
ap-464	124	37	p	p	PRON
ap-464	124	38	must	must	AUX
ap-464	124	39	be	be	AUX
ap-464	124	40	valid	valid	ADJ
ap-464	124	41	in	in	ADP
ap-464	124	42	all	all	DET
ap-464	124	43	metamodels	metamodel	NOUN
ap-464	124	44	accessible	accessible	ADJ
ap-464	124	45	from	from	ADP
ap-464	124	46	the	the	DET
ap-464	124	47	tested	test	VERB
ap-464	124	48	metamodel	metamodel	PROPN
ap-464	124	49	mi	mi	PROPN
ap-464	124	50	.	.	PROPN
ap-464	124	51	b.	b.	PROPN
ap-464	125	1	if	if	SCONJ
ap-464	125	2	invalidity	invalidity	NOUN
ap-464	125	3	of	of	ADP
ap-464	125	4	formula	formula	NOUN
ap-464	125	5	�	�	PROPN
ap-464	125	6	p	p	PROPN
ap-464	125	7	is	be	AUX
ap-464	125	8	assumed	assume	VERB
ap-464	125	9	then	then	ADV
ap-464	125	10	�	�	PROPN
ap-464	125	11	p	p	PROPN
ap-464	125	12	must	must	AUX
ap-464	125	13	be	be	AUX
ap-464	125	14	valid	valid	ADJ
ap-464	125	15	in	in	ADP
ap-464	125	16	all	all	DET
ap-464	125	17	metamodels	metamodel	NOUN
ap-464	125	18	accessible	accessible	ADJ
ap-464	125	19	from	from	ADP
ap-464	125	20	the	the	DET
ap-464	125	21	tested	test	VERB
ap-464	125	22	metamodel	metamodel	PROPN
ap-464	125	23	mi	mi	PROPN
ap-464	125	24	.	.	PROPN
ap-464	125	25	c.	c.	PROPN
ap-464	125	26	if	if	SCONJ
ap-464	125	27	invalidity	invalidity	NOUN
ap-464	125	28	of	of	ADP
ap-464	125	29	formula	formula	NOUN
ap-464	125	30	�	�	PROPN
ap-464	125	31	p	p	NOUN
ap-464	125	32	is	be	AUX
ap-464	125	33	assumed	assume	VERB
ap-464	125	34	then	then	ADV
ap-464	125	35	at	at	ADV
ap-464	125	36	least	least	ADV
ap-464	125	37	one	one	NUM
ap-464	125	38	accessible	accessible	ADJ
ap-464	125	39	model	model	NOUN
ap-464	125	40	from	from	ADP
ap-464	125	41	the	the	DET
ap-464	125	42	tested	test	VERB
ap-464	125	43	metamodel	metamodel	PROPN
ap-464	125	44	mi	mi	PROPN
ap-464	125	45	in	in	ADP
ap-464	125	46	which	which	PRON
ap-464	125	47	p	p	NOUN
ap-464	125	48	is	be	AUX
ap-464	125	49	not	not	PART
ap-464	125	50	valid	valid	ADJ
ap-464	125	51	must	must	AUX
ap-464	125	52	exist	exist	VERB
ap-464	125	53	.	.	PUNCT
ap-464	126	1	d.	d.	NOUN
ap-464	126	2	if	if	SCONJ
ap-464	126	3	validity	validity	NOUN
ap-464	126	4	of	of	ADP
ap-464	126	5	formula	formula	NOUN
ap-464	126	6	�	�	PROPN
ap-464	126	7	p	p	PROPN
ap-464	126	8	is	be	AUX
ap-464	126	9	assumed	assume	VERB
ap-464	126	10	then	then	ADV
ap-464	126	11	at	at	ADV
ap-464	126	12	least	least	ADV
ap-464	126	13	one	one	NUM
ap-464	126	14	metamodel	metamodel	NOUN
ap-464	126	15	accessible	accessible	ADJ
ap-464	126	16	from	from	ADP
ap-464	126	17	the	the	DET
ap-464	126	18	tested	test	VERB
ap-464	126	19	metamodel	metamodel	PROPN
ap-464	126	20	mi	mi	PROPN
ap-464	126	21	in	in	ADP
ap-464	126	22	which	which	PRON
ap-464	126	23	p	p	NOUN
ap-464	126	24	is	be	AUX
ap-464	126	25	valid	valid	ADJ
ap-464	126	26	must	must	AUX
ap-464	126	27	exist	exist	VERB
ap-464	126	28	.	.	PUNCT
ap-464	127	1	proof	proof	NOUN
ap-464	127	2	:	:	PUNCT
ap-464	127	3	validity	validity	NOUN
ap-464	127	4	of	of	ADP
ap-464	127	5	the	the	DET
ap-464	127	6	first	first	ADJ
ap-464	127	7	part	part	NOUN
ap-464	127	8	of	of	ADP
ap-464	127	9	the	the	DET
ap-464	127	10	theorem	theorem	NOUN
ap-464	127	11	follows	follow	VERB
ap-464	127	12	from	from	ADP
ap-464	127	13	the	the	DET
ap-464	127	14	assumption	assumption	NOUN
ap-464	127	15	of	of	ADP
ap-464	127	16	the	the	DET
ap-464	127	17	consistency	consistency	NOUN
ap-464	127	18	of	of	ADP
ap-464	127	19	modal	modal	ADJ
ap-464	127	20	logic	logic	NOUN
ap-464	127	21	type	type	NOUN
ap-464	127	22	s4	s4	NOUN
ap-464	127	23	.	.	PUNCT
ap-464	128	1	this	this	PRON
ap-464	128	2	means	mean	VERB
ap-464	128	3	that	that	SCONJ
ap-464	128	4	if	if	SCONJ
ap-464	128	5	some	some	DET
ap-464	128	6	invalidity	invalidity	NOUN
ap-464	128	7	of	of	ADP
ap-464	128	8	a	a	DET
ap-464	128	9	modal	modal	ADJ
ap-464	128	10	logic	logic	NOUN
ap-464	128	11	formula	formula	NOUN
ap-464	128	12	is	be	AUX
ap-464	128	13	assumed	assume	VERB
ap-464	128	14	,	,	PUNCT
ap-464	128	15	then	then	ADV
ap-464	128	16	the	the	DET
ap-464	128	17	proof	proof	NOUN
ap-464	128	18	of	of	ADP
ap-464	128	19	the	the	DET
ap-464	128	20	contradiction	contradiction	NOUN
ap-464	128	21	in	in	ADP
ap-464	128	22	the	the	DET
ap-464	128	23	subformula	subformula	NOUN
ap-464	128	24	validity	validity	NOUN
ap-464	128	25	implies	imply	VERB
ap-464	128	26	validity	validity	NOUN
ap-464	128	27	of	of	ADP
ap-464	128	28	this	this	DET
ap-464	128	29	formula	formula	NOUN
ap-464	128	30	.	.	PUNCT
ap-464	129	1	the	the	DET
ap-464	129	2	second	second	ADJ
ap-464	129	3	part	part	NOUN
ap-464	129	4	of	of	ADP
ap-464	129	5	the	the	DET
ap-464	129	6	theorem	theorem	NOUN
ap-464	129	7	comes	come	VERB
ap-464	129	8	from	from	ADP
ap-464	129	9	the	the	DET
ap-464	129	10	principle	principle	NOUN
ap-464	129	11	of	of	ADP
ap-464	129	12	formula	formula	NOUN
ap-464	129	13	evaluation	evaluation	NOUN
ap-464	129	14	using	use	VERB
ap-464	129	15	modal	modal	ADJ
ap-464	129	16	connectives	connective	NOUN
ap-464	129	17	,	,	PUNCT
ap-464	129	18	from	from	ADP
ap-464	129	19	the	the	DET
ap-464	129	20	assumption	assumption	NOUN
ap-464	129	21	of	of	ADP
ap-464	129	22	consistency	consistency	NOUN
ap-464	129	23	of	of	ADP
ap-464	129	24	modal	modal	ADJ
ap-464	129	25	logic	logic	NOUN
ap-464	129	26	system	system	NOUN
ap-464	129	27	s4	s4	NOUN
ap-464	129	28	and	and	CCONJ
ap-464	129	29	from	from	ADP
ap-464	129	30	the	the	DET
ap-464	129	31	theorems	theorem	NOUN
ap-464	129	32	published	publish	VERB
ap-464	129	33	in	in	ADP
ap-464	129	34	[	[	X
ap-464	129	35	1	1	NUM
ap-464	129	36	]	]	PUNCT
ap-464	129	37	.	.	PUNCT
ap-464	130	1	the	the	DET
ap-464	130	2	theorem	theorem	NOUN
ap-464	130	3	can	can	AUX
ap-464	130	4	be	be	AUX
ap-464	130	5	understood	understand	VERB
ap-464	130	6	as	as	ADP
ap-464	130	7	an	an	DET
ap-464	130	8	algorithm	algorithm	NOUN
ap-464	130	9	for	for	ADP
ap-464	130	10	formula	formula	NOUN
ap-464	130	11	evaluation	evaluation	NOUN
ap-464	130	12	in	in	ADP
ap-464	130	13	a	a	DET
ap-464	130	14	given	give	VERB
ap-464	130	15	interpretation	interpretation	NOUN
ap-464	130	16	.	.	PUNCT
ap-464	131	1	the	the	DET
ap-464	131	2	axiomatic	axiomatic	ADJ
ap-464	131	3	system	system	NOUN
ap-464	131	4	and	and	CCONJ
ap-464	131	5	derivation	derivation	NOUN
ap-464	131	6	modal	modal	ADJ
ap-464	131	7	logic	logic	NOUN
ap-464	131	8	s4	s4	NOUN
ap-464	131	9	rules	rule	NOUN
ap-464	131	10	will	will	AUX
ap-464	131	11	be	be	AUX
ap-464	131	12	used	use	VERB
ap-464	131	13	for	for	ADP
ap-464	131	14	the	the	DET
ap-464	131	15	design	design	NOUN
ap-464	131	16	process	process	NOUN
ap-464	131	17	model	model	NOUN
ap-464	131	18	determined	determine	VERB
ap-464	131	19	by	by	ADP
ap-464	131	20	the	the	DET
ap-464	131	21	previous	previous	ADJ
ap-464	131	22	definitions	definition	NOUN
ap-464	131	23	.	.	PUNCT
ap-464	132	1	in	in	ADP
ap-464	132	2	the	the	DET
ap-464	132	3	axiomatic	axiomatic	ADJ
ap-464	132	4	system	system	NOUN
ap-464	132	5	s4	s4	VERB
ap-464	132	6	several	several	ADJ
ap-464	132	7	useful	useful	ADJ
ap-464	132	8	theorems	theorem	NOUN
ap-464	132	9	can	can	AUX
ap-464	132	10	be	be	AUX
ap-464	132	11	proved	prove	VERB
ap-464	132	12	[	[	X
ap-464	132	13	1	1	NUM
ap-464	132	14	,	,	PUNCT
ap-464	132	15	14	14	NUM
ap-464	132	16	]	]	PUNCT
ap-464	132	17	.	.	PUNCT
ap-464	133	1	4	4	NUM
ap-464	133	2	conclusion	conclusion	NOUN
ap-464	133	3	in	in	ADP
ap-464	133	4	this	this	DET
ap-464	133	5	article	article	NOUN
ap-464	133	6	one	one	NUM
ap-464	133	7	of	of	ADP
ap-464	133	8	the	the	DET
ap-464	133	9	possibilities	possibility	NOUN
ap-464	133	10	of	of	ADP
ap-464	133	11	a	a	DET
ap-464	133	12	design	design	NOUN
ap-464	133	13	process	process	NOUN
ap-464	133	14	description	description	NOUN
ap-464	133	15	using	use	VERB
ap-464	133	16	the	the	DET
ap-464	133	17	modal	modal	ADJ
ap-464	133	18	logic	logic	NOUN
ap-464	133	19	formalism	formalism	NOUN
ap-464	133	20	has	have	AUX
ap-464	133	21	been	be	AUX
ap-464	133	22	demonstrated	demonstrate	VERB
ap-464	133	23	.	.	PUNCT
ap-464	134	1	modal	modal	ADJ
ap-464	134	2	logic	logic	NOUN
ap-464	134	3	serves	serve	VERB
ap-464	134	4	as	as	ADP
ap-464	134	5	a	a	DET
ap-464	134	6	good	good	ADJ
ap-464	134	7	means	mean	NOUN
ap-464	134	8	for	for	ADP
ap-464	134	9	standard	standard	ADJ
ap-464	134	10	types	type	NOUN
ap-464	134	11	of	of	ADP
ap-464	134	12	design	design	NOUN
ap-464	134	13	processes	process	NOUN
ap-464	134	14	(	(	PUNCT
ap-464	134	15	the	the	DET
ap-464	134	16	examples	example	NOUN
ap-464	134	17	were	be	AUX
ap-464	134	18	published	publish	VERB
ap-464	134	19	in	in	ADP
ap-464	134	20	[	[	X
ap-464	134	21	7	7	NUM
ap-464	134	22	]	]	NUM
ap-464	134	23	)	)	PUNCT
ap-464	134	24	.	.	PUNCT
ap-464	135	1	however	however	ADV
ap-464	135	2	,	,	PUNCT
ap-464	135	3	the	the	DET
ap-464	135	4	definition	definition	NOUN
ap-464	135	5	of	of	ADP
ap-464	135	6	the	the	DET
ap-464	135	7	metamodel	metamodel	NOUN
ap-464	135	8	elements	element	NOUN
ap-464	135	9	set	set	VERB
ap-464	135	10	by	by	ADP
ap-464	135	11	means	mean	NOUN
ap-464	135	12	of	of	ADP
ap-464	135	13	modal	modal	ADJ
ap-464	135	14	logic	logic	NOUN
ap-464	135	15	need	need	AUX
ap-464	135	16	not	not	PART
ap-464	135	17	always	always	ADV
ap-464	135	18	be	be	AUX
ap-464	135	19	so	so	ADV
ap-464	135	20	simple	simple	ADJ
ap-464	135	21	and	and	CCONJ
ap-464	135	22	direct	direct	ADJ
ap-464	135	23	.	.	PUNCT
ap-464	136	1	it	it	PRON
ap-464	136	2	will	will	AUX
ap-464	136	3	be	be	AUX
ap-464	136	4	necessary	necessary	ADJ
ap-464	136	5	to	to	PART
ap-464	136	6	add	add	VERB
ap-464	136	7	also	also	ADV
ap-464	136	8	methods	method	NOUN
ap-464	136	9	,	,	PUNCT
ap-464	136	10	which	which	PRON
ap-464	136	11	are	be	AUX
ap-464	136	12	capable	capable	ADJ
ap-464	136	13	of	of	ADP
ap-464	136	14	testing	test	VERB
ap-464	136	15	whether	whether	SCONJ
ap-464	136	16	the	the	DET
ap-464	136	17	found	find	VERB
ap-464	136	18	solutions	solution	NOUN
ap-464	136	19	actually	actually	ADV
ap-464	136	20	reflect	reflect	VERB
ap-464	136	21	the	the	DET
ap-464	136	22	given	give	VERB
ap-464	136	23	specification	specification	NOUN
ap-464	136	24	to	to	ADP
ap-464	136	25	the	the	DET
ap-464	136	26	deduction	deduction	NOUN
ap-464	136	27	methods	method	NOUN
ap-464	136	28	of	of	ADP
ap-464	136	29	the	the	DET
ap-464	136	30	modal	modal	ADJ
ap-464	136	31	logic	logic	NOUN
ap-464	136	32	.	.	PUNCT
ap-464	137	1	some	some	DET
ap-464	137	2	inconsistencies	inconsistency	NOUN
ap-464	137	3	can	can	AUX
ap-464	137	4	also	also	ADV
ap-464	137	5	appear	appear	VERB
ap-464	137	6	during	during	ADP
ap-464	137	7	design	design	NOUN
ap-464	137	8	process	process	NOUN
ap-464	137	9	.	.	PUNCT
ap-464	138	1	it	it	PRON
ap-464	138	2	seems	seem	VERB
ap-464	138	3	abduction	abduction	NOUN
ap-464	138	4	can	can	AUX
ap-464	138	5	be	be	AUX
ap-464	138	6	a	a	DET
ap-464	138	7	possible	possible	ADJ
ap-464	138	8	appropriate	appropriate	ADJ
ap-464	138	9	formal	formal	ADJ
ap-464	138	10	tool	tool	NOUN
ap-464	138	11	[	[	X
ap-464	138	12	13	13	NUM
ap-464	138	13	]	]	PUNCT
ap-464	138	14	.	.	PUNCT
ap-464	139	1	the	the	DET
ap-464	139	2	idea	idea	NOUN
ap-464	139	3	of	of	ADP
ap-464	139	4	design	design	NOUN
ap-464	139	5	theory	theory	NOUN
ap-464	139	6	evokes	evoke	VERB
ap-464	139	7	again	again	ADV
ap-464	139	8	a	a	DET
ap-464	139	9	new	new	ADJ
ap-464	139	10	research	research	NOUN
ap-464	139	11	in	in	ADP
ap-464	139	12	the	the	DET
ap-464	139	13	field	field	NOUN
ap-464	139	14	of	of	ADP
ap-464	139	15	design	design	NOUN
ap-464	139	16	process	process	NOUN
ap-464	139	17	description	description	NOUN
ap-464	139	18	and	and	CCONJ
ap-464	139	19	simulation	simulation	NOUN
ap-464	139	20	:	:	PUNCT
ap-464	139	21	synthesis	synthesis	NOUN
ap-464	139	22	-	-	PUNCT
ap-464	139	23	related	relate	VERB
ap-464	139	24	methods	method	NOUN
ap-464	139	25	[	[	X
ap-464	139	26	8	8	NUM
ap-464	139	27	]	]	PUNCT
ap-464	139	28	,	,	PUNCT
ap-464	139	29	set	set	NOUN
ap-464	139	30	-	-	PUNCT
ap-464	139	31	theoretic	theoretic	NOUN
ap-464	139	32	models	model	NOUN
ap-464	139	33	[	[	X
ap-464	139	34	10	10	NUM
ap-464	139	35	]	]	PUNCT
ap-464	139	36	,	,	PUNCT
ap-464	139	37	synthesis	synthesis	NOUN
ap-464	139	38	design	design	NOUN
ap-464	139	39	process	process	NOUN
ap-464	139	40	model	model	NOUN
ap-464	139	41	[	[	X
ap-464	139	42	9	9	NUM
ap-464	139	43	]	]	PUNCT
ap-464	139	44	,	,	PUNCT
ap-464	139	45	general	general	ADJ
ap-464	139	46	design	design	NOUN
ap-464	139	47	theory	theory	NOUN
ap-464	139	48	[	[	X
ap-464	139	49	6	6	NUM
ap-464	139	50	]	]	PUNCT
ap-464	139	51	,	,	PUNCT
ap-464	139	52	object	object	NOUN
ap-464	139	53	-	-	PUNCT
ap-464	139	54	oriented	orient	VERB
ap-464	139	55	approach	approach	NOUN
ap-464	139	56	[	[	X
ap-464	139	57	11	11	NUM
ap-464	139	58	]	]	PUNCT
ap-464	139	59	.	.	PUNCT
ap-464	140	1	it	it	PRON
ap-464	140	2	is	be	AUX
ap-464	140	3	a	a	DET
ap-464	140	4	question	question	NOUN
ap-464	140	5	which	which	DET
ap-464	140	6	line	line	NOUN
ap-464	140	7	of	of	ADP
ap-464	140	8	thoughts	thought	NOUN
ap-464	140	9	will	will	AUX
ap-464	140	10	be	be	AUX
ap-464	140	11	the	the	DET
ap-464	140	12	basis	basis	NOUN
ap-464	140	13	for	for	ADP
ap-464	140	14	a	a	DET
ap-464	140	15	true	true	ADJ
ap-464	140	16	“	"	PUNCT
ap-464	140	17	common	common	ADJ
ap-464	140	18	design	design	NOUN
ap-464	140	19	theory	theory	NOUN
ap-464	140	20	”	"	PUNCT
ap-464	140	21	?	?	PUNCT
ap-464	141	1	acknowledgements	acknowledgement	VERB
ap-464	141	2	this	this	DET
ap-464	141	3	research	research	NOUN
ap-464	141	4	has	have	AUX
ap-464	141	5	been	be	AUX
ap-464	141	6	supported	support	VERB
ap-464	141	7	by	by	ADP
ap-464	141	8	gacr	gacr	NOUN
ap-464	141	9	grant	grant	NOUN
ap-464	141	10	no	no	INTJ
ap-464	141	11	.	.	PUNCT
ap-464	142	1	102/01/0763	102/01/0763	NUM
ap-464	142	2	references	reference	NOUN
ap-464	142	3	[	[	X
ap-464	142	4	1	1	NUM
ap-464	142	5	]	]	PUNCT
ap-464	142	6	chellas	chellas	PROPN
ap-464	142	7	,	,	PUNCT
ap-464	142	8	b.	b.	PROPN
ap-464	142	9	f.	f.	PROPN
ap-464	142	10	:	:	PUNCT
ap-464	142	11	modal	modal	ADJ
ap-464	142	12	logic	logic	NOUN
ap-464	142	13	:	:	PUNCT
ap-464	142	14	an	an	DET
ap-464	142	15	introduction	introduction	NOUN
ap-464	142	16	.	.	PUNCT
ap-464	143	1	cambridge	cambridge	PROPN
ap-464	143	2	university	university	PROPN
ap-464	143	3	press	press	NOUN
ap-464	143	4	,	,	PUNCT
ap-464	143	5	1980	1980	NUM
ap-464	143	6	.	.	PUNCT
ap-464	144	1	[	[	X
ap-464	144	2	2	2	NUM
ap-464	144	3	]	]	X
ap-464	144	4	suh	suh	PROPN
ap-464	144	5	,	,	PUNCT
ap-464	144	6	n.	n.	PROPN
ap-464	144	7	p.	p.	PROPN
ap-464	144	8	:	:	PUNCT
ap-464	144	9	the	the	DET
ap-464	144	10	principles	principle	NOUN
ap-464	144	11	of	of	ADP
ap-464	144	12	design	design	NOUN
ap-464	144	13	.	.	PUNCT
ap-464	145	1	new	new	PROPN
ap-464	145	2	york	york	PROPN
ap-464	145	3	:	:	PUNCT
ap-464	145	4	oxford	oxford	PROPN
ap-464	145	5	university	university	PROPN
ap-464	145	6	press	press	NOUN
ap-464	145	7	,	,	PUNCT
ap-464	145	8	1990	1990	NUM
ap-464	145	9	.	.	PUNCT
ap-464	146	1	[	[	X
ap-464	146	2	3	3	X
ap-464	146	3	]	]	PUNCT
ap-464	146	4	tomiyama	tomiyama	PROPN
ap-464	146	5	,	,	PUNCT
ap-464	146	6	t.	t.	PROPN
ap-464	146	7	,	,	PUNCT
ap-464	146	8	yoshikawa	yoshikawa	PROPN
ap-464	146	9	,	,	PUNCT
ap-464	146	10	h.	h.	PROPN
ap-464	146	11	:	:	PUNCT
ap-464	146	12	extended	extended	ADJ
ap-464	146	13	general	general	ADJ
ap-464	146	14	design	design	NOUN
ap-464	146	15	theory	theory	NOUN
ap-464	146	16	.	.	PUNCT
ap-464	147	1	in	in	ADP
ap-464	147	2	:	:	PUNCT
ap-464	147	3	design	design	NOUN
ap-464	147	4	theory	theory	NOUN
ap-464	147	5	for	for	ADP
ap-464	147	6	cad	cad	PROPN
ap-464	147	7	(	(	PUNCT
ap-464	147	8	yoshikawa	yoshikawa	PROPN
ap-464	147	9	,	,	PUNCT
ap-464	147	10	h	h	PROPN
ap-464	147	11	,	,	PUNCT
ap-464	147	12	warman	warman	PROPN
ap-464	147	13	,	,	PUNCT
ap-464	147	14	e.	e.	PROPN
ap-464	147	15	,	,	PUNCT
ap-464	147	16	a.	a.	NOUN
ap-464	147	17	eds	eds	PROPN
ap-464	147	18	.	.	PUNCT
ap-464	147	19	)	)	PUNCT
ap-464	147	20	,	,	PUNCT
ap-464	147	21	proc	proc	NOUN
ap-464	147	22	.	.	PUNCT
ap-464	148	1	of	of	ADP
ap-464	148	2	the	the	DET
ap-464	148	3	ifip	ifip	NOUN
ap-464	148	4	wg	wg	PROPN
ap-464	148	5	5.2	5.2	NUM
ap-464	148	6	working	working	NOUN
ap-464	148	7	conf	conf	NOUN
ap-464	148	8	.	.	PUNCT
ap-464	149	1	on	on	ADP
ap-464	149	2	design	design	NOUN
ap-464	149	3	theory	theory	NOUN
ap-464	149	4	for	for	ADP
ap-464	149	5	cad	cad	PROPN
ap-464	149	6	,	,	PUNCT
ap-464	149	7	ifip	ifip	PROPN
ap-464	149	8	,	,	PUNCT
ap-464	149	9	tokyo	tokyo	PROPN
ap-464	149	10	,	,	PUNCT
ap-464	149	11	1987	1987	NUM
ap-464	149	12	,	,	PUNCT
ap-464	149	13	p.	p.	NOUN
ap-464	149	14	95–130	95–130	NUM
ap-464	149	15	.	.	PUNCT
ap-464	150	1	[	[	X
ap-464	150	2	4	4	X
ap-464	150	3	]	]	PUNCT
ap-464	150	4	tomiyama	tomiyama	PROPN
ap-464	150	5	,	,	PUNCT
ap-464	150	6	t.	t.	PROPN
ap-464	150	7	:	:	PUNCT
ap-464	150	8	general	general	ADJ
ap-464	150	9	design	design	NOUN
ap-464	150	10	theory	theory	NOUN
ap-464	150	11	and	and	CCONJ
ap-464	150	12	its	its	PRON
ap-464	150	13	extension	extension	NOUN
ap-464	150	14	and	and	CCONJ
ap-464	150	15	applications	application	NOUN
ap-464	150	16	.	.	PUNCT
ap-464	151	1	in	in	ADP
ap-464	151	2	:	:	PUNCT
ap-464	151	3	universal	universal	ADJ
ap-464	151	4	design	design	NOUN
ap-464	151	5	theory	theory	NOUN
ap-464	151	6	,	,	PUNCT
ap-464	151	7	(	(	PUNCT
ap-464	151	8	grabowski	grabowski	PROPN
ap-464	151	9	,	,	PUNCT
ap-464	151	10	h.	h.	PROPN
ap-464	151	11	,	,	PUNCT
ap-464	151	12	rude	rude	ADJ
ap-464	151	13	,	,	PUNCT
ap-464	151	14	s.	s.	PROPN
ap-464	151	15	,	,	PUNCT
ap-464	151	16	grein	grein	PROPN
ap-464	151	17	,	,	PUNCT
ap-464	151	18	g.	g.	PROPN
ap-464	151	19	)	)	PUNCT
ap-464	151	20	,	,	PUNCT
ap-464	151	21	aachen	aachen	PROPN
ap-464	151	22	:	:	PUNCT
ap-464	151	23	shaker	shaker	NOUN
ap-464	151	24	verlag	verlag	PROPN
ap-464	151	25	,	,	PUNCT
ap-464	151	26	1998	1998	NUM
ap-464	151	27	,	,	PUNCT
ap-464	151	28	p.	p.	NOUN
ap-464	151	29	25–46	25–46	NUM
ap-464	151	30	.	.	PUNCT
ap-464	152	1	[	[	X
ap-464	152	2	5	5	NUM
ap-464	152	3	]	]	PUNCT
ap-464	152	4	akman	akman	NOUN
ap-464	152	5	,	,	PUNCT
ap-464	152	6	v.	v.	ADV
ap-464	152	7	,	,	PUNCT
ap-464	152	8	ten	ten	NUM
ap-464	152	9	hagen	hagen	NOUN
ap-464	152	10	,	,	PUNCT
ap-464	152	11	p.	p.	PROPN
ap-464	152	12	,	,	PUNCT
ap-464	152	13	j.	j.	PROPN
ap-464	152	14	,	,	PUNCT
ap-464	152	15	tomiyama	tomiyama	PROPN
ap-464	152	16	,	,	PUNCT
ap-464	152	17	t.	t.	PROPN
ap-464	152	18	:	:	PUNCT
ap-464	152	19	a	a	DET
ap-464	152	20	fundamental	fundamental	ADJ
ap-464	152	21	and	and	CCONJ
ap-464	152	22	theoretical	theoretical	ADJ
ap-464	152	23	framework	framework	NOUN
ap-464	152	24	for	for	ADP
ap-464	152	25	an	an	DET
ap-464	152	26	intelligent	intelligent	ADJ
ap-464	152	27	cad	cad	NOUN
ap-464	152	28	6	6	NUM
ap-464	152	29	©	©	PROPN
ap-464	152	30	czech	czech	PROPN
ap-464	152	31	technical	technical	PROPN
ap-464	152	32	university	university	PROPN
ap-464	152	33	publishing	publishing	NOUN
ap-464	152	34	house	house	NOUN
ap-464	152	35	http://ctn.cvut.cz/ap/	http://ctn.cvut.cz/ap/	PROPN
ap-464	152	36	acta	acta	PROPN
ap-464	152	37	polytechnica	polytechnica	PROPN
ap-464	152	38	vol	vol	NOUN
ap-464	152	39	.	.	PUNCT
ap-464	153	1	43	43	NUM
ap-464	153	2	no	no	NOUN
ap-464	153	3	.	.	PUNCT
ap-464	154	1	5/2003	5/2003	NUM
ap-464	154	2	system	system	NOUN
ap-464	154	3	.	.	PUNCT
ap-464	155	1	computer	computer	NOUN
ap-464	155	2	aided	aid	VERB
ap-464	155	3	design	design	NOUN
ap-464	155	4	,	,	PUNCT
ap-464	155	5	vol	vol	NOUN
ap-464	155	6	.	.	PROPN
ap-464	156	1	22	22	NUM
ap-464	156	2	,	,	PUNCT
ap-464	156	3	no	no	INTJ
ap-464	156	4	.	.	NOUN
ap-464	156	5	6	6	NUM
ap-464	156	6	,	,	PUNCT
ap-464	156	7	july	july	PROPN
ap-464	156	8	/	/	SYM
ap-464	156	9	august	august	PROPN
ap-464	156	10	1990	1990	NUM
ap-464	156	11	.	.	PUNCT
ap-464	157	1	[	[	X
ap-464	157	2	6	6	NUM
ap-464	157	3	]	]	X
ap-464	157	4	reich	reich	PROPN
ap-464	157	5	,	,	PUNCT
ap-464	157	6	y.	y.	NOUN
ap-464	157	7	:	:	PUNCT
ap-464	157	8	a	a	DET
ap-464	157	9	critical	critical	ADJ
ap-464	157	10	review	review	NOUN
ap-464	157	11	of	of	ADP
ap-464	157	12	general	general	ADJ
ap-464	157	13	design	design	NOUN
ap-464	157	14	theory	theory	NOUN
ap-464	157	15	.	.	PUNCT
ap-464	158	1	research	research	NOUN
ap-464	158	2	in	in	ADP
ap-464	158	3	engineering	engineering	NOUN
ap-464	158	4	design	design	NOUN
ap-464	158	5	,	,	PUNCT
ap-464	158	6	vol	vol	NOUN
ap-464	158	7	.	.	PROPN
ap-464	158	8	7	7	NUM
ap-464	158	9	,	,	PUNCT
ap-464	158	10	no	no	INTJ
ap-464	158	11	.	.	NOUN
ap-464	158	12	1	1	NUM
ap-464	158	13	,	,	PUNCT
ap-464	158	14	1995	1995	NUM
ap-464	158	15	,	,	PUNCT
ap-464	158	16	p.	p.	NOUN
ap-464	158	17	1–18	1–18	PROPN
ap-464	158	18	.	.	PUNCT
ap-464	159	1	[	[	X
ap-464	159	2	7	7	NUM
ap-464	159	3	]	]	X
ap-464	159	4	jelínek	jelínek	NOUN
ap-464	159	5	,	,	PUNCT
ap-464	159	6	i	i	PRON
ap-464	159	7	:	:	PUNCT
ap-464	159	8	method	method	NOUN
ap-464	159	9	for	for	ADP
ap-464	159	10	design	design	NOUN
ap-464	159	11	process	process	NOUN
ap-464	159	12	description	description	NOUN
ap-464	159	13	.	.	PUNCT
ap-464	160	1	6th	6th	ADJ
ap-464	160	2	international	international	ADJ
ap-464	160	3	design	design	NOUN
ap-464	160	4	conference	conference	NOUN
ap-464	160	5	design	design	NOUN
ap-464	160	6	2000	2000	NUM
ap-464	160	7	,	,	PUNCT
ap-464	160	8	dubrovnik	dubrovnik	PROPN
ap-464	160	9	(	(	PUNCT
ap-464	160	10	croatia	croatia	PROPN
ap-464	160	11	)	)	PUNCT
ap-464	160	12	,	,	PUNCT
ap-464	160	13	may	may	AUX
ap-464	160	14	2000	2000	NUM
ap-464	160	15	,	,	PUNCT
ap-464	160	16	p.	p.	NOUN
ap-464	160	17	107–112	107–112	NUM
ap-464	160	18	.	.	PUNCT
ap-464	161	1	[	[	X
ap-464	161	2	8	8	NUM
ap-464	161	3	]	]	X
ap-464	161	4	tsumaya	tsumaya	NOUN
ap-464	161	5	,	,	PUNCT
ap-464	161	6	a.	a.	NOUN
ap-464	161	7	,	,	PUNCT
ap-464	161	8	takeda	takeda	PROPN
ap-464	161	9	,	,	PUNCT
ap-464	161	10	h.	h.	PROPN
ap-464	161	11	,	,	PUNCT
ap-464	161	12	tomiyama	tomiyama	PROPN
ap-464	161	13	,	,	PUNCT
ap-464	161	14	t.	t.	PROPN
ap-464	161	15	:	:	PUNCT
ap-464	161	16	a	a	DET
ap-464	161	17	synthesis	synthesis	NOUN
ap-464	161	18	-	-	PUNCT
ap-464	161	19	related	relate	VERB
ap-464	161	20	analysis	analysis	NOUN
ap-464	161	21	method	method	NOUN
ap-464	161	22	of	of	ADP
ap-464	161	23	design	design	NOUN
ap-464	161	24	protocol	protocol	NOUN
ap-464	161	25	.	.	PUNCT
ap-464	162	1	in	in	ADP
ap-464	162	2	:	:	PUNCT
ap-464	162	3	proceedings	proceeding	NOUN
ap-464	162	4	of	of	ADP
ap-464	162	5	the	the	DET
ap-464	162	6	12th	12th	ADJ
ap-464	162	7	international	international	ADJ
ap-464	162	8	conference	conference	NOUN
ap-464	162	9	on	on	ADP
ap-464	162	10	engineering	engineering	NOUN
ap-464	162	11	design	design	NOUN
ap-464	162	12	(	(	PUNCT
ap-464	162	13	lindeman	lindeman	NOUN
ap-464	162	14	,	,	PUNCT
ap-464	162	15	birkhofer	birkhofer	NOUN
ap-464	162	16	eds	ed	NOUN
ap-464	162	17	.	.	PUNCT
ap-464	162	18	)	)	PUNCT
ap-464	162	19	,	,	PUNCT
ap-464	162	20	iced’99	iced’99	PROPN
ap-464	162	21	,	,	PUNCT
ap-464	162	22	munich	munich	PROPN
ap-464	162	23	,	,	PUNCT
ap-464	162	24	1999	1999	NUM
ap-464	162	25	,	,	PUNCT
ap-464	162	26	p.	p.	NOUN
ap-464	162	27	1949–1952	1949–1952	NUM
ap-464	162	28	.	.	PUNCT
ap-464	163	1	[	[	X
ap-464	163	2	9	9	NUM
ap-464	163	3	]	]	PUNCT
ap-464	163	4	washio	washio	NOUN
ap-464	163	5	,	,	PUNCT
ap-464	163	6	t.	t.	PROPN
ap-464	163	7	,	,	PUNCT
ap-464	163	8	hew	hew	VERB
ap-464	163	9	,	,	PUNCT
ap-464	164	1	k.	k.	PROPN
ap-464	164	2	p.	p.	PROPN
ap-464	164	3	,	,	PUNCT
ap-464	164	4	tomiyama	tomiyama	PROPN
ap-464	164	5	,	,	PUNCT
ap-464	164	6	t.	t.	PROPN
ap-464	164	7	,	,	PUNCT
ap-464	164	8	umeda	umeda	PROPN
ap-464	164	9	,	,	PUNCT
ap-464	164	10	y.	y.	PROPN
ap-464	164	11	:	:	PUNCT
ap-464	164	12	the	the	DET
ap-464	164	13	modelling	modelling	NOUN
ap-464	164	14	of	of	ADP
ap-464	164	15	synthesis	synthesis	NOUN
ap-464	164	16	–	–	PUNCT
ap-464	164	17	from	from	ADP
ap-464	164	18	the	the	DET
ap-464	164	19	viewpoints	viewpoint	NOUN
ap-464	164	20	of	of	ADP
ap-464	164	21	mathematical	mathematical	ADJ
ap-464	164	22	logic	logic	NOUN
ap-464	164	23	.	.	PUNCT
ap-464	165	1	in	in	ADP
ap-464	165	2	:	:	PUNCT
ap-464	165	3	proceedings	proceeding	NOUN
ap-464	165	4	of	of	ADP
ap-464	165	5	the	the	DET
ap-464	165	6	12th	12th	ADJ
ap-464	165	7	international	international	ADJ
ap-464	165	8	conference	conference	NOUN
ap-464	165	9	on	on	ADP
ap-464	165	10	engineering	engineering	NOUN
ap-464	165	11	design	design	NOUN
ap-464	165	12	.	.	PUNCT
ap-464	166	1	(	(	PUNCT
ap-464	166	2	lindeman	lindeman	NOUN
ap-464	166	3	,	,	PUNCT
ap-464	166	4	birkhofer	birkhofer	NOUN
ap-464	166	5	eds	ed	NOUN
ap-464	166	6	.	.	PUNCT
ap-464	166	7	)	)	PUNCT
ap-464	166	8	,	,	PUNCT
ap-464	166	9	iced’99	iced’99	PROPN
ap-464	166	10	,	,	PUNCT
ap-464	166	11	munich	munich	PROPN
ap-464	166	12	,	,	PUNCT
ap-464	166	13	1999	1999	NUM
ap-464	166	14	,	,	PUNCT
ap-464	166	15	p.	p.	NOUN
ap-464	166	16	1219–1222	1219–1222	NUM
ap-464	166	17	.	.	PUNCT
ap-464	167	1	[	[	X
ap-464	167	2	10	10	NUM
ap-464	167	3	]	]	X
ap-464	167	4	zeng	zeng	PROPN
ap-464	167	5	,	,	PUNCT
ap-464	167	6	y.	y.	PROPN
ap-464	167	7	,	,	PUNCT
ap-464	167	8	gu	gu	NOUN
ap-464	167	9	,	,	PUNCT
ap-464	167	10	p.	p.	NOUN
ap-464	167	11	:	:	PUNCT
ap-464	167	12	a	a	DET
ap-464	167	13	set	set	VERB
ap-464	167	14	-	-	PUNCT
ap-464	167	15	theoretic	theoretic	NOUN
ap-464	167	16	model	model	NOUN
ap-464	167	17	of	of	ADP
ap-464	167	18	design	design	NOUN
ap-464	167	19	process	process	NOUN
ap-464	167	20	.	.	PUNCT
ap-464	168	1	in	in	ADP
ap-464	168	2	:	:	PUNCT
ap-464	168	3	proceedings	proceeding	NOUN
ap-464	168	4	of	of	ADP
ap-464	168	5	the	the	DET
ap-464	168	6	12th	12th	ADJ
ap-464	168	7	international	international	ADJ
ap-464	168	8	conference	conference	NOUN
ap-464	168	9	on	on	ADP
ap-464	168	10	engineering	engineering	NOUN
ap-464	168	11	design	design	NOUN
ap-464	168	12	(	(	PUNCT
ap-464	168	13	lindeman	lindeman	NOUN
ap-464	168	14	,	,	PUNCT
ap-464	168	15	birkhofer	birkhofer	NOUN
ap-464	168	16	eds	ed	NOUN
ap-464	168	17	.	.	PUNCT
ap-464	168	18	)	)	PUNCT
ap-464	168	19	,	,	PUNCT
ap-464	168	20	iced’99	iced’99	PROPN
ap-464	168	21	,	,	PUNCT
ap-464	168	22	munich	munich	PROPN
ap-464	168	23	,	,	PUNCT
ap-464	168	24	1999	1999	NUM
ap-464	168	25	,	,	PUNCT
ap-464	168	26	p.	p.	NOUN
ap-464	168	27	1117–1120	1117–1120	NUM
ap-464	168	28	.	.	PUNCT
ap-464	169	1	[	[	X
ap-464	169	2	11	11	NUM
ap-464	169	3	]	]	PUNCT
ap-464	169	4	pavkovič	pavkovič	PROPN
ap-464	169	5	,	,	PUNCT
ap-464	169	6	n.	n.	PROPN
ap-464	169	7	,	,	PUNCT
ap-464	169	8	marjanovič	marjanovič	PROPN
ap-464	169	9	,	,	PUNCT
ap-464	169	10	d.	d.	PROPN
ap-464	169	11	:	:	PUNCT
ap-464	169	12	entities	entity	NOUN
ap-464	169	13	in	in	ADP
ap-464	169	14	the	the	DET
ap-464	169	15	object	object	NOUN
ap-464	169	16	-	-	PUNCT
ap-464	169	17	oriented	orient	VERB
ap-464	169	18	design	design	NOUN
ap-464	169	19	process	process	NOUN
ap-464	169	20	model	model	NOUN
ap-464	169	21	.	.	PUNCT
ap-464	170	1	6th	6th	ADJ
ap-464	170	2	international	international	ADJ
ap-464	170	3	design	design	NOUN
ap-464	170	4	conf	conf	NOUN
ap-464	170	5	.	.	PUNCT
ap-464	171	1	design	design	NOUN
ap-464	171	2	2000	2000	NUM
ap-464	171	3	,	,	PUNCT
ap-464	171	4	dubrovnik	dubrovnik	PROPN
ap-464	171	5	(	(	PUNCT
ap-464	171	6	croatia	croatia	PROPN
ap-464	171	7	)	)	PUNCT
ap-464	171	8	,	,	PUNCT
ap-464	171	9	may	may	AUX
ap-464	171	10	2000	2000	NUM
ap-464	171	11	,	,	PUNCT
ap-464	171	12	p.	p.	NOUN
ap-464	171	13	29–34	29–34	NUM
ap-464	171	14	.	.	PUNCT
ap-464	172	1	[	[	X
ap-464	172	2	12	12	NUM
ap-464	172	3	]	]	PUNCT
ap-464	172	4	smets	smet	NOUN
ap-464	172	5	,	,	PUNCT
ap-464	172	6	p.	p.	NOUN
ap-464	172	7	,	,	PUNCT
ap-464	172	8	mamdani	mamdani	PROPN
ap-464	172	9	,	,	PUNCT
ap-464	172	10	e.	e.	PROPN
ap-464	172	11	h.	h.	PROPN
ap-464	172	12	,	,	PUNCT
ap-464	172	13	dobois	dobois	PROPN
ap-464	172	14	,	,	PUNCT
ap-464	172	15	d.	d.	PROPN
ap-464	172	16	,	,	PUNCT
ap-464	172	17	prade	prade	NOUN
ap-464	172	18	,	,	PUNCT
ap-464	172	19	h.	h.	NOUN
ap-464	172	20	:	:	PUNCT
ap-464	172	21	non	non	ADJ
ap-464	172	22	-	-	ADJ
ap-464	172	23	standard	standard	ADJ
ap-464	172	24	logics	logic	NOUN
ap-464	172	25	for	for	ADP
ap-464	172	26	automated	automate	VERB
ap-464	172	27	reasoning	reasoning	NOUN
ap-464	172	28	.	.	PUNCT
ap-464	173	1	academic	academic	ADJ
ap-464	173	2	press	press	PROPN
ap-464	173	3	,	,	PUNCT
ap-464	173	4	london	london	PROPN
ap-464	173	5	,	,	PUNCT
ap-464	173	6	1988	1988	NUM
ap-464	173	7	.	.	PUNCT
ap-464	174	1	[	[	X
ap-464	174	2	13	13	NUM
ap-464	174	3	]	]	SYM
ap-464	174	4	takeda	takeda	X
ap-464	174	5	,	,	PUNCT
ap-464	174	6	h.	h.	NOUN
ap-464	174	7	:	:	PUNCT
ap-464	174	8	abduction	abduction	NOUN
ap-464	174	9	for	for	ADP
ap-464	174	10	design	design	NOUN
ap-464	174	11	.	.	PUNCT
ap-464	175	1	in	in	ADP
ap-464	175	2	:	:	PUNCT
ap-464	175	3	proceedings	proceeding	NOUN
ap-464	175	4	of	of	ADP
ap-464	175	5	the	the	DET
ap-464	175	6	ifip	ifip	PROPN
ap-464	175	7	tc5	tc5	PROPN
ap-464	175	8	/	/	SYM
ap-464	175	9	wg	wg	PROPN
ap-464	175	10	5.2	5.2	NUM
ap-464	175	11	workshop	workshop	NOUN
ap-464	175	12	of	of	ADP
ap-464	175	13	formal	formal	ADJ
ap-464	175	14	design	design	NOUN
ap-464	175	15	methods	method	NOUN
ap-464	175	16	for	for	ADP
ap-464	175	17	cad	cad	PROPN
ap-464	175	18	,	,	PUNCT
ap-464	175	19	(	(	PUNCT
ap-464	175	20	gero	gero	PROPN
ap-464	175	21	,	,	PUNCT
ap-464	175	22	j.	j.	PROPN
ap-464	175	23	,	,	PUNCT
ap-464	175	24	s.	s.	PROPN
ap-464	175	25	,	,	PUNCT
ap-464	175	26	tyugu	tyugu	PROPN
ap-464	175	27	,	,	PUNCT
ap-464	175	28	e.	e.	PROPN
ap-464	175	29	eds	eds	PROPN
ap-464	175	30	.	.	PUNCT
ap-464	175	31	)	)	PUNCT
ap-464	175	32	,	,	PUNCT
ap-464	175	33	tallin	tallin	PROPN
ap-464	175	34	,	,	PUNCT
ap-464	175	35	1994	1994	NUM
ap-464	175	36	,	,	PUNCT
ap-464	175	37	p.	p.	NOUN
ap-464	175	38	221–244	221–244	NUM
ap-464	175	39	.	.	PUNCT
ap-464	176	1	[	[	X
ap-464	176	2	14	14	NUM
ap-464	176	3	]	]	X
ap-464	176	4	hughes	hughe	NOUN
ap-464	176	5	,	,	PUNCT
ap-464	176	6	g.	g.	PROPN
ap-464	176	7	e.	e.	PROPN
ap-464	176	8	,	,	PUNCT
ap-464	176	9	cresswell	cresswell	PROPN
ap-464	176	10	,	,	PUNCT
ap-464	176	11	m.	m.	NOUN
ap-464	176	12	j.	j.	PROPN
ap-464	176	13	:	:	PUNCT
ap-464	176	14	introduction	introduction	NOUN
ap-464	176	15	to	to	ADP
ap-464	176	16	modal	modal	ADJ
ap-464	176	17	logic	logic	NOUN
ap-464	176	18	.	.	PUNCT
ap-464	177	1	london	london	PROPN
ap-464	177	2	:	:	PUNCT
ap-464	177	3	methuen	methuen	PROPN
ap-464	177	4	,	,	PUNCT
ap-464	177	5	1982	1982	NUM
ap-464	177	6	.	.	PUNCT
ap-464	178	1	prof	prof	PROPN
ap-464	178	2	.	.	PUNCT
ap-464	179	1	dr	dr	PROPN
ap-464	179	2	.	.	PROPN
ap-464	179	3	ivan	ivan	PROPN
ap-464	179	4	jelínek	jelínek	PROPN
ap-464	179	5	phone	phone	NOUN
ap-464	179	6	:	:	PUNCT
ap-464	179	7	+420	+420	PROPN
ap-464	179	8	224	224	NUM
ap-464	179	9	357	357	NUM
ap-464	179	10	214	214	NUM
ap-464	179	11	fax	fax	NOUN
ap-464	179	12	:	:	PUNCT
ap-464	179	13	+420	+420	PROPN
ap-464	179	14	224	224	NUM
ap-464	179	15	923	923	NUM
ap-464	179	16	325	325	NUM
ap-464	179	17	email	email	NOUN
ap-464	179	18	.	.	PUNCT
ap-464	179	19	:	:	PUNCT
ap-464	180	1	jelinek@fel.cvut.cz	jelinek@fel.cvut.cz	PROPN
ap-464	180	2	department	department	PROPN
ap-464	180	3	of	of	ADP
ap-464	180	4	computer	computer	NOUN
ap-464	180	5	science	science	NOUN
ap-464	180	6	and	and	CCONJ
ap-464	180	7	engineering	engineering	NOUN
ap-464	180	8	czech	czech	PROPN
ap-464	180	9	technical	technical	PROPN
ap-464	180	10	university	university	PROPN
ap-464	180	11	in	in	ADP
ap-464	180	12	prague	prague	PROPN
ap-464	180	13	faculty	faculty	NOUN
ap-464	180	14	of	of	ADP
ap-464	180	15	electrical	electrical	ADJ
ap-464	180	16	engineering	engineering	NOUN
ap-464	180	17	karlovo	karlovo	PROPN
ap-464	180	18	nám	nám	PROPN
ap-464	180	19	.	.	PUNCT
ap-464	181	1	13	13	NUM
ap-464	181	2	121	121	NUM
ap-464	181	3	35	35	NUM
ap-464	181	4	prague	prague	NOUN
ap-464	181	5	2	2	NUM
ap-464	181	6	,	,	PUNCT
ap-464	181	7	czech	czech	PROPN
ap-464	181	8	republic	republic	NOUN
ap-464	181	9	©	©	PROPN
ap-464	181	10	czech	czech	PROPN
ap-464	181	11	technical	technical	PROPN
ap-464	181	12	university	university	PROPN
ap-464	181	13	publishing	publishing	NOUN
ap-464	181	14	house	house	NOUN
ap-464	181	15	http://ctn.cvut.cz/ap/	http://ctn.cvut.cz/ap/	PROPN
ap-464	181	16	7	7	NUM
ap-464	181	17	acta	acta	PROPN
ap-464	181	18	polytechnica	polytechnica	PROPN
ap-464	181	19	vol	vol	NOUN
ap-464	181	20	.	.	PUNCT
ap-464	182	1	43	43	NUM
ap-464	182	2	no	no	INTJ
ap-464	182	3	.	.	PUNCT
ap-464	183	1	5/2003	5/2003	NUM