Assertion list
solutional cave (subgroup of cave ) → CapableOf
Results from Ascent++: 2
solutional cave → CapableOf → form in dolomite 0.25
solutional cave → CapableOf → form in gypsum 0.25