Предикатный вариант объединённой логики задач и высказыванийдоклад на конференции