LxRealPredicate

< Always false (always folded)

< True if ordered and equal

< True if ordered and greater than

< True if ordered and greater than or equal

< True if ordered and less than

< True if ordered and less than or equal

< True if ordered and operands are unequal

< True if ordered (no nans)

< True if unordered: isnan(X) | isnan(Y)

< True if unordered or equal

< True if unordered or greater than

< True if unordered, greater than, or equal

< True if unordered or less than

< True if unordered, less than, or equal

< True if unordered or not equal

< Always true (always folded)