aRx . xRy . yRz … uRb      ∙ xRy{aRx} …