Assertion: florida box turtle | /r/HasProperty | average adult size
Facets:
Source sentences:
text: Eastern box turtle (Terrapene carolina carolina), Three-toed box turtle (Terrapene carolina triunguis), Florida box turtle (Terrapene carolina bauri), and Gulf Coast box turtle (Terrapene carolina major) Average Adult Size : 4 to 7 inches