Assertion list
captivity (primary) → ReceivesAction
Results from Ascent++: 3
captivity → ReceivesAction → declared to be irreversible 0.16
captivity → ReceivesAction → foretold 0.16
captivity → ReceivesAction → recorded in extreme detail 0.16