Property SemanticWebServices-PT-S256P15-CTLFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      (! (A ((! ((E (X (is-fireable("t7914")))) | (! (is-fireable("t24524"))))) U ((((E (X (is-fireable("t24740")))) & (A ((is-fireable("t3376")) U (is-fireable("t19635"))))) | (((is-fireable("t14050")) & (is-fireable("t27795"))) & ((is-fireable("t88")) | (is-fireable("t6066"))))) | (A (F (E (G (is-fireable("t26442")))))))))) | (! (E (X (((E (F ((is-fireable("t18832")) & (is-fireable("t20076"))))) | ((E (G (is-fireable("t5550")))) & (((is-fireable("t22351")) | (is-fireable("t13022"))) & (E (X (is-fireable("t17556"))))))) | (is-fireable("t8272"))))))
   end.
Property SemanticWebServices-PT-S256P15-CTLFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t4967")))
   end.
Property SemanticWebServices-PT-S256P15-CTLFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      E (G (((A (F (A (X (E ((is-fireable("t28637")) U (is-fireable("t7291")))))))) | ((A (G ((! (is-fireable("t754"))) | (! (is-fireable("t8573")))))) | ((((is-fireable("t24504")) & (E (X (is-fireable("t5929"))))) | ((! (is-fireable("t8360"))) & (! (is-fireable("t4503"))))) | (is-fireable("t86"))))) | (! ((! (E (G (A (X (is-fireable("t10540"))))))) & (E (G ((A (X (is-fireable("t13985")))) | (E (G (is-fireable("t13748")))))))))))
   end.
Property SemanticWebServices-PT-S256P15-CTLFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      A (((((is-fireable("t9982")) | ((E (G (! (is-fireable("t1212"))))) | (E (F ((is-fireable("t20995")) | (is-fireable("t8583"))))))) | (((E (G ((is-fireable("t21006")) & (is-fireable("t28406"))))) | (is-fireable("t750"))) | ((((A ((is-fireable("t4276")) U (is-fireable("t13172")))) & (E ((is-fireable("t17832")) U (is-fireable("t28647"))))) | (E ((is-fireable("t18924")) U (is-fireable("t13438"))))) & (E (G (A (G (is-fireable("t8361"))))))))) | (A (X (E (X (E (X (is-fireable("t3550"))))))))) U ((E (G ((! (is-fireable("t19463"))) | ((E ((is-fireable("t20207")) U (is-fireable("t6815")))) | (E (F (is-fireable("t22431")))))))) & (((is-fireable("t3774")) & (A (G ((A (G (is-fireable("t15670")))) | ((is-fireable("t13713")) | (is-fireable("t1722"))))))) | (! ((! ((is-fireable("t17945")) | (is-fireable("t8396")))) & (is-fireable("t20226")))))))
   end.
Property SemanticWebServices-PT-S256P15-CTLFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      E (X (E (G (A (F ((A (X (is-fireable("t22754")))) & (! (A (G (is-fireable("t22770")))))))))))
   end.
Property SemanticWebServices-PT-S256P15-CTLFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      A (G (E (F (is-fireable("t9561")))))
   end.
Property SemanticWebServices-PT-S256P15-CTLFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      A ((E (G (! (E ((is-fireable("t24194")) U (A (G (is-fireable("t8591"))))))))) U (is-fireable("t16608")))
   end.
Property SemanticWebServices-PT-S256P15-CTLFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      A ((is-fireable("t20566")) U (A ((E ((A (X (! (is-fireable("t21315"))))) U (E (F ((is-fireable("t6299")) & (is-fireable("t26203"))))))) U (is-fireable("t28522")))))
   end.
Property SemanticWebServices-PT-S256P15-CTLFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      (A ((! (is-fireable("t15495"))) U (is-fireable("t9239")))) & (! (A (X (A ((((! (is-fireable("t15648"))) & ((is-fireable("t28913")) | (is-fireable("t12103")))) | (is-fireable("t7930"))) U (E (((is-fireable("t10124")) & (is-fireable("t14465"))) U (A (X (is-fireable("t10489")))))))))))
   end.
Property SemanticWebServices-PT-S256P15-CTLFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      A (F (A (F ((is-fireable("t19485")) | (is-fireable("t27796"))))))
   end.
