moses: start an alternate attempt at boosting pecision
moses: rest of the non-exact precision implementation
moses: expose new boosting varients with options.
moses: status update
Merge pull request #986 from linas/moses-select6

Moses: alternate variant of precision boosting
Created syllogism scm files, README, py file
Added premises for syllogism, demo, notes
Added comments to boat negative syllogism
Added file handling, utilities to syllogism test
Added test for output atoms
Added test for desired/undesired outputs
Added quantifier representation
Updated abductive syllogism
Created file to load r2l representation in Python
Put program in main method
Changes/additions to loading r2l representation
Added explanations, details to README