Assertion list
second peak (subgroup of peak ) → HasA
Results from Ascent++: 2
second peak → HasA → second radius 0.68
second peak → HasA → good views of the mountains 0.59