Assertion list
right (aspect of neighbor ) → HasPrerequisite
Results from Ascent++: 1
right → HasPrerequisite → the patent owner 0.29