Assertion list for term "specified in corresponding procedure".
Results from Ascent++: 1
function (aspect of key) → ReceivesAction → specified in corresponding procedure 0.25