Assertion: florida box turtle | /r/HasProperty | c. bauri
Facets:
Source sentences:
text: The most common species sold as pets is the common box turtle whose subspecies include the Eastern box turtle (T. c. carolina), the Three-toed box turtle (T. c. triunguis), and the Florida box turtle (T. c. bauri), and Gulf Coast box turtle (T. c. major).