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