who was the first to reach the top of the priest?
(AND geography.mountaineer (JOIN geography.mountaineer.first_ascents m.03c3s3s))