Assertion list for term "incompatible type".
Results from Ascent++: 1
tag → HasA → incompatible type 0.23