Assertion: logarithm's base | /r/HasProperty | implied by the notation
Facets:
Source sentences:
text: To do the first four evaluations we just need to remember what the notation for these are and what base is implied by the notation.