amalgame/commit

FIXED: broken logic in ambiguity hint

author	Jacco van Ossenbruggen
	Fri Dec 19 10:40:46 2014 +0100
committer	Jacco van Ossenbruggen
	Fri Dec 19 10:40:46 2014 +0100
commit	1f326eff2cfc8a2fe0792a67a2952bcee6e79f09
tree	206cab8ef268f33ca6c325707ecc47c7b47e1d64
parent	302ad5d82ca72b7cf7fec78a2935db68744a2949

Diff style: patch stat

diff --git a/api/hints.pl b/api/hints.pl
index 79b00b9..2e10edc 100644
--- a/api/hints.pl
+++ b/api/hints.pl
@@ -293,8 +293,7 @@ needs_disambiguation(Strategy, Focus, Mapping) :-
 	option(totalCount(N), Stats),
 	option(mappedSourceConcepts(SC), Stats),
 	option(mappedTargetConcepts(TC), Stats),
-	N \= SC,
-	N \= TC.
+	(   N \= SC; N \= TC ).
 
 is_known_to_be_disambiguous(Strategy, Focus, Focus) :-
 	rdf_has(Focus, amalgame:discardedBy, Process),