Assertion list
function (aspect of jury ) → ReceivesAction
Results from Ascent++: 3
function → ReceivesAction → exhausted 0.68
function → ReceivesAction → limited 0.68
function → ReceivesAction → performed 0.68