Assertion list
tub (primary) → HasPrerequisite
Results from Ascent++: 2
tub → HasPrerequisite → less energy 0.27
tub → HasPrerequisite → professional installation 0.25