Property SemanticWebServices-PT-S256P15-LTLCardinality-00
  "Automatically generated"
  is:
    A !X ((!((3) <= (#tokens("p278"))) | G ((#tokens("p167")) <= (#tokens("p149")))) U X X ((3) <= (#tokens("p278"))))
  end.
Property SemanticWebServices-PT-S256P15-LTLCardinality-01
  "Automatically generated"
  is:
    A !(((#tokens("p231")) <= (#tokens("p159"))) & !(G ((3) <= (#tokens("p274"))) U (X ((1) <= (#tokens("p265"))) & X F ((1) <= (#tokens("p265"))))))
  end.
Property SemanticWebServices-PT-S256P15-LTLCardinality-02
  "Automatically generated"
  is:
    A (X (((2) <= (#tokens("p42"))) U X G ((#tokens("p45")) <= (#tokens("p133")))) U (((2) <= (#tokens("p11"))) U X X ((#tokens("p37")) <= (#tokens("p207")))))
  end.
Property SemanticWebServices-PT-S256P15-LTLCardinality-03
  "Automatically generated"
  is:
    A F G !G F (G F ((#tokens("p197")) <= (#tokens("p90"))) & G !F ((#tokens("p52")) <= (#tokens("p281"))))
  end.
Property SemanticWebServices-PT-S256P15-LTLCardinality-04
  "Automatically generated"
  is:
    A G (((3) <= (#tokens("p122"))) & !(!G (X ((#tokens("p70")) <= (#tokens("p126"))) | (((2) <= (#tokens("p216"))) & F ((#tokens("p70")) <= (#tokens("p126"))))) U ((#tokens("p193")) <= (#tokens("p18")))))
  end.
Property SemanticWebServices-PT-S256P15-LTLCardinality-05
  "Automatically generated"
  is:
    A X F X (X F ((1) <= (#tokens("p276"))) | (F ((3) <= (#tokens("p80"))) & F X X X ((#tokens("p117")) <= (#tokens("p288")))))
  end.
Property SemanticWebServices-PT-S256P15-LTLCardinality-06
  "Automatically generated"
  is:
    A X X F X (((3) <= (#tokens("p69"))) & !((3) <= (#tokens("p276"))))
  end.
Property SemanticWebServices-PT-S256P15-LTLCardinality-07
  "Automatically generated"
  is:
    A !X F X X X X X X ((#tokens("p103")) <= (#tokens("p57")))
  end.
Property SemanticWebServices-PT-S256P15-LTLCardinality-08
  "Automatically generated"
  is:
    A X G X X G ((1) <= (#tokens("p188")))
  end.
Property SemanticWebServices-PT-S256P15-LTLCardinality-09
  "Automatically generated"
  is:
    A F (((#tokens("p16")) <= (#tokens("p319"))) & ((1) <= (#tokens("p224"))))
  end.
Property SemanticWebServices-PT-S256P15-LTLCardinality-10
  "Automatically generated"
  is:
    A G (G F ((2) <= (#tokens("p151"))) & (X !((#tokens("p61")) <= (#tokens("p100"))) U F ((2) <= (#tokens("p151")))))
  end.
Property SemanticWebServices-PT-S256P15-LTLCardinality-11
  "Automatically generated"
  is:
    A !(F ((1) <= (#tokens("p80"))) | G ((1) <= (#tokens("p181"))))
  end.
Property SemanticWebServices-PT-S256P15-LTLCardinality-12
"Automatically generated"
is:
A (!(((3) <= (#tokens("p30"))) U ((1) <= (#tokens("p11")))) U (((1) <= (#tokens("p11"))) & F G F G X ((#tokens("p269")) <= (#tokens("p65")))))
end.
Property SemanticWebServices-PT-S256P15-LTLCardinality-13
"Automatically generated"
is:
A G X G X ((2) <= (#tokens("p301")))
end.
Property SemanticWebServices-PT-S256P15-LTLCardinality-14
"Automatically generated"
is:
A ((((2) <= (#tokens("p67"))) | ((2) <= (#tokens("p242")))) U G (((#tokens("p289")) <= (#tokens("p197"))) & F ((2) <= (#tokens("p242")))))
end.
Property SemanticWebServices-PT-S256P15-LTLCardinality-15
"Automatically generated"
is:
A !G F ((#tokens("p45")) <= (#tokens("p153")))
end.
