Assertion list
solutional cave (subgroup of cave ) ā†’ IsA
Results from Ascent++: 1
solutional cave ā†’ IsA ā†’ the most frequently occurring cā€¦ 0.56