Property SemanticWebServices-PT-S256P12-CTLCardinality-2025-00
   "Automatically generated by Citili v2025"
   is:
      A ((! ((E ((! (tokens-count("p238") <= 0)) U (E (G (1 <= tokens-count("p262")))))) | ((1 <= tokens-count("p297")) & (1 <= tokens-count("p323"))))) U ((tokens-count("p175") <= 0) & (A ((((! (E (G (tokens-count("p260") <= tokens-count("p28"))))) | (tokens-count("p353") <= 0)) & (1 <= tokens-count("p254"))) U ((E (((1 <= tokens-count("p170")) | (1 <= tokens-count("p83"))) U (A (X (1 <= tokens-count("p332")))))) | ((1 <= tokens-count("p26")) & (tokens-count("p300") <= tokens-count("p119"))))))))
   end.
Property SemanticWebServices-PT-S256P12-CTLCardinality-2025-01
   "Automatically generated by Citili v2025"
   is:
      ((E (F (! (A ((tokens-count("p239") <= tokens-count("p30")) U (! (1 <= tokens-count("p353")))))))) | (E (X (! (tokens-count("p7") <= 1))))) & (E ((((! (tokens-count("p193") <= tokens-count("p171"))) & (((((1 <= tokens-count("p133")) & (tokens-count("p78") <= tokens-count("p19"))) | ((tokens-count("p114") <= 1) & (tokens-count("p4") <= 1))) & (tokens-count("p103") <= tokens-count("p156"))) & ((A ((tokens-count("p264") <= 0) U (1 <= tokens-count("p242")))) & (A (X (1 <= tokens-count("p114"))))))) & (tokens-count("p234") <= tokens-count("p93"))) U ((tokens-count("p56") <= tokens-count("p95")) & (((E (F (A ((tokens-count("p316") <= tokens-count("p228")) U (tokens-count("p13") <= 0))))) | (1 <= tokens-count("p14"))) & (tokens-count("p288") <= 0)))))
   end.
Property SemanticWebServices-PT-S256P12-CTLCardinality-2025-02
   "Automatically generated by Citili v2025"
   is:
      E (G (E (G (tokens-count("p152") <= 0))))
   end.
Property SemanticWebServices-PT-S256P12-CTLCardinality-2025-03
   "Automatically generated by Citili v2025"
   is:
      ! ((A (G ((A (F (E (X (tokens-count("p125") <= tokens-count("p219")))))) | (1 <= tokens-count("p62"))))) | (E (X (! (A (X (E (F (1 <= tokens-count("p15"))))))))))
   end.
Property SemanticWebServices-PT-S256P12-CTLCardinality-2025-04
   "Automatically generated by Citili v2025"
   is:
      ! (E (F (! (E (F (A ((1 <= tokens-count("p127")) U (tokens-count("p120") <= 1))))))))
   end.
Property SemanticWebServices-PT-S256P12-CTLCardinality-2025-05
   "Automatically generated by Citili v2025"
   is:
      E (F ((E (F ((E (G (E (X (tokens-count("p198") <= tokens-count("p150")))))) | ((! (A (G (tokens-count("p250") <= tokens-count("p115"))))) & ((tokens-count("p248") <= tokens-count("p319")) & (! (tokens-count("p272") <= 0))))))) & ((A ((A (((tokens-count("p48") <= tokens-count("p167")) & (tokens-count("p186") <= tokens-count("p98"))) U ((1 <= tokens-count("p253")) | (1 <= tokens-count("p86"))))) U (A (F ((1 <= tokens-count("p320")) | (tokens-count("p231") <= tokens-count("p140"))))))) | ((! ((((1 <= tokens-count("p324")) | (tokens-count("p158") <= tokens-count("p211"))) | (! (tokens-count("p263") <= tokens-count("p6")))) & (A (G (tokens-count("p294") <= 0))))) & (tokens-count("p44") <= tokens-count("p98"))))))
   end.
Property SemanticWebServices-PT-S256P12-CTLCardinality-2025-06
   "Automatically generated by Citili v2025"
   is:
      E (G ((E (G (((A (X (1 <= tokens-count("p262")))) | (! ((tokens-count("p323") <= 1) | (1 <= tokens-count("p102"))))) & ((A (X (tokens-count("p270") <= tokens-count("p48")))) | (E (X (1 <= tokens-count("p12")))))))) | (! (E (X (! ((tokens-count("p214") <= 0) & (A (F (tokens-count("p72") <= tokens-count("p34")))))))))))
   end.
Property SemanticWebServices-PT-S256P12-CTLCardinality-2025-07
   "Automatically generated by Citili v2025"
   is:
      E (G ((E (F (E ((! (1 <= tokens-count("p239"))) U (((1 <= tokens-count("p240")) | (1 <= tokens-count("p247"))) | ((tokens-count("p169") <= 0) & (tokens-count("p208") <= tokens-count("p284")))))))) & (E (X ((E (F (! (1 <= tokens-count("p113"))))) | (tokens-count("p337") <= 0))))))
   end.
