Assertion list
gross lease (subgroup of lease ) → IsA
Results from Ascent++: 1
gross lease → IsA → lease 0.68