Assertion list for term "important for external interfaces".
Results from Ascent++: 1
specification → ReceivesAction → important for external interfaces 0.30