3_a_johnson_letter
I am writing to you to update you on the steps we are taking to combat coronavirus.

%3 r_0003_0002__am am r_0003_0003__writing writing r_0003_0002__am->r_0003_0003__writing [scope] r_0003_0001__I I r_0003_0003__writing->r_0003_0001__I [arg0] r_0003_0005__you you r_0003_0003__writing->r_0003_0005__you to [clr] r_0003_0006__to_r_0003_0007__update to update r_0003_0006__to_r_0003_0007__update->r_0003_0001__I [arg0] r_0003_0008__you you r_0003_0006__to_r_0003_0007__update->r_0003_0008__you [arg1] r_0003_0010__the_r_0003_0011__steps the steps r_0003_0006__to_r_0003_0007__update->r_0003_0010__the_r_0003_0011__steps on [clr] r_0003_0013__are are r_0003_0014__taking taking r_0003_0013__are->r_0003_0014__taking [scope] r_0003_0014__taking->r_0003_0010__the_r_0003_0011__steps [arg1] r_0003_0012__we we r_0003_0014__taking->r_0003_0012__we [arg0] r_0003_0015__to_r_0003_0016__combat to combat r_0003_0015__to_r_0003_0016__combat->r_0003_0012__we [arg0] r_0003_0017__coronavirus coronavirus r_0003_0015__to_r_0003_0016__combat->r_0003_0017__coronavirus [arg1] z_000_3_a_johnson_letter_16 z_000_3_a_johnson_letter_16->r_0003_0002__am [scope] z_000_3_a_johnson_letter_16->r_0003_0006__to_r_0003_0007__update [restriction] z_000_3_a_johnson_letter_44 z_000_3_a_johnson_letter_44->r_0003_0013__are [scope] z_000_3_a_johnson_letter_44->r_0003_0015__to_r_0003_0016__combat [restriction]
arc(r_0003_0002__am, r_0003_0003__writing, scope).
arc(r_0003_0003__writing, r_0003_0001__I, arg0).
arc(r_0003_0003__writing, r_0003_0005__you, r_0003_0004__to_clr13).
arc(r_0003_0006__to_r_0003_0007__update, r_0003_0001__I, arg0).
arc(r_0003_0006__to_r_0003_0007__update, r_0003_0008__you, arg1).
arc(r_0003_0006__to_r_0003_0007__update, r_0003_0010__the_r_0003_0011__steps, r_0003_0009__on_clr28).
arc(r_0003_0013__are, r_0003_0014__taking, scope).
arc(r_0003_0014__taking, r_0003_0010__the_r_0003_0011__steps, arg1).
arc(r_0003_0014__taking, r_0003_0012__we, arg0).
arc(r_0003_0015__to_r_0003_0016__combat, r_0003_0012__we, arg0).
arc(r_0003_0015__to_r_0003_0016__combat, r_0003_0017__coronavirus, arg1).
arc(z_000_3_a_johnson_letter_16, r_0003_0002__am, scope).
arc(z_000_3_a_johnson_letter_16, r_0003_0006__to_r_0003_0007__update, restriction).
arc(z_000_3_a_johnson_letter_44, r_0003_0013__are, scope).
arc(z_000_3_a_johnson_letter_44, r_0003_0015__to_r_0003_0016__combat, restriction).



