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