Property PhilosophersDyn-PT-20-CTLCardinality-00
   "Automatically generated by Citili v2022"
   is:
      A (G (E ((((A (((tokens-count("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") <= tokens-count("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")) & (11 <= tokens-count("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"))) U (! (tokens-count("WaitRight_7", "WaitRight_13", "WaitRight_6", "WaitRight_20", "WaitRight_14", "WaitRight_5", "WaitRight_19", "WaitRight_4", "WaitRight_11", "WaitRight_3", "WaitRight_12", "WaitRight_9", "WaitRight_16", "WaitRight_2", "WaitRight_10", "WaitRight_1", "WaitRight_15", "WaitRight_18", "WaitRight_17", "WaitRight_8") <= tokens-count("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"))))) & ((tokens-count("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") <= 11) | ((A (F (tokens-count("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") <= tokens-count("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")))) & ((tokens-count("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") <= 14) & (tokens-count("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") <= tokens-count("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")))))) | (! (tokens-count("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") <= tokens-count("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")))) U ((! (A (X (! (tokens-count("Think_10", "Think_20", "Think_18", "Think_4", "Think_11", "Think_17", "Think_3", "Think_16", "Think_5", "Think_6", "Think_15", "Think_7", "Think_14", "Think_8", "Think_13", "Think_19", "Think_12", "Think_9", "Think_2", "Think_1") <= 11))))) | ((tokens-count("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") <= 23) | (((! (23 <= tokens-count("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"))) | (A (F (tokens-count("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") <= 23)))) | (A (G (2 <= tokens-count("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-CTLCardinality-01
   "Automatically generated by Citili v2022"
   is:
      (E (F (A (((E (G (E (X (tokens-count("Think_10", "Think_20", "Think_18", "Think_4", "Think_11", "Think_17", "Think_3", "Think_16", "Think_5", "Think_6", "Think_15", "Think_7", "Think_14", "Think_8", "Think_13", "Think_19", "Think_12", "Think_9", "Think_2", "Think_1") <= tokens-count("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")))))) & (tokens-count("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") <= 9)) U (((((tokens-count("WaitRight_7", "WaitRight_13", "WaitRight_6", "WaitRight_20", "WaitRight_14", "WaitRight_5", "WaitRight_19", "WaitRight_4", "WaitRight_11", "WaitRight_3", "WaitRight_12", "WaitRight_9", "WaitRight_16", "WaitRight_2", "WaitRight_10", "WaitRight_1", "WaitRight_15", "WaitRight_18", "WaitRight_17", "WaitRight_8") <= tokens-count("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")) | (tokens-count("Think_10", "Think_20", "Think_18", "Think_4", "Think_11", "Think_17", "Think_3", "Think_16", "Think_5", "Think_6", "Think_15", "Think_7", "Think_14", "Think_8", "Think_13", "Think_19", "Think_12", "Think_9", "Think_2", "Think_1") <= 16)) & ((tokens-count("WaitRight_7", "WaitRight_13", "WaitRight_6", "WaitRight_20", "WaitRight_14", "WaitRight_5", "WaitRight_19", "WaitRight_4", "WaitRight_11", "WaitRight_3", "WaitRight_12", "WaitRight_9", "WaitRight_16", "WaitRight_2", "WaitRight_10", "WaitRight_1", "WaitRight_15", "WaitRight_18", "WaitRight_17", "WaitRight_8") <= 8) | (tokens-count("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") <= 49))) & (tokens-count("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") <= tokens-count("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"))) & (42 <= tokens-count("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"))))))) | (! (A ((! (tokens-count("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") <= tokens-count("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"))) U (E (F (A (F ((tokens-count("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") <= 40) | (tokens-count("Think_10", "Think_20", "Think_18", "Think_4", "Think_11", "Think_17", "Think_3", "Think_16", "Think_5", "Think_6", "Think_15", "Think_7", "Think_14", "Think_8", "Think_13", "Think_19", "Think_12", "Think_9", "Think_2", "Think_1") <= 19)))))))))
   end.
Property PhilosophersDyn-PT-20-CTLCardinality-02
   "Automatically generated by Citili v2022"
   is:
      E (G (! (! (((E (X (E ((tokens-count("Think_10", "Think_20", "Think_18", "Think_4", "Think_11", "Think_17", "Think_3", "Think_16", "Think_5", "Think_6", "Think_15", "Think_7", "Think_14", "Think_8", "Think_13", "Think_19", "Think_12", "Think_9", "Think_2", "Think_1") <= 5) U (26 <= tokens-count("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")))))) | (E (F (! (33 <= tokens-count("WaitRight_7", "WaitRight_13", "WaitRight_6", "WaitRight_20", "WaitRight_14", "WaitRight_5", "WaitRight_19", "WaitRight_4", "WaitRight_11", "WaitRight_3", "WaitRight_12", "WaitRight_9", "WaitRight_16", "WaitRight_2", "WaitRight_10", "WaitRight_1", "WaitRight_15", "WaitRight_18", "WaitRight_17", "WaitRight_8")))))) | (! (((! (42 <= tokens-count("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"))) | (! (tokens-count("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") <= tokens-count("WaitRight_7", "WaitRight_13", "WaitRight_6", "WaitRight_20", "WaitRight_14", "WaitRight_5", "WaitRight_19", "WaitRight_4", "WaitRight_11", "WaitRight_3", "WaitRight_12", "WaitRight_9", "WaitRight_16", "WaitRight_2", "WaitRight_10", "WaitRight_1", "WaitRight_15", "WaitRight_18", "WaitRight_17", "WaitRight_8")))) | (E (X (tokens-count("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") <= tokens-count("WaitRight_7", "WaitRight_13", "WaitRight_6", "WaitRight_20", "WaitRight_14", "WaitRight_5", "WaitRight_19", "WaitRight_4", "WaitRight_11", "WaitRight_3", "WaitRight_12", "WaitRight_9", "WaitRight_16", "WaitRight_2", "WaitRight_10", "WaitRight_1", "WaitRight_15", "WaitRight_18", "WaitRight_17", "WaitRight_8"))))))))))
   end.
Property PhilosophersDyn-PT-20-CTLCardinality-03
   "Automatically generated by Citili v2022"
   is:
      E (F (E (X (((! ((E ((tokens-count("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") <= 32) U (tokens-count("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") <= 42))) & (tokens-count("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") <= tokens-count("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")))) | (8 <= tokens-count("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"))) | (43 <= tokens-count("WaitRight_7", "WaitRight_13", "WaitRight_6", "WaitRight_20", "WaitRight_14", "WaitRight_5", "WaitRight_19", "WaitRight_4", "WaitRight_11", "WaitRight_3", "WaitRight_12", "WaitRight_9", "WaitRight_16", "WaitRight_2", "WaitRight_10", "WaitRight_1", "WaitRight_15", "WaitRight_18", "WaitRight_17", "WaitRight_8"))))))
   end.
Property PhilosophersDyn-PT-20-CTLCardinality-04
   "Automatically generated by Citili v2022"
   is:
      ! (E (G (E (F (! (17 <= tokens-count("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-CTLCardinality-05
   "Automatically generated by Citili v2022"
   is:
      ! (A (F ((! (! (41 <= tokens-count("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")))) | ((A ((! (tokens-count("Think_10", "Think_20", "Think_18", "Think_4", "Think_11", "Think_17", "Think_3", "Think_16", "Think_5", "Think_6", "Think_15", "Think_7", "Think_14", "Think_8", "Think_13", "Think_19", "Think_12", "Think_9", "Think_2", "Think_1") <= 9)) U ((A (X (tokens-count("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") <= 41))) & ((tokens-count("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") <= 12) & (43 <= tokens-count("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")))))) & (tokens-count("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") <= tokens-count("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-CTLCardinality-06
   "Automatically generated by Citili v2022"
   is:
      E ((tokens-count("WaitRight_7", "WaitRight_13", "WaitRight_6", "WaitRight_20", "WaitRight_14", "WaitRight_5", "WaitRight_19", "WaitRight_4", "WaitRight_11", "WaitRight_3", "WaitRight_12", "WaitRight_9", "WaitRight_16", "WaitRight_2", "WaitRight_10", "WaitRight_1", "WaitRight_15", "WaitRight_18", "WaitRight_17", "WaitRight_8") <= tokens-count("Think_10", "Think_20", "Think_18", "Think_4", "Think_11", "Think_17", "Think_3", "Think_16", "Think_5", "Think_6", "Think_15", "Think_7", "Think_14", "Think_8", "Think_13", "Think_19", "Think_12", "Think_9", "Think_2", "Think_1")) U ((tokens-count("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") <= 9) | (! (tokens-count("Think_10", "Think_20", "Think_18", "Think_4", "Think_11", "Think_17", "Think_3", "Think_16", "Think_5", "Think_6", "Think_15", "Think_7", "Think_14", "Think_8", "Think_13", "Think_19", "Think_12", "Think_9", "Think_2", "Think_1") <= 22))))
   end.
Property PhilosophersDyn-PT-20-CTLCardinality-07
   "Automatically generated by Citili v2022"
   is:
      (A (G ((E ((tokens-count("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") <= tokens-count("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")) U ((! (! (42 <= tokens-count("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")))) & (((tokens-count("Think_10", "Think_20", "Think_18", "Think_4", "Think_11", "Think_17", "Think_3", "Think_16", "Think_5", "Think_6", "Think_15", "Think_7", "Think_14", "Think_8", "Think_13", "Think_19", "Think_12", "Think_9", "Think_2", "Think_1") <= tokens-count("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")) & (23 <= tokens-count("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"))) | (A (F (tokens-count("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") <= 3))))))) | (! ((E (G ((tokens-count("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") <= 20) & (32 <= tokens-count("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"))))) & ((E (F (tokens-count("WaitRight_7", "WaitRight_13", "WaitRight_6", "WaitRight_20", "WaitRight_14", "WaitRight_5", "WaitRight_19", "WaitRight_4", "WaitRight_11", "WaitRight_3", "WaitRight_12", "WaitRight_9", "WaitRight_16", "WaitRight_2", "WaitRight_10", "WaitRight_1", "WaitRight_15", "WaitRight_18", "WaitRight_17", "WaitRight_8") <= tokens-count("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")))) & (A (F (14 <= tokens-count("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")))))))))) | (A (X (A (F ((E (X ((tokens-count("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") <= 25) & (28 <= tokens-count("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"))))) & (tokens-count("Think_10", "Think_20", "Think_18", "Think_4", "Think_11", "Think_17", "Think_3", "Think_16", "Think_5", "Think_6", "Think_15", "Think_7", "Think_14", "Think_8", "Think_13", "Think_19", "Think_12", "Think_9", "Think_2", "Think_1") <= tokens-count("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-CTLCardinality-08
   "Automatically generated by Citili v2022"
   is:
      ! ((E (F (E (((E ((tokens-count("Forks_2") <= tokens-count("Neighbourhood_13_10")) U (tokens-count("Neighbourhood_1_20") <= tokens-count("WaitLeft_7")))) & (A (F (tokens-count("Neighbourhood_15_3") <= 1)))) U ((A ((tokens-count("WaitLeft_8") <= 1) U (tokens-count("WaitLeft_3") <= 1))) & (! (E (F (1 <= tokens-count("Neighbourhood_11_18")))))))))) | (A (X ((! (1 <= tokens-count("Neighbourhood_15_11"))) & (E (X ((tokens-count("Neighbourhood_15_6") <= 1) & ((1 <= tokens-count("Neighbourhood_5_1")) | (tokens-count("Neighbourhood_20_14") <= tokens-count("Neighbourhood_6_11"))))))))))
   end.
Property PhilosophersDyn-PT-20-CTLCardinality-09
   "Automatically generated by Citili v2022"
   is:
      E (G (E (G (A ((tokens-count("Outside_2") <= tokens-count("Neighbourhood_12_11")) U (A (X (tokens-count("WaitLeft_14") <= 1))))))))
   end.
Property PhilosophersDyn-PT-20-CTLCardinality-10
   "Automatically generated by Citili v2022"
   is:
      E ((E (X ((tokens-count("Neighbourhood_11_3") <= tokens-count("WaitLeft_7")) & (1 <= tokens-count("Neighbourhood_8_2"))))) U (! (A (F (1 <= tokens-count("Neighbourhood_3_15"))))))
   end.
Property PhilosophersDyn-PT-20-CTLCardinality-11
   "Automatically generated by Citili v2022"
   is:
      E (F (A (G (tokens-count("Neighbourhood_8_19") <= 1))))
   end.
Property PhilosophersDyn-PT-20-CTLCardinality-12
   "Automatically generated by Citili v2022"
   is:
      E ((tokens-count("Neighbourhood_15_1") <= tokens-count("Neighbourhood_5_1")) U ((A (G (E (F (A (X (tokens-count("Neighbourhood_3_2") <= tokens-count("HasLeft_18")))))))) & ((E (G (E (X ((1 <= tokens-count("Forks_13")) & (tokens-count("Neighbourhood_8_7") <= tokens-count("Neighbourhood_12_1"))))))) | (E ((E (G ((tokens-count("Forks_8") <= tokens-count("Neighbourhood_9_1")) & (1 <= tokens-count("Neighbourhood_1_9"))))) U ((((1 <= tokens-count("WaitRight_5")) | (tokens-count("Neighbourhood_6_15") <= 1)) | (! (tokens-count("WaitLeft_14") <= tokens-count("Neighbourhood_14_15")))) | (A ((1 <= tokens-count("Neighbourhood_12_6")) U (tokens-count("Neighbourhood_17_18") <= tokens-count("Neighbourhood_3_11"))))))))))
   end.
Property PhilosophersDyn-PT-20-CTLCardinality-13
   "Automatically generated by Citili v2022"
   is:
      A (G (! (! (E ((((E (X (tokens-count("Neighbourhood_8_5") <= 1))) & ((tokens-count("Neighbourhood_16_4") <= 1) | (tokens-count("Neighbourhood_19_2") <= 1))) | (tokens-count("Neighbourhood_10_10") <= tokens-count("Forks_15"))) U ((E ((1 <= tokens-count("Neighbourhood_11_12")) U (1 <= tokens-count("Neighbourhood_12_12")))) | (E (G (tokens-count("Neighbourhood_16_16") <= tokens-count("Neighbourhood_15_5"))))))))))
   end.
Property PhilosophersDyn-PT-20-CTLCardinality-14
   "Automatically generated by Citili v2022"
   is:
      E (F ((E (X (((! ((tokens-count("Neighbourhood_12_12") <= tokens-count("Forks_6")) & (1 <= tokens-count("Neighbourhood_3_14")))) & ((A (F (tokens-count("Neighbourhood_13_9") <= 1))) | (A (F (1 <= tokens-count("Neighbourhood_5_13")))))) | ((! ((tokens-count("Neighbourhood_18_6") <= 1) & (tokens-count("Neighbourhood_13_6") <= tokens-count("Neighbourhood_7_5")))) & (((1 <= tokens-count("Neighbourhood_16_3")) | (tokens-count("WaitLeft_3") <= tokens-count("Neighbourhood_1_9"))) | ((tokens-count("Neighbourhood_13_14") <= tokens-count("Neighbourhood_18_17")) & (1 <= tokens-count("Neighbourhood_16_11")))))))) & (! (! (((! (tokens-count("Neighbourhood_14_14") <= 1)) & (1 <= tokens-count("WaitLeft_2"))) & (E (X ((tokens-count("WaitLeft_7") <= tokens-count("Neighbourhood_15_13")) | (tokens-count("Neighbourhood_13_7") <= tokens-count("Neighbourhood_18_19"))))))))))
   end.
Property PhilosophersDyn-PT-20-CTLCardinality-15
   "Automatically generated by Citili v2022"
   is:
      A (G ((A (X (((! (E (F (1 <= tokens-count("Outside_7"))))) & (! ((1 <= tokens-count("Neighbourhood_3_20")) | (1 <= tokens-count("Neighbourhood_13_19"))))) | ((tokens-count("Neighbourhood_2_1") <= 1) | ((A (G (tokens-count("Forks_12") <= 1))) | ((1 <= tokens-count("HasRight_7")) | (1 <= tokens-count("Neighbourhood_15_5")))))))) | (1 <= tokens-count("Neighbourhood_7_10"))))
   end.
