allen_composition function

Composition of Allen Relations