Assertion list for term "set at 1.00".

Results from Ascent++: 1
beta ReceivesActionset at 1.00 0.25