Assertion list for term "specified with $operand number specifications".
Results from Ascent++: 1
argument (aspect of function) → ReceivesAction → specified with $operand number specifications 0.16