Критерии полноты для множества силлогистических константдоклад на конференции