Property RERS17pb113-PT-4-UpperBounds-00
  "Automatically generated"
  is:
    bound("p438")
  end.
Property RERS17pb113-PT-4-UpperBounds-01
  "Automatically generated"
  is:
    bound("p421")
  end.
Property RERS17pb113-PT-4-UpperBounds-02
  "Automatically generated"
  is:
    bound("p250")
  end.
Property RERS17pb113-PT-4-UpperBounds-03
  "Automatically generated"
  is:
    bound("p83")
  end.
Property RERS17pb113-PT-4-UpperBounds-04
  "Automatically generated"
  is:
    bound("p505")
  end.
Property RERS17pb113-PT-4-UpperBounds-05
  "Automatically generated"
  is:
    bound("p322")
  end.
Property RERS17pb113-PT-4-UpperBounds-06
  "Automatically generated"
  is:
    bound("p31")
  end.
Property RERS17pb113-PT-4-UpperBounds-07
  "Automatically generated"
  is:
    bound("p577")
  end.
Property RERS17pb113-PT-4-UpperBounds-08
  "Automatically generated"
  is:
    bound("p537")
  end.
Property RERS17pb113-PT-4-UpperBounds-09
  "Automatically generated"
  is:
    bound("p593")
  end.
Property RERS17pb113-PT-4-UpperBounds-10
  "Automatically generated"
  is:
    bound("p276")
  end.
Property RERS17pb113-PT-4-UpperBounds-11
  "Automatically generated"
  is:
    bound("p283")
  end.
Property RERS17pb113-PT-4-UpperBounds-12
  "Automatically generated"
  is:
    bound("p226")
  end.
Property RERS17pb113-PT-4-UpperBounds-13
  "Automatically generated"
  is:
    bound("p179")
  end.
Property RERS17pb113-PT-4-UpperBounds-14
  "Automatically generated"
  is:
    bound("p549")
  end.
Property RERS17pb113-PT-4-UpperBounds-15
  "Automatically generated"
  is:
    bound("p444")
  end.
