Assertion list for term "returned by getposition".
Results from Ascent++: 1
value (aspect of parameter) → ReceivesAction → returned by getposition 0.28