Assertion list
flooded basement (subgroup of basement ) → CapableOf
Results from Ascent++: 1
flooded basement → CapableOf → cost 10,000 0.16