Assertion list
bath (primary) → IsA
Results from Ascent++: 1
bath → IsA → filled using the waste water 0.28