If someone is tall, then he is bigger than Rachel
This
sentence has the form of a conditional, so we begin with two predicates, one
on either side of a horseshoe. The statement is not just a simple conditional,
though, because of the anaphoric pronoun "he". How are we to symbolize
this pronoun?
All dogs bark
Someone works for Nadia
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
Every dog that has an owner obeys him
The man Karen adores is friends with Bob
T1
B2
P1'he'
r