%3 z_000_3_a_johnson_letter_44 r_0003_0015__to_r_0003_0016__combat to combat z_000_3_a_johnson_letter_44->r_0003_0015__to_r_0003_0016__combat [conj1] r_0003_0013__are_r_0003_0014__taking are taking z_000_3_a_johnson_letter_44->r_0003_0013__are_r_0003_0014__taking [conj2] r_0003_0017__coronavirus coronavirus r_0003_0015__to_r_0003_0016__combat->r_0003_0017__coronavirus [arg1] r_0003_0012__we we r_0003_0015__to_r_0003_0016__combat->r_0003_0012__we [arg0] r_0003_0013__are_r_0003_0014__taking->r_0003_0012__we [arg0] r_0003_0010__the_r_0003_0011__steps the steps r_0003_0013__are_r_0003_0014__taking->r_0003_0010__the_r_0003_0011__steps [arg1] z_000_3_a_johnson_letter_16 r_0003_0006__to_r_0003_0007__update to update z_000_3_a_johnson_letter_16->r_0003_0006__to_r_0003_0007__update [conj1] r_0003_0002__am_r_0003_0003__writing am writing z_000_3_a_johnson_letter_16->r_0003_0002__am_r_0003_0003__writing [conj2] r_0003_0006__to_r_0003_0007__update->r_0003_0010__the_r_0003_0011__steps on [clr] r_0003_0008__you you r_0003_0006__to_r_0003_0007__update->r_0003_0008__you [arg1] r_0003_0001__I I r_0003_0006__to_r_0003_0007__update->r_0003_0001__I [arg0] r_0003_0002__am_r_0003_0003__writing->r_0003_0001__I [arg0] r_0003_0005__you you r_0003_0002__am_r_0003_0003__writing->r_0003_0005__you to [clr]
fof(formula,axiom,
    ? [R_0003_0001__I,R_0003_0005__YOU,R_0003_0002__AM_R_0003_0003__WRITING,R_0003_0008__YOU,R_0003_0010__THE_R_0003_0011__STEPS,R_0003_0006__TO_R_0003_0007__UPDATE,Z_000_3_A_JOHNSON_LETTER_16,R_0003_0012__WE,R_0003_0013__ARE_R_0003_0014__TAKING,R_0003_0017__CORONAVIRUS,R_0003_0015__TO_R_0003_0016__COMBAT,Z_000_3_A_JOHNSON_LETTER_44] :
      ( r_0003_0001__I(R_0003_0001__I)
      & r_0003_0005__you(R_0003_0005__YOU)
      & r_0003_0008__you(R_0003_0008__YOU)
      & r_0003_0010__the_r_0003_0011__steps(R_0003_0010__THE_R_0003_0011__STEPS)
      & r_0003_0012__we(R_0003_0012__WE)
      & r_0003_0017__coronavirus(R_0003_0017__CORONAVIRUS)
      & z_000_3_a_johnson_letter_44(Z_000_3_A_JOHNSON_LETTER_44)
      & has_conj1(Z_000_3_A_JOHNSON_LETTER_44,R_0003_0015__TO_R_0003_0016__COMBAT)
      & r_0003_0015__to_r_0003_0016__combat(R_0003_0015__TO_R_0003_0016__COMBAT)
      & has_arg1(R_0003_0015__TO_R_0003_0016__COMBAT,R_0003_0017__CORONAVIRUS)
      & has_arg0(R_0003_0015__TO_R_0003_0016__COMBAT,R_0003_0012__WE)
      & has_conj2(Z_000_3_A_JOHNSON_LETTER_44,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)
      & has_arg1(R_0003_0013__ARE_R_0003_0014__TAKING,R_0003_0010__THE_R_0003_0011__STEPS)
      & z_000_3_a_johnson_letter_16(Z_000_3_A_JOHNSON_LETTER_16)
      & has_conj1(Z_000_3_A_JOHNSON_LETTER_16,R_0003_0006__TO_R_0003_0007__UPDATE)
      & r_0003_0006__to_r_0003_0007__update(R_0003_0006__TO_R_0003_0007__UPDATE)
      & has_r_0003_0009__on_clr28(R_0003_0006__TO_R_0003_0007__UPDATE,R_0003_0010__THE_R_0003_0011__STEPS)
      & has_arg1(R_0003_0006__TO_R_0003_0007__UPDATE,R_0003_0008__YOU)
      & has_arg0(R_0003_0006__TO_R_0003_0007__UPDATE,R_0003_0001__I)
      & has_conj2(Z_000_3_A_JOHNSON_LETTER_16,R_0003_0002__AM_R_0003_0003__WRITING)
      & r_0003_0002__am_r_0003_0003__writing(R_0003_0002__AM_R_0003_0003__WRITING)
      & has_r_0003_0004__to_clr13(R_0003_0002__AM_R_0003_0003__WRITING,R_0003_0005__YOU)
      & has_arg0(R_0003_0002__AM_R_0003_0003__WRITING,R_0003_0001__I) ) ).



