AN EVENT STRUCTURE SEMANTICS FOR SAFE GRAPH-GRAMMARS