YES

Problem:
 .(.(x,y),z) -> .(x,.(y,z))

Proof:
 LPO Processor:
  precedence:
   .
  problem:
   
  Qed