Assertion list
european city (subgroup of city ) → IsA
Results from Ascent++: 1
european city → IsA → leader 0.23