PLN rules to deal with Allen Interval Algebra composition

As outlined by @bgoertzel [here](https://groups.google.com/forum/#!topic/opencog/A6ruhhF4Ek0), I created PLN rules to deal with Allen Interval Algebra composition as explained [here](http://www.ics.uci.edu/~alspaugh/cls/shr/allen.html). Based on a look-up table listing all the composition outputs, a rule is generated which takes the required links as input and outputs the specified relations. In total, there are 169 such rules. I guess this is the result envisioned by Ben. I'm looking forward to feedback and advice. Keyvan's fuzzy Allen Interval Algebra implementation contains a composition folder as well, but -- without a README -- I wasn't yet able to understand its purpose or how to use the framework that Keyvan has created.
Thanks for reminding me of the connection to the general concepts. I think the following BindLink will find the specific concept instances.
```
(BindLink
    (ListLink
        (TypedVariableLink
             (VariableNode "$A")
             (VariableTypeNode "PredicateNode"))
        (TypedVariableLink
             (VariableNode "$B")
             (VariableTypeNode "ConceptNode"))
         (TypedVariableLink
             (VariableNode "$C")
             (VariableTypeNode "ConceptNode"))
    (ImplicationLink
        (ListLink
            (InheritanceLink
                (VariableNode "$A")
                (PredicateNode "breathe"))
            (InheritanceLink
                (VariableNode "$B")
                (ConceptNode "Socrates"))
            (InheritanceLink
                (VariableNode "$C")
                (ConceptNode "air"))
            (EvaluationLink
                (VariableNode "$A")
                (ListLink
                    (VariableNode "$B")
                    (VariableNode "$C")))
        (ExecutionLink
            (GroundedSchemaNode "scm: display 'Inference found!'")))
```
What should the BindLink do when the link is actually found? Just printing "Inference found!" seems like an understatement. So, I would then use
```
bind_link = scheme_eval_h(atomspace, the_bind_link_as_a_string_as_seen_above)
```
Is this the right usage? I've observed ```scheme_eval_h``` being used with ConceptNodes and queries, but not with BindLinks yet.