Assertion list for term "specified by the interface".
Results from Ascent++: 1
method (aspect of interface) → ReceivesAction → specified by the interface 0.55