Assertion list
right (aspect of prisoner ) → HasPrerequisite
Results from Ascent++: 1
right → HasPrerequisite → the highest order of protection 0.25