Assertion list
new landlord (subgroup of landlord ) → HasProperty
Results from Ascent++: 1
new landlord → HasProperty → liable 0.50