Assertion list
prisoner (primary) → IsA
Results from Ascent++: 1
prisoner → IsA → person 0.58