P1(B(P1C(C)(C)C)N(C(C)C)C(C)C)C(C)(C)C