Assertion list
right (aspect of petitioner ) → HasPrerequisite
Results from Ascent++: 1
right → HasPrerequisite → evidence 0.16