Assertion list
saucepan (primary) → HasProperty
Results from Ascent++: 3
saucepan → HasProperty → large 0.68
saucepan → HasProperty → safe 0.53
saucepan → HasProperty → hot 0.25