Assertion: cavern | /r/HasProperty | cave
Facets:
Source sentences:
text: All caverns therefore can be caves, too, but not all caves can be caverns.