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