Changed file name, added contextual inference example
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
new dump file
add more test and debug stuff
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