B(X):- Boxminus[0,2]A(X)
Boxplus[1,3]A(X):- B(X)
C(X):- Boxplus[0,1]A(X)
C(X):-Boxplus[1,2]A(X)
