sig(zero).
sig(minus(X)) :- sig(X).
sig(crypt(X,Y)) :- sig(X), sig(Y).
sig(plus(X,Y)) :- sig(X), sig(Y).
sig(a).
sig(b).
sig(c).