Assertion list
property (aspect of landlord ) → UsedFor
Results from Ascent++: 1
property → UsedFor → illegal activities 0.25