Property CloudDeployment-PT-7b-CTLFireability-00
  "Automatically generated"
  is:
    E G ! "t740"?
  end.
Property CloudDeployment-PT-7b-CTLFireability-01
  "Automatically generated"
  is:
    E ((! ! ! "t750"?) U ("t10245"?))
  end.
Property CloudDeployment-PT-7b-CTLFireability-02
  "Automatically generated"
  is:
    ((E F E G "t15946"?) & (A F A (("t11374"?) U ("t4766"?))))
  end.
Property CloudDeployment-PT-7b-CTLFireability-03
  "Automatically generated"
  is:
    ! ((((! ((! "t4760"?) | ((("t19531"?) & ("t12938"?))))) | (A F (("t10325"?) & ("t7137"?))))) | (E (("t14997"?) U ((("t2986"?) & ("t9394"?))))))
  end.
Property CloudDeployment-PT-7b-CTLFireability-04
  "Automatically generated"
  is:
    E ((E F (("t9948"?) | ("t3924"?))) U (((A F "t13778"?) & (((! "t5665"?) | ("t3887"?))))))
  end.
Property CloudDeployment-PT-7b-CTLFireability-05
  "Automatically generated"
  is:
    E F ((((A X "t9144"?) & (! (("t3012"?) & ("t4812"?))))) | (A X (("t11180"?) | ("t9645"?))))
  end.
Property CloudDeployment-PT-7b-CTLFireability-06
  "Automatically generated"
  is:
    ((E G ((((! "t16760"?) | ((("t13142"?) & ("t9003"?))))) & ("t15092"?))) | (A F ((((! "t17117"?) | ((("t17616"?) | ("t15999"?))))) & (! ! "t2804"?))))
  end.
Property CloudDeployment-PT-7b-CTLFireability-07
  "Automatically generated"
  is:
    ! ((((E (("t10981"?) U ("t8142"?))) | (E F "t7685"?))) | ((("t7302"?) | (((E X "t8367"?) & (A G "t8404"?))))))
  end.
Property CloudDeployment-PT-7b-CTLFireability-08
  "Automatically generated"
  is:
    ! ((E F A X "t467"?) | ("t13177"?))
  end.
Property CloudDeployment-PT-7b-CTLFireability-09
  "Automatically generated"
  is:
    E ((! "t11818"?) U (A G (("t16917"?) | ("t2997"?))))
  end.
Property CloudDeployment-PT-7b-CTLFireability-10
  "Automatically generated"
  is:
    E G E F (((("t7657"?) | ("t7361"?))) | ((("t7713"?) | ("t7259"?))))
  end.
Property CloudDeployment-PT-7b-CTLFireability-11
  "Automatically generated"
  is:
    A ((E F (("t18872"?) | ("t7068"?))) U ((("t5972"?) | (! ! "t16811"?))))
  end.
Property CloudDeployment-PT-7b-CTLFireability-12
  "Automatically generated"
  is:
    E X A F (((("t15726"?) & ("t10677"?))) & (! "t10328"?))
  end.
Property CloudDeployment-PT-7b-CTLFireability-13
  "Automatically generated"
  is:
    E F ((E F (("t2523"?) & ("t15199"?))) & (((A X "t12920"?) & (! ! "t14989"?))))
  end.
Property CloudDeployment-PT-7b-CTLFireability-14
  "Automatically generated"
  is:
    A (((("t2949"?) | ((((("t7861"?) | ("t8960"?))) | (! "t9184"?))))) U (E F "t4592"?))
  end.
Property CloudDeployment-PT-7b-CTLFireability-15
  "Automatically generated"
  is:
    E G E ((! "t12467"?) U (! "t13864"?))
  end.
