Ascent++
Search
Assertion list
necessary truth
(
subgroup
of
truth
)
→ HasA
Results from
Ascent++
:
1
necessary truth
→
HasA
→
principle
0.25