$! o1
N x a b
x (_. BOT) c

$! o2
N x (y (_. BOT) a) c
x (y a PAC) d

$! o3
D y (x a1 BOMB c) (x BOMB b1 d)
C y (x a2 BOMB c) (x BOMB b1 d)
  y (x a1 BOMB c) (x BOMB b2 d)


$! o4
D x BOMB a1 c
x y BOMB d

$! o6
D x BOMB
C x y