Assertion list
prime rib (subgroup of rib ) → HasProperty
Results from Ascent++: 1
prime rib → HasProperty → delicious 0.59