Assertion: whale shark's size | /r/HasProperty | estimated at 9 tonnes
Facets:
Source sentences:
text: The average size of adult whale sharks is estimated at 9.7 meters (31.82 ft) and 9 tonnes (20,000 lb).