Assertion list
cavern (primary) → IsA
Results from Ascent++: 2
cavern → IsA → cave 0.33
cavern → IsA → natural caves 0.25