Closure properties of the compositional rule of inference