Subdeletion and the Lambek Calculus