Has been manually accepted!
Clashes with none of the active correspondences.
Clashes with some of the active correspondences.
Has been automatically dismissed (due to the manzual acceptance of another correspondence).
Has been manually dismissed!NOTICE: Everything annotated as and
will be interpreted as ACCEPT, while and will be interpreted as REJECT.
The mapping contains 12 correspondences, 0 of these correspondences are involved in a conflict, at least 0 has/have to be removed to resolve all incoherencies that can be detected with incomlete structural reasoning.