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