Property SemanticWebServices-PT-S256P12-ReachabilityFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      A (G (! ((! ((! (is-fireable("t4873"))) | (! (is-fireable("t7257"))))) & (((is-fireable("t6567")) | (is-fireable("t11673"))) | (is-fireable("t13516"))))))
   end.
Property SemanticWebServices-PT-S256P12-ReachabilityFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t14030")))
   end.
Property SemanticWebServices-PT-S256P12-ReachabilityFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t17449")))
   end.
Property SemanticWebServices-PT-S256P12-ReachabilityFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t4781")))
   end.
Property SemanticWebServices-PT-S256P12-ReachabilityFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      A (G (! ((! (is-fireable("t4432"))) & (is-fireable("t9850")))))
   end.
Property SemanticWebServices-PT-S256P12-ReachabilityFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      A (G (! (is-fireable("t17687"))))
   end.
Property SemanticWebServices-PT-S256P12-ReachabilityFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      A (G (is-fireable("t854")))
   end.
Property SemanticWebServices-PT-S256P12-ReachabilityFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      A (G (! (is-fireable("t8273"))))
   end.
Property SemanticWebServices-PT-S256P12-ReachabilityFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      A (G ((! (((is-fireable("t7860")) | (is-fireable("t11177"))) | ((is-fireable("t15997")) | ((! (((! (is-fireable("t7678"))) & ((is-fireable("t6893")) | (is-fireable("t16428")))) | (((is-fireable("t8654")) & (is-fireable("t17918"))) | ((is-fireable("t12082")) & (is-fireable("t20152")))))) & ((! (is-fireable("t9501"))) & (is-fireable("t13019"))))))) & (! ((! (((is-fireable("t3531")) | (is-fireable("t16598"))) | (! (is-fireable("t11623"))))) & (is-fireable("t13318"))))))
   end.
Property SemanticWebServices-PT-S256P12-ReachabilityFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      E (F (((is-fireable("t8438")) & (((! (is-fireable("t8897"))) | (((((is-fireable("t16595")) & ((is-fireable("t16965")) & (is-fireable("t7952")))) | ((! (is-fireable("t1985"))) | ((is-fireable("t5714")) & (is-fireable("t6393"))))) | (! (is-fireable("t10736")))) | (! ((is-fireable("t14010")) | (is-fireable("t16260")))))) & (((is-fireable("t19592")) & (! (is-fireable("t15871")))) & ((((((is-fireable("t8098")) | (is-fireable("t12108"))) & ((is-fireable("t2775")) & (is-fireable("t2811")))) | (((is-fireable("t9506")) & (is-fireable("t20321"))) | (! (is-fireable("t18783"))))) & ((((is-fireable("t10629")) & (is-fireable("t17262"))) & ((is-fireable("t19165")) & (is-fireable("t16260")))) & ((is-fireable("t13375")) | (is-fireable("t7625"))))) & ((((! (is-fireable("t3911"))) & ((is-fireable("t15039")) & (is-fireable("t16931")))) & ((is-fireable("t8956")) | (! (is-fireable("t9291"))))) & (((! (is-fireable("t2558"))) & (is-fireable("t1926"))) & (is-fireable("t697")))))))) & ((! (is-fireable("t2299"))) & ((((! ((is-fireable("t20014")) & ((! (is-fireable("t878"))) & ((is-fireable("t20108")) | (is-fireable("t9544")))))) & (! ((is-fireable("t2514")) & (((is-fireable("t8326")) & (is-fireable("t3679"))) & ((is-fireable("t1431")) | (is-fireable("t6133"))))))) | (is-fireable("t8814"))) | (is-fireable("t9334"))))))
   end.
Property SemanticWebServices-PT-S256P12-ReachabilityFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      E (F ((! (((! (((is-fireable("t1050")) | (((is-fireable("t15991")) | (is-fireable("t20219"))) | ((is-fireable("t1335")) & (is-fireable("t13306"))))) & ((is-fireable("t2005")) | ((! (is-fireable("t9928"))) | (is-fireable("t8052")))))) & ((((((is-fireable("t4306")) & (is-fireable("t3466"))) & ((is-fireable("t19789")) & (is-fireable("t7979")))) & (! (is-fireable("t1979")))) & (! ((! (is-fireable("t15403"))) | (! (is-fireable("t17896")))))) & (! (is-fireable("t19574"))))) & ((((! (is-fireable("t4042"))) & ((((is-fireable("t127")) | (is-fireable("t16035"))) | ((is-fireable("t17984")) | (is-fireable("t14057")))) & ((is-fireable("t12789")) & ((is-fireable("t7863")) | (is-fireable("t5683")))))) & ((! (is-fireable("t7832"))) | (is-fireable("t9068")))) & ((! (is-fireable("t3890"))) & ((! (((is-fireable("t12257")) & (is-fireable("t10753"))) & (is-fireable("t4930")))) | ((! (is-fireable("t4296"))) | (is-fireable("t12973")))))))) & ((is-fireable("t7015")) | (((! (((((is-fireable("t4406")) | (is-fireable("t18906"))) | ((is-fireable("t16585")) | (is-fireable("t17072")))) & ((! (is-fireable("t7016"))) & (is-fireable("t756")))) | ((((is-fireable("t2447")) & (is-fireable("t7894"))) | (is-fireable("t18757"))) | (((is-fireable("t1576")) & (is-fireable("t7613"))) & (! (is-fireable("t988"))))))) | (! (((((is-fireable("t4967")) | (is-fireable("t19206"))) & (is-fireable("t6809"))) | ((is-fireable("t6751")) & (is-fireable("t10832")))) & (((! (is-fireable("t16189"))) | ((is-fireable("t13523")) & (is-fireable("t3017")))) | (is-fireable("t14785")))))) & (is-fireable("t2810"))))))
   end.
