Resultado de la búsqueda: un enunciado declarativo es