Assertion list
born citizen (subgroup of citizen ) → IsA
Results from Ascent++: 1
born citizen → IsA → citizen 0.84