Assertion list for term "one each".

Results from Ascent++: 1
set HasAone each 0.32