... game board up into sub-game boards. Consider an In/Out game with a ... "not both" rule b/t A and ... ; (2) B in, A out; (3) A and B both out ... . But if splitting triggers a cascade of inferences, then ... to write out the sub-game boards as much as ...