Assertion list
natural (primary) → CapableOf
Results from Ascent++: 3
natural → CapableOf → diminish at extreme 0.59
natural → CapableOf → mean free 0.25
natural → CapableOf → mean pure 0.25