dido:01-fdis-ra:01-introduction:01-4-scope:01-4-1-in-scope:01-4-1-2-semantic-interpretation-and-validation:start