Assertion list
small village (subgroup of village ) → HasA
Results from Ascent++: 2
small village → HasA → butcher 0.38
small village → HasA → a post office 0.25