Assertion list for term "use eq".

Results from Ascent++: 1
curve CapableOfuse eq 0.25