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