Assertion list
caterpillar (primary) → IsA
Results from Ascent++: 1
caterpillar → IsA → the larva 0.25