A.L=((x,(a,B)),(x,(a,B),y)) B.A=(s,(a,B)) C.B=((x,(a,B),y)) D.D=((a,B),(c,(a,B),D)
A.x B.(a,B) C.(x,(a,B)) D.A