- p(1,?X). 


m(a,b) |  s(t).

kk(f(aa),b12). 
