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

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

f<1 -> [].
nn<f -> [].
nn<f.