Assertion list
soaking tub (subgroup of tub ) → HasA
Results from Ascent++: 1
soaking tub → HasA → side 0.77