Property SemanticWebServices-PT-S256P12-LTLCardinality-00
  "Automatically generated"
  is:
    A !G (((#tokens("p275")) <= (#tokens("p59"))) | ((#tokens("p240")) <= (#tokens("p274"))) | F ((#tokens("p118")) <= (#tokens("p253"))))
  end.
Property SemanticWebServices-PT-S256P12-LTLCardinality-01
  "Automatically generated"
  is:
    A (G ((1) <= (#tokens("p290"))) & G (((1) <= (#tokens("p150"))) | ((#tokens("p88")) <= (#tokens("p161")))))
  end.
Property SemanticWebServices-PT-S256P12-LTLCardinality-02
  "Automatically generated"
  is:
    A F ((#tokens("p324")) <= (#tokens("p85")))
  end.
Property SemanticWebServices-PT-S256P12-LTLCardinality-03
  "Automatically generated"
  is:
    A G ((((#tokens("p298")) <= (#tokens("p251"))) & G ((#tokens("p298")) <= (#tokens("p251")))) U G (((3) <= (#tokens("p143"))) | X (X ((#tokens("p0")) <= (#tokens("p264"))) | G ((3) <= (#tokens("p143"))))))
  end.
Property SemanticWebServices-PT-S256P12-LTLCardinality-04
  "Automatically generated"
  is:
    A (X G !((3) <= (#tokens("p51"))) U !X ((#tokens("p231")) <= (#tokens("p253"))))
  end.
Property SemanticWebServices-PT-S256P12-LTLCardinality-05
  "Automatically generated"
  is:
    A ((((1) <= (#tokens("p97"))) | F (X X ((1) <= (#tokens("p4"))) & (((#tokens("p183")) <= (#tokens("p71"))) | F ((1) <= (#tokens("p97")))))) U ((1) <= (#tokens("p4"))))
  end.
Property SemanticWebServices-PT-S256P12-LTLCardinality-06
  "Automatically generated"
  is:
    A F X X X F !X !((#tokens("p258")) <= (#tokens("p274")))
  end.
Property SemanticWebServices-PT-S256P12-LTLCardinality-07
  "Automatically generated"
  is:
    A F X X (((1) <= (#tokens("p33"))) & !(((#tokens("p210")) <= (#tokens("p303"))) & ((1) <= (#tokens("p33"))) & F G X F ((#tokens("p210")) <= (#tokens("p303")))))
  end.
Property SemanticWebServices-PT-S256P12-LTLCardinality-08
  "Automatically generated"
  is:
    A (F ((3) <= (#tokens("p106"))) & G F (F ((3) <= (#tokens("p106"))) & G !((#tokens("p42")) <= (#tokens("p289")))))
  end.
Property SemanticWebServices-PT-S256P12-LTLCardinality-09
  "Automatically generated"
  is:
    A G (((1) <= (#tokens("p58"))) | F X X F !X X X X ((2) <= (#tokens("p301"))))
  end.
Property SemanticWebServices-PT-S256P12-LTLCardinality-10
  "Automatically generated"
  is:
    A X !F G (((#tokens("p136")) <= (#tokens("p51"))) | X (((#tokens("p330")) <= (#tokens("p95"))) & X X (((#tokens("p272")) <= (#tokens("p187"))) | F ((#tokens("p63")) <= (#tokens("p19"))))))
  end.
Property SemanticWebServices-PT-S256P12-LTLCardinality-11
  "Automatically generated"
  is:
    A ((G ((#tokens("p165")) <= (#tokens("p41"))) U X !((#tokens("p270")) <= (#tokens("p352")))) & (G ((#tokens("p297")) <= (#tokens("p237"))) U (((2) <= (#tokens("p21"))) U ((3) <= (#tokens("p90"))))))
  end.
Property SemanticWebServices-PT-S256P12-LTLCardinality-12
"Automatically generated"
is:
A F X X F X F (((3) <= (#tokens("p30"))) U X G F ((1) <= (#tokens("p251"))))
end.
Property SemanticWebServices-PT-S256P12-LTLCardinality-13
"Automatically generated 2023"
is:
A (G ((#tokens("p25")) <= (#tokens("p262"))) | F X G F !G X (((#tokens("p57")) <= (#tokens("p339"))) | F ((#tokens("p25")) <= (#tokens("p262")))))
end.
Property SemanticWebServices-PT-S256P12-LTLCardinality-14
"Automatically generated"
is:
A (((2) <= (#tokens("p322"))) & F (X X ((#tokens("p33")) <= (#tokens("p177"))) | ((((#tokens("p33")) <= (#tokens("p177"))) | ((#tokens("p12")) <= (#tokens("p77")))) U G ((#tokens("p12")) <= (#tokens("p77"))))))
end.
Property SemanticWebServices-PT-S256P12-LTLCardinality-15
"Automatically generated"
is:
A !(((#tokens("p338")) <= (#tokens("p205"))) U ((#tokens("p279")) <= (#tokens("p151"))))
end.
