Assertion list for term "set to -1".

Results from Ascent++: 9
value ReceivesActionset to -1 0.43
value (aspect of variable) ReceivesActionset to -1 0.41
value (aspect of parameter) ReceivesActionset to -1 0.34
parameter ReceivesActionset to -1 0.33
property (aspect of function) ReceivesActionset to -1 0.28
value (aspect of function) ReceivesActionset to -1 0.27
default ReceivesActionset to -1 0.25
value (aspect of limit) ReceivesActionset to -1 0.25
value (aspect of property) ReceivesActionset to -1 0.25