Thank you David, I will do something similar.
2018-05-05 3:12 GMT+02:00 David G. Johnston <david(dot)g(dot)johnston(at)gmail(dot)com>:
> On Friday, May 4, 2018, Havasvölgyi Ottó <havasvolgyi(dot)otto(at)gmail(dot)com>
> wrote:
>
>>
>> Now I am thinking about splitting the input text myself to terms, then
>> searching and ranking the documents for each term.
>>
>
> Maybe do: replace(input_text, ' ', ' | ')
>
> David J.
>