Assertion list
finance lease (subgroup of lease ) → IsA
Results from Ascent++: 1
finance lease → IsA → lease 0.60