Assertion: gros piton | /r/HasProperty | 798.25 m
Facets:
Source sentences:
text: Gros Piton is 798.25 m (2,618.9 ft) high, and Petit Piton is 743 m (2,438 ft) high; they are linked by the Piton Mitan ridge.