Assertion list
rio de janeiro (primary) → IsA
Results from Ascent++: 1
rio de janeiro → IsA → state 0.21