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