Ascent++ | passed by default

Assertion list for term "passed by default".

Results from Ascent++: 4

parameter → ReceivesAction → passed by default	0.52
argument → ReceivesAction → passed by default	0.48
parameter (`aspect` of function) → ReceivesAction → passed by default	0.44
argument (`aspect` of function) → ReceivesAction → passed by default	0.30