Several ontologies have been built for the representation of legal concepts (Hoekstra et al., 2009;Wyner and Hoekstra, 2012), and there are formal languages for the representation of the content of legal documents, such as SBVR (OMG, 2008) and LegalRuleML (Athan et al., 2015).
a direct translation from natural language, particularly legal language, into a given formal language is extremely difficult to accomplish.