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