(Program
{+(Or
    (Identifier)
    (Identifier))+}
  (And
  { (Identifier)
  ->(Or
      (Identifier)
      (Identifier)) }
  { (Identifier)
  ->(Identifier) }))