Property CloudDeployment-PT-7b-ReachabilityCardinality-00
  "Automatically generated"
  is:
    A G ((((((((1) <= (#tokens("p149")))) | (((1) <= (#tokens("p827")))))) & (((((3) <= (#tokens("p2117")))) | (((#tokens("p288")) <= (#tokens("p1641")))))))) | (((! ((2) <= (#tokens("p1430")))) & (((#tokens("p1937")) <= (#tokens("p1573")))))))
  end.
Property CloudDeployment-PT-7b-ReachabilityCardinality-01
  "Automatically generated"
  is:
    E F ((! ((((#tokens("p1782")) <= (#tokens("p985")))) & (((#tokens("p1554")) <= (#tokens("p99")))))) | (! ((((1) <= (#tokens("p1338")))) | (((#tokens("p1585")) <= (#tokens("p1394")))))))
  end.
Property CloudDeployment-PT-7b-ReachabilityCardinality-02
  "Automatically generated"
  is:
    A G ! ((2) <= (#tokens("p1323")))
  end.
Property CloudDeployment-PT-7b-ReachabilityCardinality-03
  "Automatically generated"
  is:
    A G ((((! ((#tokens("p915")) <= (#tokens("p1738")))) | (((#tokens("p2061")) <= (#tokens("p1285")))))) | (((1) <= (#tokens("p1941")))))
  end.
Property CloudDeployment-PT-7b-ReachabilityCardinality-04
  "Automatically generated"
  is:
    A G ! ((((((2) <= (#tokens("p1315")))) | (((3) <= (#tokens("p649")))))) & (((#tokens("p1591")) <= (#tokens("p1240")))))
  end.
Property CloudDeployment-PT-7b-ReachabilityCardinality-05
  "Automatically generated"
  is:
    A G ! ((((((3) <= (#tokens("p1817")))) | (((2) <= (#tokens("p497")))))) | (((1) <= (#tokens("p914")))))
  end.
Property CloudDeployment-PT-7b-ReachabilityCardinality-06
  "Automatically generated"
  is:
    E F ((! ! ((#tokens("p2107")) <= (#tokens("p1605")))) & (! ! ((1) <= (#tokens("p882")))))
  end.
Property CloudDeployment-PT-7b-ReachabilityCardinality-07
  "Automatically generated"
  is:
    A G ((((((((#tokens("p2157")) <= (#tokens("p1235")))) & (((#tokens("p1296")) <= (#tokens("p808")))))) | (((#tokens("p436")) <= (#tokens("p1184")))))) | (((((((2) <= (#tokens("p134")))) & (((2) <= (#tokens("p2049")))))) & (((#tokens("p1747")) <= (#tokens("p38")))))))
  end.
Property CloudDeployment-PT-7b-ReachabilityCardinality-08
  "Automatically generated"
  is:
    E F ! ((! ((#tokens("p2209")) <= (#tokens("p574")))) | (((#tokens("p1020")) <= (#tokens("p1418")))))
  end.
Property CloudDeployment-PT-7b-ReachabilityCardinality-09
  "Automatically generated"
  is:
    E F ((2) <= (#tokens("p1183")))
  end.
Property CloudDeployment-PT-7b-ReachabilityCardinality-10
  "Automatically generated"
  is:
    E F ((((((3) <= (#tokens("p1076")))) & (((((2) <= (#tokens("p764")))) | (((#tokens("p1518")) <= (#tokens("p1557")))))))) & (((! ((#tokens("p2034")) <= (#tokens("p83")))) & (((3) <= (#tokens("p2026")))))))
  end.
Property CloudDeployment-PT-7b-ReachabilityCardinality-11
  "Automatically generated"
  is:
    E F ! ((((((2) <= (#tokens("p1557")))) | (((1) <= (#tokens("p1568")))))) | (((((#tokens("p1223")) <= (#tokens("p319")))) | (((2) <= (#tokens("p416")))))))
  end.
Property CloudDeployment-PT-7b-ReachabilityCardinality-12
  "Automatically generated"
  is:
    A G ((((! ((#tokens("p202")) <= (#tokens("p1089")))) | (! ((3) <= (#tokens("p1260")))))) | (((((((1) <= (#tokens("p1961")))) | (((#tokens("p1325")) <= (#tokens("p1384")))))) & (((2) <= (#tokens("p1619")))))))
  end.
Property CloudDeployment-PT-7b-ReachabilityCardinality-13
  "Automatically generated"
  is:
    E F ((((2) <= (#tokens("p2114")))) | (((((((#tokens("p1603")) <= (#tokens("p291")))) & (((3) <= (#tokens("p118")))))) | (((1) <= (#tokens("p679")))))))
  end.
Property CloudDeployment-PT-7b-ReachabilityCardinality-14
  "Automatically generated"
  is:
    E F ((((((1) <= (#tokens("p1843")))) | (((((1) <= (#tokens("p58")))) & (((#tokens("p639")) <= (#tokens("p1397")))))))) & (((((((#tokens("p319")) <= (#tokens("p2137")))) & (((1) <= (#tokens("p574")))))) | (((((#tokens("p261")) <= (#tokens("p863")))) & (((2) <= (#tokens("p761")))))))))
  end.
Property CloudDeployment-PT-7b-ReachabilityCardinality-15
  "Automatically generated"
  is:
    A G ((((! ((3) <= (#tokens("p586")))) | (! ((2) <= (#tokens("p2031")))))) | (((((1) <= (#tokens("p804")))) | (((3) <= (#tokens("p712")))))))
  end.
