Assertion list
veal (primary) → IsA
Results from Ascent++: 1
veal → IsA → meat 0.32