Assertion list for term "calculated for two positive real numbers".

Results from Ascent++: 1
logarithm ReceivesActioncalculated for two positive real numbers 0.16