Assertion list
modern city (subgroup of city ) → HasA
Results from Ascent++: 1
modern city → HasA → wonderful lively baroque old to… 0.16