Assertion list
private landlord (subgroup of landlord ) → HasProperty
Results from Ascent++: 1
private landlord → HasProperty → exempt 0.25