Property SemanticWebServices-PT-S256P12-CTLFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      ! (E (X (! (E (G ((! ((is-fireable("t365")) & (is-fireable("t304")))) | (! ((is-fireable("t13293")) | (is-fireable("t4799"))))))))))
   end.
Property SemanticWebServices-PT-S256P12-CTLFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      A (F (A (G (! (A ((A (G (is-fireable("t19433")))) U ((E ((is-fireable("t18794")) U (is-fireable("t16695")))) | (E ((is-fireable("t10492")) U (is-fireable("t6284")))))))))))
   end.
Property SemanticWebServices-PT-S256P12-CTLFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      A (((E (((! (is-fireable("t115"))) & (E (G (E (X (is-fireable("t9093"))))))) U (E (F (A ((is-fireable("t17890")) U (is-fireable("t6770")))))))) & (((A (F (A (G (is-fireable("t18004")))))) | (is-fireable("t11494"))) & (A (((A (F (is-fireable("t16525")))) & ((! (is-fireable("t9152"))) & (E (X (is-fireable("t3146")))))) U ((! (is-fireable("t2403"))) | (E (F (is-fireable("t15292"))))))))) U (is-fireable("t15518")))
   end.
Property SemanticWebServices-PT-S256P12-CTLFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      ! (E (F (((E (G (! (is-fireable("t200"))))) & ((E (X (is-fireable("t1306")))) & ((A (G (is-fireable("t16784")))) & (E (F (is-fireable("t2190"))))))) & (is-fireable("t6140")))))
   end.
Property SemanticWebServices-PT-S256P12-CTLFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      (A (X (A (X ((is-fireable("t952")) | ((is-fireable("t18950")) & (((is-fireable("t18413")) | (is-fireable("t7608"))) | (! (is-fireable("t19655")))))))))) & (E (G ((! ((is-fireable("t20129")) | (E ((is-fireable("t8839")) U (is-fireable("t5059")))))) & (((is-fireable("t13201")) & ((is-fireable("t5878")) | ((E (F (is-fireable("t5257")))) | (is-fireable("t879"))))) | (A (X (E (F (is-fireable("t12836"))))))))))
   end.
Property SemanticWebServices-PT-S256P12-CTLFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      A (G (! ((((A (F (A ((is-fireable("t13496")) U (is-fireable("t13381")))))) & ((is-fireable("t12311")) | ((! (is-fireable("t17967"))) & (A ((is-fireable("t8686")) U (is-fireable("t20137"))))))) & (A ((is-fireable("t13817")) U (! (E (G (is-fireable("t17511")))))))) & (is-fireable("t5736")))))
   end.
Property SemanticWebServices-PT-S256P12-CTLFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t17559")))
   end.
Property SemanticWebServices-PT-S256P12-CTLFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      E (X (A ((A (G (! ((E ((is-fireable("t10503")) U (is-fireable("t18492")))) & (is-fireable("t6088")))))) U ((((is-fireable("t9180")) | (E (F (is-fireable("t3864"))))) & ((! (E ((is-fireable("t7674")) U (is-fireable("t1587"))))) & (! ((is-fireable("t11088")) & (is-fireable("t11717")))))) & (((! (E (F (is-fireable("t9597"))))) & (E (G (is-fireable("t11722"))))) | (! (A (X (is-fireable("t10402"))))))))))
   end.
Property SemanticWebServices-PT-S256P12-CTLFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      A (X (((E (X (E (G (is-fireable("t11269")))))) & (A ((((A (G (is-fireable("t3168")))) & (! (is-fireable("t9504")))) & (! (E (F (is-fireable("t10177")))))) U (! ((is-fireable("t2461")) | (A (X (is-fireable("t19257"))))))))) | (A (F (is-fireable("t6086"))))))
   end.
Property SemanticWebServices-PT-S256P12-CTLFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      ! (E (F ((((((! (is-fireable("t13359"))) | (A (F (is-fireable("t8476"))))) & (is-fireable("t5069"))) | (is-fireable("t1858"))) & (A (((E ((is-fireable("t10223")) U (is-fireable("t8417")))) & ((is-fireable("t15563")) & (is-fireable("t6688")))) U ((E (X (is-fireable("t13350")))) & (! (is-fireable("t17208"))))))) & (((E (G (A (G (is-fireable("t4657")))))) | ((is-fireable("t5009")) & (! (is-fireable("t5279"))))) | (A (X ((E ((is-fireable("t13067")) U (is-fireable("t14250")))) & (! (is-fireable("t6792"))))))))))
   end.
Property SemanticWebServices-PT-S256P12-CTLFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      (A (F (is-fireable("t1287")))) & (A (G ((((! (is-fireable("t1908"))) | (! (E (G (is-fireable("t17248")))))) | (A (F (! (E (F (is-fireable("t17732")))))))) | (E ((A (G ((is-fireable("t19387")) | (is-fireable("t9990"))))) U ((((is-fireable("t13789")) & (is-fireable("t7035"))) & ((is-fireable("t8080")) | (is-fireable("t9812")))) & ((E ((is-fireable("t2828")) U (is-fireable("t5197")))) | ((is-fireable("t15669")) & (is-fireable("t13131"))))))))))
   end.
Property SemanticWebServices-PT-S256P12-CTLFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      E (X (! (E (F (is-fireable("t9092"))))))
   end.
Property SemanticWebServices-PT-S256P12-CTLFireability-12
   "Automatically generated by Citili v2023"
   is:
      ! (E ((E (G (! (E (X ((is-fireable("t13209")) & (is-fireable("t2038")))))))) U ((A ((E ((A (X (is-fireable("t8826")))) U (! (is-fireable("t6335"))))) U (A ((is-fireable("t3650")) U ((is-fireable("t3313")) | (is-fireable("t14603"))))))) & (E (X (is-fireable("t18908")))))))
   end.
Property SemanticWebServices-PT-S256P12-CTLFireability-13
   "Automatically generated by Citili v2023"
   is:
      A (G (A (F ((is-fireable("t6064")) | ((! (is-fireable("t19411"))) | ((! ((is-fireable("t11887")) & (is-fireable("t13176")))) & (((is-fireable("t11643")) & (is-fireable("t4610"))) & (! (is-fireable("t5723"))))))))))
   end.
Property SemanticWebServices-PT-S256P12-CTLFireability-14
   "Automatically generated by Citili v2023"
   is:
      A (G ((A (F (E ((E (X (is-fireable("t16088")))) U (is-fireable("t2524")))))) & (! (E (X (is-fireable("t13757")))))))
   end.
Property SemanticWebServices-PT-S256P12-CTLFireability-15
   "Automatically generated by Citili v2023"
   is:
      A ((A ((! (((E (G (is-fireable("t10759")))) & (is-fireable("t13564"))) & ((A ((is-fireable("t14412")) U (is-fireable("t16127")))) & (! ((is-fireable("t5786")) | (is-fireable("t19665"))))))) U (E (F (((E (F (is-fireable("t5650")))) & (! (is-fireable("t3233")))) & (A (X (is-fireable("t4511"))))))))) U ((A (G (is-fireable("t116")))) & (A (X (is-fireable("t13667"))))))
   end.
