\q1
\v=19
\v~=He also pours out frost on the earth like salt. 
\¬q1
\q2
\p~<<q2=When it is freezes, it has points like thorns. 
\¬q2
\¬v