Now supports bindings between Sentence and the Subterm, added tests that shows that.
Ignoring files