Assertion list
big pumpkin (subgroup of pumpkin ) → HasProperty
Results from Ascent++: 1
big pumpkin → HasProperty → perfect 0.59