I need:

1- A set of natural language (NL) rules or a legal text made of NL sentences

2- The formal requirements extracted from these NL rules (or from the legal document)

3- Related resources (e.g terminologies, ontologies) required for the transformaltion NL -> formal expression

Similar questions and discussions