Assertion: arachnid's type | /r/HasProperty | leatherback
Facets:
Source sentences:
text: There are seven types of sea turtle: Leatherback, Green, Loggerhead, Kemp’s Ridley, Hawksbill, Flatback and Olive Ridley.