Ascent++ | specified in the argument

Assertion list for term "specified in the argument".

Results from Ascent++: 2

value (`aspect` of function) → ReceivesAction → specified in the argument	0.29
value (`aspect` of measure) → ReceivesAction → specified in the argument	0.25