Assertion list
capital lease (subgroup of lease ) → IsA
Results from Ascent++: 1
capital lease → IsA → lease 0.73