Assertion list
citizen (primary) → IsA
Results from Ascent++: 1
citizen → IsA → person 0.62