...
Explain the process. Put emphasis on the fact that concepts are being analysed. These are “named things”, not structural elements such as xsd:choice, xsd:sequence. There is no need to look at structural elements. No need to consider syntax.
semantic correspondence between textual definitions of the OUA and AIRM
...
Completeness: Check that the sematic semantic correspondence contains one of the four options.
...