%---------------- SGGS v1.0 (IJCAR 2020 submission) ----------------% ------ Parsing...successful ------ Proving... use I- Gamma_0: (extend-no-conflict) 0: [mtvisible(c_tptpgeo_member7_mt)] Gamma_1: (extend-no-conflict) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) Gamma_2: (extend-no-conflict) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] Gamma_3: (extend-no-conflict) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] Gamma_4: (extend-no-conflict) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) Gamma_5: (extend-no-conflict) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) Gamma_6: (extend-no-conflict) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) Gamma_7: (extend-no-conflict) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) Gamma_8: (extend-no-conflict) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [inregion( c_geolocation_x53_y74,c_georegion_l3_x17_y24)], ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)) Gamma_9: (extend-no-conflict) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [inregion( c_geolocation_x53_y74,c_georegion_l3_x17_y24)], ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)) 9: ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)), [spatialthing_nonsituational( c_georegion_l3_x17_y24)] Gamma_10: (extend-no-conflict) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [inregion( c_geolocation_x53_y74,c_georegion_l3_x17_y24)], ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)) 9: ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)), [spatialthing_nonsituational( c_georegion_l3_x17_y24)] 10: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] Gamma_11: (extend-no-conflict) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [inregion( c_geolocation_x53_y74,c_georegion_l3_x17_y24)], ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)) 9: ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)), [spatialthing_nonsituational( c_georegion_l3_x17_y24)] 10: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] 11: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l4_x53_y74)] Gamma_12: (extend-no-conflict) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [inregion( c_geolocation_x53_y74,c_georegion_l3_x17_y24)], ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)) 9: ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)), [spatialthing_nonsituational( c_georegion_l3_x17_y24)] 10: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] 11: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l4_x53_y74)] 12: [inregion(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~(spatialthing_nonsituational(c_georegion_l3_x17_y24)) Gamma_13: (extend-no-conflict) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [inregion( c_geolocation_x53_y74,c_georegion_l3_x17_y24)], ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)) 9: ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)), [spatialthing_nonsituational( c_georegion_l3_x17_y24)] 10: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] 11: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l4_x53_y74)] 12: [inregion(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~(spatialthing_nonsituational(c_georegion_l3_x17_y24)) 13: [geographicalsubregions(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~( geographicalregion(c_georegion_l4_x53_y74)) Gamma_14: (extend-no-conflict) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [inregion( c_geolocation_x53_y74,c_georegion_l3_x17_y24)], ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)) 9: ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)), [spatialthing_nonsituational( c_georegion_l3_x17_y24)] 10: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] 11: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l4_x53_y74)] 12: [inregion(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~(spatialthing_nonsituational(c_georegion_l3_x17_y24)) 13: [geographicalsubregions(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~( geographicalregion(c_georegion_l4_x53_y74)) 14: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~( geographicalregion(c_georegion_l3_x17_y24)) Gamma_15: (extend-no-conflict) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [inregion( c_geolocation_x53_y74,c_georegion_l3_x17_y24)], ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)) 9: ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)), [spatialthing_nonsituational( c_georegion_l3_x17_y24)] 10: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] 11: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l4_x53_y74)] 12: [inregion(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~(spatialthing_nonsituational(c_georegion_l3_x17_y24)) 13: [geographicalsubregions(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~( geographicalregion(c_georegion_l4_x53_y74)) 14: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~( geographicalregion(c_georegion_l3_x17_y24)) 15: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)] Gamma_16: (extend-no-conflict) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [inregion( c_geolocation_x53_y74,c_georegion_l3_x17_y24)], ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)) 9: ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)), [spatialthing_nonsituational( c_georegion_l3_x17_y24)] 10: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] 11: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l4_x53_y74)] 12: [inregion(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~(spatialthing_nonsituational(c_georegion_l3_x17_y24)) 13: [geographicalsubregions(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~( geographicalregion(c_georegion_l4_x53_y74)) 14: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~( geographicalregion(c_georegion_l3_x17_y24)) 15: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)] 16: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [mtvisible( c_tptpgeo_spindleheadmt)], ~(mtvisible(c_tptpgeo_member7_mt)) Gamma_17: (extend-no-conflict) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [inregion( c_geolocation_x53_y74,c_georegion_l3_x17_y24)], ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)) 9: ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)), [spatialthing_nonsituational( c_georegion_l3_x17_y24)] 10: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] 11: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l4_x53_y74)] 12: [inregion(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~(spatialthing_nonsituational(c_georegion_l3_x17_y24)) 13: [geographicalsubregions(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~( geographicalregion(c_georegion_l4_x53_y74)) 14: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~( geographicalregion(c_georegion_l3_x17_y24)) 15: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)] 16: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [mtvisible( c_tptpgeo_spindleheadmt)], ~(mtvisible(c_tptpgeo_member7_mt)) 17: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_member7_mt)] Gamma_18: (extend-no-conflict) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [inregion( c_geolocation_x53_y74,c_georegion_l3_x17_y24)], ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)) 9: ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)), [spatialthing_nonsituational( c_georegion_l3_x17_y24)] 10: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] 11: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l4_x53_y74)] 12: [inregion(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~(spatialthing_nonsituational(c_georegion_l3_x17_y24)) 13: [geographicalsubregions(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~( geographicalregion(c_georegion_l4_x53_y74)) 14: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~( geographicalregion(c_georegion_l3_x17_y24)) 15: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)] 16: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [mtvisible( c_tptpgeo_spindleheadmt)], ~(mtvisible(c_tptpgeo_member7_mt)) 17: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_member7_mt)] 18: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_spindleheadmt)] Gamma_19: (extend-no-conflict) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [inregion( c_geolocation_x53_y74,c_georegion_l3_x17_y24)], ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)) 9: ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)), [spatialthing_nonsituational( c_georegion_l3_x17_y24)] 10: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] 11: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l4_x53_y74)] 12: [inregion(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~(spatialthing_nonsituational(c_georegion_l3_x17_y24)) 13: [geographicalsubregions(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~( geographicalregion(c_georegion_l4_x53_y74)) 14: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~( geographicalregion(c_georegion_l3_x17_y24)) 15: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)] 16: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [mtvisible( c_tptpgeo_spindleheadmt)], ~(mtvisible(c_tptpgeo_member7_mt)) 17: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_member7_mt)] 18: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_spindleheadmt)] 19: [genlmt(c_tptpgeo_spindleheadmt,c_tptpgeo_spindleheadmt)], ~(microtheory(c_tptpgeo_spindleheadmt)) Gamma_20: (extend-no-conflict) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [inregion( c_geolocation_x53_y74,c_georegion_l3_x17_y24)], ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)) 9: ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)), [spatialthing_nonsituational( c_georegion_l3_x17_y24)] 10: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] 11: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l4_x53_y74)] 12: [inregion(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~(spatialthing_nonsituational(c_georegion_l3_x17_y24)) 13: [geographicalsubregions(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~( geographicalregion(c_georegion_l4_x53_y74)) 14: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~( geographicalregion(c_georegion_l3_x17_y24)) 15: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)] 16: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [mtvisible( c_tptpgeo_spindleheadmt)], ~(mtvisible(c_tptpgeo_member7_mt)) 17: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_member7_mt)] 18: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_spindleheadmt)] 19: [genlmt(c_tptpgeo_spindleheadmt,c_tptpgeo_spindleheadmt)], ~(microtheory(c_tptpgeo_spindleheadmt)) 20: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_member7_mt)], ~(microtheory(c_tptpgeo_member7_mt)) Gamma_21: (extend-no-conflict) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [inregion( c_geolocation_x53_y74,c_georegion_l3_x17_y24)], ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)) 9: ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)), [spatialthing_nonsituational( c_georegion_l3_x17_y24)] 10: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] 11: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l4_x53_y74)] 12: [inregion(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~(spatialthing_nonsituational(c_georegion_l3_x17_y24)) 13: [geographicalsubregions(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~( geographicalregion(c_georegion_l4_x53_y74)) 14: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~( geographicalregion(c_georegion_l3_x17_y24)) 15: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)] 16: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [mtvisible( c_tptpgeo_spindleheadmt)], ~(mtvisible(c_tptpgeo_member7_mt)) 17: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_member7_mt)] 18: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_spindleheadmt)] 19: [genlmt(c_tptpgeo_spindleheadmt,c_tptpgeo_spindleheadmt)], ~(microtheory(c_tptpgeo_spindleheadmt)) 20: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_member7_mt)], ~(microtheory(c_tptpgeo_member7_mt)) 21: [genlmt(c_tptpgeo_spindleheadmt,c_worldgeographymt)] Gamma_22: (extend-no-conflict) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [inregion( c_geolocation_x53_y74,c_georegion_l3_x17_y24)], ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)) 9: ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)), [spatialthing_nonsituational( c_georegion_l3_x17_y24)] 10: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] 11: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l4_x53_y74)] 12: [inregion(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~(spatialthing_nonsituational(c_georegion_l3_x17_y24)) 13: [geographicalsubregions(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~( geographicalregion(c_georegion_l4_x53_y74)) 14: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~( geographicalregion(c_georegion_l3_x17_y24)) 15: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)] 16: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [mtvisible( c_tptpgeo_spindleheadmt)], ~(mtvisible(c_tptpgeo_member7_mt)) 17: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_member7_mt)] 18: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_spindleheadmt)] 19: [genlmt(c_tptpgeo_spindleheadmt,c_tptpgeo_spindleheadmt)], ~(microtheory(c_tptpgeo_spindleheadmt)) 20: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_member7_mt)], ~(microtheory(c_tptpgeo_member7_mt)) 21: [genlmt(c_tptpgeo_spindleheadmt,c_worldgeographymt)] 22: ~(genlmt(c_tptpgeo_spindleheadmt,c_worldgeographymt)), ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [genlmt( c_tptpgeo_member7_mt,c_worldgeographymt)] Gamma_23: (extend-no-conflict) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [inregion( c_geolocation_x53_y74,c_georegion_l3_x17_y24)], ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)) 9: ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)), [spatialthing_nonsituational( c_georegion_l3_x17_y24)] 10: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] 11: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l4_x53_y74)] 12: [inregion(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~(spatialthing_nonsituational(c_georegion_l3_x17_y24)) 13: [geographicalsubregions(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~( geographicalregion(c_georegion_l4_x53_y74)) 14: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~( geographicalregion(c_georegion_l3_x17_y24)) 15: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)] 16: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [mtvisible( c_tptpgeo_spindleheadmt)], ~(mtvisible(c_tptpgeo_member7_mt)) 17: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_member7_mt)] 18: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_spindleheadmt)] 19: [genlmt(c_tptpgeo_spindleheadmt,c_tptpgeo_spindleheadmt)], ~(microtheory(c_tptpgeo_spindleheadmt)) 20: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_member7_mt)], ~(microtheory(c_tptpgeo_member7_mt)) 21: [genlmt(c_tptpgeo_spindleheadmt,c_worldgeographymt)] 22: ~(genlmt(c_tptpgeo_spindleheadmt,c_worldgeographymt)), ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [genlmt( c_tptpgeo_member7_mt,c_worldgeographymt)] 23: ~(genlmt(c_tptpgeo_member7_mt,c_worldgeographymt)), [mtvisible( c_worldgeographymt)], ~(mtvisible(c_tptpgeo_member7_mt)) Gamma_24: (extend-no-conflict) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [inregion( c_geolocation_x53_y74,c_georegion_l3_x17_y24)], ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)) 9: ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)), [spatialthing_nonsituational( c_georegion_l3_x17_y24)] 10: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] 11: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l4_x53_y74)] 12: [inregion(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~(spatialthing_nonsituational(c_georegion_l3_x17_y24)) 13: [geographicalsubregions(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~( geographicalregion(c_georegion_l4_x53_y74)) 14: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~( geographicalregion(c_georegion_l3_x17_y24)) 15: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)] 16: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [mtvisible( c_tptpgeo_spindleheadmt)], ~(mtvisible(c_tptpgeo_member7_mt)) 17: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_member7_mt)] 18: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_spindleheadmt)] 19: [genlmt(c_tptpgeo_spindleheadmt,c_tptpgeo_spindleheadmt)], ~(microtheory(c_tptpgeo_spindleheadmt)) 20: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_member7_mt)], ~(microtheory(c_tptpgeo_member7_mt)) 21: [genlmt(c_tptpgeo_spindleheadmt,c_worldgeographymt)] 22: ~(genlmt(c_tptpgeo_spindleheadmt,c_worldgeographymt)), ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [genlmt( c_tptpgeo_member7_mt,c_worldgeographymt)] 23: ~(genlmt(c_tptpgeo_member7_mt,c_worldgeographymt)), [mtvisible( c_worldgeographymt)], ~(mtvisible(c_tptpgeo_member7_mt)) 24: ~(genlmt(c_tptpgeo_member7_mt,c_worldgeographymt)), [microtheory( c_worldgeographymt)] Gamma_25: (extend-no-conflict) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [inregion( c_geolocation_x53_y74,c_georegion_l3_x17_y24)], ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)) 9: ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)), [spatialthing_nonsituational( c_georegion_l3_x17_y24)] 10: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] 11: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l4_x53_y74)] 12: [inregion(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~(spatialthing_nonsituational(c_georegion_l3_x17_y24)) 13: [geographicalsubregions(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~( geographicalregion(c_georegion_l4_x53_y74)) 14: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~( geographicalregion(c_georegion_l3_x17_y24)) 15: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)] 16: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [mtvisible( c_tptpgeo_spindleheadmt)], ~(mtvisible(c_tptpgeo_member7_mt)) 17: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_member7_mt)] 18: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_spindleheadmt)] 19: [genlmt(c_tptpgeo_spindleheadmt,c_tptpgeo_spindleheadmt)], ~(microtheory(c_tptpgeo_spindleheadmt)) 20: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_member7_mt)], ~(microtheory(c_tptpgeo_member7_mt)) 21: [genlmt(c_tptpgeo_spindleheadmt,c_worldgeographymt)] 22: ~(genlmt(c_tptpgeo_spindleheadmt,c_worldgeographymt)), ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [genlmt( c_tptpgeo_member7_mt,c_worldgeographymt)] 23: ~(genlmt(c_tptpgeo_member7_mt,c_worldgeographymt)), [mtvisible( c_worldgeographymt)], ~(mtvisible(c_tptpgeo_member7_mt)) 24: ~(genlmt(c_tptpgeo_member7_mt,c_worldgeographymt)), [microtheory( c_worldgeographymt)] 25: [genlmt(c_worldgeographymt,c_worldgeographymt)], ~(microtheory(c_worldgeographymt)) Gamma_26: (extend-no-conflict) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [inregion( c_geolocation_x53_y74,c_georegion_l3_x17_y24)], ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)) 9: ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)), [spatialthing_nonsituational( c_georegion_l3_x17_y24)] 10: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] 11: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l4_x53_y74)] 12: [inregion(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~(spatialthing_nonsituational(c_georegion_l3_x17_y24)) 13: [geographicalsubregions(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~( geographicalregion(c_georegion_l4_x53_y74)) 14: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~( geographicalregion(c_georegion_l3_x17_y24)) 15: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)] 16: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [mtvisible( c_tptpgeo_spindleheadmt)], ~(mtvisible(c_tptpgeo_member7_mt)) 17: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_member7_mt)] 18: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_spindleheadmt)] 19: [genlmt(c_tptpgeo_spindleheadmt,c_tptpgeo_spindleheadmt)], ~(microtheory(c_tptpgeo_spindleheadmt)) 20: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_member7_mt)], ~(microtheory(c_tptpgeo_member7_mt)) 21: [genlmt(c_tptpgeo_spindleheadmt,c_worldgeographymt)] 22: ~(genlmt(c_tptpgeo_spindleheadmt,c_worldgeographymt)), ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [genlmt( c_tptpgeo_member7_mt,c_worldgeographymt)] 23: ~(genlmt(c_tptpgeo_member7_mt,c_worldgeographymt)), [mtvisible( c_worldgeographymt)], ~(mtvisible(c_tptpgeo_member7_mt)) 24: ~(genlmt(c_tptpgeo_member7_mt,c_worldgeographymt)), [microtheory( c_worldgeographymt)] 25: [genlmt(c_worldgeographymt,c_worldgeographymt)], ~(microtheory(c_worldgeographymt)) 26: [geolevel_3(c_georegion_l3_x17_y24)], ~(mtvisible(c_worldgeographymt)) Gamma_27: (extend-conflict) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [inregion( c_geolocation_x53_y74,c_georegion_l3_x17_y24)], ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)) 9: ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)), [spatialthing_nonsituational( c_georegion_l3_x17_y24)] 10: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] 11: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l4_x53_y74)] 12: [inregion(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~(spatialthing_nonsituational(c_georegion_l3_x17_y24)) 13: [geographicalsubregions(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~( geographicalregion(c_georegion_l4_x53_y74)) 14: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~( geographicalregion(c_georegion_l3_x17_y24)) 15: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)] 16: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [mtvisible( c_tptpgeo_spindleheadmt)], ~(mtvisible(c_tptpgeo_member7_mt)) 17: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_member7_mt)] 18: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_spindleheadmt)] 19: [genlmt(c_tptpgeo_spindleheadmt,c_tptpgeo_spindleheadmt)], ~(microtheory(c_tptpgeo_spindleheadmt)) 20: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_member7_mt)], ~(microtheory(c_tptpgeo_member7_mt)) 21: [genlmt(c_tptpgeo_spindleheadmt,c_worldgeographymt)] 22: ~(genlmt(c_tptpgeo_spindleheadmt,c_worldgeographymt)), ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [genlmt( c_tptpgeo_member7_mt,c_worldgeographymt)] 23: ~(genlmt(c_tptpgeo_member7_mt,c_worldgeographymt)), [mtvisible( c_worldgeographymt)], ~(mtvisible(c_tptpgeo_member7_mt)) 24: ~(genlmt(c_tptpgeo_member7_mt,c_worldgeographymt)), [microtheory( c_worldgeographymt)] 25: [genlmt(c_worldgeographymt,c_worldgeographymt)], ~(microtheory(c_worldgeographymt)) 26: [geolevel_3(c_georegion_l3_x17_y24)], ~(mtvisible(c_worldgeographymt)) 27: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(geolevel_3(c_georegion_l3_x17_y24))] Gamma_28: (move) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [inregion( c_geolocation_x53_y74,c_georegion_l3_x17_y24)], ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)) 9: ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)), [spatialthing_nonsituational( c_georegion_l3_x17_y24)] 10: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] 11: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l4_x53_y74)] 12: [inregion(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~(spatialthing_nonsituational(c_georegion_l3_x17_y24)) 13: [geographicalsubregions(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~( geographicalregion(c_georegion_l4_x53_y74)) 14: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~( geographicalregion(c_georegion_l3_x17_y24)) 15: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)] 16: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [mtvisible( c_tptpgeo_spindleheadmt)], ~(mtvisible(c_tptpgeo_member7_mt)) 17: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_member7_mt)] 18: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_spindleheadmt)] 19: [genlmt(c_tptpgeo_spindleheadmt,c_tptpgeo_spindleheadmt)], ~(microtheory(c_tptpgeo_spindleheadmt)) 20: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_member7_mt)], ~(microtheory(c_tptpgeo_member7_mt)) 21: [genlmt(c_tptpgeo_spindleheadmt,c_worldgeographymt)] 22: ~(genlmt(c_tptpgeo_spindleheadmt,c_worldgeographymt)), ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [genlmt( c_tptpgeo_member7_mt,c_worldgeographymt)] 23: ~(genlmt(c_tptpgeo_member7_mt,c_worldgeographymt)), [mtvisible( c_worldgeographymt)], ~(mtvisible(c_tptpgeo_member7_mt)) 24: ~(genlmt(c_tptpgeo_member7_mt,c_worldgeographymt)), [microtheory( c_worldgeographymt)] 25: [genlmt(c_worldgeographymt,c_worldgeographymt)], ~(microtheory(c_worldgeographymt)) 26: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(geolevel_3(c_georegion_l3_x17_y24))] 27: [geolevel_3(c_georegion_l3_x17_y24)], ~(mtvisible(c_worldgeographymt)) Gamma_29: (resolve) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [inregion( c_geolocation_x53_y74,c_georegion_l3_x17_y24)], ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)) 9: ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)), [spatialthing_nonsituational( c_georegion_l3_x17_y24)] 10: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] 11: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l4_x53_y74)] 12: [inregion(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~(spatialthing_nonsituational(c_georegion_l3_x17_y24)) 13: [geographicalsubregions(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~( geographicalregion(c_georegion_l4_x53_y74)) 14: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~( geographicalregion(c_georegion_l3_x17_y24)) 15: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)] 16: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [mtvisible( c_tptpgeo_spindleheadmt)], ~(mtvisible(c_tptpgeo_member7_mt)) 17: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_member7_mt)] 18: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_spindleheadmt)] 19: [genlmt(c_tptpgeo_spindleheadmt,c_tptpgeo_spindleheadmt)], ~(microtheory(c_tptpgeo_spindleheadmt)) 20: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_member7_mt)], ~(microtheory(c_tptpgeo_member7_mt)) 21: [genlmt(c_tptpgeo_spindleheadmt,c_worldgeographymt)] 22: ~(genlmt(c_tptpgeo_spindleheadmt,c_worldgeographymt)), ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [genlmt( c_tptpgeo_member7_mt,c_worldgeographymt)] 23: ~(genlmt(c_tptpgeo_member7_mt,c_worldgeographymt)), [mtvisible( c_worldgeographymt)], ~(mtvisible(c_tptpgeo_member7_mt)) 24: ~(genlmt(c_tptpgeo_member7_mt,c_worldgeographymt)), [microtheory( c_worldgeographymt)] 25: [genlmt(c_worldgeographymt,c_worldgeographymt)], ~(microtheory(c_worldgeographymt)) 26: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(geolevel_3(c_georegion_l3_x17_y24))] 27: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(mtvisible(c_worldgeographymt))] Gamma_30: (extend-conflict) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [inregion( c_geolocation_x53_y74,c_georegion_l3_x17_y24)], ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)) 9: ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)), [spatialthing_nonsituational( c_georegion_l3_x17_y24)] 10: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] 11: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l4_x53_y74)] 12: [inregion(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~(spatialthing_nonsituational(c_georegion_l3_x17_y24)) 13: [geographicalsubregions(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~( geographicalregion(c_georegion_l4_x53_y74)) 14: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~( geographicalregion(c_georegion_l3_x17_y24)) 15: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)] 16: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [mtvisible( c_tptpgeo_spindleheadmt)], ~(mtvisible(c_tptpgeo_member7_mt)) 17: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_member7_mt)] 18: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_spindleheadmt)] 19: [genlmt(c_tptpgeo_spindleheadmt,c_tptpgeo_spindleheadmt)], ~(microtheory(c_tptpgeo_spindleheadmt)) 20: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_member7_mt)], ~(microtheory(c_tptpgeo_member7_mt)) 21: [genlmt(c_tptpgeo_spindleheadmt,c_worldgeographymt)] 22: ~(genlmt(c_tptpgeo_spindleheadmt,c_worldgeographymt)), ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [genlmt( c_tptpgeo_member7_mt,c_worldgeographymt)] 23: ~(genlmt(c_tptpgeo_member7_mt,c_worldgeographymt)), [mtvisible( c_worldgeographymt)], ~(mtvisible(c_tptpgeo_member7_mt)) 24: ~(genlmt(c_tptpgeo_member7_mt,c_worldgeographymt)), [microtheory( c_worldgeographymt)] 25: [genlmt(c_worldgeographymt,c_worldgeographymt)], ~(microtheory(c_worldgeographymt)) 26: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(geolevel_3(c_georegion_l3_x17_y24))] 27: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(mtvisible(c_worldgeographymt))] Gamma_31: (move) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [inregion( c_geolocation_x53_y74,c_georegion_l3_x17_y24)], ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)) 9: ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)), [spatialthing_nonsituational( c_georegion_l3_x17_y24)] 10: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] 11: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l4_x53_y74)] 12: [inregion(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~(spatialthing_nonsituational(c_georegion_l3_x17_y24)) 13: [geographicalsubregions(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~( geographicalregion(c_georegion_l4_x53_y74)) 14: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~( geographicalregion(c_georegion_l3_x17_y24)) 15: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)] 16: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [mtvisible( c_tptpgeo_spindleheadmt)], ~(mtvisible(c_tptpgeo_member7_mt)) 17: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_member7_mt)] 18: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_spindleheadmt)] 19: [genlmt(c_tptpgeo_spindleheadmt,c_tptpgeo_spindleheadmt)], ~(microtheory(c_tptpgeo_spindleheadmt)) 20: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_member7_mt)], ~(microtheory(c_tptpgeo_member7_mt)) 21: [genlmt(c_tptpgeo_spindleheadmt,c_worldgeographymt)] 22: ~(genlmt(c_tptpgeo_spindleheadmt,c_worldgeographymt)), ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [genlmt( c_tptpgeo_member7_mt,c_worldgeographymt)] 23: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(mtvisible(c_worldgeographymt))] 24: ~(genlmt(c_tptpgeo_member7_mt,c_worldgeographymt)), [mtvisible( c_worldgeographymt)], ~(mtvisible(c_tptpgeo_member7_mt)) 25: ~(genlmt(c_tptpgeo_member7_mt,c_worldgeographymt)), [microtheory( c_worldgeographymt)] 26: [genlmt(c_worldgeographymt,c_worldgeographymt)], ~(microtheory(c_worldgeographymt)) 27: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(geolevel_3(c_georegion_l3_x17_y24))] Gamma_32: (resolve) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [inregion( c_geolocation_x53_y74,c_georegion_l3_x17_y24)], ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)) 9: ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)), [spatialthing_nonsituational( c_georegion_l3_x17_y24)] 10: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] 11: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l4_x53_y74)] 12: [inregion(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~(spatialthing_nonsituational(c_georegion_l3_x17_y24)) 13: [geographicalsubregions(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~( geographicalregion(c_georegion_l4_x53_y74)) 14: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~( geographicalregion(c_georegion_l3_x17_y24)) 15: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)] 16: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [mtvisible( c_tptpgeo_spindleheadmt)], ~(mtvisible(c_tptpgeo_member7_mt)) 17: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_member7_mt)] 18: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_spindleheadmt)] 19: [genlmt(c_tptpgeo_spindleheadmt,c_tptpgeo_spindleheadmt)], ~(microtheory(c_tptpgeo_spindleheadmt)) 20: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_member7_mt)], ~(microtheory(c_tptpgeo_member7_mt)) 21: [genlmt(c_tptpgeo_spindleheadmt,c_worldgeographymt)] 22: ~(genlmt(c_tptpgeo_spindleheadmt,c_worldgeographymt)), ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [genlmt( c_tptpgeo_member7_mt,c_worldgeographymt)] 23: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(mtvisible(c_worldgeographymt))] 24: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(genlmt(c_tptpgeo_member7_mt,c_worldgeographymt))], ~( mtvisible(c_tptpgeo_member7_mt)) 25: ~(genlmt(c_tptpgeo_member7_mt,c_worldgeographymt)), [microtheory( c_worldgeographymt)] 26: [genlmt(c_worldgeographymt,c_worldgeographymt)], ~(microtheory(c_worldgeographymt)) 27: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(geolevel_3(c_georegion_l3_x17_y24))] Gamma_33: (extend-conflict) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [inregion( c_geolocation_x53_y74,c_georegion_l3_x17_y24)], ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)) 9: ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)), [spatialthing_nonsituational( c_georegion_l3_x17_y24)] 10: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] 11: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l4_x53_y74)] 12: [inregion(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~(spatialthing_nonsituational(c_georegion_l3_x17_y24)) 13: [geographicalsubregions(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~( geographicalregion(c_georegion_l4_x53_y74)) 14: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~( geographicalregion(c_georegion_l3_x17_y24)) 15: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)] 16: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [mtvisible( c_tptpgeo_spindleheadmt)], ~(mtvisible(c_tptpgeo_member7_mt)) 17: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_member7_mt)] 18: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_spindleheadmt)] 19: [genlmt(c_tptpgeo_spindleheadmt,c_tptpgeo_spindleheadmt)], ~(microtheory(c_tptpgeo_spindleheadmt)) 20: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_member7_mt)], ~(microtheory(c_tptpgeo_member7_mt)) 21: [genlmt(c_tptpgeo_spindleheadmt,c_worldgeographymt)] 22: ~(genlmt(c_tptpgeo_spindleheadmt,c_worldgeographymt)), ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [genlmt( c_tptpgeo_member7_mt,c_worldgeographymt)] 23: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(mtvisible(c_worldgeographymt))] 24: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(genlmt(c_tptpgeo_member7_mt,c_worldgeographymt))], ~( mtvisible(c_tptpgeo_member7_mt)) 25: ~(genlmt(c_tptpgeo_member7_mt,c_worldgeographymt)), [microtheory( c_worldgeographymt)] 26: [genlmt(c_worldgeographymt,c_worldgeographymt)], ~(microtheory(c_worldgeographymt)) 27: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(geolevel_3(c_georegion_l3_x17_y24))] Gamma_34: (move) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [inregion( c_geolocation_x53_y74,c_georegion_l3_x17_y24)], ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)) 9: ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)), [spatialthing_nonsituational( c_georegion_l3_x17_y24)] 10: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] 11: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l4_x53_y74)] 12: [inregion(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~(spatialthing_nonsituational(c_georegion_l3_x17_y24)) 13: [geographicalsubregions(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~( geographicalregion(c_georegion_l4_x53_y74)) 14: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~( geographicalregion(c_georegion_l3_x17_y24)) 15: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)] 16: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [mtvisible( c_tptpgeo_spindleheadmt)], ~(mtvisible(c_tptpgeo_member7_mt)) 17: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_member7_mt)] 18: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_spindleheadmt)] 19: [genlmt(c_tptpgeo_spindleheadmt,c_tptpgeo_spindleheadmt)], ~(microtheory(c_tptpgeo_spindleheadmt)) 20: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_member7_mt)], ~(microtheory(c_tptpgeo_member7_mt)) 21: [genlmt(c_tptpgeo_spindleheadmt,c_worldgeographymt)] 22: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(genlmt(c_tptpgeo_member7_mt,c_worldgeographymt))], ~( mtvisible(c_tptpgeo_member7_mt)) 23: ~(genlmt(c_tptpgeo_spindleheadmt,c_worldgeographymt)), ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [genlmt( c_tptpgeo_member7_mt,c_worldgeographymt)] 24: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(mtvisible(c_worldgeographymt))] 25: ~(genlmt(c_tptpgeo_member7_mt,c_worldgeographymt)), [microtheory( c_worldgeographymt)] 26: [genlmt(c_worldgeographymt,c_worldgeographymt)], ~(microtheory(c_worldgeographymt)) 27: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(geolevel_3(c_georegion_l3_x17_y24))] Gamma_35: (resolve) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [inregion( c_geolocation_x53_y74,c_georegion_l3_x17_y24)], ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)) 9: ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)), [spatialthing_nonsituational( c_georegion_l3_x17_y24)] 10: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] 11: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l4_x53_y74)] 12: [inregion(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~(spatialthing_nonsituational(c_georegion_l3_x17_y24)) 13: [geographicalsubregions(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~( geographicalregion(c_georegion_l4_x53_y74)) 14: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~( geographicalregion(c_georegion_l3_x17_y24)) 15: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)] 16: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [mtvisible( c_tptpgeo_spindleheadmt)], ~(mtvisible(c_tptpgeo_member7_mt)) 17: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_member7_mt)] 18: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_spindleheadmt)] 19: [genlmt(c_tptpgeo_spindleheadmt,c_tptpgeo_spindleheadmt)], ~(microtheory(c_tptpgeo_spindleheadmt)) 20: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_member7_mt)], ~(microtheory(c_tptpgeo_member7_mt)) 21: [genlmt(c_tptpgeo_spindleheadmt,c_worldgeographymt)] 22: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(genlmt(c_tptpgeo_member7_mt,c_worldgeographymt))], ~( mtvisible(c_tptpgeo_member7_mt)) 23: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(genlmt(c_tptpgeo_spindleheadmt,c_worldgeographymt))], ~( genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), ~(mtvisible(c_tptpgeo_member7_mt)) 24: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(mtvisible(c_worldgeographymt))] 25: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(geolevel_3(c_georegion_l3_x17_y24))] Gamma_36: (extend-conflict) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [inregion( c_geolocation_x53_y74,c_georegion_l3_x17_y24)], ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)) 9: ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)), [spatialthing_nonsituational( c_georegion_l3_x17_y24)] 10: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] 11: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l4_x53_y74)] 12: [inregion(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~(spatialthing_nonsituational(c_georegion_l3_x17_y24)) 13: [geographicalsubregions(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~( geographicalregion(c_georegion_l4_x53_y74)) 14: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~( geographicalregion(c_georegion_l3_x17_y24)) 15: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)] 16: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [mtvisible( c_tptpgeo_spindleheadmt)], ~(mtvisible(c_tptpgeo_member7_mt)) 17: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_member7_mt)] 18: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_spindleheadmt)] 19: [genlmt(c_tptpgeo_spindleheadmt,c_tptpgeo_spindleheadmt)], ~(microtheory(c_tptpgeo_spindleheadmt)) 20: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_member7_mt)], ~(microtheory(c_tptpgeo_member7_mt)) 21: [genlmt(c_tptpgeo_spindleheadmt,c_worldgeographymt)] 22: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(genlmt(c_tptpgeo_member7_mt,c_worldgeographymt))], ~( mtvisible(c_tptpgeo_member7_mt)) 23: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(genlmt(c_tptpgeo_spindleheadmt,c_worldgeographymt))], ~( genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), ~(mtvisible(c_tptpgeo_member7_mt)) 24: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(mtvisible(c_worldgeographymt))] 25: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(geolevel_3(c_georegion_l3_x17_y24))] Gamma_37: (move) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [inregion( c_geolocation_x53_y74,c_georegion_l3_x17_y24)], ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)) 9: ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)), [spatialthing_nonsituational( c_georegion_l3_x17_y24)] 10: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] 11: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l4_x53_y74)] 12: [inregion(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~(spatialthing_nonsituational(c_georegion_l3_x17_y24)) 13: [geographicalsubregions(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~( geographicalregion(c_georegion_l4_x53_y74)) 14: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~( geographicalregion(c_georegion_l3_x17_y24)) 15: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)] 16: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [mtvisible( c_tptpgeo_spindleheadmt)], ~(mtvisible(c_tptpgeo_member7_mt)) 17: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_member7_mt)] 18: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_spindleheadmt)] 19: [genlmt(c_tptpgeo_spindleheadmt,c_tptpgeo_spindleheadmt)], ~(microtheory(c_tptpgeo_spindleheadmt)) 20: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_member7_mt)], ~(microtheory(c_tptpgeo_member7_mt)) 21: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(genlmt(c_tptpgeo_spindleheadmt,c_worldgeographymt))], ~( genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), ~(mtvisible(c_tptpgeo_member7_mt)) 22: [genlmt(c_tptpgeo_spindleheadmt,c_worldgeographymt)] 23: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(genlmt(c_tptpgeo_member7_mt,c_worldgeographymt))], ~( mtvisible(c_tptpgeo_member7_mt)) 24: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(mtvisible(c_worldgeographymt))] 25: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(geolevel_3(c_georegion_l3_x17_y24))] Gamma_38: (resolve) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [inregion( c_geolocation_x53_y74,c_georegion_l3_x17_y24)], ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)) 9: ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)), [spatialthing_nonsituational( c_georegion_l3_x17_y24)] 10: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] 11: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l4_x53_y74)] 12: [inregion(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~(spatialthing_nonsituational(c_georegion_l3_x17_y24)) 13: [geographicalsubregions(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~( geographicalregion(c_georegion_l4_x53_y74)) 14: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~( geographicalregion(c_georegion_l3_x17_y24)) 15: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)] 16: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [mtvisible( c_tptpgeo_spindleheadmt)], ~(mtvisible(c_tptpgeo_member7_mt)) 17: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_member7_mt)] 18: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_spindleheadmt)] 19: [genlmt(c_tptpgeo_spindleheadmt,c_tptpgeo_spindleheadmt)], ~(microtheory(c_tptpgeo_spindleheadmt)) 20: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_member7_mt)], ~(microtheory(c_tptpgeo_member7_mt)) 21: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(genlmt(c_tptpgeo_spindleheadmt,c_worldgeographymt))], ~( genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), ~(mtvisible(c_tptpgeo_member7_mt)) 22: [~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24))], ~( genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), ~(mtvisible(c_tptpgeo_member7_mt)) 23: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(genlmt(c_tptpgeo_member7_mt,c_worldgeographymt))], ~( mtvisible(c_tptpgeo_member7_mt)) 24: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(mtvisible(c_worldgeographymt))] 25: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(geolevel_3(c_georegion_l3_x17_y24))] Gamma_39: (extend-conflict) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [inregion( c_geolocation_x53_y74,c_georegion_l3_x17_y24)], ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)) 9: ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)), [spatialthing_nonsituational( c_georegion_l3_x17_y24)] 10: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] 11: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l4_x53_y74)] 12: [inregion(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~(spatialthing_nonsituational(c_georegion_l3_x17_y24)) 13: [geographicalsubregions(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~( geographicalregion(c_georegion_l4_x53_y74)) 14: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~( geographicalregion(c_georegion_l3_x17_y24)) 15: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)] 16: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [mtvisible( c_tptpgeo_spindleheadmt)], ~(mtvisible(c_tptpgeo_member7_mt)) 17: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_member7_mt)] 18: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_spindleheadmt)] 19: [genlmt(c_tptpgeo_spindleheadmt,c_tptpgeo_spindleheadmt)], ~(microtheory(c_tptpgeo_spindleheadmt)) 20: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_member7_mt)], ~(microtheory(c_tptpgeo_member7_mt)) 21: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(genlmt(c_tptpgeo_spindleheadmt,c_worldgeographymt))], ~( genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), ~(mtvisible(c_tptpgeo_member7_mt)) 22: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt))], ~( mtvisible(c_tptpgeo_member7_mt)) 23: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(genlmt(c_tptpgeo_member7_mt,c_worldgeographymt))], ~( mtvisible(c_tptpgeo_member7_mt)) 24: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(mtvisible(c_worldgeographymt))] 25: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(geolevel_3(c_georegion_l3_x17_y24))] Gamma_40: (move) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [inregion( c_geolocation_x53_y74,c_georegion_l3_x17_y24)], ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)) 9: ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)), [spatialthing_nonsituational( c_georegion_l3_x17_y24)] 10: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] 11: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l4_x53_y74)] 12: [inregion(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~(spatialthing_nonsituational(c_georegion_l3_x17_y24)) 13: [geographicalsubregions(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~( geographicalregion(c_georegion_l4_x53_y74)) 14: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~( geographicalregion(c_georegion_l3_x17_y24)) 15: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt))], ~( mtvisible(c_tptpgeo_member7_mt)) 16: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)] 17: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [mtvisible( c_tptpgeo_spindleheadmt)], ~(mtvisible(c_tptpgeo_member7_mt)) 18: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_member7_mt)] 19: ~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), [microtheory( c_tptpgeo_spindleheadmt)] 20: [genlmt(c_tptpgeo_spindleheadmt,c_tptpgeo_spindleheadmt)], ~(microtheory(c_tptpgeo_spindleheadmt)) 21: [genlmt(c_tptpgeo_member7_mt,c_tptpgeo_member7_mt)], ~(microtheory(c_tptpgeo_member7_mt)) 22: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(genlmt(c_tptpgeo_spindleheadmt,c_worldgeographymt))], ~( genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt)), ~(mtvisible(c_tptpgeo_member7_mt)) 23: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(genlmt(c_tptpgeo_member7_mt,c_worldgeographymt))], ~( mtvisible(c_tptpgeo_member7_mt)) 24: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(mtvisible(c_worldgeographymt))] 25: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(geolevel_3(c_georegion_l3_x17_y24))] Gamma_41: (resolve) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [inregion( c_geolocation_x53_y74,c_georegion_l3_x17_y24)], ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)) 9: ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)), [spatialthing_nonsituational( c_georegion_l3_x17_y24)] 10: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] 11: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l4_x53_y74)] 12: [inregion(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~(spatialthing_nonsituational(c_georegion_l3_x17_y24)) 13: [geographicalsubregions(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~( geographicalregion(c_georegion_l4_x53_y74)) 14: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~( geographicalregion(c_georegion_l3_x17_y24)) 15: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt))], ~( mtvisible(c_tptpgeo_member7_mt)) 16: [~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24))], ~( mtvisible(c_tptpgeo_member7_mt)) 17: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(genlmt(c_tptpgeo_member7_mt,c_worldgeographymt))], ~( mtvisible(c_tptpgeo_member7_mt)) 18: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(mtvisible(c_worldgeographymt))] 19: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(geolevel_3(c_georegion_l3_x17_y24))] Gamma_42: (extend-conflict) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [inregion( c_geolocation_x53_y74,c_georegion_l3_x17_y24)], ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)) 9: ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)), [spatialthing_nonsituational( c_georegion_l3_x17_y24)] 10: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] 11: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l4_x53_y74)] 12: [inregion(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~(spatialthing_nonsituational(c_georegion_l3_x17_y24)) 13: [geographicalsubregions(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~( geographicalregion(c_georegion_l4_x53_y74)) 14: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~( geographicalregion(c_georegion_l3_x17_y24)) 15: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt))], ~( mtvisible(c_tptpgeo_member7_mt)) 16: [~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24))], ~( mtvisible(c_tptpgeo_member7_mt)) 17: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(genlmt(c_tptpgeo_member7_mt,c_worldgeographymt))], ~( mtvisible(c_tptpgeo_member7_mt)) 18: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(mtvisible(c_worldgeographymt))] 19: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(geolevel_3(c_georegion_l3_x17_y24))] Gamma_43: (move) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) 8: [~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24))], ~(mtvisible(c_tptpgeo_member7_mt)) 9: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [inregion( c_geolocation_x53_y74,c_georegion_l3_x17_y24)], ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)) 10: ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)), [spatialthing_nonsituational( c_georegion_l3_x17_y24)] 11: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] 12: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l4_x53_y74)] 13: [inregion(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~(spatialthing_nonsituational(c_georegion_l3_x17_y24)) 14: [geographicalsubregions(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~( geographicalregion(c_georegion_l4_x53_y74)) 15: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~( geographicalregion(c_georegion_l3_x17_y24)) 16: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(genlmt(c_tptpgeo_member7_mt,c_tptpgeo_spindleheadmt))], ~( mtvisible(c_tptpgeo_member7_mt)) 17: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(genlmt(c_tptpgeo_member7_mt,c_worldgeographymt))], ~( mtvisible(c_tptpgeo_member7_mt)) 18: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(mtvisible(c_worldgeographymt))] 19: ~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24)), [~(geolevel_3(c_georegion_l3_x17_y24))] Gamma_44: (resolve) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) 8: [~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24))], ~(mtvisible(c_tptpgeo_member7_mt)) 9: [~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74))], ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)), ~( mtvisible(c_tptpgeo_member7_mt)) 10: ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)), [spatialthing_nonsituational( c_georegion_l3_x17_y24)] 11: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] 12: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l4_x53_y74)] 13: [inregion(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~(spatialthing_nonsituational(c_georegion_l3_x17_y24)) 14: [geographicalsubregions(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~( geographicalregion(c_georegion_l4_x53_y74)) 15: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~( geographicalregion(c_georegion_l3_x17_y24)) Gamma_45: (extend-conflict) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) 8: [~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24))], ~(mtvisible(c_tptpgeo_member7_mt)) 9: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24))], ~( mtvisible(c_tptpgeo_member7_mt)) 10: ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)), [spatialthing_nonsituational( c_georegion_l3_x17_y24)] 11: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] 12: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l4_x53_y74)] 13: [inregion(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~(spatialthing_nonsituational(c_georegion_l3_x17_y24)) 14: [geographicalsubregions(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~( geographicalregion(c_georegion_l4_x53_y74)) 15: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~( geographicalregion(c_georegion_l3_x17_y24)) Gamma_46: (move) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24))], ~( mtvisible(c_tptpgeo_member7_mt)) 8: [inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)], ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)) 9: [~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24))], ~(mtvisible(c_tptpgeo_member7_mt)) 10: ~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24)), [spatialthing_nonsituational( c_georegion_l3_x17_y24)] 11: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] 12: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l4_x53_y74)] 13: [inregion(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~(spatialthing_nonsituational(c_georegion_l3_x17_y24)) 14: [geographicalsubregions(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~( geographicalregion(c_georegion_l4_x53_y74)) 15: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~( geographicalregion(c_georegion_l3_x17_y24)) Gamma_47: (resolve) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24))], ~( mtvisible(c_tptpgeo_member7_mt)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74))], ~( mtvisible(c_tptpgeo_member7_mt)) 9: [~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24))], ~(mtvisible(c_tptpgeo_member7_mt)) 10: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] 11: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l4_x53_y74)] 12: [geographicalsubregions(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~( geographicalregion(c_georegion_l4_x53_y74)) 13: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~( geographicalregion(c_georegion_l3_x17_y24)) Gamma_48: (extend-conflict) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 7: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24))], ~( mtvisible(c_tptpgeo_member7_mt)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74))], ~( mtvisible(c_tptpgeo_member7_mt)) 9: [~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24))], ~(mtvisible(c_tptpgeo_member7_mt)) 10: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] 11: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l4_x53_y74)] 12: [geographicalsubregions(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~( geographicalregion(c_georegion_l4_x53_y74)) 13: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~( geographicalregion(c_georegion_l3_x17_y24)) Gamma_49: (move) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74))], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)], ~( mtvisible(c_tptpgeo_member7_mt)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24))], ~( mtvisible(c_tptpgeo_member7_mt)) 9: [~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24))], ~(mtvisible(c_tptpgeo_member7_mt)) 10: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l3_x17_y24)] 11: ~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74)), [geographicalregion( c_georegion_l4_x53_y74)] 12: [geographicalsubregions(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~( geographicalregion(c_georegion_l4_x53_y74)) 13: [geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l3_x17_y24)], ~( geographicalregion(c_georegion_l3_x17_y24)) Gamma_50: (resolve) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74))], ~( mtvisible(c_tptpgeo_member7_mt)) 7: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [~(mtvisible(c_tptpgeo_member7_mt))] 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24))], ~( mtvisible(c_tptpgeo_member7_mt)) 9: [~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24))], ~(mtvisible(c_tptpgeo_member7_mt)) Gamma_51: (extend-conflict) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 2: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 4: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 5: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 6: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74))], ~( mtvisible(c_tptpgeo_member7_mt)) 7: [~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74))], ~(mtvisible(c_tptpgeo_member7_mt)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24))], ~( mtvisible(c_tptpgeo_member7_mt)) 9: [~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24))], ~(mtvisible(c_tptpgeo_member7_mt)) Gamma_52: (move) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74))], ~(mtvisible(c_tptpgeo_member7_mt)) 2: [inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)], ~(mtvisible(c_tptpgeo_member7_mt)) 3: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_geolocation_x53_y74)] 4: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [spatialthing_nonsituational( c_georegion_l4_x53_y74)] 5: [inregion(c_georegion_l4_x53_y74,c_georegion_l4_x53_y74)], ~(spatialthing_nonsituational(c_georegion_l4_x53_y74)) 6: [inregion(c_geolocation_x53_y74,c_geolocation_x53_y74)], ~(spatialthing_nonsituational(c_geolocation_x53_y74)) 7: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [~(geographicalsubregions(c_georegion_l3_x17_y24,c_georegion_l4_x53_y74))], ~( mtvisible(c_tptpgeo_member7_mt)) 8: ~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74)), [~(inregion(c_georegion_l4_x53_y74,c_georegion_l3_x17_y24))], ~( mtvisible(c_tptpgeo_member7_mt)) 9: [~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24))], ~(mtvisible(c_tptpgeo_member7_mt)) Gamma_53: (resolve) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74))], ~(mtvisible(c_tptpgeo_member7_mt)) 2: [~(mtvisible(c_tptpgeo_member7_mt))] 3: [~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24))], ~(mtvisible(c_tptpgeo_member7_mt)) Gamma_54: (extend-conflict) 0: [mtvisible(c_tptpgeo_member7_mt)] 1: [~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74))], ~(mtvisible(c_tptpgeo_member7_mt)) 2: [~(mtvisible(c_tptpgeo_member7_mt))] 3: [~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24))], ~(mtvisible(c_tptpgeo_member7_mt)) Gamma_55: (move) 0: [~(mtvisible(c_tptpgeo_member7_mt))] 1: [mtvisible(c_tptpgeo_member7_mt)] 2: [~(inregion(c_geolocation_x53_y74,c_georegion_l4_x53_y74))], ~(mtvisible(c_tptpgeo_member7_mt)) 3: [~(inregion(c_geolocation_x53_y74,c_georegion_l3_x17_y24))], ~(mtvisible(c_tptpgeo_member7_mt)) Gamma_56: (resolve) 0: [~(mtvisible(c_tptpgeo_member7_mt))] 1: [] SZS status Unsatisfiable