Assertion list
ice cave (subgroup of cave ) → ReceivesAction

Results from Ascent++: 1
ice caveReceivesAction formed 0.80