Structural Summarization of Semantic Graphs