Property SemanticWebServices-PT-S256P15-UpperBounds-00
  "Automatically generated"
  is:
    bound("p147")
  end.
Property SemanticWebServices-PT-S256P15-UpperBounds-01
  "Automatically generated"
  is:
    bound("p14")
  end.
Property SemanticWebServices-PT-S256P15-UpperBounds-02
  "Automatically generated"
  is:
    bound("p88")
  end.
Property SemanticWebServices-PT-S256P15-UpperBounds-03
  "Automatically generated"
  is:
    bound("p176")
  end.
Property SemanticWebServices-PT-S256P15-UpperBounds-04
  "Automatically generated"
  is:
    bound("p22")
  end.
Property SemanticWebServices-PT-S256P15-UpperBounds-05
  "Automatically generated"
  is:
    bound("p278")
  end.
Property SemanticWebServices-PT-S256P15-UpperBounds-06
  "Automatically generated"
  is:
    bound("p56")
  end.
Property SemanticWebServices-PT-S256P15-UpperBounds-07
  "Automatically generated"
  is:
    bound("p246")
  end.
Property SemanticWebServices-PT-S256P15-UpperBounds-08
  "Automatically generated"
  is:
    bound("p186")
  end.
Property SemanticWebServices-PT-S256P15-UpperBounds-09
  "Automatically generated"
  is:
    bound("p17")
  end.
Property SemanticWebServices-PT-S256P15-UpperBounds-10
  "Automatically generated"
  is:
    bound("p153")
  end.
Property SemanticWebServices-PT-S256P15-UpperBounds-11
"Automatically generated"
is:
bound("p94")
end.
Property SemanticWebServices-PT-S256P15-UpperBounds-12
  "Automatically generated"
  is:
    bound("p291")
  end.
Property SemanticWebServices-PT-S256P15-UpperBounds-13
"Automatically generated"
is:
bound("p160")
end.
Property SemanticWebServices-PT-S256P15-UpperBounds-14
"Automatically generated"
is:
bound("p173")
end.
Property SemanticWebServices-PT-S256P15-UpperBounds-15
"Automatically generated"
is:
bound("p232")
end.
