Property SemanticWebServices-PT-S256P09-00
  "Automatically generated"
  is:
    A (((#tokens("p378")) <= (#tokens("p146"))) & F ((3) <= (#tokens("p121"))) & !(F (((3) <= (#tokens("p121"))) & ((0) <= (#tokens("p408")))) & X ((0) <= (#tokens("p408")))))
  end.
Property SemanticWebServices-PT-S256P09-01
  "Automatically generated"
  is:
    A (((1) <= (#tokens("p7"))) | ((G (((2) <= (#tokens("p77"))) U (((2) <= (#tokens("p77"))) U ((1) <= (#tokens("p7"))))) U G !((2) <= (#tokens("p207")))) & X ((#tokens("p286")) <= (#tokens("p385")))))
  end.
Property SemanticWebServices-PT-S256P09-02
  "Automatically generated"
  is:
    A (F ((1) <= (#tokens("p276"))) & X G ((3) <= (#tokens("p147"))) & !(((1) <= (#tokens("p276"))) & (!((#tokens("p29")) <= (#tokens("p10"))) U ((1) <= (#tokens("p186"))))))
  end.
Property SemanticWebServices-PT-S256P09-03
  "Automatically generated"
  is:
    A (G ((#tokens("p202")) <= (#tokens("p133"))) | (((#tokens("p41")) <= (#tokens("p110"))) U ((0) <= (#tokens("p139")))) | G (!((#tokens("p202")) <= (#tokens("p133"))) U X ((#tokens("p221")) <= (#tokens("p54")))))
  end.
Property SemanticWebServices-PT-S256P09-04
  "Automatically generated"
  is:
    A (F ((#tokens("p30")) <= (#tokens("p144"))) | G !((1) <= (#tokens("p286"))))
  end.
Property SemanticWebServices-PT-S256P09-05
  "Automatically generated"
  is:
    A (!((2) <= (#tokens("p45"))) & X !F G F (((2) <= (#tokens("p45"))) | G ((3) <= (#tokens("p390")))))
  end.
Property SemanticWebServices-PT-S256P09-06
  "Automatically generated"
  is:
    A (((#tokens("p131")) <= (#tokens("p235"))) & !F ((0) <= (#tokens("p322"))))
  end.
Property SemanticWebServices-PT-S256P09-07
  "Automatically generated"
  is:
    A F (X F ((2) <= (#tokens("p102"))) U G !X !G (G ((3) <= (#tokens("p73"))) U G ((2) <= (#tokens("p102")))))
  end.
Property SemanticWebServices-PT-S256P09-08
  "Automatically generated"
  is:
    A !F ((2) <= (#tokens("p59")))
  end.
Property SemanticWebServices-PT-S256P09-09
  "Automatically generated"
  is:
    A (F X F ((#tokens("p60")) <= (#tokens("p134"))) & X ((0) <= (#tokens("p16"))))
  end.
Property SemanticWebServices-PT-S256P09-10
  "Automatically generated"
  is:
    A (((#tokens("p219")) <= (#tokens("p199"))) & !((#tokens("p173")) <= (#tokens("p90"))) & !(F ((#tokens("p173")) <= (#tokens("p90"))) U G F ((0) <= (#tokens("p67")))))
  end.
Property SemanticWebServices-PT-S256P09-11
  "Automatically generated"
  is:
    A ((((#tokens("p214")) <= (#tokens("p221"))) | ((3) <= (#tokens("p292")))) U (F ((1) <= (#tokens("p266"))) U (F ((1) <= (#tokens("p266"))) & X !((1) <= (#tokens("p266"))))))
  end.
Property SemanticWebServices-PT-S256P09-12
  "Automatically generated"
  is:
    A X !G (((1) <= (#tokens("p118"))) | (((#tokens("p404")) <= (#tokens("p32"))) & ((#tokens("p179")) <= (#tokens("p346")))) | X X G ((1) <= (#tokens("p130"))))
  end.
Property SemanticWebServices-PT-S256P09-13
  "Automatically generated"
  is:
    A G (((#tokens("p182")) <= (#tokens("p256"))) & X ((#tokens("p123")) <= (#tokens("p161"))))
  end.
Property SemanticWebServices-PT-S256P09-14
  "Automatically generated"
  is:
    A X !F G F ((!G ((1) <= (#tokens("p257"))) U X !((1) <= (#tokens("p409")))) U F ((#tokens("p299")) <= (#tokens("p336"))))
  end.
Property SemanticWebServices-PT-S256P09-15
  "Automatically generated"
  is:
    A X (X X ((0) <= (#tokens("p67"))) & G F !((3) <= (#tokens("p386"))))
  end.
