Assertion list
milk snake (subgroup of snake ) → CapableOf
Results from Ascent++: 1
milk snake → CapableOf → eat mouse 0.16