If the semantics of exactMatch are (10.1) that such a relationship indicates "a high degree of confidence that the concepts can be used interchangeably across a wide range of information retrieval applications", then I cannot understand what it would mean to assert "Not(A exactMatch A)"