Property SemanticWebServices-PT-S256P15-CTLFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      ((A ((is-fireable("t9637")) U (E (G (E (X (! (is-fireable("t3054"))))))))) | (E (X (A (((E (X (is-fireable("t26256")))) & (((is-fireable("t3112")) | (is-fireable("t18904"))) & ((is-fireable("t12166")) | (is-fireable("t15995"))))) U (E (G (! (is-fireable("t26323")))))))))) & (A ((A ((A (((E ((is-fireable("t1234")) U (is-fireable("t27507")))) | (is-fireable("t16665"))) U (! (E (F (is-fireable("t13180"))))))) U ((! (is-fireable("t7661"))) | ((is-fireable("t12388")) & (! (A (X (is-fireable("t5792"))))))))) U ((E (X (A ((is-fireable("t15644")) U (is-fireable("t16902")))))) & (A (X (E (((is-fireable("t6662")) | (is-fireable("t16283"))) U (! (is-fireable("t28226"))))))))))
   end.
Property SemanticWebServices-PT-S256P15-CTLFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      ! (A (((A (F (E (X (! (is-fireable("t6325"))))))) & (! (((E (G (is-fireable("t28497")))) | (! ((is-fireable("t9045")) | (is-fireable("t16317"))))) & (A (F (E (G (is-fireable("t4199"))))))))) U (E ((E (F (E ((is-fireable("t16964")) U (is-fireable("t19399")))))) U (((E ((is-fireable("t18749")) U (is-fireable("t4183")))) & (! ((is-fireable("t26543")) & (is-fireable("t1498"))))) & (! ((A ((is-fireable("t13871")) U (is-fireable("t22417")))) | (E (F (is-fireable("t29418")))))))))))
   end.
Property SemanticWebServices-PT-S256P15-CTLFireability-12
   "Automatically generated by Citili v2023"
   is:
      A (((A (F (! ((((is-fireable("t21883")) & (is-fireable("t9990"))) & (is-fireable("t19009"))) | (! (is-fireable("t9076"))))))) & ((E (X (A (G (! (is-fireable("t20275"))))))) | ((is-fireable("t1500")) & (E (G (! ((is-fireable("t4931")) | (is-fireable("t24347"))))))))) U (((is-fireable("t5209")) & (is-fireable("t11633"))) & ((is-fireable("t17900")) | (((! (((is-fireable("t238")) | (is-fireable("t18442"))) | (E (X (is-fireable("t29405")))))) | ((((is-fireable("t12004")) | (is-fireable("t8603"))) | ((is-fireable("t26644")) | (is-fireable("t21995")))) & (E (F (is-fireable("t23622")))))) | (E ((is-fireable("t5183")) U ((E (F (is-fireable("t17391")))) & (E (F (is-fireable("t26154")))))))))))
   end.
Property SemanticWebServices-PT-S256P15-CTLFireability-13
   "Automatically generated by Citili v2023"
   is:
      ! (A (((! ((! (is-fireable("t29389"))) | (A (X (is-fireable("t17191")))))) & (E (G ((E (G (is-fireable("t22790")))) & (((is-fireable("t18365")) | (is-fireable("t7101"))) | (A (F (is-fireable("t28338"))))))))) U (E (G (E (F ((! (is-fireable("t8267"))) | (is-fireable("t13413")))))))))
   end.
Property SemanticWebServices-PT-S256P15-CTLFireability-14
   "Automatically generated by Citili v2023"
   is:
      (A ((is-fireable("t27733")) U (A (G (is-fireable("t23693")))))) | (((A (X ((A ((! (is-fireable("t5163"))) U ((is-fireable("t22464")) | (is-fireable("t1811"))))) | (is-fireable("t22516"))))) | (E (X (A (F (E (X (is-fireable("t20017"))))))))) & (((E (G (! (A ((is-fireable("t13445")) U (is-fireable("t8657"))))))) & ((E (G (((is-fireable("t10580")) & (is-fireable("t12549"))) | (! (is-fireable("t29295")))))) | (E (X (((is-fireable("t21105")) | (is-fireable("t7015"))) | ((is-fireable("t25706")) & (is-fireable("t21191")))))))) & (A ((! (E (G (is-fireable("t15865"))))) U (is-fireable("t19020"))))))
   end.
Property SemanticWebServices-PT-S256P15-CTLFireability-15
   "Automatically generated by Citili v2023"
   is:
      E (X (A (F (E (G (((E (G (is-fireable("t9866")))) | (A ((is-fireable("t28197")) U (is-fireable("t22679"))))) | (((is-fireable("t21236")) | (is-fireable("t28490"))) | (E ((is-fireable("t279")) U (is-fireable("t28928")))))))))))
   end.
