Assertion list
manhattan (primary) → IsA
Results from Ascent++: 1
manhattan → IsA → city 0.55