Email Record: Reasoning and unification over conceptual graphs /