arc(r_0029_0002__is, r_0029_0004__that_r_0029_0007__spirit, arg0).
arc(r_0029_0002__is, r_0029_0008__that_r_0029_0010__will, prd).
arc(r_0029_0004__that_r_0029_0007__spirit, r_0029_0005__great, attrib15).
arc(r_0029_0004__that_r_0029_0007__spirit, r_0029_0006__British, attrib18).
arc(r_0029_0008__that_r_0029_0010__will, r_0029_0011__beat, scope).
arc(r_0029_0011__beat, r_0029_0009__we, arg0).
arc(r_0029_0011__beat, r_0029_0012__coronavirus, arg1).
arc(r_0029_0011__beat, x_000_29_a_johnson_letter_23, nim32).
arc(r_0029_0013__and, r_0029_0002__is, conj1).
arc(r_0029_0013__and, r_0029_0015__will, conj2).
arc(r_0029_0015__will, r_0029_0016__beat, scope).
arc(r_0029_0016__beat, r_0029_0009__we, arg0).
arc(r_0029_0016__beat, r_0029_0012__coronavirus, arg1).
arc(r_0029_0016__beat, r_0029_0018__together, nim54).

fof(formula,axiom,
    ? [R_0029_0005__GREAT,R_0029_0006__BRITISH,R_0029_0004__THAT_R_0029_0007__SPIRIT,R_0029_0009__WE,R_0029_0012__CORONAVIRUS,X_000_29_A_JOHNSON_LETTER_23,R_0029_0008__THAT_R_0029_0010__WILL_R_0029_0011__BEAT,R_0029_0002__IS,R_0029_0018__TOGETHER,R_0029_0015__WILL_R_0029_0016__BEAT,R_0029_0013__AND] :
      ( r_0029_0005__great(R_0029_0005__GREAT)
      & r_0029_0006__British(R_0029_0006__BRITISH)
      & r_0029_0009__we(R_0029_0009__WE)
      & r_0029_0012__coronavirus(R_0029_0012__CORONAVIRUS)
      & r_0029_0018__together(R_0029_0018__TOGETHER)
      & x_000_29_a_johnson_letter_23(X_000_29_A_JOHNSON_LETTER_23)
      & r_0029_0013__and(R_0029_0013__AND)
      & has_conj2(R_0029_0013__AND,R_0029_0015__WILL_R_0029_0016__BEAT)
      & r_0029_0015__will_r_0029_0016__beat(R_0029_0015__WILL_R_0029_0016__BEAT)
      & has_nim54(R_0029_0015__WILL_R_0029_0016__BEAT,R_0029_0018__TOGETHER)
      & has_arg1(R_0029_0015__WILL_R_0029_0016__BEAT,R_0029_0012__CORONAVIRUS)
      & has_arg0(R_0029_0015__WILL_R_0029_0016__BEAT,R_0029_0009__WE)
      & has_conj1(R_0029_0013__AND,R_0029_0002__IS)
      & r_0029_0002__is(R_0029_0002__IS)
      & has_prd(R_0029_0002__IS,R_0029_0008__THAT_R_0029_0010__WILL_R_0029_0011__BEAT)
      & r_0029_0008__that_r_0029_0010__will_r_0029_0011__beat(R_0029_0008__THAT_R_0029_0010__WILL_R_0029_0011__BEAT)
      & has_nim32(R_0029_0008__THAT_R_0029_0010__WILL_R_0029_0011__BEAT,X_000_29_A_JOHNSON_LETTER_23)
      & has_arg1(R_0029_0008__THAT_R_0029_0010__WILL_R_0029_0011__BEAT,R_0029_0012__CORONAVIRUS)
      & has_arg0(R_0029_0008__THAT_R_0029_0010__WILL_R_0029_0011__BEAT,R_0029_0009__WE)
      & has_arg0(R_0029_0002__IS,R_0029_0004__THAT_R_0029_0007__SPIRIT)
      & r_0029_0004__that_r_0029_0007__spirit(R_0029_0004__THAT_R_0029_0007__SPIRIT)
      & has_attrib18(R_0029_0004__THAT_R_0029_0007__SPIRIT,R_0029_0006__BRITISH)
      & has_attrib15(R_0029_0004__THAT_R_0029_0007__SPIRIT,R_0029_0005__GREAT) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO;_provisional_ It;{it}))
                      (BEP;_cleft_Vpr_ is;{be})
                      (PP-FOC (P-ROLE with;{with})
                              (NP (D that;{that})
                                  (ADJP (ADJ great;{great}))
                                  (ADJP (ADJ British;{british}))
                                  (N spirit;{spirit})))
                      (IP-CLF (C that;{that})
                              (NP-SBJ (PRO we;{we}))
                              (MD;_cat_Vi_ will;{will})
                              (IP-INF-CAT (NP-NIM *T*)
                                          (VB;_Tn_ beat;{beat})
                                          (NP-OB1;{CORONAVIRUS} (N coronavirus;{coronavirus})))))
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (PRO we;{we}))
                             (MD;_cat_Vi_ will;{will})
                             (IP-INF-CAT (VB;_Tn_ beat;{beat})
                                         (NP-OB1;{CORONAVIRUS} (PRO it;{it}))
                                         (ADVP-NIM (ADV together;{together}))))))
          (PUNC .))
  (ID 29_a_johnson_letter))