Assertion list
ground lease (subgroup of lease ) → ReceivesAction
Results from Ascent++: 2
ground lease → ReceivesAction → executed 0.41
ground lease → ReceivesAction → terminated 0.25