Assertion list
mandatory injunction (subgroup of injunction ) → HasPrerequisite
Results from Ascent++: 1
mandatory injunction → HasPrerequisite → party 0.68