Assertion list for term "used as the default".
Results from Ascent++: 2
value (aspect of call) → ReceivesAction → used as the default 0.25
function → ReceivesAction → used as the default 0.22