%querytabled * *
(app (app mult z) (s (s z))) ==>* V.

%querytabled * *
eval (app (app plus (s (s (z)))) (s (s z))) V.

%querytabled * *
eval (app (app mult (s (z))) (s (s z))) V.


%{
% sml process killed!
%querytabled * *
eval (app (app mult (s (s (z)))) (s (s z))) V.

%querytabled * *
eval (app (app mult (s (s (z)))) (s (s z))) (s(s(s(s z)))).

}%
%{
%querytabled * *
(app (app mult (s (s (z)))) (s (s z))) ==>* V.
}%