Assertion list for term "use union".

Results from Ascent++: 1
following example (subgroup of example) CapableOfuse union 0.25