RBOX:
	INCLUSION(R-, S)
	TRANSITIVE(S)
TBOX:
	INCLUSION(A, !(B || C || D))
	INCLUSION(B, !(A || C || D))
	INCLUSION(C, !(A || B || D))
	INCLUSION(D, !(A || B || C))

	INCLUSION(E, LEQ(202, R, A || B || C || D))
ABOX:
	a : GEQ(50, R, A) 
	a : GEQ(50, R, B) 
	a : GEQ(103, R, C) 

	a : EXISTS(R, EXISTS(R, FORALL(S, E))) 
END