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