Assertion: great hammerhead shark | /r/HasProperty | was
Facets:
Source sentences:
text: The longest great hammerhead shark ever recorded was 20 feet (6.1 m) long, and the heaviest great hammerhead shark ever recorded was 991 pounds (450 kg).