Assertion list
new lease (subgroup of lease ) → HasA
Results from Ascent++: 1
new lease → HasA → a term of three years 0.25