(Program
{ (LessThanEqual
  {-(Identifier)-}
  {-(Identifier)-})
->(LessThan
  {+(Identifier)+}
  {+(Identifier)+}) }
{+(GreaterThan
  {+(Identifier)+}
  {+(Identifier)+})+}
{-(GreaterThanEqual
  {-(Identifier)-}
  {-(Identifier)-})-})