Assertion list
ceremonial county (subgroup of county ) → HasA
Results from Ascent++: 1
ceremonial county → HasA → total population of 1.6 million 0.25