Optional division Lambek calculus grammarsдоклад на конференции