Assertion list
base (aspect of logarithm ) → IsA
Results from Ascent++: 3
base → IsA → the number 0.38
base → IsA → positive number 0.32
base → IsA → irrational number 0.25