Assertion list
standard tub (subgroup of tub ) → IsA
Results from Ascent++: 1
standard tub → IsA → 60 inches long 0.68