Todo-rule for be+able+to
add examples
Merge remote-tracking branch 'rodsol/r2l' into r2l_rule
Added to-do-rule-5
fix to-do-rule-4
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
Merge remote-tracking branch 'upstream/master' into r2l_rule
Merge pull request #796 from williampma/r2l_rule

Combined all TO-DO rule changes