Assertion: logarithm | /r/MadeOf | only one thing
Facets:
Source sentences:
text: Each log now finally contains only one thing, and the first log term has been simplified to a numerical value, so this expression is fully expanded.