Assertion list
solutional cave (subgroup of cave ) → AtLocation
Results from Ascent++: 1
solutional cave → AtLocation → limestone 0.47