Assertion list
cosmological argument (subgroup of argument ) → IsA

Results from Ascent++: 2
cosmological argumentIsA argument 0.68
cosmological argumentIsA posteriori 0.25