Assertion list
roast beef (primary) → HasProperty
Results from Ascent++: 2
roast beef → HasProperty → never good 0.59
roast beef → HasProperty → never inexpensive 0.59