Assertion list for term "come in the ordering of the set".

Results from Ascent++: 1
element (aspect of set) CapableOfcome in the ordering of the set 0.27