

p(X,f(b)) | -r(X) | -m(X).
p(a,f(b)).
-s(a,2,"2").

% ((("p" "X" ("f" "b")) ("not" ("r" "X")) ("not" ("m" "X"))) (("p" "a" ("f" "b"))) (("not" ("s" "a" 2 "2"))) )
