Assertion list for term "set at 1.3065".

Results from Ascent++: 1
support ReceivesActionset at 1.3065 0.32