
ord_proper_superset(+Set1, +Set2)

   Checks whether Set1 is a proper superset of Set2

Arguments
   Set1                A set
   Set2                A set

Type
   library(ordset)

Description
	Succeeds when every element of the ordered set Set2 appears
	in the ordered set Set1, and Set1 has at least on element that
	does not occur in Set2.
    

Modes and Determinism
   ord_proper_superset(+, +) is semidet

See Also
   ord_superset / 2, ord_compare / 3
