Coherency through formalisations of Structured Natural Language, A case study on FRETish (ArXiv cs.LO Recent Papers, 2026)