Ascent++
Search
inductive argument
subgroup of
argument
,
6
assertions
CapableOf
1
apply principles of pro…
0.23
HasProperty
4
strong
0.68
cogent
0.46
weak
0.36
perfect
0.09
IsA
1
argument
0.49