- = {(w,g[n->a])}[man(x)] ++ {(w,g[n->b])}[man(x)]
- ++ {(w,g[n->c])}[man(x)]
- = {} ++ {(w,g[n->b])} ++ {(w,g[n->c])}
- = {(w,g[n->a]),(w,g[n->b]),(w,g[n->c])}
+ = {(w,g[x->a])}[man(x)] ++ {(w,g[x->b])}[man(x)]
+ ++ {(w,g[x->c])}[man(x)]
+ = {} ++ {(w,g[x->b])} ++ {(w,g[x->c])}
+ = {(w,g[x->a]),(w,g[x->b]),(w,g[x->c])}