

-p(?X) | -p(f(?X)).
 p(f(?X)) | p(?X).
 -p(?X) | p(f(?X)). 

