Assertion list
lease agreement (subgroup of agreement ) → HasA
Results from Ascent++: 2
lease agreement → HasA → implied covenant 0.32
lease agreement → HasA → several lease extension options 0.25