Assertion list
philosopher (primary) → IsA

Results from Ascent++: 1
philosopherIsA person 0.52