Lambek_calculus loading ...