Assertion list
lead singer (subgroup of singer ) → AtLocation
Results from Ascent++: 1
lead singer → AtLocation → london 0.68