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