Assertion: crocodile's length | /r/HasProperty | 4 m
Facets:
Source sentences:
text: An average adult American alligator's weight and length is 360 kg (790 lb) and 4 m (13 ft), but they sometimes grow to 4.4 m (14 ft) long and weigh over 450 kg (990 lb).