Assertion list
soaking tub (subgroup of tub ) → IsA
Results from Ascent++: 1
soaking tub → IsA → deeper than the standard tubs 0.75