Assertion list for term "returned for given flag".
Results from Ascent++: 1
value (aspect of variable) → ReceivesAction → returned for given flag 0.30