@>/2
+Term1 @> +Term2
@>
Succeeds if Term1 is after Term2 in the standard order.
term
None.
ref-lte-cte.