The GOAL Grammar Tools