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