p(a,b)
b
a
greater
true
false

p
X
Y
uncomparable
false
false

p
a
a
equal
false
false

p
X
X
equal
false
false

p
a
X
uncomparable
false
false

p
f(a)
X
uncomparable
false
false

p
f(X)
Y
uncomparable
false
false

p(a,f(X))
f(a)
a
greater
true
false

p(f(X),a)
f(a)
a
greater
true
false

p
f(X)
X
greater
true
false

p(f(X),a,b)
f(a)
b
lesser
false
true
