Assertion: alligator's size | /r/HasProperty | about 9 feet
Facets:
Source sentences:
text: The average size for an adult female alligator is about 9 feet, while the adult male alligator usually falls between 13 to 15 feet long.