Goals and benchmarks for automated map reasoning