Assertion list
hot tub (subgroup of bath ) → HasProperty
Results from Ascent++: 1
hot tub → HasProperty → great 0.59