Assertion list
walk tub (subgroup of tub ) → HasA
Results from Ascent++: 1
walk tub → HasA → door 0.74