The lower half of Figure 9 is intended to show that at the time when all the passengers have passed through the gate, the resulting distribution is partitioned into those who have passed through the west gate and those who have passed through the east gate.
disjunction in (19) gets "and"-reading.