Changed file name, added contextual inference example
Todo-rule for be+able+to
add examples
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.
Update relex-to-logic.scm
Merge pull request #1 from ruiting/patch-1

correct to-do-rule-5
Merge remote-tracking branch 'rodsol/r2l' into r2l_rule
Corrected typo
Added exact PLN input as produced by R2L
Modified stvs of ConceptNodes in SVO and be-inheritance-rule