Property CloudDeployment-PT-7b-ReachabilityFireability-00
  "Automatically generated"
  is:
    A G ((! (("t9799"?) | ((("t1618"?) | ("t16144"?))))) & (((((! "t18599"?) & ((("t3476"?) | ("t9824"?))))) | (! "t14986"?))))
  end.
Property CloudDeployment-PT-7b-ReachabilityFireability-01
  "Automatically generated"
  is:
    E F "t12867"?
  end.
Property CloudDeployment-PT-7b-ReachabilityFireability-02
  "Automatically generated"
  is:
    A G ! (((((("t15644"?) | ("t19669"?))) & ((("t13742"?) | ("t19125"?))))) & ((((("t12495"?) & ("t14772"?))) & ((("t5770"?) & ("t2152"?))))))
  end.
Property CloudDeployment-PT-7b-ReachabilityFireability-03
  "Automatically generated"
  is:
    E F ((((! "t11697"?) | (! ! "t7972"?))) & (! (("t11197"?) | (! "t18635"?))))
  end.
Property CloudDeployment-PT-7b-ReachabilityFireability-04
  "Automatically generated"
  is:
    A G (("t9104"?) | (((((! "t10327"?) | (! "t13069"?))) | ((((("t3329"?) | ("t8611"?))) | ((("t16066"?) & ("t18224"?))))))))
  end.
Property CloudDeployment-PT-7b-ReachabilityFireability-05
  "Automatically generated"
  is:
    A G ! ((! ! "t14683"?) | ((((("t7374"?) & ("t16283"?))) | ("t16500"?))))
  end.
Property CloudDeployment-PT-7b-ReachabilityFireability-06
  "Automatically generated"
  is:
    A G ((! (("t5319"?) | ((("t14873"?) & ("t17472"?))))) | (! ((! "t8737"?) & ((("t4752"?) | ("t9333"?))))))
  end.
Property CloudDeployment-PT-7b-ReachabilityFireability-07
  "Automatically generated"
  is:
    E F (("t5446"?) | ("t8147"?))
  end.
Property CloudDeployment-PT-7b-ReachabilityFireability-08
  "Automatically generated"
  is:
    A G ! "t925"?
  end.
Property CloudDeployment-PT-7b-ReachabilityFireability-09
  "Automatically generated"
  is:
    E F (("t14602"?) | ((("t7429"?) | ((((("t13924"?) | ("t650"?))) & (! "t5077"?))))))
  end.
Property CloudDeployment-PT-7b-ReachabilityFireability-10
  "Automatically generated"
  is:
    A G (("t3017"?) | (((! (("t2446"?) | ("t15640"?))) | ("t3940"?))))
  end.
Property CloudDeployment-PT-7b-ReachabilityFireability-11
  "Automatically generated"
  is:
    E F (("t8198"?) | ((("t18286"?) & ((((("t18566"?) & ("t11228"?))) | ((("t18312"?) | ("t5426"?))))))))
  end.
Property CloudDeployment-PT-7b-ReachabilityFireability-12
  "Automatically generated"
  is:
    E F ! (((("t181"?) & (! "t18242"?))) | ((((("t2766"?) | ("t501"?))) | (! "t12368"?))))
  end.
Property CloudDeployment-PT-7b-ReachabilityFireability-13
  "Automatically generated"
  is:
    E F (("t5914"?) & (((! ! "t13915"?) | ((((("t7990"?) | ("t11032"?))) & ((("t1317"?) & ("t6558"?))))))))
  end.
Property CloudDeployment-PT-7b-ReachabilityFireability-14
  "Automatically generated"
  is:
    E F (((((((("t2585"?) & ("t17749"?))) & ((("t11228"?) & ("t13779"?))))) | (! (("t12241"?) & ("t18320"?))))) & ((("t7178"?) | ((("t11806"?) | ((("t9416"?) | ("t16421"?))))))))
  end.
Property CloudDeployment-PT-7b-ReachabilityFireability-15
  "Automatically generated"
  is:
    E F "t6087"?
  end.