n3_a_johnson_letter n3_a_johnson_letter__1_1_1_1 I n3_a_johnson_letter__1_2_1 am n3_a_johnson_letter__1_3_1_1 writing n3_a_johnson_letter__1_3_2_1_1 to n3_a_johnson_letter__1_3_2_2_1_1 you n3_a_johnson_letter__1_4_1_1_1 to n3_a_johnson_letter__1_4_1_2_1 update n3_a_johnson_letter__1_4_1_3_1_1 you n3_a_johnson_letter__1_4_1_4_1_1 on n3_a_johnson_letter__1_4_1_4_2_1_1 the n3_a_johnson_letter__1_4_1_4_2_2_1 steps n3_a_johnson_letter__1_4_1_4_2_3_1_1_1 we n3_a_johnson_letter__1_4_1_4_2_3_2_1 are n3_a_johnson_letter__1_4_1_4_2_3_3_1_1 *T* n3_a_johnson_letter__1_4_1_4_2_3_3_2_1 taking n3_a_johnson_letter__1_4_1_4_2_3_4_1_1_1 to n3_a_johnson_letter__1_4_1_4_2_3_4_1_2_1 combat n3_a_johnson_letter__1_4_1_4_2_3_4_1_3_1_1 coronavirus n3_a_johnson_letter__1_5_1 . n3_a_johnson_letter__1 IP-MAT n3_a_johnson_letter__1_1 NP-SBJ n3_a_johnson_letter__1->n3_a_johnson_letter__1_1 n3_a_johnson_letter__1_2 BEP;_cat_Vg_ n3_a_johnson_letter__1->n3_a_johnson_letter__1_2 n3_a_johnson_letter__1_3 IP-PPL-CAT n3_a_johnson_letter__1->n3_a_johnson_letter__1_3 n3_a_johnson_letter__1_4 PP-SCON n3_a_johnson_letter__1->n3_a_johnson_letter__1_4 n3_a_johnson_letter__1_5 PUNC n3_a_johnson_letter__1->n3_a_johnson_letter__1_5 n3_a_johnson_letter__1_1_1 PRO n3_a_johnson_letter__1_1->n3_a_johnson_letter__1_1_1 n3_a_johnson_letter__1_1_1->n3_a_johnson_letter__1_1_1_1 n3_a_johnson_letter__1_2->n3_a_johnson_letter__1_2_1 n3_a_johnson_letter__1_3_1 VAG;_Ipr_ n3_a_johnson_letter__1_3->n3_a_johnson_letter__1_3_1 n3_a_johnson_letter__1_3_2 PP-CLR n3_a_johnson_letter__1_3->n3_a_johnson_letter__1_3_2 n3_a_johnson_letter__1_3_1->n3_a_johnson_letter__1_3_1_1 n3_a_johnson_letter__1_3_2_1 P-ROLE n3_a_johnson_letter__1_3_2->n3_a_johnson_letter__1_3_2_1 n3_a_johnson_letter__1_3_2_2 NP n3_a_johnson_letter__1_3_2->n3_a_johnson_letter__1_3_2_2 n3_a_johnson_letter__1_3_2_1->n3_a_johnson_letter__1_3_2_1_1 n3_a_johnson_letter__1_3_2_2_1 PRO n3_a_johnson_letter__1_3_2_2->n3_a_johnson_letter__1_3_2_2_1 n3_a_johnson_letter__1_3_2_2_1->n3_a_johnson_letter__1_3_2_2_1_1 n3_a_johnson_letter__1_4_1 IP-INF n3_a_johnson_letter__1_4->n3_a_johnson_letter__1_4_1 n3_a_johnson_letter__1_4_1_1 TO n3_a_johnson_letter__1_4_1->n3_a_johnson_letter__1_4_1_1 n3_a_johnson_letter__1_4_1_2 VB;_Tn.pr_ n3_a_johnson_letter__1_4_1->n3_a_johnson_letter__1_4_1_2 n3_a_johnson_letter__1_4_1_3 NP-OB1 n3_a_johnson_letter__1_4_1->n3_a_johnson_letter__1_4_1_3 n3_a_johnson_letter__1_4_1_4 PP-CLR n3_a_johnson_letter__1_4_1->n3_a_johnson_letter__1_4_1_4 n3_a_johnson_letter__1_4_1_1->n3_a_johnson_letter__1_4_1_1_1 n3_a_johnson_letter__1_4_1_2->n3_a_johnson_letter__1_4_1_2_1 n3_a_johnson_letter__1_4_1_3_1 PRO n3_a_johnson_letter__1_4_1_3->n3_a_johnson_letter__1_4_1_3_1 n3_a_johnson_letter__1_4_1_3_1->n3_a_johnson_letter__1_4_1_3_1_1 n3_a_johnson_letter__1_4_1_4_1 P-ROLE n3_a_johnson_letter__1_4_1_4->n3_a_johnson_letter__1_4_1_4_1 n3_a_johnson_letter__1_4_1_4_2 NP n3_a_johnson_letter__1_4_1_4->n3_a_johnson_letter__1_4_1_4_2 n3_a_johnson_letter__1_4_1_4_1->n3_a_johnson_letter__1_4_1_4_1_1 n3_a_johnson_letter__1_4_1_4_2_1 D n3_a_johnson_letter__1_4_1_4_2->n3_a_johnson_letter__1_4_1_4_2_1 n3_a_johnson_letter__1_4_1_4_2_2 NS n3_a_johnson_letter__1_4_1_4_2->n3_a_johnson_letter__1_4_1_4_2_2 n3_a_johnson_letter__1_4_1_4_2_3 IP-REL n3_a_johnson_letter__1_4_1_4_2->n3_a_johnson_letter__1_4_1_4_2_3 n3_a_johnson_letter__1_4_1_4_2_1->n3_a_johnson_letter__1_4_1_4_2_1_1 n3_a_johnson_letter__1_4_1_4_2_2->n3_a_johnson_letter__1_4_1_4_2_2_1 n3_a_johnson_letter__1_4_1_4_2_3_1 NP-SBJ n3_a_johnson_letter__1_4_1_4_2_3->n3_a_johnson_letter__1_4_1_4_2_3_1 n3_a_johnson_letter__1_4_1_4_2_3_2 BEP;_cat_Vg_ n3_a_johnson_letter__1_4_1_4_2_3->n3_a_johnson_letter__1_4_1_4_2_3_2 n3_a_johnson_letter__1_4_1_4_2_3_3 IP-PPL-CAT n3_a_johnson_letter__1_4_1_4_2_3->n3_a_johnson_letter__1_4_1_4_2_3_3 n3_a_johnson_letter__1_4_1_4_2_3_4 PP-SCON n3_a_johnson_letter__1_4_1_4_2_3->n3_a_johnson_letter__1_4_1_4_2_3_4 n3_a_johnson_letter__1_4_1_4_2_3_1_1 PRO n3_a_johnson_letter__1_4_1_4_2_3_1->n3_a_johnson_letter__1_4_1_4_2_3_1_1 n3_a_johnson_letter__1_4_1_4_2_3_1_1->n3_a_johnson_letter__1_4_1_4_2_3_1_1_1 n3_a_johnson_letter__1_4_1_4_2_3_2->n3_a_johnson_letter__1_4_1_4_2_3_2_1 n3_a_johnson_letter__1_4_1_4_2_3_3_1 NP-OB1 n3_a_johnson_letter__1_4_1_4_2_3_3->n3_a_johnson_letter__1_4_1_4_2_3_3_1 n3_a_johnson_letter__1_4_1_4_2_3_3_2 VAG;_Tn_ n3_a_johnson_letter__1_4_1_4_2_3_3->n3_a_johnson_letter__1_4_1_4_2_3_3_2 n3_a_johnson_letter__1_4_1_4_2_3_3_1->n3_a_johnson_letter__1_4_1_4_2_3_3_1_1 n3_a_johnson_letter__1_4_1_4_2_3_3_2->n3_a_johnson_letter__1_4_1_4_2_3_3_2_1 n3_a_johnson_letter__1_4_1_4_2_3_4_1 IP-INF n3_a_johnson_letter__1_4_1_4_2_3_4->n3_a_johnson_letter__1_4_1_4_2_3_4_1 n3_a_johnson_letter__1_4_1_4_2_3_4_1_1 TO n3_a_johnson_letter__1_4_1_4_2_3_4_1->n3_a_johnson_letter__1_4_1_4_2_3_4_1_1 n3_a_johnson_letter__1_4_1_4_2_3_4_1_2 VB;_Tn_ n3_a_johnson_letter__1_4_1_4_2_3_4_1->n3_a_johnson_letter__1_4_1_4_2_3_4_1_2 n3_a_johnson_letter__1_4_1_4_2_3_4_1_3 NP-OB1 n3_a_johnson_letter__1_4_1_4_2_3_4_1->n3_a_johnson_letter__1_4_1_4_2_3_4_1_3 n3_a_johnson_letter__1_4_1_4_2_3_4_1_1->n3_a_johnson_letter__1_4_1_4_2_3_4_1_1_1 n3_a_johnson_letter__1_4_1_4_2_3_4_1_2->n3_a_johnson_letter__1_4_1_4_2_3_4_1_2_1 n3_a_johnson_letter__1_4_1_4_2_3_4_1_3_1 N n3_a_johnson_letter__1_4_1_4_2_3_4_1_3->n3_a_johnson_letter__1_4_1_4_2_3_4_1_3_1 n3_a_johnson_letter__1_4_1_4_2_3_4_1_3_1->n3_a_johnson_letter__1_4_1_4_2_3_4_1_3_1_1 n3_a_johnson_letter__1_5->n3_a_johnson_letter__1_5_1
( (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))