Assertion list
small valley (subgroup of valley ) → ReceivesAction

Results from Ascent++: 1
small valleyReceivesAction surrounded by mountain 0.68