Assertion list
good argument (subgroup of argument ) → IsA
Results from Ascent++: 1
good argument → IsA → sound argument 0.35