RBOX:
TBOX:
ABOX:
	a : EXISTS(R, A)
	b : FORALL(R, !A)
	c : EXISTS(R, EXISTS(R, EXISTS(R, {a} && {c}))) 
END