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