Элемент 'automated logic reasoning'