Assertion list
market town (subgroup of town ) → IsA
Results from Ascent++: 1
market town → IsA → main town 0.49