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