Property SemanticWebServices-PT-S256P12-LTLFireability-00
  "Automatically generated"
  is:
    A !F !G (G ("t59"? & "t14301"?) U !X G ("t19916"? U "t2331"?))
  end.
Property SemanticWebServices-PT-S256P12-LTLFireability-01
  "Automatically generated"
  is:
    A X ("t14005"? & "t6676"? & F "t1740"? & (F "t14646"? U X ("t5061"? & "t14005"?)))
  end.
Property SemanticWebServices-PT-S256P12-LTLFireability-02
  "Automatically generated"
  is:
    A ("t11352"? & G "t11352"?)
  end.
Property SemanticWebServices-PT-S256P12-LTLFireability-03
  "Automatically generated"
  is:
    A X G !("t8884"? & F X !("t8884"? & "t19670"?))
  end.
Property SemanticWebServices-PT-S256P12-LTLFireability-04
  "Automatically generated"
  is:
    A ("t14726"? | "t12014"? | (G ("t12750"? | !X "t4304"?) U "t12014"?))
  end.
Property SemanticWebServices-PT-S256P12-LTLFireability-05
  "Automatically generated"
  is:
    A F G X X ("t2658"? & "t7166"?)
  end.
Property SemanticWebServices-PT-S256P12-LTLFireability-06
  "Automatically generated"
  is:
    A F X ("t7167"? | X (!"t15006"? | X F (!"t6090"? | X "t16914"?)))
  end.
Property SemanticWebServices-PT-S256P12-LTLFireability-07
  "Automatically generated"
  is:
    A X ("t16074"? | X X X (X F "t13212"? U G ("t10596"? | F "t8698"?)))
  end.
Property SemanticWebServices-PT-S256P12-LTLFireability-08
  "Automatically generated"
  is:
    A !F G (G !"t9157"? & !(G "t9782"? U "t19985"?))
  end.
Property SemanticWebServices-PT-S256P12-LTLFireability-09
  "Automatically generated"
  is:
    A X ((!X X ("t2145"? | G "t8666"?) & (G "t11246"? U "t16764"?)) U "t8666"?)
  end.
Property SemanticWebServices-PT-S256P12-LTLFireability-10
  "Automatically generated"
  is:
    A X (!"t9945"? | X G X !X ("t2676"? U X "t9945"?))
  end.
Property SemanticWebServices-PT-S256P12-LTLFireability-11
  "Automatically generated"
  is:
    A (X F "t13905"? & (!"t4230"? U G "t5844"?))
  end.
Property SemanticWebServices-PT-S256P12-LTLFireability-12
  "Automatically generated"
  is:
    A X ("t4220"? & F (X "t16910"? U "t1614"?))
  end.
Property SemanticWebServices-PT-S256P12-LTLFireability-13
  "Automatically generated"
  is:
    A X X (X "t1464"? | ("t13601"? & !F ("t8638"? & ("t1464"? | X "t12051"?))))
  end.
Property SemanticWebServices-PT-S256P12-LTLFireability-14
  "Automatically generated"
  is:
    A !(F "t872"? & X G !((!"t8427"? U "t8427"?) | X X "t8427"?))
  end.
Property SemanticWebServices-PT-S256P12-LTLFireability-15
  "Automatically generated"
  is:
    A F ("t10898"? & !G !"t10898"?)
  end.
