Todo-rule for be+able+to
add examples
MOSES: get rid of penalized_behavioral_score

This object was not general enough to deal with the various different
scoring adjustments that need to be made.
moses scoring: get rid of the overloaded accessors
Merge remote-tracking branch 'rodsol/r2l' into r2l_rule
Added to-do-rule-5
Added AbductionRule, modified stvs for Socrates demo to work
AbductionRule falsely used inductionFormula
Created file for debugging r2l output
Load from different file
fix to-do-rule-4
Added stvs to ConceptNodes for testing r2l output
Changed strength of ConceptNodes to get AbductionRule to work

AbductionRule didn't work with stvs of 1.0 1.0; with 0.1 1.0 it does. Suggested by @williampma. Thanks.
Rename the bscore_based_cscore class
Improved documentation for scroing functions
correct implementation of complexity computation.
Update relex-to-logic.scm
Restore the computation of the complexity penalty.
Merge pull request #1 from ruiting/patch-1

correct to-do-rule-5
Merge remote-tracking branch 'rodsol/r2l' into r2l_rule