The semantics of legal elements is not in the blocks but is explicitly added.
An example for semantics is that a claim occurs either between the due and the expiration date or never.
The legal semantic is currently added during the SMT encoding.
An improvement is to separately add the legal semantic to the xml schema and, then, to encode it in SMT.
In addition, remove the outdated parts of the SMT encoding in file UmlAnalysisContractAbstract.
The semantics of legal elements is not in the blocks but is explicitly added.
An example for semantics is that a claim occurs either between the due and the expiration date or never.
The legal semantic is currently added during the SMT encoding.
An improvement is to separately add the legal semantic to the xml schema and, then, to encode it in SMT.
In addition, remove the outdated parts of the SMT encoding in file UmlAnalysisContractAbstract.