
 p(2).
 r(2.0).
 -p(?X) | -r(?Y) | m(+(?X,?Y)).
 -m(4.0).


