Assertion list for term "see inequality".

Results from Ascent++: 1
conservative CapableOfsee inequality 0.19