Property RingSingleMessageInMbox-PT-d2m010-CTLCardinality-00
   "Automatically generated by Citili v2022"
   is:
      ! (E (G (A ((E (G (A (F (9 <= tokens-count("l26849")))))) U (((E ((tokens-count("p13799") <= tokens-count("l26396")) U (10 <= tokens-count("p7258")))) & (tokens-count("l6366") <= 10)) | (A (F (E (F (9 <= tokens-count("l3528")))))))))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-CTLCardinality-01
   "Automatically generated by Citili v2022"
   is:
      ! ((E (G (A (G (E (((tokens-count("l12169") <= 3) & (tokens-count("l24824") <= tokens-count("l3233"))) U (tokens-count("p4034") <= 2))))))) | (! (A (F ((A (F ((tokens-count("l36437") <= tokens-count("l28510")) | (tokens-count("p1618") <= 10)))) & (E ((tokens-count("l24377") <= tokens-count("l28634")) U (A (F (2 <= tokens-count("l4182")))))))))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-CTLCardinality-02
   "Automatically generated by Citili v2022"
   is:
      ! (E (G (A (G (tokens-count("l16370") <= tokens-count("l41550"))))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-CTLCardinality-03
   "Automatically generated by Citili v2022"
   is:
      E (G (A (G (! (((A (G (tokens-count("p11671") <= 7))) & (A (F (tokens-count("l33776") <= 9)))) & (tokens-count("p6969") <= tokens-count("p12097")))))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-CTLCardinality-04
   "Automatically generated by Citili v2022"
   is:
      (A (X (A (F (E ((E (F (4 <= tokens-count("p5496")))) U (E (F (tokens-count("l28631") <= tokens-count("l19516")))))))))) & (E ((A (X (tokens-count("p2412") <= 3))) U (10 <= tokens-count("l26191"))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-CTLCardinality-05
   "Automatically generated by Citili v2022"
   is:
      (E (G ((A (F ((A (F (tokens-count("l43465") <= tokens-count("p5688")))) & (2 <= tokens-count("l27505"))))) | (tokens-count("l44236") <= tokens-count("l3239"))))) | (A ((6 <= tokens-count("p14799")) U (A (G (E (((A ((tokens-count("l12125") <= 2) U (9 <= tokens-count("l2419")))) | (E (G (7 <= tokens-count("l43813"))))) U (tokens-count("l35204") <= 3)))))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-CTLCardinality-06
   "Automatically generated by Citili v2022"
   is:
      E (G ((tokens-count("l10439") <= 1) | (E (G (E (F (A (F (tokens-count("l22716") <= tokens-count("p14150"))))))))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-CTLCardinality-07
   "Automatically generated by Citili v2022"
   is:
      (! (((! (! (A ((E (F (7 <= tokens-count("l7916")))) U (A ((tokens-count("p682") <= 2) U (tokens-count("p3489") <= tokens-count("l23560")))))))) & (E (F (E (G (tokens-count("l21333") <= 9)))))) & (! (E (F (1 <= tokens-count("l26110"))))))) & (A (F ((E (G ((1 <= tokens-count("p2747")) | ((A (F (7 <= tokens-count("l8158")))) & (E (F (tokens-count("l25435") <= tokens-count("l44526")))))))) & (tokens-count("l7160") <= 3))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-CTLCardinality-08
   "Automatically generated by Citili v2022"
   is:
      A ((((E (X (tokens-count("l7839") <= tokens-count("l24780")))) & ((E (G (! (E (X (tokens-count("l45200") <= 5)))))) | (! (! (! ((6 <= tokens-count("l38395")) & (tokens-count("l32685") <= 7))))))) | (E (F (5 <= tokens-count("p14314"))))) U (! (A (((! (tokens-count("l41872") <= 3)) & (((A ((tokens-count("l32420") <= 8) U (tokens-count("p7716") <= 1))) | ((tokens-count("p7536") <= tokens-count("p13460")) | (tokens-count("l3083") <= 2))) | (E (G (tokens-count("l45706") <= tokens-count("l9318")))))) U (E (G (tokens-count("l1525") <= 1)))))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-CTLCardinality-09
   "Automatically generated by Citili v2022"
   is:
      A (X (! (E (G (((A (X (tokens-count("l18439") <= 10))) | (A (G (tokens-count("l3525") <= tokens-count("p7442"))))) | (! (A (G (tokens-count("l8245") <= 3)))))))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-CTLCardinality-10
   "Automatically generated by Citili v2022"
   is:
      A (F (((! (((A (G (tokens-count("p4874") <= tokens-count("l13389")))) | (tokens-count("l43008") <= 1)) | (tokens-count("l21853") <= tokens-count("p834")))) & (! (A (X (A (F (tokens-count("l30274") <= 9))))))) & ((E (X ((8 <= tokens-count("p11138")) | ((E ((10 <= tokens-count("l40883")) U (tokens-count("p2624") <= 5))) & (A (G (tokens-count("l10672") <= tokens-count("l11079")))))))) & (tokens-count("l28895") <= tokens-count("l24205")))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-CTLCardinality-11
   "Automatically generated by Citili v2022"
   is:
      E (X ((E (X ((E (((1 <= tokens-count("l38253")) | (tokens-count("l10084") <= 2)) U (A (G (tokens-count("l8009") <= 3))))) & ((A (G (3 <= tokens-count("l40982")))) | ((E ((tokens-count("p7547") <= tokens-count("l3123")) U (4 <= tokens-count("l5404")))) & ((tokens-count("p3450") <= tokens-count("p9213")) | (5 <= tokens-count("l33563")))))))) & (E (G (E ((E (G (tokens-count("l21503") <= tokens-count("l50989")))) U (tokens-count("l464") <= 3)))))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-CTLCardinality-12
   "Automatically generated by Citili v2022"
   is:
      ! (! (E (G (tokens-count("p603") <= 2))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-CTLCardinality-13
   "Automatically generated by Citili v2022"
   is:
      A (F ((A (F (E (G ((10 <= tokens-count("l29231")) & (tokens-count("l17971") <= tokens-count("p429"))))))) & (((! (E (G ((tokens-count("l46653") <= 1) | (tokens-count("l22062") <= 7))))) & (! (! (((tokens-count("p4017") <= 4) & (6 <= tokens-count("l45223"))) | (E (X (tokens-count("p376") <= tokens-count("l12472")))))))) & (tokens-count("l8136") <= tokens-count("l40773")))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-CTLCardinality-14
   "Automatically generated by Citili v2022"
   is:
      A (X (A ((A (F ((E (G (tokens-count("p8246") <= 6))) & (! (E (F (tokens-count("p14749") <= tokens-count("p4239")))))))) U (E ((((E (G (9 <= tokens-count("p11872")))) & ((tokens-count("l37704") <= 3) & (tokens-count("l27075") <= 4))) | (! (! (1 <= tokens-count("l22327"))))) U (10 <= tokens-count("p11552")))))))
   end.
Property RingSingleMessageInMbox-PT-d2m010-CTLCardinality-15
   "Automatically generated by Citili v2022"
   is:
      E (G (! (((A (F (! (E (X (tokens-count("l26072") <= 9)))))) & (tokens-count("l40622") <= tokens-count("l28145"))) & (E (G (A (((tokens-count("l13768") <= 9) | (tokens-count("p3090") <= tokens-count("l21655"))) U (A (G (tokens-count("l4788") <= tokens-count("l44379")))))))))))
   end.
