Assertion list
deductive argument (subgroup of argument ) → IsA
Results from Ascent++: 1
deductive argument → IsA → argument 0.25