Logic in Action

Someone works for Nadia

W²

P¹

We start with the sentence in matrix form, then apply the existential quantifier procedure, starting by sliding the quantifer out.

All dogs bark
Everyone loves someone
Some cup was put on every table by some man
There's a time at which everyone eats every doughnut
Only philosophers wear only diamonds
Every cat that cleans himself cleans an animal that catches mice
If someone is tall, then he is bigger than Rachel
Every dog that has an owner obeys him
The man Karen adores is friends with Bob

Dictionary

n