так: “За выходные он обнаружил свыше 10 тысяч документов, все их просмотрел в поиске отрывков, содержащих относящуюся к делу информацию, разделил найденные отрывки на утверждения с помощью исчисления предикатов высшего порядка и поместил эти утверждения в базу данных”. Л