Title: Completeness and decidability of the mixed style of inference with composition
Subjects: Composition (Language arts), Inference, Mathematical models