Assertion list
inductive argument (subgroup of argument ) → CapableOf

Results from Ascent++: 1
inductive argumentCapableOf apply principles of probability… 0.23