Process A, A1, B, B1
Event m, n, p, q

A  <- m A1
A1 <- p q A

B  <- n B1
B1 <- q p B

display ~(A*B)