Assertion list for term "declared in the interface".
Results from Ascent++: 1
method (aspect of class) → ReceivesAction → declared in the interface 0.65