Assertion list
catholic priest (subgroup of priest ) → IsA
Results from Ascent++: 1
catholic priest → IsA → man 0.43