\q1 \v=9 \v~=O Jerusalem, the holy city, \¬q1 \q2 \p~<