Text this: Coherency through formalisations of Structured Natural Language, A case study on FRETish