Assertion list for term "assumed to be equal".
Results from Ascent++: 2
parameter → ReceivesAction → assumed to be equal 0.47
value (aspect of variable) → ReceivesAction → assumed to be equal 0.25