"(C2 x (C7 : C4)) : C2"
