Property SemanticWebServices-PT-S256P12-UpperBounds-00
  "Automatically generated"
  is:
    bound("p196")
  end.
Property SemanticWebServices-PT-S256P12-UpperBounds-01
  "Automatically generated"
  is:
    bound("p14")
  end.
Property SemanticWebServices-PT-S256P12-UpperBounds-02
  "Automatically generated"
  is:
    bound("p175")
  end.
Property SemanticWebServices-PT-S256P12-UpperBounds-03
  "Automatically generated"
  is:
    bound("p178")
  end.
Property SemanticWebServices-PT-S256P12-UpperBounds-04
  "Automatically generated"
  is:
    bound("p336")
  end.
Property SemanticWebServices-PT-S256P12-UpperBounds-05
  "Automatically generated"
  is:
    bound("p303")
  end.
Property SemanticWebServices-PT-S256P12-UpperBounds-06
  "Automatically generated"
  is:
    bound("p94")
  end.
Property SemanticWebServices-PT-S256P12-UpperBounds-07
  "Automatically generated"
  is:
    bound("p101")
  end.
Property SemanticWebServices-PT-S256P12-UpperBounds-08
  "Automatically generated"
  is:
    bound("p182")
  end.
Property SemanticWebServices-PT-S256P12-UpperBounds-09
  "Automatically generated"
  is:
    bound("p323")
  end.
Property SemanticWebServices-PT-S256P12-UpperBounds-10
  "Automatically generated"
  is:
    bound("p262")
  end.
Property SemanticWebServices-PT-S256P12-UpperBounds-11
  "Automatically generated"
  is:
    bound("p71")
  end.
Property SemanticWebServices-PT-S256P12-UpperBounds-12
"Automatically generated"
is:
bound("p27")
end.
Property SemanticWebServices-PT-S256P12-UpperBounds-13
"Automatically generated"
is:
bound("p132")
end.
Property SemanticWebServices-PT-S256P12-UpperBounds-14
"Automatically generated"
is:
bound("p141")
end.
Property SemanticWebServices-PT-S256P12-UpperBounds-15
"Automatically generated"
is:
bound("p104")
end.
