Assertion: algebra's operation | /r/CapableOf | trim unnecessary complexity
Facets:
value: from the syntax trees
type: OTHER
Source sentences:
text: This operation trims unnecessary complexity from the syntax trees and resolves problems of associativity in canonical form.