S=P(NC)(N(C)C)N(C)C