(A(BD)(EF)) (AB(EF)) A(EF)) AE) A