Assertion list
veal (primary) → CapableOf
Results from Ascent++: 1
veal → CapableOf → use the before-and-after method 0.25