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