solutional cave subgroup of cave, 6 assertions