1. {(w,g)}[∃x.man(x)]
- = {(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])}
-- Bob and Carl are men
2. {(w,g)}[∃x.woman(x)]
3. {(w,g)}[∃x∃y.man(x) and man(y)]
- 4. {(w,n,r,g)}[∃x∃y.x=y]
+ 4. {(w,g)}[∃x∃y.x=y]
Running the [[code|code/gsv.ml]] gives the answers.