Text this: Subsummation automata in conceptual graphs