Assertion list
sale (primary) → HasPrerequisite
Results from Ascent++: 1
sale → HasPrerequisite → compliance 0.49