Assertion list
complement (primary) → CapableOf
Results from Ascent++: 2
complement → CapableOf → bring to perfection 0.26
complement → CapableOf → make whole 0.25