Next: mpg-ref-term_not_less_than, Previous: mpg-ref-term_not_greater_than, Up: mpg-bpr
@>/2
+Term1 @> +Term2
@>
Succeeds if Term1 is after Term2 in the standard order.
None.
ref-lte-cte.