Assertion list for term "reject equality".

Results from Ascent++: 1
conservative CapableOfreject equality 0.16