Property SemanticWebServices-PT-S256P15-CTLCardinality-2025-00
   "Automatically generated by Citili v2025"
   is:
      (A ((A ((! ((A (G (tokens-count("p38") <= 0))) & (1 <= tokens-count("p293")))) U (! ((E ((tokens-count("p94") <= tokens-count("p161")) U (1 <= tokens-count("p47")))) | (E ((tokens-count("p135") <= 0) U (1 <= tokens-count("p311")))))))) U (A (X ((tokens-count("p251") <= tokens-count("p297")) | (tokens-count("p126") <= 0)))))) & (E ((1 <= tokens-count("p128")) U (A (G (A ((tokens-count("p301") <= tokens-count("p274")) U (E ((tokens-count("p193") <= 0) U (tokens-count("p260") <= tokens-count("p109"))))))))))
   end.
Property SemanticWebServices-PT-S256P15-CTLCardinality-2025-01
   "Automatically generated by Citili v2025"
   is:
      A (X (A ((! (E (X (1 <= tokens-count("p299"))))) U ((! (E (X (E ((tokens-count("p249") <= tokens-count("p210")) U (tokens-count("p118") <= 1)))))) & (((A ((1 <= tokens-count("p161")) U (1 <= tokens-count("p310")))) & (1 <= tokens-count("p63"))) | (1 <= tokens-count("p225")))))))
   end.
Property SemanticWebServices-PT-S256P15-CTLCardinality-2025-02
   "Automatically generated by Citili v2025"
   is:
      E ((! (E (F ((! (E (X (1 <= tokens-count("p107"))))) & (((A ((tokens-count("p221") <= tokens-count("p250")) U (1 <= tokens-count("p118")))) | (A (F (1 <= tokens-count("p79"))))) & (! (1 <= tokens-count("p20")))))))) U (((E ((E (G (A (G (tokens-count("p63") <= 0))))) U (E (F ((1 <= tokens-count("p104")) & (1 <= tokens-count("p160"))))))) | (A (G (A (F (A (G (1 <= tokens-count("p153"))))))))) & (! ((! ((((tokens-count("p129") <= tokens-count("p168")) | (1 <= tokens-count("p307"))) & (E (G (tokens-count("p81") <= 0)))) & (tokens-count("p191") <= tokens-count("p127")))) | (A (X (A (G (1 <= tokens-count("p284"))))))))))
   end.
Property SemanticWebServices-PT-S256P15-CTLCardinality-2025-03
   "Automatically generated by Citili v2025"
   is:
      E (G (A (X (A (X (A ((A (X (tokens-count("p171") <= 1))) U (E ((tokens-count("p15") <= 1) U (tokens-count("p52") <= tokens-count("p291")))))))))))
   end.
Property SemanticWebServices-PT-S256P15-CTLCardinality-2025-04
   "Automatically generated by Citili v2025"
   is:
      E (((! (A (G (tokens-count("p223") <= 1)))) | (E (X (A ((E ((tokens-count("p0") <= 0) U (tokens-count("p98") <= 1))) U (A ((tokens-count("p288") <= tokens-count("p189")) U (tokens-count("p181") <= 0)))))))) U (A (G (((A (X (A (X (tokens-count("p250") <= 0))))) | (1 <= tokens-count("p151"))) & ((! (A (X (tokens-count("p313") <= tokens-count("p102"))))) & (A (X ((1 <= tokens-count("p315")) | (tokens-count("p310") <= tokens-count("p314"))))))))))
   end.
Property SemanticWebServices-PT-S256P15-CTLCardinality-2025-05
   "Automatically generated by Citili v2025"
   is:
      A (F (E (F (! (A ((E ((tokens-count("p28") <= 0) U (1 <= tokens-count("p115")))) U (E (X (1 <= tokens-count("p191"))))))))))
   end.
Property SemanticWebServices-PT-S256P15-CTLCardinality-2025-06
   "Automatically generated by Citili v2025"
   is:
      (E ((E (G (((! (A (F (tokens-count("p47") <= tokens-count("p151"))))) & (tokens-count("p252") <= tokens-count("p140"))) | (! (E (G (1 <= tokens-count("p0")))))))) U (E ((E ((E (G (tokens-count("p200") <= 1))) U (! (E ((tokens-count("p207") <= tokens-count("p227")) U (tokens-count("p32") <= tokens-count("p288"))))))) U ((((tokens-count("p24") <= 1) & (tokens-count("p14") <= 0)) & (1 <= tokens-count("p190"))) | (! (A (F (tokens-count("p248") <= tokens-count("p47")))))))))) | (! (E (((1 <= tokens-count("p6")) & (((! (tokens-count("p214") <= tokens-count("p238"))) | (((1 <= tokens-count("p180")) & (tokens-count("p264") <= tokens-count("p13"))) | (tokens-count("p245") <= tokens-count("p61")))) & (A (F (E (G (tokens-count("p177") <= 0))))))) U (! ((tokens-count("p242") <= 0) & (! ((1 <= tokens-count("p73")) | (E (F (1 <= tokens-count("p43")))))))))))
   end.
