Assertion: sea turtle's type | /r/HasProperty | massive leatherback
Facets:
Source sentences:
text: The five types of sea turtles living in Florida include the massive leatherback, hawksbill, loggerhead, Kemp’s ridley, and the green turtle.