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