Assertion list for term "one of many assignments".

Results from Ascent++: 1
envelope HasAone of many assignments 0.25