On Tue, 10 Sep 2019 01:26:15 -0500, Julian Fondren <jfondren at minimaltype.com> wrote: > Is there a right way to do a disjunction over semidet predicates like > this, or is turning them into the bools the best you can do if you > want a disjunction over all the cases? The latter: turning them into bools is the best you can do. Zoltan.