... I haven't come up with any, but maybe there ... game boards. Consider an In/Out game with a "not both" rule b/t A ... ; (2) B in, A out; (3) A and B both out ... sense. But if splitting triggers a cascade of inferences, then ... to write out the sub-game boards as much as ...