Assertion list
water reservoir (subgroup of reservoir ) → HasProperty
Results from Ascent++: 1
water reservoir → HasProperty → removable 0.34