Assertion list
pork loin (primary) → HasProperty
Results from Ascent++: 2
pork loin → HasProperty → lean 0.68
pork loin → HasProperty → larger 0.25