Assertion list for term "c1 if eq".
Results from Ascent++: 1
parameter (aspect of function) → CapableOf → c1 if eq 0.28