Grope: a graph processing language and its formal definition.