Assertion list
deep dish pizza (subgroup of pizza ) → HasProperty
Results from Ascent++: 1
deep dish pizza → HasProperty → good 0.16