Assertion list
large city (subgroup of city ) → HasProperty
Results from Ascent++: 1
large city → HasProperty → small 0.25