A Type-Driven Tensor-Based Semantics for CCG · Study