Assertion list
double negation (subgroup of negation ) → CapableOf

Results from Ascent++: 1
double negationCapableOf serve as the ground of freedom 0.68