Assertion list
roman pontiff (subgroup of pope ) → IsA
Results from Ascent++: 2
roman pontiff → IsA → the antichrist 0.58
roman pontiff → IsA → the successor of blessed peter 0.45