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

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

$! 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