TSPC 29_a_johnson

29_a_johnson_letter
It is with that great British spirit that we will beat coronavirus and we will beat it together.

( (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))

arc(r_0029_0002__is,r_0029_0004__that_r_0029_0007__spirit,r_0029_0003__with__arg0).
arc(r_0029_0002__is,z_0029_5001,arg0).
arc(r_0029_0002__is,z_0029_5007,prd).
arc(r_0029_0004__that_r_0029_0007__spirit,r_0029_0005__great,attrib).
arc(r_0029_0004__that_r_0029_0007__spirit,r_0029_0006__British,attrib).
arc(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,z_0029_5007,nim).
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,nim).

fof(formula,axiom,
    ? [R_0029_0009__WE,R_0029_0012__CORONAVIRUS,Z_0029_5007,R_0029_0010__WILL_R_0029_0011__BEAT,R_0029_0005__GREAT,R_0029_0006__BRITISH,R_0029_0004__THAT_R_0029_0007__SPIRIT,Z_0029_5001,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)
      & z_0029_5001(Z_0029_5001)
      & z_0029_5007(Z_0029_5007)
      & 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_nim(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,Z_0029_5007)
      & has_arg0(R_0029_0002__IS,Z_0029_5001)
      & has_r_0029_0003__with__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_attrib(R_0029_0004__THAT_R_0029_0007__SPIRIT,R_0029_0006__BRITISH)
      & has_attrib(R_0029_0004__THAT_R_0029_0007__SPIRIT,R_0029_0005__GREAT)
      & r_0029_0010__will_r_0029_0011__beat(R_0029_0010__WILL_R_0029_0011__BEAT)
      & has_nim(R_0029_0010__WILL_R_0029_0011__BEAT,Z_0029_5007)
      & has_arg1(R_0029_0010__WILL_R_0029_0011__BEAT,R_0029_0012__CORONAVIRUS)
      & has_arg0(R_0029_0010__WILL_R_0029_0011__BEAT,R_0029_0009__WE) ) ).