Partial Proof Trees as Building Blocks for a Categorial Grammar · Study