Assertion: gulf coast box turtle | /r/HasProperty | 8 ½ inches
Facets:
Source sentences:
text: Gulf Coast box turtles grow to between 5 and 7 inches, with the largest recorded Gulf Coast box turtle being 8 ½ inches.