Element 'automated logic reasoning'