Assertion: mountain's elevation | /r/HasProperty | pedra da mina
Facets:
Source sentences:
text: Other high mountains in Brazil, and their respective elevations in feet, include Pedra da Mina (9,180), Pico das Agulhas Negras (9,157), Pico do Cristal (9,088), Monte Roraima (8,970 on the Brazilian part), Pico dos Marins (7,942), and Pico do Barbado (6,670).