The top documents tagged [lambek calculus semantics]