A long time ago, we used to have an option for the goal list: you could include the word
"disjunction", and the goals would be ORed together, rather than ANDed together. Somewhat less long ago, hola removed it, presumably because he thought it was unintuitive - pending a better way to specify goals, perhaps.
I used to use it, occasionally. I stopped, when it was no longer possible.