precedence( [<,ap,a,i,j,r,m,n,p,q,f,nn,s,1] ).
predicates( [<] ).

X<Y, Y<Z -> X<Z.
X<X -> [].
X<Y, Y<X, X=Y.

i<s(i).

r<a(i) -> [].
i<m -> [].
P<i,r<a(P) -> P<1.

s(i)<m.



% easy.