Assertion list
ontological argument (subgroup of argument ) → IsA
Results from Ascent++: 1
ontological argument → IsA → argument 0.82