[MX1 [X1]@S.|[Z(JTL)
[MX1 [X2]@S.|[Z(JTL)
[MX2 [X1]@A.JC[(}n)
[MX2 [X2]@C.|[Z(JTL)