NOTICE: Everything annotated as
and
will be interpreted as ACCEPT, while
and
will be interpreted as REJECT.
The mapping contains 16 correspondences, 2 of these correspondences are involved in a conflict, at least 1 has/have to be removed to resolve all incoherencies that can be detected with incomlete structural reasoning.