Hi folks, Steve Chong and I are hammering out a paper on the graph logic that I talked about a few months ago at the Olinfest. We are targetting either ESOP or FOSSACS, not sure which yet. A draft version is available at www.ccs.neu.edu/home/riccardo/tmp/ draft-spatial.pdf Comments more than welcome. Cheers, Riccardo