( (IP-MAT (NP-SBJ (PRO I;{I}))
          (BEP;_cat_Vg_ am;{be})
          (IP-PPL-CAT (VAG;_Ipr_ writing;{write[to]})
                      (PP-CLR (P-ROLE to;{to})
                              (NP (PRO you;{you}))))
          (PP-SCON (IP-INF (TO to;{to})
                           (VB;_Tn.pr_ update;{update})
                           (NP-OB1 (PRO you;{you}))
                           (PP-CLR (P-ROLE on;{on})
                                   (NP (D the;{the})
                                       (NS steps;{step})
                                       (IP-REL (NP-SBJ (PRO we;{we}))
                                               (BEP;_cat_Vg_ are;{be})
                                               (IP-PPL-CAT (NP-OB1 *T*)
                                                           (VAG;_Tn_ taking;{take}))
                                               (PP-SCON (IP-INF (TO to;{to})
                                                                (VB;_Tn_ combat;{combat})
                                                                (NP-OB1 (N coronavirus;{coronavirus})))))))))
          (PUNC .))
  (ID 3_a_johnson_letter))

arc(r_0003_0002__am,r_0003_0003__writing_r_0003_0004__to,scope).
arc(r_0003_0003__writing_r_0003_0004__to,r_0003_0001__I,arg0).
arc(r_0003_0003__writing_r_0003_0004__to,r_0003_0005__you,arg1).
arc(r_0003_0007__update_r_0003_0009__on,r_0003_0001__I,arg0).
arc(r_0003_0007__update_r_0003_0009__on,r_0003_0005__you,arg1).
arc(r_0003_0007__update_r_0003_0009__on,r_0003_0010__the_r_0003_0011__steps,arg2).
arc(r_0003_0013__are,r_0003_0014__taking,scope).
arc(r_0003_0014__taking,r_0003_0010__the_r_0003_0011__steps,inv_arg1).
arc(r_0003_0014__taking,r_0003_0012__we,arg0).
arc(r_0003_0016__combat,r_0003_0012__we,arg0).
arc(r_0003_0016__combat,r_0003_0017__coronavirus,arg1).
arc(z_0003_5001,r_0003_0002__am,scope).
arc(z_0003_5001,r_0003_0007__update_r_0003_0009__on,restriction).
arc(z_0003_5005,r_0003_0013__are,scope).
arc(z_0003_5005,r_0003_0016__combat,restriction).

fof(formula,axiom,
    ? [R_0003_0001__I,R_0003_0005__YOU,R_0003_0002__AM_R_0003_0003__WRITING_R_0003_0004__TO,R_0003_0012__WE,R_0003_0013__ARE_R_0003_0014__TAKING,R_0003_0010__THE_R_0003_0011__STEPS,R_0003_0007__UPDATE_R_0003_0009__ON,Z_0003_5001,R_0003_0017__CORONAVIRUS,R_0003_0016__COMBAT,Z_0003_5005] :
      ( r_0003_0001__I(R_0003_0001__I)
      & r_0003_0005__you(R_0003_0005__YOU)
      & r_0003_0012__we(R_0003_0012__WE)
      & r_0003_0017__coronavirus(R_0003_0017__CORONAVIRUS)
      & z_0003_5005(Z_0003_5005)
      & has_conj1(Z_0003_5005,R_0003_0016__COMBAT)
      & r_0003_0016__combat(R_0003_0016__COMBAT)
      & has_arg1(R_0003_0016__COMBAT,R_0003_0017__CORONAVIRUS)
      & has_arg0(R_0003_0016__COMBAT,R_0003_0012__WE)
      & has_conj2(Z_0003_5005,R_0003_0013__ARE_R_0003_0014__TAKING)
      & r_0003_0013__are_r_0003_0014__taking(R_0003_0013__ARE_R_0003_0014__TAKING)
      & has_arg0(R_0003_0013__ARE_R_0003_0014__TAKING,R_0003_0012__WE)
      & z_0003_5001(Z_0003_5001)
      & has_conj1(Z_0003_5001,R_0003_0007__UPDATE_R_0003_0009__ON)
      & r_0003_0007__update_r_0003_0009__on(R_0003_0007__UPDATE_R_0003_0009__ON)
      & has_arg2(R_0003_0007__UPDATE_R_0003_0009__ON,R_0003_0010__THE_R_0003_0011__STEPS)
      & r_0003_0010__the_r_0003_0011__steps(R_0003_0010__THE_R_0003_0011__STEPS)
      & has_inv_arg1(R_0003_0010__THE_R_0003_0011__STEPS,R_0003_0013__ARE_R_0003_0014__TAKING)
      & has_arg1(R_0003_0007__UPDATE_R_0003_0009__ON,R_0003_0005__YOU)
      & has_arg0(R_0003_0007__UPDATE_R_0003_0009__ON,R_0003_0001__I)
      & has_conj2(Z_0003_5001,R_0003_0002__AM_R_0003_0003__WRITING_R_0003_0004__TO)
      & r_0003_0002__am_r_0003_0003__writing_r_0003_0004__to(R_0003_0002__AM_R_0003_0003__WRITING_R_0003_0004__TO)
      & has_arg1(R_0003_0002__AM_R_0003_0003__WRITING_R_0003_0004__TO,R_0003_0005__YOU)
      & has_arg0(R_0003_0002__AM_R_0003_0003__WRITING_R_0003_0004__TO,R_0003_0001__I) ) ).