Ascent++
Search
valid argument
subgroup of
argument
,
6
assertions
HasA
3
false conclusion
0.79
false premises
0.68
true premises
0.36
HasProperty
3
sound
0.79
deductive
0.41
false
0.36