Assertion list
rent (aspect of landlord ) → AtLocation
Results from Ascent++: 2
rent → AtLocation → arrear 0.66
rent → AtLocation → error 0.31