Assertion list
valid argument (subgroup of argument ) → HasA
Results from Ascent++: 3
valid argument → HasA → false conclusion 0.79
valid argument → HasA → false premises 0.68
valid argument → HasA → true premises 0.36