Assertion list for term "contained in declaration".
Results from Ascent++: 1
information (aspect of certificate) → ReceivesAction → contained in declaration 0.43