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