Assertion: arachnid's type | /r/HasProperty | sirenia
Facets:
Source sentences:
text: Other types of ungulate include the Tubulidentata (aardvarks), and Sirenia (dugongs and manatees).