Assertion list
ice (aspect of cave ) → HasProperty
Results from Ascent++: 2
ice → HasProperty → slippery 0.25
ice → HasProperty → clear 0.16