Assertion: basic commutator | /r/HasProperty | element
Facets:
Source sentences:
text: The basic commutators of weight w > 1 are the elements [x, y] where x and y are basic commutators whose weights sum to w,