use('builtinTheories/transitivity').

1<2.
2<3.
3<4.
4<5.
5<6.
6<7.
7<8.
8<9.
9<10.
10<11.
11<12.
12<13.
13<14.
14<15.

% 1<15 -> [].


precedence( [1,7,2,6,3,9,4,10,5,12,13,11,14,15,8] ).  % random
:-satp(all).