In this paper we present a framework to analyze conflicts of contracts written in structured English.A Experimental study on performance of rubber-fly ash-based mine floor fissure grouting material contract that has manually been rewritten in a structured English is automatically translated into a formal language using the Grammatical Framework (GF).In particular we use the contract language CL as a target formal language for this translation.In our framework CL specifications could then be input into the tool CLAN Redéfinition des récits urbains : analyse de deux déplacements du centre politique de Macapá (1944 et 1967) to detect the presence of conflicts (whether there are contradictory obligations, permissions, and prohibitions.We also use GF to get a version in (restricted) English of CL formulae.
We discuss the implementation of such a framework.