Assertion list
colt (primary) → IsA
Results from Ascent++: 1
colt → IsA → second foal 0.55