Assertion list
trap (primary) → HasPrerequisite

Results from Ascent++: 1
trapHasPrerequisite frequent maintenance 0.27