Assertion list
pork tenderloin (subgroup of tenderloin ) → HasProperty
Results from Ascent++: 1
pork tenderloin → HasProperty → lean 0.75