Assertion: alligator's size | /r/HasProperty | 13 feet long
Facets:
Source sentences:
text: The average size for an American alligator is 13 feet long, with a weight of about 800 pounds.