I

Domain: Everyone

p: Philosopher

t: Thinking

w: Writing

u: Universe

Px: x is a philosopher

Bxyz: can stop x or y about the z

(3x)(PX)→(Btwu