Assertion list
thermos (primary) → HasProperty
Results from Ascent++: 3
thermos → HasProperty → useful 0.49
thermos → HasProperty → perfect 0.44
thermos → HasProperty → bulky 0.38