(A)x(1)x(a)
(B)x(3)x(a)
(A,B)x(2)x(a)