Assertion list for term "set to default".

Results from Ascent++: 1
value ReceivesActionset to default 0.40