Assertion list
valid argument (subgroup of argument ) → HasProperty
Results from Ascent++: 3
valid argument → HasProperty → sound 0.79
valid argument → HasProperty → deductive 0.41
valid argument → HasProperty → false 0.36