Ascent++
Search
Assertion list
double negation
(
subgroup
of
negation
)
→ CapableOf
Results from
Ascent++
:
1
double negation
→
CapableOf
→
serve as the ground of freedom
0.68