Assertion: crocodile's length | /r/HasProperty | 6 in to 13 ft 1
Facets:
Source sentences:
text: Adult males reach the overall length of 2.9 to 4 m (9 ft 6 in to 13 ft 1 in) and average 382 kg (842 lb) in weight.