Assertion list
ice cave (subgroup of cave ) → IsA
Results from Ascent++: 1
ice cave → IsA → long time 0.25