Property SemanticWebServices-PT-S256P15-CTLCardinality-2025-07
   "Automatically generated by Citili v2025"
   is:
      ! (E (G (! (((tokens-count("p281") <= tokens-count("p220")) & ((A (F (tokens-count("p173") <= tokens-count("p134")))) & (((1 <= tokens-count("p134")) & (1 <= tokens-count("p73"))) & (A ((tokens-count("p171") <= tokens-count("p46")) U (1 <= tokens-count("p325"))))))) & (A ((tokens-count("p79") <= 1) U (tokens-count("p17") <= 1)))))))
   end.
Property SemanticWebServices-PT-S256P15-CTLCardinality-2025-08
   "Automatically generated by Citili v2025"
   is:
      ((E (F (tokens-count("p148") <= tokens-count("p308")))) & (E (G (E (G (! (((1 <= tokens-count("p219")) | (tokens-count("p20") <= tokens-count("p75"))) & (E (G (1 <= tokens-count("p29"))))))))))) | (! (E ((tokens-count("p225") <= tokens-count("p79")) U (E (G ((A ((1 <= tokens-count("p31")) U (tokens-count("p88") <= 1))) & (tokens-count("p250") <= 1)))))))
   end.
Property SemanticWebServices-PT-S256P15-CTLCardinality-2025-09
   "Automatically generated by Citili v2025"
   is:
      A (G (E (G (A (X ((! (E ((tokens-count("p35") <= tokens-count("p161")) U (1 <= tokens-count("p155"))))) & (A (X (tokens-count("p140") <= tokens-count("p27"))))))))))
   end.
Property SemanticWebServices-PT-S256P15-CTLCardinality-2025-10
   "Automatically generated by Citili v2025"
   is:
      ! (A (X (A (G (A (X (E (F (tokens-count("p142") <= 1)))))))))
   end.
Property SemanticWebServices-PT-S256P15-CTLCardinality-2025-11
   "Automatically generated by Citili v2025"
   is:
      ((E (G (A (X (tokens-count("p316") <= 0))))) | (! (E (G (tokens-count("p177") <= 0))))) & (E (F (A (F (E (G (tokens-count("p124") <= tokens-count("p229"))))))))
   end.
Property SemanticWebServices-PT-S256P15-CTLCardinality-12
   "Automatically generated by Citili v2023"
   is:
      A ((! (A (G (E (F (A (X (tokens-count("p292") <= 1)))))))) U (A (F (! ((tokens-count("p234") <= tokens-count("p99")) & (((tokens-count("p264") <= tokens-count("p24")) & (tokens-count("p183") <= tokens-count("p213"))) | (1 <= tokens-count("p131"))))))))
   end.
Property SemanticWebServices-PT-S256P15-CTLCardinality-13
   "Automatically generated by Citili v2023"
   is:
      E (F ((tokens-count("p229") <= tokens-count("p114")) & ((! (E (G (((tokens-count("p198") <= tokens-count("p42")) & (1 <= tokens-count("p250"))) | (E (F (tokens-count("p3") <= tokens-count("p30")))))))) & (A (G (A ((tokens-count("p245") <= 0) U (tokens-count("p300") <= tokens-count("p32")))))))))
   end.
Property SemanticWebServices-PT-S256P15-CTLCardinality-14
   "Automatically generated by Citili v2023"
   is:
      ! (A (F (A ((! (A (G ((tokens-count("p207") <= tokens-count("p13")) & (tokens-count("p244") <= tokens-count("p127")))))) U (A (G ((A ((1 <= tokens-count("p82")) U (tokens-count("p30") <= 1))) & (A (F (1 <= tokens-count("p82")))))))))))
   end.
Property SemanticWebServices-PT-S256P15-CTLCardinality-15
   "Automatically generated by Citili v2023"
   is:
      A (X (! (A (G ((1 <= tokens-count("p100")) | (! (E (X (1 <= tokens-count("p107"))))))))))
   end.
