Assertion: pike peak | /r/Synonym | el capitan
Facets:
value: throughout its history
type: TEMPORAL
Source sentences:
text: Throughout its history, Pikes Peak has been called El Capitan, Grand Peak, Great Peak, James Peak, Long Mountain, and Pike's Peak.