Assertion list
springform pan (subgroup of pan ) → HasProperty
Results from Ascent++: 2
springform pan → HasProperty → great 0.59
springform pan → HasProperty → perfect 0.16