a->w+!a+b*(c->r)
