Assertion list for term "differ in datatype family".
Results from Ascent++: 1
formal parameter (subgroup of parameter) → CapableOf → differ in datatype family 0.25