Assertion: hammerhead shark's length | /r/HasProperty | average
Facets:
Source sentences:
text: The great hammerhead can reach a maximum length of about 20 feet, but their average length is about 12 feet.