Property SemanticWebServices-PT-S256P12-CTLCardinality-2025-08
   "Automatically generated by Citili v2025"
   is:
      (A (G (tokens-count("p335") <= tokens-count("p12")))) & (A (G (! (E (X (E (G ((1 <= tokens-count("p27")) & (tokens-count("p59") <= tokens-count("p50"))))))))))
   end.
Property SemanticWebServices-PT-S256P12-CTLCardinality-2025-09
   "Automatically generated by Citili v2025"
   is:
      E (X (A (G (A ((! ((! (tokens-count("p350") <= 0)) & (E ((1 <= tokens-count("p171")) U (1 <= tokens-count("p92")))))) U (A (X (tokens-count("p23") <= 0))))))))
   end.
Property SemanticWebServices-PT-S256P12-CTLCardinality-2025-10
   "Automatically generated by Citili v2025"
   is:
      E (F ((A ((! (E (X ((1 <= tokens-count("p287")) & (tokens-count("p61") <= 1))))) U (1 <= tokens-count("p157")))) & (((A (F (((tokens-count("p42") <= 0) | (tokens-count("p166") <= tokens-count("p291"))) | ((tokens-count("p158") <= 0) & (tokens-count("p152") <= 1))))) & (! (tokens-count("p149") <= tokens-count("p252")))) & (tokens-count("p174") <= tokens-count("p198")))))
   end.
Property SemanticWebServices-PT-S256P12-CTLCardinality-2025-11
   "Automatically generated by Citili v2025"
   is:
      E (G ((E (X (tokens-count("p181") <= 1))) | (A (G (E (X (E ((tokens-count("p256") <= tokens-count("p264")) U (tokens-count("p148") <= 1)))))))))
   end.
Property SemanticWebServices-PT-S256P12-CTLCardinality-12
   "Automatically generated by Citili v2023"
   is:
      E (X (((((1 <= tokens-count("p333")) | (A (G (tokens-count("p311") <= 1)))) | (E (G (A (F (tokens-count("p263") <= tokens-count("p132"))))))) | (((! (E (F (tokens-count("p61") <= 0)))) & ((! (1 <= tokens-count("p165"))) | (tokens-count("p14") <= tokens-count("p341")))) & (E (G ((tokens-count("p239") <= 0) & (E (X (tokens-count("p183") <= tokens-count("p297"))))))))) | ((A (F (E (G ((tokens-count("p183") <= tokens-count("p126")) | (tokens-count("p330") <= 0)))))) & (tokens-count("p336") <= 0))))
   end.
Property SemanticWebServices-PT-S256P12-CTLCardinality-13
   "Automatically generated by Citili v2023"
   is:
      A (G (A (G (A (G ((A (F (tokens-count("p335") <= 1))) & (((tokens-count("p255") <= 0) & (1 <= tokens-count("p228"))) | ((1 <= tokens-count("p238")) | (tokens-count("p6") <= 0)))))))))
   end.
Property SemanticWebServices-PT-S256P12-CTLCardinality-14
   "Automatically generated by Citili v2023"
   is:
      E ((A (X (A (G (E (G (E (X (tokens-count("p220") <= tokens-count("p36")))))))))) U (((tokens-count("p31") <= tokens-count("p339")) | (((A (X ((tokens-count("p257") <= 1) & (tokens-count("p82") <= tokens-count("p136"))))) | ((tokens-count("p29") <= 1) & (A (F (tokens-count("p336") <= tokens-count("p69")))))) & (! ((E ((tokens-count("p108") <= tokens-count("p324")) U (tokens-count("p141") <= 0))) & ((E (F (1 <= tokens-count("p321")))) | ((tokens-count("p325") <= 0) | (tokens-count("p225") <= 0))))))) & (E (G (A (F ((A (X (tokens-count("p264") <= tokens-count("p131")))) | (E (X (1 <= tokens-count("p83")))))))))))
   end.
Property SemanticWebServices-PT-S256P12-CTLCardinality-15
   "Automatically generated by Citili v2023"
   is:
      A (((tokens-count("p219") <= tokens-count("p120")) & ((! (A ((tokens-count("p226") <= tokens-count("p331")) U (E (X (1 <= tokens-count("p193"))))))) & ((A (F ((E (X (1 <= tokens-count("p345")))) | (! (1 <= tokens-count("p352")))))) & (! (1 <= tokens-count("p101")))))) U (E (X ((! (A (X (E (X (tokens-count("p54") <= tokens-count("p246"))))))) | (! (E (F (tokens-count("p309") <= 1))))))))
   end.
