Assertion list for term "point will be set to pointer".
Results from Ascent++: 2
value (aspect of function) → ReceivesAction → point will be set to pointer 0.25
value (aspect of variable) → ReceivesAction → point will be set to pointer 0.25