Property RERS17pb115-PT-9-ReachabilityCardinality-00
  "Automatically generated"
  is:
    E F ((((3) <= (#tokens("p532")))) & (((((1) <= (#tokens("p969")))) | (((((#tokens("p493")) <= (#tokens("p330")))) & (((#tokens("p530")) <= (#tokens("p101")))))))))
  end.
Property RERS17pb115-PT-9-ReachabilityCardinality-01
  "Automatically generated"
  is:
    A G ! ((((((#tokens("p139")) <= (#tokens("p108")))) & (((#tokens("p845")) <= (#tokens("p147")))))) & (((2) <= (#tokens("p1125")))))
  end.
Property RERS17pb115-PT-9-ReachabilityCardinality-02
  "Automatically generated"
  is:
    A G ((((((2) <= (#tokens("p11")))) | (((#tokens("p257")) <= (#tokens("p951")))))) & (((! ((2) <= (#tokens("p149")))) | (((((1) <= (#tokens("p517")))) | (((#tokens("p800")) <= (#tokens("p1296")))))))))
  end.
Property RERS17pb115-PT-9-ReachabilityCardinality-03
  "Automatically generated"
  is:
    E F ! ((((1) <= (#tokens("p1385")))) | (((((#tokens("p1371")) <= (#tokens("p1194")))) & (((#tokens("p700")) <= (#tokens("p1202")))))))
  end.
Property RERS17pb115-PT-9-ReachabilityCardinality-04
  "Automatically generated"
  is:
    E F ((((3) <= (#tokens("p1179")))) & (((((#tokens("p1019")) <= (#tokens("p1387")))) | (((((#tokens("p187")) <= (#tokens("p1375")))) | (((3) <= (#tokens("p556")))))))))
  end.
Property RERS17pb115-PT-9-ReachabilityCardinality-05
  "Automatically generated"
  is:
    A G ((((#tokens("p42")) <= (#tokens("p68")))) & (((#tokens("p1244")) <= (#tokens("p1087")))))
  end.
Property RERS17pb115-PT-9-ReachabilityCardinality-06
  "Automatically generated"
  is:
    A G ((#tokens("p1244")) <= (#tokens("p1249")))
  end.
Property RERS17pb115-PT-9-ReachabilityCardinality-07
  "Automatically generated"
  is:
    E F ! ((((#tokens("p577")) <= (#tokens("p570")))) | (((((1) <= (#tokens("p1022")))) | (((1) <= (#tokens("p1132")))))))
  end.
Property RERS17pb115-PT-9-ReachabilityCardinality-08
  "Automatically generated"
  is:
    A G ((((((((#tokens("p1185")) <= (#tokens("p628")))) | (((1) <= (#tokens("p389")))))) | (((1) <= (#tokens("p1242")))))) & (((((((#tokens("p704")) <= (#tokens("p1035")))) | (((1) <= (#tokens("p12")))))) & (((((#tokens("p581")) <= (#tokens("p479")))) | (((1) <= (#tokens("p949")))))))))
  end.
Property RERS17pb115-PT-9-ReachabilityCardinality-09
  "Automatically generated"
  is:
    E F ((2) <= (#tokens("p946")))
  end.
Property RERS17pb115-PT-9-ReachabilityCardinality-10
  "Automatically generated"
  is:
    E F ((! ((#tokens("p948")) <= (#tokens("p483")))) | (((((((#tokens("p1175")) <= (#tokens("p115")))) & (((3) <= (#tokens("p1041")))))) | (((((1) <= (#tokens("p786")))) | (((3) <= (#tokens("p38")))))))))
  end.
Property RERS17pb115-PT-9-ReachabilityCardinality-11
  "Automatically generated"
  is:
    E F ((1) <= (#tokens("p516")))
  end.
Property RERS17pb115-PT-9-ReachabilityCardinality-12
  "Automatically generated"
  is:
    A G ((((((((#tokens("p851")) <= (#tokens("p966")))) | (((#tokens("p603")) <= (#tokens("p820")))))) | (((((#tokens("p834")) <= (#tokens("p480")))) | (((1) <= (#tokens("p250")))))))) | (((((((3) <= (#tokens("p385")))) & (((#tokens("p651")) <= (#tokens("p468")))))) | (((((#tokens("p1209")) <= (#tokens("p1085")))) | (((#tokens("p1011")) <= (#tokens("p548")))))))))
  end.
Property RERS17pb115-PT-9-ReachabilityCardinality-13
  "Automatically generated"
  is:
    E F ((2) <= (#tokens("p796")))
  end.
Property RERS17pb115-PT-9-ReachabilityCardinality-14
  "Automatically generated"
  is:
    E F ! ! ((((2) <= (#tokens("p51")))) & (((2) <= (#tokens("p967")))))
  end.
Property RERS17pb115-PT-9-ReachabilityCardinality-15
  "Automatically generated"
  is:
    A G ! ((3) <= (#tokens("p1140")))
  end.
