Create documentation about semantic validation

[devcdcc]

This should include a diagram and explanation of how we are going to validate the logic.
Also, you should define the logic and respective issues related to the semantic analysis process.