Assertion list
spa (primary) → HasPrerequisite
Results from Ascent++: 2
spa → HasPrerequisite → special electrical hookups 0.29
spa → HasPrerequisite → higher sanitizer levels 0.25