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
dd new types, per recent email discussions
Add a GreaterThanLink
Start work on a greater-than link
Implement a c++:greater func for GreaterThanLink
Add documentation
Merge remote-tracking branch 'upstream/master' into r2l_rule
Fix misc errors.
Defined default stv and applied it to all rule outputs
Merge pull request #796 from williampma/r2l_rule

Combined all TO-DO rule changes
Added separate default stvs for links and nodes
introduce a post-match callback
Fix inconsistent file name