Assertion list
newborn lamb (subgroup of lamb ) → CapableOf
Results from Ascent++: 1
newborn lamb → CapableOf → walk 0.68