It is not possible to do a combination of a belief and goal test using a disjunction, while a conjunction does work. So if (B(X) && G(X)) is possible, but if (B(X) || G(X)) is not possible.
Log in to post a comment.
