Assertion list
inductive argument (subgroup of argument ) → IsA
Results from Ascent++: 1
inductive argument → IsA → argument 0.49