RBOX:
TBOX:
	INCLUSION(E, FORALL(R, FORALL(R, FORALL(R, !A || !{a}))))
	INCLUSION(E, FORALL(R, FORALL(R, FORALL(R, !B || !E))))
ABOX:
	a : EXISTS(R, EXISTS(R, EXISTS(R, {a} && E))) 
	a : A || B
END