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