Assertion list
valid argument (subgroup of argument ) → HasProperty

Results from Ascent++: 3
valid argumentHasProperty sound 0.79
valid argumentHasProperty deductive 0.41
valid argumentHasProperty false 0.36