Property CloudDeployment-PT-7b-00
  "Automatically generated"
  is:
    A X G "t14070"?
  end.
Property CloudDeployment-PT-7b-01
  "Automatically generated"
  is:
    A (X G X "t19136"? | X F "t7368"?)
  end.
Property CloudDeployment-PT-7b-02
  "Automatically generated"
  is:
    A X F X !F ("t1308"? & G "t8561"?)
  end.
Property CloudDeployment-PT-7b-03
  "Automatically generated"
  is:
    A G ("t17767"? | "t19322"? | F ("t17767"? U "t19090"?) | ("t19322"? U "t13484"?))
  end.
Property CloudDeployment-PT-7b-04
  "Automatically generated"
  is:
    A G X F ("t10214"? | G (F "t4667"? | (G "t9817"? & !F "t12558"?)))
  end.
Property CloudDeployment-PT-7b-05
  "Automatically generated"
  is:
    A (("t9083"? | F "t818"?) U (X "t755"? U G "t818"?))
  end.
Property CloudDeployment-PT-7b-06
  "Automatically generated"
  is:
    A ((!G "t13600"? | (X G "t12711"? U G "t13442"?)) U G "t13600"?)
  end.
Property CloudDeployment-PT-7b-07
  "Automatically generated"
  is:
    A X ((!("t5337"? & "t12083"?) U X "t12988"?) & !(G "t12988"? & F "t12758"?))
  end.
Property CloudDeployment-PT-7b-08
  "Automatically generated"
  is:
    A !((("t17081"? & X "t3500"?) U X !"t3500"?) & F ("t17081"? & F "t3500"?))
  end.
Property CloudDeployment-PT-7b-09
  "Automatically generated"
  is:
    A X X X G !("t1572"? U "t5186"?)
  end.
Property CloudDeployment-PT-7b-10
  "Automatically generated"
  is:
    A ((!"t9716"? U ("t11310"? | !("t5065"? | X "t5065"?))) & F "t9716"?)
  end.
Property CloudDeployment-PT-7b-11
  "Automatically generated"
  is:
    A X ("t12556"? | F "t16626"?)
  end.
Property CloudDeployment-PT-7b-12
  "Automatically generated"
  is:
    A F !X X X !(F G X "t15605"? U G X "t15605"?)
  end.
Property CloudDeployment-PT-7b-13
  "Automatically generated"
  is:
    A !X F (F ("t10131"? | "t19341"? | "t17121"?) U F G "t10131"?)
  end.
Property CloudDeployment-PT-7b-14
  "Automatically generated"
  is:
    A (X ("t17228"? & G "t16921"?) U (F "t16710"? & (!G "t15345"? U "t16710"?)))
  end.
Property CloudDeployment-PT-7b-15
  "Automatically generated"
  is:
    A (!("t18874"? | G !("t16801"? U "t6104"?)) & X X X "t10081"?)
  end.
