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