Assertion list
right (aspect of landlord ) → HasPrerequisite
Results from Ascent++: 1
right → HasPrerequisite → the tenant 0.41