Assertion list
base (aspect of logarithm ) → CapableOf
Results from Ascent++: 1
base → CapableOf → equal 2.718282 0.25