Assertion list
ice machine (primary) → HasProperty
Results from Ascent++: 4
ice machine → HasProperty → durable 0.41
ice machine → HasProperty → small 0.38
ice machine → HasProperty → efficient 0.34
ice machine → HasProperty → right 0.25