Property PhilosophersDyn-PT-20-UpperBounds-00
  "Automatically generated"
  is:
    bound("WaitLeft_9","WaitLeft_18","WaitLeft_5","WaitLeft_19","WaitLeft_12","WaitLeft_11","WaitLeft_6","WaitLeft_20","WaitLeft_3","WaitLeft_4","WaitLeft_14","WaitLeft_13","WaitLeft_15","WaitLeft_8","WaitLeft_1","WaitLeft_7","WaitLeft_16","WaitLeft_2","WaitLeft_10","WaitLeft_17")
  end.
Property PhilosophersDyn-PT-20-UpperBounds-01
  "Automatically generated"
  is:
    bound("Forks_1","Forks_18","Forks_7","Forks_19","Forks_12","Forks_8","Forks_20","Forks_11","Forks_5","Forks_6","Forks_14","Forks_13","Forks_3","Forks_16","Forks_4","Forks_2","Forks_9","Forks_10","Forks_15","Forks_17")
  end.
Property PhilosophersDyn-PT-20-UpperBounds-02
  "Automatically generated"
  is:
    bound("Outside_15","Outside_6","Outside_19","Outside_12","Outside_5","Outside_18","Outside_13","Outside_4","Outside_1","Outside_10","Outside_20","Outside_11","Outside_9","Outside_2","Outside_16","Outside_3","Outside_17","Outside_8","Outside_14","Outside_7")
  end.
Property PhilosophersDyn-PT-20-UpperBounds-03
  "Automatically generated"
  is:
    bound("HasRight_13","HasRight_7","HasRight_14","HasRight_1","HasRight_15","HasRight_2","HasRight_6","HasRight_9","HasRight_16","HasRight_20","HasRight_19","HasRight_8","HasRight_17","HasRight_18","HasRight_4","HasRight_10","HasRight_3","HasRight_11","HasRight_12","HasRight_5")
  end.
Property PhilosophersDyn-PT-20-UpperBounds-04
  "Automatically generated"
  is:
    bound("HasLeft_5","HasLeft_13","HasLeft_6","HasLeft_7","HasLeft_12","HasLeft_8","HasLeft_19","HasLeft_11","HasLeft_1","HasLeft_20","HasLeft_10","HasLeft_16","HasLeft_2","HasLeft_9","HasLeft_18","HasLeft_17","HasLeft_3","HasLeft_15","HasLeft_4","HasLeft_14")
  end.
Property PhilosophersDyn-PT-20-UpperBounds-05
  "Automatically generated"
  is:
    bound("Forks_1","Forks_18","Forks_7","Forks_19","Forks_12","Forks_8","Forks_20","Forks_11","Forks_5","Forks_6","Forks_14","Forks_13","Forks_3","Forks_16","Forks_4","Forks_2","Forks_9","Forks_10","Forks_15","Forks_17")
  end.
Property PhilosophersDyn-PT-20-UpperBounds-06
  "Automatically generated"
  is:
    bound("Forks_1","Forks_18","Forks_7","Forks_19","Forks_12","Forks_8","Forks_20","Forks_11","Forks_5","Forks_6","Forks_14","Forks_13","Forks_3","Forks_16","Forks_4","Forks_2","Forks_9","Forks_10","Forks_15","Forks_17")
  end.
Property PhilosophersDyn-PT-20-UpperBounds-07
  "Automatically generated"
  is:
    bound("HasRight_13","HasRight_7","HasRight_14","HasRight_1","HasRight_15","HasRight_2","HasRight_6","HasRight_9","HasRight_16","HasRight_20","HasRight_19","HasRight_8","HasRight_17","HasRight_18","HasRight_4","HasRight_10","HasRight_3","HasRight_11","HasRight_12","HasRight_5")
  end.
Property PhilosophersDyn-PT-20-UpperBounds-08
  "Automatically generated"
  is:
    bound("WaitRight_14")
  end.
Property PhilosophersDyn-PT-20-UpperBounds-09
  "Automatically generated"
  is:
    bound("Outside_11")
  end.
Property PhilosophersDyn-PT-20-UpperBounds-10
  "Automatically generated"
  is:
    bound("Forks_1")
  end.
Property PhilosophersDyn-PT-20-UpperBounds-11
  "Automatically generated"
  is:
    bound("Neighbourhood_19_12")
  end.
Property PhilosophersDyn-PT-20-UpperBounds-12
  "Automatically generated"
  is:
    bound("Neighbourhood_6_4")
  end.
Property PhilosophersDyn-PT-20-UpperBounds-13
  "Automatically generated"
  is:
    bound("Neighbourhood_11_20")
  end.
Property PhilosophersDyn-PT-20-UpperBounds-14
  "Automatically generated"
  is:
    bound("WaitRight_15")
  end.
Property PhilosophersDyn-PT-20-UpperBounds-15
  "Automatically generated"
  is:
    bound("WaitRight_16")
  end.
