Assertion list
new lease (subgroup of lease ) → HasProperty
Results from Ascent++: 2
new lease → HasProperty → applicable 0.25
new lease → HasProperty → fair 0.25