id	keyword
ajis02-296	specification
ajis02-296	logic
ajis02-296	reasoning
ajis02-296	program
ajis02-296	changes
ajis02-296	inconsistency
ajis02-296	order
ajis02-296	set
ajis02-296	abduction
ajis02-296	rule
ajis02-296	literals
ajis02-296	requirements