Assertion list
moth caterpillar (subgroup of caterpillar ) → CapableOf
Results from Ascent++: 1
moth caterpillar → CapableOf → spin cocoon 0.76