Assertion: algebra's operation | /r/HasAspect | variable
Facets:
Source sentences:
text: Rename operations which have no variables in common can be arbitrarily reordered with respect to one another, which can be exploited to make successive renames adjacent so that they can be collapsed.