Property PhilosophersDyn-PT-20-UpperBounds-00
  "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-01
  "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-02
  "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-03
  "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-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("Neighbourhood_14_4","Neighbourhood_1_11","Neighbourhood_17_5","Neighbourhood_8_13","Neighbourhood_12_7","Neighbourhood_14_19","Neighbourhood_4_6","Neighbourhood_1_16","Neighbourhood_2_10","Neighbourhood_16_4","Neighbourhood_7_18","Neighbourhood_12_10","Neighbourhood_3_5","Neighbourhood_11_6","Neighbourhood_13_20","Neighbourhood_11_11","Neighbourhood_20_11","Neighbourhood_14_14","Neighbourhood_5_7","Neighbourhood_5_14","Neighbourhood_9_17","Neighbourhood_5_19","Neighbourhood_17_2","Neighbourhood_18_16","Neighbourhood_9_2","Neighbourhood_12_1","Neighbourhood_4_20","Neighbourhood_10_5","Neighbourhood_8_1","Neighbourhood_8_2","Neighbourhood_18_8","Neighbourhood_10_11","Neighbourhood_15_8","Neighbourhood_16_13","Neighbourhood_9_4","Neighbourhood_13_8","Neighbourhood_3_15","Neighbourhood_9_16","Neighbourhood_15_3","Neighbourhood_19_7","Neighbourhood_11_16","Neighbourhood_18_12","Neighbourhood_4_9","Neighbourhood_15_1","Neighbourhood_1_2","Neighbourhood_2_2","Neighbourhood_2_4","Neighbourhood_6_3","Neighbourhood_3_10","Neighbourhood_10_15","Neighbourhood_9_12","Neighbourhood_6_8","Neighbourhood_1_1","Neighbourhood_12_18","Neighbourhood_19_16","Neighbourhood_19_9","Neighbourhood_11_15","Neighbourhood_17_4","Neighbourhood_1_12","Neighbourhood_11_7","Neighbourhood_3_4","Neighbourhood_6_19","Neighbourhood_5_6","Neighbourhood_20_20","Neighbourhood_20_15","Neighbourhood_12_9","Neighbourhood_19_18","Neighbourhood_17_6","Neighbourhood_19_6","Neighbourhood_14_11","Neighbourhood_15_14","Neighbourhood_5_18","Neighbourhood_7_11","Neighbourhood_8_12","Neighbourhood_11_5","Neighbourhood_2_13","Neighbourhood_17_17","Neighbourhood_5_9","Neighbourhood_15_12","Neighbourhood_9_13","Neighbourhood_8_17","Neighbourhood_13_19","Neighbourhood_6_10","Neighbourhood_9_15","Neighbourhood_4_18","Neighbourhood_20_9","Neighbourhood_20_10","Neighbourhood_7_20","Neighbourhood_20_19","Neighbourhood_5_8","Neighbourhood_14_2","Neighbourhood_2_15","Neighbourhood_3_16","Neighbourhood_1_3","Neighbourhood_16_15","Neighbourhood_3_2","Neighbourhood_8_3","Neighbourhood_9_1","Neighbourhood_7_2","Neighbourhood_10_16","Neighbourhood_13_10","Neighbourhood_15_13","Neighbourhood_2_14","Neighbourhood_14_10","Neighbourhood_4_8","Neighbourhood_4_17","Neighbourhood_17_16","Neighbourhood_18_6","Neighbourhood_13_18","Neighbourhood_11_4","Neighbourhood_7_19","Neighbourhood_16_14","Neighbourhood_1_13","Neighbourhood_11_17","Neighbourhood_7_12","Neighbourhood_9_14","Neighbourhood_13_11","Neighbourhood_12_19","Neighbourhood_18_17","Neighbourhood_14_1","Neighbourhood_18_4","Neighbourhood_6_9","Neighbourhood_6_20","Neighbourhood_14_20","Neighbourhood_16_6","Neighbourhood_7_9","Neighbourhood_8_15","Neighbourhood_9_5","Neighbourhood_5_10","Neighbourhood_18_18","Neighbourhood_6_2","Neighbourhood_20_2","Neighbourhood_3_7","Neighbourhood_19_10","Neighbourhood_17_8","Neighbourhood_20_8","Neighbourhood_11_9","Neighbourhood_2_16","Neighbourhood_8_14","Neighbourhood_2_12","Neighbourhood_8_4","Neighbourhood_6_7","Neighbourhood_19_5","Neighbourhood_1_4","Neighbourhood_3_14","Neighbourhood_1_20","Neighbourhood_8_11","Neighbourhood_16_12","Neighbourhood_15_20","Neighbourhood_11_8","Neighbourhood_17_14","Neighbourhood_19_20","Neighbourhood_9_3","Neighbourhood_18_19","Neighbourhood_11_19","Neighbourhood_10_4","Neighbourhood_4_2","Neighbourhood_13_7","Neighbourhood_6_12","Neighbourhood_16_5","Neighbourhood_5_11","Neighbourhood_6_1","Neighbourhood_4_7","Neighbourhood_13_12","Neighbourhood_3_3","Neighbourhood_8_10","Neighbourhood_17_1","Neighbourhood_10_17","Neighbourhood_15_10","Neighbourhood_19_4","Neighbourhood_15_2","Neighbourhood_3_8","Neighbourhood_18_5","Neighbourhood_16_16","Neighbourhood_14_13","Neighbourhood_18_10","Neighbourhood_3_12","Neighbourhood_1_19","Neighbourhood_10_18","Neighbourhood_9_20","Neighbourhood_18_14","Neighbourhood_3_18","Neighbourhood_4_13","Neighbourhood_11_14","Neighbourhood_20_3","Neighbourhood_16_1","Neighbourhood_19_8","Neighbourhood_17_9","Neighbourhood_15_16","Neighbourhood_16_11","Neighbourhood_6_6","Neighbourhood_2_18","Neighbourhood_10_13","Neighbourhood_10_9","Neighbourhood_12_8","Neighbourhood_8_5","Neighbourhood_6_11","Neighbourhood_5_2","Neighbourhood_8_9","Neighbourhood_14_12","Neighbourhood_20_18","Neighbourhood_14_15","Neighbourhood_11_3","Neighbourhood_19_14","Neighbourhood_7_10","Neighbourhood_5_12","Neighbourhood_7_1","Neighbourhood_14_7","Neighbourhood_18_20","Neighbourhood_5_17","Neighbourhood_11_18","Neighbourhood_2_17","Neighbourhood_11_13","Neighbourhood_12_2","Neighbourhood_7_15","Neighbourhood_19_19","Neighbourhood_10_3","Neighbourhood_16_10","Neighbourhood_10_19","Neighbourhood_12_17","Neighbourhood_17_10","Neighbourhood_2_3","Neighbourhood_6_4","Neighbourhood_3_13","Neighbourhood_15_7","Neighbourhood_14_5","Neighbourhood_10_20","Neighbourhood_10_14","Neighbourhood_1_18","Neighbourhood_15_6","Neighbourhood_15_11","Neighbourhood_13_2","Neighbourhood_15_18","Neighbourhood_17_15","Neighbourhood_8_20","Neighbourhood_7_6","Neighbourhood_15_15","Neighbourhood_8_18","Neighbourhood_4_12","Neighbourhood_3_20","Neighbourhood_4_16","Neighbourhood_13_4","Neighbourhood_18_9","Neighbourhood_9_9","Neighbourhood_20_4","Neighbourhood_1_6","Neighbourhood_16_19","Neighbourhood_8_7","Neighbourhood_7_5","Neighbourhood_19_3","Neighbourhood_17_20","Neighbourhood_14_16","Neighbourhood_12_3","Neighbourhood_3_17","Neighbourhood_6_15","Neighbourhood_9_19","Neighbourhood_6_14","Neighbourhood_2_8","Neighbourhood_1_14","Neighbourhood_11_2","Neighbourhood_9_8","Neighbourhood_2_19","Neighbourhood_18_2","Neighbourhood_6_5","Neighbourhood_13_17","Neighbourhood_20_14","Neighbourhood_2_7","Neighbourhood_12_13","Neighbourhood_5_3","Neighbourhood_13_14","Neighbourhood_14_6","Neighbourhood_1_8","Neighbourhood_6_13","Neighbourhood_3_19","Neighbourhood_16_20","Neighbourhood_7_7","Neighbourhood_5_16","Neighbourhood_13_6","Neighbourhood_7_4","Neighbourhood_18_3","Neighbourhood_12_12","Neighbourhood_1_9","Neighbourhood_19_12","Neighbourhood_16_7","Neighbourhood_8_6","Neighbourhood_2_20","Neighbourhood_9_18","Neighbourhood_14_8","Neighbourhood_20_17","Neighbourhood_15_5","Neighbourhood_20_5","Neighbourhood_18_1","Neighbourhood_5_1","Neighbourhood_19_1","Neighbourhood_10_8","Neighbourhood_18_11","Neighbourhood_12_5","Neighbourhood_15_9","Neighbourhood_1_15","Neighbourhood_13_16","Neighbourhood_12_15","Neighbourhood_4_1","Neighbourhood_11_20","Neighbourhood_5_5","Neighbourhood_1_5","Neighbourhood_13_13","Neighbourhood_9_6","Neighbourhood_16_9","Neighbourhood_14_18","Neighbourhood_5_15","Neighbourhood_20_6","Neighbourhood_8_19","Neighbourhood_19_15","Neighbourhood_20_13","Neighbourhood_7_14","Neighbourhood_12_4","Neighbourhood_10_2","Neighbourhood_9_10","Neighbourhood_4_4","Neighbourhood_4_11","Neighbourhood_10_10","Neighbourhood_17_19","Neighbourhood_2_5","Neighbourhood_17_11","Neighbourhood_2_9","Neighbourhood_6_16","Neighbourhood_3_11","Neighbourhood_20_7","Neighbourhood_17_7","Neighbourhood_12_14","Neighbourhood_11_12","Neighbourhood_7_17","Neighbourhood_13_3","Neighbourhood_14_17","Neighbourhood_7_8","Neighbourhood_19_13","Neighbourhood_10_7","Neighbourhood_10_1","Neighbourhood_3_1","Neighbourhood_17_3","Neighbourhood_19_2","Neighbourhood_7_16","Neighbourhood_20_16","Neighbourhood_15_4","Neighbourhood_4_19","Neighbourhood_10_6","Neighbourhood_7_13","Neighbourhood_5_13","Neighbourhood_4_10","Neighbourhood_17_18","Neighbourhood_12_20","Neighbourhood_17_13","Neighbourhood_5_20","Neighbourhood_3_9","Neighbourhood_13_15","Neighbourhood_14_9","Neighbourhood_9_7","Neighbourhood_12_11","Neighbourhood_19_11","Neighbourhood_20_12","Neighbourhood_11_10","Neighbourhood_3_6","Neighbourhood_12_6","Neighbourhood_4_15","Neighbourhood_18_15","Neighbourhood_20_1","Neighbourhood_4_3","Neighbourhood_6_18","Neighbourhood_19_17","Neighbourhood_1_10","Neighbourhood_2_6","Neighbourhood_8_8","Neighbourhood_17_12","Neighbourhood_5_4","Neighbourhood_16_3","Neighbourhood_16_8","Neighbourhood_15_19","Neighbourhood_9_11","Neighbourhood_12_16","Neighbourhood_14_3","Neighbourhood_16_17","Neighbourhood_10_12","Neighbourhood_4_5","Neighbourhood_16_18","Neighbourhood_4_14","Neighbourhood_18_13","Neighbourhood_15_17","Neighbourhood_1_17","Neighbourhood_13_5","Neighbourhood_13_9","Neighbourhood_11_1","Neighbourhood_7_3","Neighbourhood_16_2","Neighbourhood_2_1","Neighbourhood_6_17","Neighbourhood_1_7","Neighbourhood_8_16","Neighbourhood_2_11","Neighbourhood_18_7","Neighbourhood_13_1")
  end.
Property PhilosophersDyn-PT-20-UpperBounds-06
  "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-07
  "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-08
  "Automatically generated"
  is:
    bound("HasLeft_5")
  end.
Property PhilosophersDyn-PT-20-UpperBounds-09
  "Automatically generated"
  is:
    bound("HasRight_2")
  end.
Property PhilosophersDyn-PT-20-UpperBounds-10
  "Automatically generated"
  is:
    bound("WaitRight_4")
  end.
Property PhilosophersDyn-PT-20-UpperBounds-11
  "Automatically generated"
  is:
    bound("Neighbourhood_7_7")
  end.
Property PhilosophersDyn-PT-20-UpperBounds-12
  "Automatically generated"
  is:
    bound("HasRight_11")
  end.
Property PhilosophersDyn-PT-20-UpperBounds-13
  "Automatically generated"
  is:
    bound("WaitRight_14")
  end.
Property PhilosophersDyn-PT-20-UpperBounds-14
  "Automatically generated"
  is:
    bound("Forks_15")
  end.
Property PhilosophersDyn-PT-20-UpperBounds-15
  "Automatically generated"
  is:
    bound("WaitRight_2")
  end.
