Assertion list
major city (subgroup of city ) → IsA
Results from Ascent++: 21
major city → IsA → ararat 0.60
major city → IsA → armavir 0.60
major city → IsA → gavar 0.60
major city → IsA → gyumri 0.60
major city → IsA → hrazdan 0.60
major city → IsA → vanadzor 0.60
major city → IsA → new york city 0.57
major city → IsA → barcelona 0.43
major city → IsA → dismantled their networks 0.41
major city → IsA → aberdeen 0.38
major city → IsA → toronto 0.38
major city → IsA → home 0.34
major city → IsA → munich 0.32
major city → IsA → allahabad 0.25
major city → IsA → launceston 0.25
major city → IsA → mumbai 0.25
major city → IsA → nuremberg 0.25
major city → IsA → ostrava 0.25
major city → IsA → sahiwal 0.25
major city → IsA → south bend 0.25
major city → IsA → among the best places 0.16