First steps for semantic validation
First attempt of temporal constraint validation