The pro-form so gets the functor appropriate to the valency modification it substitutes and a coreference arrow will point to its antecedent predication.
(John hasn't found a job yet). He told me
so.EFF
yesterday.
The pro-form not becomes
the negative rhematizer #Neg.RHEM and is governed by
the copied predication. Obligatory valency modifications are to be
inserted and provided with coreference arrows pointing to their
respective antecedents.
(John says
he.ACT will get a
job.PAT tomorrow.) I
think not. = I think
#PersPron.ACT
will #Neg.RHEM get
#PersPron.PAT.