Assertion list
uniform (primary) → HasPrerequisite
Results from Ascent++: 1
uniform → HasPrerequisite → special laundering 0.28