Assertion list
commercial lease (subgroup of lease ) → AtLocation
Results from Ascent++: 1
commercial lease → AtLocation → writing 0.49