Assertion list
walk tub (subgroup of tub ) → HasProperty
Results from Ascent++: 1
walk tub → HasProperty → necessary 0.38