lambek_calculus