Property ViralEpidemic-PT-S08D1C2A04-CTLCardinality-2025-00
   "Automatically generated by Citili v2025"
   is:
      A (X ((A (F (! (A (X (E ((tokens-count("patient165") <= tokens-count("patient41524")) U (tokens-count("patient12541") <= tokens-count("dFactor45125"))))))))) | (! ((1 <= tokens-count("patient63714")) | (A (F (tokens-count("patient12118") <= 1)))))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-CTLCardinality-2025-01
   "Automatically generated by Citili v2025"
   is:
      E (F (! (E (X (A ((A ((tokens-count("patient15663") <= tokens-count("patient25451")) U (1 <= tokens-count("cFactor3544")))) U ((E (X (2 <= tokens-count("patient88364")))) | (E ((2 <= tokens-count("cFactor45732")) U (tokens-count("patient77823") <= tokens-count("patient56517")))))))))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-CTLCardinality-2025-02
   "Automatically generated by Citili v2025"
   is:
      E (G (! (2 <= tokens-count("patient51448"))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-CTLCardinality-2025-03
   "Automatically generated by Citili v2025"
   is:
      A (G ((E (G ((E (X (E (X (tokens-count("patient18277") <= tokens-count("patient36185")))))) | (((A ((tokens-count("patient5423") <= 0) U (2 <= tokens-count("patient1883")))) & (tokens-count("patient76416") <= tokens-count("patient84584"))) & (((tokens-count("patient42537") <= tokens-count("cFactor3414")) & (tokens-count("patient43273") <= 2)) | ((2 <= tokens-count("patient18377")) & (1 <= tokens-count("patient1287")))))))) & (! (A (G (((2 <= tokens-count("patient44432")) & (tokens-count("patient26821") <= 1)) & (A (X (tokens-count("dFactor48313") <= tokens-count("patient12867"))))))))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-CTLCardinality-2025-04
   "Automatically generated by Citili v2025"
   is:
      ! (E (F (2 <= tokens-count("patient42135"))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-CTLCardinality-2025-05
   "Automatically generated by Citili v2025"
   is:
      (E ((A (F ((A (X (A ((tokens-count("dFactor42628") <= 2) U (tokens-count("dFactor45214") <= 1))))) & ((A (X (2 <= tokens-count("cFactor41522")))) & (! (A (F (tokens-count("patient28538") <= 1)))))))) U ((1 <= tokens-count("patient17855")) | (! (E ((E (G (2 <= tokens-count("patient66738")))) U (A (F (tokens-count("patient38286") <= tokens-count("patient51172")))))))))) & (((E (G (! (E (X ((tokens-count("patient5372") <= tokens-count("patient76524")) | (1 <= tokens-count("dFactor45213")))))))) | (E (X (tokens-count("patient51756") <= 1)))) | (! ((E (X ((A (X (1 <= tokens-count("patient88834")))) | (tokens-count("patient21638") <= 1)))) & (! (A (G (((tokens-count("patient76736") <= 0) | (tokens-count("patient82642") <= 0)) | (1 <= tokens-count("cFactor44737")))))))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-CTLCardinality-2025-06
   "Automatically generated by Citili v2025"
   is:
      A (X (((! (A (F (E (G (1 <= tokens-count("cFactor3873"))))))) | ((1 <= tokens-count("patient42778")) & (! ((tokens-count("patient42832") <= tokens-count("patient41368")) & ((tokens-count("patient87186") <= tokens-count("patient44725")) & (tokens-count("dFactor42625") <= tokens-count("patient84873"))))))) & (tokens-count("patient6345") <= 2)))
   end.
Property ViralEpidemic-PT-S08D1C2A04-CTLCardinality-2025-07
   "Automatically generated by Citili v2025"
   is:
      ! (A (F (1 <= tokens-count("patient64857"))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-CTLCardinality-2025-08
   "Automatically generated by Citili v2025"
   is:
      A (X (A (X (((2 <= tokens-count("patient52782")) | (tokens-count("patient3736") <= 0)) & (A (F (! ((tokens-count("patient72348") <= 0) | (1 <= tokens-count("patient81722"))))))))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-CTLCardinality-2025-09
   "Automatically generated by Citili v2025"
   is:
      (E (F (E ((1 <= tokens-count("patient56857")) U ((A (G (! (tokens-count("patient34541") <= tokens-count("patient47622"))))) & (A (F (A (G (tokens-count("patient77653") <= tokens-count("patient72574"))))))))))) | (A (G ((! (((A (G (tokens-count("patient13773") <= 0))) & (tokens-count("patient321") <= tokens-count("patient34533"))) | (E (F (A (G (1 <= tokens-count("patient62826")))))))) & (tokens-count("patient62785") <= tokens-count("cFactor47887")))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-CTLCardinality-2025-10
   "Automatically generated by Citili v2025"
   is:
      E ((A ((E (G (1 <= tokens-count("cFactor42468")))) U ((A (X (A (X (tokens-count("patient84167") <= tokens-count("patient33116")))))) & ((((E (X (tokens-count("patient32868") <= tokens-count("cFactor3541")))) & (! (tokens-count("cFactor48442") <= tokens-count("patient7361")))) & (E (X (tokens-count("patient68") <= tokens-count("patient8343"))))) | (2 <= tokens-count("dFactor47851")))))) U (E (X ((E (X (A (X (2 <= tokens-count("dFactor42277")))))) | (A (G (E (G (2 <= tokens-count("patient24522"))))))))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-CTLCardinality-2025-11
   "Automatically generated by Citili v2025"
   is:
      A (G (A (X (E (F (E (F (tokens-count("cFactor45374") <= 1))))))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-CTLCardinality-12
   "Automatically generated by Citili v2023"
   is:
      (E (F (1 <= tokens-count("patient26718")))) & (((E (((! (((1 <= tokens-count("patient52245")) | (tokens-count("patient14523") <= tokens-count("patient57783"))) & ((1 <= tokens-count("patient65456")) | (tokens-count("patient87367") <= tokens-count("patient81123"))))) | (! ((2 <= tokens-count("patient17382")) & ((2 <= tokens-count("patient8683")) & (2 <= tokens-count("patient558")))))) U (A (F (A ((2 <= tokens-count("patient37314")) U (tokens-count("cFactor43541") <= 1))))))) | (A (((E ((E (G (tokens-count("dFactor3274") <= 1))) U ((tokens-count("patient67131") <= tokens-count("patient74351")) & (2 <= tokens-count("patient34121"))))) | (! ((E (F (tokens-count("patient35568") <= tokens-count("patient48753")))) & (! (tokens-count("patient66867") <= 1))))) U (((tokens-count("patient44864") <= tokens-count("patient83583")) | (! (E (F (tokens-count("cFactor44561") <= tokens-count("patient81664")))))) & ((A (G (2 <= tokens-count("cFactor41748")))) | (! (E (F (2 <= tokens-count("patient65426")))))))))) & (E (G (A (F ((A (X (tokens-count("patient67564") <= tokens-count("patient25347")))) & (tokens-count("cFactor47442") <= 0)))))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-CTLCardinality-13
   "Automatically generated by Citili v2023"
   is:
      (E (G (A ((A (F (E (F (tokens-count("patient81353") <= 1))))) U ((! (E ((tokens-count("cFactor46214") <= tokens-count("patient7466")) U (2 <= tokens-count("patient5627"))))) & ((tokens-count("patient73482") <= 0) | ((! (tokens-count("dFactor42442") <= 1)) & (! (1 <= tokens-count("dFactor46442")))))))))) | (E (G (! (A (F (A (G (tokens-count("patient18445") <= tokens-count("cFactor3852")))))))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-CTLCardinality-14
   "Automatically generated by Citili v2023"
   is:
      A (F (! ((A (F (! (E (G (1 <= tokens-count("patient41382"))))))) | (! (((E (F (tokens-count("patient8266") <= tokens-count("patient36628")))) & (E ((tokens-count("patient82565") <= tokens-count("patient65688")) U (tokens-count("patient63288") <= tokens-count("patient31575"))))) & (tokens-count("patient18735") <= tokens-count("dFactor46252")))))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-CTLCardinality-15
   "Automatically generated by Citili v2023"
   is:
      E (G (tokens-count("patient21686") <= 0))
   end.
