(Program
  (Unless
    (Negate
    { (Identifier)
    ->(Identifier) })
  {+(Identifier)+}
  {+(Else
      (Identifier))+})
{-(Unless
    (Negate
      (Identifier)))-})