Assertion: cavern | /r/HasProperty | formed inside soluble rock
Facets:
Source sentences:
text: A cave is any cavity with a portion that does not receive direct sunlight, while a cavern must have been formed inside soluble rock.