Text this: A Transformation-Based Approach to Implication of GSTE Assertion Graphs