id	keyword
asir-6084	syllogisms
asir-6084	modal
asir-6084	iai-3
asir-6084	aristotelian
asir-6084	fact
asir-6084	all(x
asir-6084	logic