s(a).
s(b).
ac(a,c(v)).
ac(b,a).