If a truth-test is proved to be entailed by the ontology, then we decide that the knowledge in the WordNet pairs that yield the corresponding CQ is compatible with SUMO and the mapping information.
we conclude that those WordNet pairs are well-aligned -or simply alignedwith SUMO and the mapping information.