Assertion list
inductive argument (subgroup of argument ) → HasProperty
Results from Ascent++: 4
inductive argument → HasProperty → strong 0.68
inductive argument → HasProperty → cogent 0.46
inductive argument → HasProperty → weak 0.36
inductive argument → HasProperty → perfect 0.09