Assertion: logarithm | /r/HasProperty | equal to log
Facets:
Source sentences:
text: log u - log v is equal to log (u / v) by property 2, it is not equal to log u / log v.