Assertion: whale shark's size | /r/HasProperty | 32 feet long
Facets:
Source sentences:
text: The basking shark (Cetorhinus maximus) is the second-largest fish in the ocean, after the whale shark (Rhincodon typus); its maximum size is thought to be at least 32 feet long (adults averages between 20 and 26 feet in length).