Property SemanticWebServices-PT-S256P15-LTLFireability-00
  "Automatically generated"
  is:
    A (F !(G F X "t3700"? U "t10728"?) U X "t9089"?)
  end.
Property SemanticWebServices-PT-S256P15-LTLFireability-01
  "Automatically generated"
  is:
    A G (G !(!"t27304"? & X "t8444"?) U F X ("t2975"? & F "t2975"?))
  end.
Property SemanticWebServices-PT-S256P15-LTLFireability-02
  "Automatically generated"
  is:
    A ("t4000"? | G F G "t20770"? | F !G !G X "t5429"?)
  end.
Property SemanticWebServices-PT-S256P15-LTLFireability-03
  "Automatically generated"
  is:
    A (!G "t2022"? | G ("t10924"? & (F "t10924"? U "t2022"?)))
  end.
Property SemanticWebServices-PT-S256P15-LTLFireability-04
  "Automatically generated"
  is:
    A (G "t9170"? & !G ((!"t28649"? | "t9170"?) U "t17096"?))
  end.
Property SemanticWebServices-PT-S256P15-LTLFireability-05
  "Automatically generated"
  is:
    A (F ("t8030"? | X "t3778"? | ("t26636"? U "t27429"?)) & G !F !"t3778"?)
  end.
Property SemanticWebServices-PT-S256P15-LTLFireability-06
  "Automatically generated"
  is:
    A !(!("t26606"? & ("t26606"? U "t1663"?)) U X X "t1663"?)
  end.
Property SemanticWebServices-PT-S256P15-LTLFireability-07
  "Automatically generated"
  is:
    A (!F "t27293"? | X G ("t5192"? | G "t9529"?))
  end.
Property SemanticWebServices-PT-S256P15-LTLFireability-08
  "Automatically generated"
  is:
    A F (X X "t10139"? & (X ("t10139"? | G "t10139"?) U (F "t16348"? U "t4941"?)))
  end.
Property SemanticWebServices-PT-S256P15-LTLFireability-09
  "Automatically generated"
  is:
    A F ("t5936"? | F (X F "t2955"? U X X "t791"?))
  end.
Property SemanticWebServices-PT-S256P15-LTLFireability-10
  "Automatically generated"
  is:
    A (G !G !"t14664"? U F (!"t14664"? & "t17096"?))
  end.
Property SemanticWebServices-PT-S256P15-LTLFireability-11
  "Automatically generated"
  is:
    A (!X X !(F "t6895"? U "t27600"?) | (G "t21836"? U "t24565"?))
  end.
Property SemanticWebServices-PT-S256P15-LTLFireability-12
  "Automatically generated"
  is:
    A (("t25654"? & !"t4579"?) | !X F "t25654"? | G X "t14554"?)
  end.
Property SemanticWebServices-PT-S256P15-LTLFireability-13
  "Automatically generated"
  is:
    A !(X "t24470"? | ("t8256"? U X "t24470"?))
  end.
Property SemanticWebServices-PT-S256P15-LTLFireability-14
  "Automatically generated"
  is:
    A F ("t26393"? & (("t26286"? | G "t12749"?) U X X (!"t26994"? | X "t12749"?)))
  end.
Property SemanticWebServices-PT-S256P15-LTLFireability-15
  "Automatically generated"
  is:
    A (F !X ("t28200"? & "t7467"?) & X !F !"t23809"?)
  end.