Property SemanticWebServices-PT-S256P12-ReachabilityFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      E (F (((! (is-fireable("t10934"))) & (! ((((! ((is-fireable("t8512")) & ((is-fireable("t3000")) | (is-fireable("t7165"))))) & ((is-fireable("t13083")) | ((! (is-fireable("t985"))) | ((is-fireable("t17549")) & (is-fireable("t11339")))))) & ((! (is-fireable("t16912"))) | ((((is-fireable("t17614")) & (is-fireable("t10365"))) & (is-fireable("t584"))) & (((is-fireable("t15530")) & (is-fireable("t16817"))) | (! (is-fireable("t7224"))))))) | (is-fireable("t249"))))) & (is-fireable("t962"))))
   end.
Property SemanticWebServices-PT-S256P12-ReachabilityFireability-2025-12
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t2403")))
   end.
Property SemanticWebServices-PT-S256P12-ReachabilityFireability-2025-13
   "Automatically generated by Citili v2025"
   is:
      E (F (! ((((! (is-fireable("t14651"))) & ((! ((is-fireable("t5803")) | (is-fireable("t18411")))) | ((is-fireable("t10841")) | (! (is-fireable("t19760")))))) | (((((! (is-fireable("t730"))) | (! (is-fireable("t20094")))) | (! (((is-fireable("t16129")) & (is-fireable("t19550"))) | (! (is-fireable("t1265")))))) & (is-fireable("t13258"))) | (is-fireable("t16099")))) | ((((((((is-fireable("t7581")) & (is-fireable("t1173"))) & ((is-fireable("t8519")) | (is-fireable("t1692")))) | (! (is-fireable("t6267")))) & ((is-fireable("t14")) | (((is-fireable("t3268")) & (is-fireable("t7144"))) | ((is-fireable("t5339")) & (is-fireable("t17019")))))) | ((! ((! (is-fireable("t11942"))) | ((is-fireable("t7252")) & (is-fireable("t1394"))))) | ((! ((is-fireable("t9973")) & (is-fireable("t16748")))) & (((is-fireable("t8141")) | (is-fireable("t5157"))) & ((is-fireable("t7147")) & (is-fireable("t8913"))))))) & ((((! (is-fireable("t13917"))) & (! ((is-fireable("t9158")) & (is-fireable("t7381"))))) & (is-fireable("t13673"))) & (is-fireable("t5663")))) | (! ((is-fireable("t8454")) | ((((! (is-fireable("t13614"))) | ((is-fireable("t2396")) & (is-fireable("t7098")))) | (! ((is-fireable("t16666")) & (is-fireable("t6059"))))) & (! ((! (is-fireable("t13741"))) & (! (is-fireable("t3045"))))))))))))
   end.
Property SemanticWebServices-PT-S256P12-ReachabilityFireability-2025-14
   "Automatically generated by Citili v2025"
   is:
      E (F (! ((is-fireable("t2220")) | (((((is-fireable("t8963")) & (! ((is-fireable("t1637")) | (is-fireable("t9833"))))) | ((((is-fireable("t11048")) & (is-fireable("t7216"))) & (is-fireable("t10772"))) & (is-fireable("t8940")))) & (is-fireable("t16146"))) | ((! (((is-fireable("t19301")) & (is-fireable("t8181"))) & ((is-fireable("t3803")) & (is-fireable("t9081"))))) & (is-fireable("t503")))))))
   end.
Property SemanticWebServices-PT-S256P12-ReachabilityFireability-2025-15
   "Automatically generated by Citili v2025"
   is:
      E (F (((! ((! ((is-fireable("t13549")) | (is-fireable("t1291")))) | ((is-fireable("t6897")) | ((! (is-fireable("t6324"))) | (! (((is-fireable("t2552")) & (is-fireable("t14753"))) & ((is-fireable("t10659")) | (is-fireable("t18801"))))))))) & (! (is-fireable("t14166")))) | ((! (is-fireable("t2691"))) & (((is-fireable("t3676")) & ((! (((is-fireable("t10377")) | (is-fireable("t7169"))) | ((is-fireable("t14652")) & (is-fireable("t13908"))))) | (is-fireable("t18386")))) | (is-fireable("t17518"))))))
   end.
