Assertion list
fruit pie (subgroup of pie ) → HasProperty
Results from Ascent++: 1
fruit pie → HasProperty → juicy 0.68