GMP/test/test-queries.racer

	test-queries.racer revision 87b08d7a93d17077e9c90cbb0643ca1baa6cd47e
;;; usage: racer -f test-tbox.racer -q test-queries.racer

(concept-subsumes?
	(at-most 3 R (or a
	   (at-most 4 R (or b
		(at-least 5 R (or a b))))))
	(at-most 3 R (or b
		(and a
			(at-least 4 R (or b (not a)))))))