Assertion: crocodile's size | /r/HasProperty | 12 ft 2
Facets:
Source sentences:
text: According to the Guinness Book of World Records, the typical mature size is between 3.4 and 3.7 m (11 ft 2 in and 12 ft 2 in), while Alexander and Marais (2007) state it is 2.8 to 3.5 m (9 ft 2 in to 11 ft 6 in) and Garrick and Lang (1977) claim from 3.0 to 4.5 m (9 ft 10 in to 14 ft 9 in) .