Property SemanticWebServices-PT-S256P09-00
  "Automatically generated"
  is:
    A ((X G X "t1109"? U ("t21284"? | F "t3970"?)) U "t24941"?)
  end.
Property SemanticWebServices-PT-S256P09-01
  "Automatically generated"
  is:
    A G ("t5348"? | X (F G X "t5348"? & !F G ("t4564"? | "t23863"?)))
  end.
Property SemanticWebServices-PT-S256P09-02
  "Automatically generated"
  is:
    A (G X (("t903"? & F "t903"?) U "t903"?) U "t2941"?)
  end.
Property SemanticWebServices-PT-S256P09-03
  "Automatically generated"
  is:
    A ("t4003"? | "t27241"? | X F G F !F !X F "t4003"?)
  end.
Property SemanticWebServices-PT-S256P09-04
  "Automatically generated"
  is:
    A (!X !G "t11325"? U "t17568"?)
  end.
Property SemanticWebServices-PT-S256P09-05
  "Automatically generated"
  is:
    A X (G X "t21000"? U X G (!"t15591"? & F "t16807"?))
  end.
Property SemanticWebServices-PT-S256P09-06
  "Automatically generated"
  is:
    A X G "t18417"?
  end.
Property SemanticWebServices-PT-S256P09-07
  "Automatically generated"
  is:
    A X ("t2694"? & F G !F ("t4535"? & "t2694"?))
  end.
Property SemanticWebServices-PT-S256P09-08
  "Automatically generated"
  is:
    A X G X X "t12725"?
  end.
Property SemanticWebServices-PT-S256P09-09
  "Automatically generated"
  is:
    A ((!F "t23399"? U !G "t23399"?) | ("t25482"? U ("t14642"? | "t22002"?)))
  end.
Property SemanticWebServices-PT-S256P09-10
  "Automatically generated"
  is:
    A (!"t17905"? & F G "t22094"?)
  end.
Property SemanticWebServices-PT-S256P09-11
  "Automatically generated"
  is:
    A (("t22572"? & G ("t12089"? | G F "t19522"?)) U ("t12089"? U "t22572"?))
  end.
Property SemanticWebServices-PT-S256P09-12
  "Automatically generated"
  is:
    A !X (!"t9735"? & ("t9501"? | "t9735"?) & G !X "t24137"?)
  end.
Property SemanticWebServices-PT-S256P09-13
  "Automatically generated"
  is:
    A G !F X F ("t9589"? | F "t3000"?)
  end.
Property SemanticWebServices-PT-S256P09-14
  "Automatically generated"
  is:
    A (F G (!"t22624"? | X "t26184"?) | X (("t26184"? | "t26956"?) U G "t21857"?))
  end.
Property SemanticWebServices-PT-S256P09-15
  "Automatically generated"
  is:
    A X !(G "t15805"? & (F "t17897"? | X (X "t15805"? U G "t26542"?)))
  end.
