Assertion list for term "appear in function definition".
Results from Ascent++: 1
parameter (aspect of function) → CapableOf → appear in function definition 0.25