added comment in FORALLFormula to explain it is a heuristic
added comment in FORALLFormula to explain it is a heuristic
williampma/atomspace,AmeBel/atomspace,gavrieltal/opencog,misgeatgit/opencog,sumitsourabh/opencog,kim135797531/opencog,kinoc/opencog,anitzkin/opencog,Allend575/opencog,anitzkin/opencog,misgeatgit/opencog,andre-senna/opencog,zhaozengguang/opencog,yantrabuddhi/opencog,Selameab/opencog,misgeatgit/atomspace,inflector/opencog,williampma/atomspace,Selameab/opencog,roselleebarle04/opencog,AmeBel/atomspace,sanuj/opencog,tim777z/opencog,williampma/opencog,yantrabuddhi/atomspace,Allend575/opencog,gaapt/opencog,Tiggels/opencog,sumitsourabh/opencog,gavrieltal/opencog,jlegendary/opencog,virneo/opencog,shujingke/opencog,tim777z/opencog,ruiting/opencog,cosmoharrigan/atomspace,iAMr00t/opencog,rohit12/opencog,misgeatgit/opencog,MarcosPividori/atomspace,eddiemonroe/atomspace,cosmoharrigan/opencog,sumitsourabh/opencog,iAMr00t/opencog,inflector/opencog,Selameab/opencog,printedheart/opencog,cosmoharrigan/atomspace,iAMr00t/opencog,ceefour/atomspace,prateeksaxena2809/opencog,cosmoharrigan/atomspace,kinoc/opencog,misgeatgit/opencog,UIKit0/atomspace,virneo/opencog,iAMr00t/opencog,eddiemonroe/atomspace,Tiggels/opencog,rodsol/opencog,williampma/opencog,AmeBel/opencog,misgeatgit/opencog,andre-senna/opencog,rodsol/opencog,MarcosPividori/atomspace,williampma/atomspace,printedheart/atomspace,printedheart/atomspace,kinoc/opencog,yantrabuddhi/atomspace,williampma/atomspace,inflector/opencog,eddiemonroe/opencog,gaapt/opencog,sanuj/opencog,yantrabuddhi/opencog,rohit12/opencog,prateeksaxena2809/opencog,misgeatgit/atomspace,rohit12/atomspace,ruiting/opencog,shujingke/opencog,virneo/atomspace,ceefour/opencog,virneo/opencog,Allend575/opencog,jswiergo/atomspace,gavrieltal/opencog,kim135797531/opencog,virneo/opencog,cosmoharrigan/atomspace,printedheart/opencog,sumitsourabh/opencog,Allend575/opencog,kim135797531/opencog,prateeksaxena2809/opencog,eddiemonroe/opencog,inflector/atomspace,kinoc/opencog,jswiergo/atomspace,yantrabuddhi/opencog,MarcosPividori/atomspace,roselleebarle04/opencog,virneo/atomspace,TheNameIsNigel/opencog,tim777z/opencog,virneo/atomspace,ArvinPan/opencog,williampma/opencog,rTreutlein/atomspace,inflector/atomspace,anitzkin/opencog,jlegendary/opencog,rodsol/opencog,prateeksaxena2809/opencog,Allend575/opencog,AmeBel/atomspace,AmeBel/opencog,ArvinPan/atomspace,ArvinPan/atomspace,jlegendary/opencog,TheNameIsNigel/opencog,jswiergo/atomspace,sumitsourabh/opencog,rodsol/opencog,eddiemonroe/opencog,ArvinPan/atomspace,iAMr00t/opencog,gaapt/opencog,andre-senna/opencog,kinoc/opencog,TheNameIsNigel/opencog,cosmoharrigan/opencog,ceefour/opencog,shujingke/opencog,andre-senna/opencog,eddiemonroe/opencog,AmeBel/atomspace,zhaozengguang/opencog,roselleebarle04/opencog,printedheart/atomspace,rohit12/opencog,sumitsourabh/opencog,Selameab/atomspace,AmeBel/opencog,prateeksaxena2809/opencog,gaapt/opencog,ArvinPan/atomspace,eddiemonroe/atomspace,roselleebarle04/opencog,ruiting/opencog,eddiemonroe/opencog,Allend575/opencog,Selameab/atomspace,misgeatgit/atomspace,misgeatgit/atomspace,virneo/opencog,sanuj/opencog,cosmoharrigan/opencog,sumitsourabh/opencog,yantrabuddhi/opencog,eddiemonroe/opencog,ceefour/opencog,shujingke/opencog,inflector/opencog,jlegendary/opencog,virneo/atomspace,kinoc/opencog,andre-senna/opencog,anitzkin/opencog,virneo/opencog,AmeBel/atomspace,printedheart/opencog,sanuj/opencog,yantrabuddhi/atomspace,williampma/opencog,Tiggels/opencog,kim135797531/opencog,roselleebarle04/opencog,yantrabuddhi/atomspace,gavrieltal/opencog,rodsol/atomspace,shujingke/opencog,rTreutlein/atomspace,inflector/opencog,Selameab/opencog,printedheart/opencog,yantrabuddhi/opencog,Tiggels/opencog,shujingke/opencog,yantrabuddhi/opencog,andre-senna/opencog,AmeBel/opencog,AmeBel/opencog,tim777z/opencog,printedheart/opencog,virneo/opencog,zhaozengguang/opencog,yantrabuddhi/atomspace,cosmoharrigan/opencog,inflector/opencog,inflector/opencog,prateeksaxena2809/opencog,jlegendary/opencog,yantrabuddhi/opencog,ceefour/atomspace,cosmoharrigan/opencog,jlegendary/opencog,zhaozengguang/opencog,ceefour/atomspace,sanuj/opencog,shujingke/opencog,inflector/atomspace,printedheart/atomspace,anitzkin/opencog,iAMr00t/opencog,prateeksaxena2809/opencog,misgeatgit/opencog,gavrieltal/opencog,rohit12/opencog,gavrieltal/opencog,ruiting/opencog,williampma/opencog,Tiggels/opencog,misgeatgit/opencog,ceefour/opencog,rTreutlein/atomspace,roselleebarle04/opencog,gavrieltal/opencog,misgeatgit/opencog,Selameab/opencog,Selameab/atomspace,ruiting/opencog,ceefour/opencog,TheNameIsNigel/opencog,inflector/opencog,UIKit0/atomspace,tim777z/opencog,UIKit0/atomspace,rodsol/opencog,rodsol/opencog,AmeBel/opencog,gaapt/opencog,MarcosPividori/atomspace,kim135797531/opencog,TheNameIsNigel/opencog,rodsol/atomspace,kinoc/opencog,misgeatgit/atomspace,ArvinPan/opencog,rTreutlein/atomspace,rohit12/atomspace,anitzkin/opencog,ruiting/opencog,ArvinPan/opencog,ceefour/opencog,Selameab/opencog,zhaozengguang/opencog,tim777z/opencog,Selameab/atomspace,ruiting/opencog,williampma/opencog,jswiergo/atomspace,rohit12/atomspace,jlegendary/opencog,rTreutlein/atomspace,TheNameIsNigel/opencog,ArvinPan/opencog,Allend575/opencog,kim135797531/opencog,cosmoharrigan/opencog,inflector/atomspace,eddiemonroe/opencog,rodsol/atomspace,ceefour/opencog,misgeatgit/opencog,ArvinPan/opencog,rohit12/opencog,AmeBel/opencog,Tiggels/opencog,gaapt/opencog,kim135797531/opencog,anitzkin/opencog,inflector/atomspace,andre-senna/opencog,zhaozengguang/opencog,rohit12/atomspace,printedheart/opencog,ArvinPan/opencog,UIKit0/atomspace,sanuj/opencog,eddiemonroe/atomspace,eddiemonroe/atomspace,rodsol/atomspace,rohit12/opencog,gaapt/opencog,ceefour/atomspace,roselleebarle04/opencog