Assertion list for term "open above the tank".

Results from Ascent++: 1
toilet CapableOfopen above the tank 0.16