I would appreciate if anyone can suggest proper punctuation for an OR operator. DeBoer Guide suggests";" but using that causes error. In the example below the following predicate succeeds if xpositive2(_,1,9) AND xpositive2(_,4,11) both are true. If the intention is for the predicate to succeed if xpositive2(_,1,9) OR xpositive2(_,4,11) either one is true, what is the proper punctuation.