Assertion list
plumber (primary) → Desires
Results from Ascent++: 2
plumber → Desires → install vented 0.25
plumber → Desires → rethink pipe 0.25