Transformational syntax and model etc by MacCloskey