Assertion list
formal parameter (subgroup of parameter ) → CapableOf

Results from Ascent++: 1
formal parameterCapableOf differ in datatype family 0.25