p(X) :- X<Y, Y<3.
p(X) :- X<5.1.
p(X) :- 6.1>X.