Text this: Reasoning and unification over conceptual graphs/