Assertion list
punishment (primary) → HasPrerequisite
Results from Ascent++: 1
punishment → HasPrerequisite → payment 0.16