Assertion list
cheese pizza (subgroup of pizza ) → HasProperty
Results from Ascent++: 1
cheese pizza → HasProperty → good 0.75