/**
  *  This is a sample for the SM paper.
  */


   true => domain(X), p(X).                   % #1
   p(X) => q(X) ; r(X) ; domain(Y), s(X,Y).   % #2
   domain(X) => u(X).                         % #3
   u(X), q(X) => false.                       % #4
   r(X) => goal.                              % #5
   s(X,Y) => goal.                            % #6