Assertion list
reason (aspect of landlord ) → HasA

Results from Ascent++: 1
reasonHasA epc 0.21