rule ZLeft {
  from s : PIM!Z (s.name = 'left')
  to a : PSM!A (
      ...),
     b : PSM!B (
      ...)
}

rule ZRight {
  from s : PSM!Z (s.name = 'right')
  to c : PSM!C (
      ...),
     d : PSM!D (
      ...)
}