Assertion list for term "leave the input".
Results from Ascent++: 3
value (aspect of parameter) → CapableOf → leave the input 0.42
value → CapableOf → leave the input 0.40
value (aspect of function) → CapableOf → leave the input 0.40