Property RERS17pb114-PT-6-ReachabilityCardinality-00
  "Automatically generated"
  is:
    E F ((((2) <= (#tokens("p423")))) & (((! ((#tokens("p18")) <= (#tokens("p34")))) | (((((3) <= (#tokens("p1135")))) & (((2) <= (#tokens("p422")))))))))
  end.
Property RERS17pb114-PT-6-ReachabilityCardinality-01
  "Automatically generated"
  is:
    E F ! ! ((((#tokens("p1433")) <= (#tokens("p1050")))) & (((2) <= (#tokens("p782")))))
  end.
Property RERS17pb114-PT-6-ReachabilityCardinality-02
  "Automatically generated"
  is:
    E F ((3) <= (#tokens("p44")))
  end.
Property RERS17pb114-PT-6-ReachabilityCardinality-03
  "Automatically generated"
  is:
    E F ((2) <= (#tokens("p278")))
  end.
Property RERS17pb114-PT-6-ReachabilityCardinality-04
  "Automatically generated"
  is:
    E F ((3) <= (#tokens("p1324")))
  end.
Property RERS17pb114-PT-6-ReachabilityCardinality-05
  "Automatically generated"
  is:
    E F ((3) <= (#tokens("p320")))
  end.
Property RERS17pb114-PT-6-ReachabilityCardinality-06
  "Automatically generated"
  is:
    A G ((((#tokens("p1332")) <= (#tokens("p84")))) & (((((((#tokens("p662")) <= (#tokens("p394")))) & (((#tokens("p682")) <= (#tokens("p609")))))) & (((#tokens("p630")) <= (#tokens("p620")))))))
  end.
Property RERS17pb114-PT-6-ReachabilityCardinality-07
  "Automatically generated"
  is:
    E F ((((((1) <= (#tokens("p198")))) & (((((2) <= (#tokens("p464")))) | (((2) <= (#tokens("p1391")))))))) | (((1) <= (#tokens("p661")))))
  end.
Property RERS17pb114-PT-6-ReachabilityCardinality-08
  "Automatically generated"
  is:
    A G ! ! ((#tokens("p900")) <= (#tokens("p713")))
  end.
Property RERS17pb114-PT-6-ReachabilityCardinality-09
  "Automatically generated"
  is:
    E F ((((((((1) <= (#tokens("p1320")))) & (((2) <= (#tokens("p1285")))))) & (((((#tokens("p1325")) <= (#tokens("p274")))) | (((1) <= (#tokens("p871")))))))) & (((#tokens("p367")) <= (#tokens("p1382")))))
  end.
Property RERS17pb114-PT-6-ReachabilityCardinality-10
  "Automatically generated"
  is:
    E F ((((! ((#tokens("p79")) <= (#tokens("p662")))) & (! ((2) <= (#tokens("p374")))))) & (! ! ((#tokens("p844")) <= (#tokens("p998")))))
  end.
Property RERS17pb114-PT-6-ReachabilityCardinality-11
  "Automatically generated"
  is:
    A G ((#tokens("p217")) <= (#tokens("p1406")))
  end.
Property RERS17pb114-PT-6-ReachabilityCardinality-12
  "Automatically generated"
  is:
    E F ((2) <= (#tokens("p474")))
  end.
Property RERS17pb114-PT-6-ReachabilityCardinality-13
  "Automatically generated"
  is:
    A G ((! ((3) <= (#tokens("p417")))) | (((1) <= (#tokens("p632")))))
  end.
Property RERS17pb114-PT-6-ReachabilityCardinality-14
  "Automatically generated"
  is:
    A G ((#tokens("p630")) <= (#tokens("p207")))
  end.
Property RERS17pb114-PT-6-ReachabilityCardinality-15
  "Automatically generated"
  is:
    E F ((((! ((#tokens("p163")) <= (#tokens("p313")))) & (((#tokens("p819")) <= (#tokens("p380")))))) & (((! ((3) <= (#tokens("p1326")))) & (! ((#tokens("p1272")) <= (#tokens("p63")))))))
  end.
