Assertion list
lease (aspect of tenant ) → AtLocation
Results from Ascent++: 3
lease → AtLocation → effect 0.53
lease → AtLocation → force 0.40
lease → AtLocation → comparison 0.29