Memory-Inductive Categorial Grammar, abbreviated MICG, is a version of pure categorial grammar extended by ellipsis-based analysis.
it relies on antecedent memorization, gap induction, and gap resolution that outperform CCG's functional composition and type raising.