Ascent++
Search
necessary truth
subgroup of
truth
,
2
assertions
HasA
1
principle
0.25
HasProperty
1
true
0.68