multiclause nondeterminism lp workaround
- use list processing to simulate "or"