(Program
{+(LowAnd
  {+(Identifier)+}
  {+(Identifier)+})+}
{-(LowOr
  {-(Identifier)-}
  {-(Identifier)-})-}
{-(LowAnd
  {-(LowOr
    {-(Identifier)-}
    {-(Identifier)-})-}
  {-(Identifier)-})-})