Assertion list
commercial lease (subgroup of lease ) → HasA
Results from Ascent++: 1
commercial lease → HasA → clause 0.33