Assertion list
function (aspect of appendix ) → ReceivesAction
Results from Ascent++: 2
function → ReceivesAction → described 0.52
function → ReceivesAction → discovered 0.25