Context                Previous, Next                Top


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

%3 r_0029_0002__is is r_0029_0004__that_r_0029_0007__spirit that spirit r_0029_0002__is->r_0029_0004__that_r_0029_0007__spirit [arg0] r_0029_0008__that_r_0029_0010__will that will r_0029_0002__is->r_0029_0008__that_r_0029_0010__will [prd] r_0029_0005__great great r_0029_0004__that_r_0029_0007__spirit->r_0029_0005__great [attrib] r_0029_0006__British British r_0029_0004__that_r_0029_0007__spirit->r_0029_0006__British [attrib] r_0029_0011__beat beat r_0029_0008__that_r_0029_0010__will->r_0029_0011__beat [scope] r_0029_0009__we we r_0029_0011__beat->r_0029_0009__we [arg0] r_0029_0012__coronavirus coronavirus r_0029_0011__beat->r_0029_0012__coronavirus [arg1] x_000_29_a_johnson_letter_23 __ r_0029_0011__beat->x_000_29_a_johnson_letter_23 [nim] r_0029_0013__and and r_0029_0013__and->r_0029_0002__is [conj1] r_0029_0015__will will r_0029_0013__and->r_0029_0015__will [conj2] r_0029_0016__beat beat r_0029_0015__will->r_0029_0016__beat [scope] r_0029_0016__beat->r_0029_0009__we [arg0] r_0029_0016__beat->r_0029_0012__coronavirus [arg1] r_0029_0018__together together r_0029_0016__beat->r_0029_0018__together [nim] 
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).


%3 r_0029_0015__will_r_0029_0016__beat will beat r_0029_0018__together together r_0029_0015__will_r_0029_0016__beat->r_0029_0018__together [nim] r_0029_0012__coronavirus coronavirus r_0029_0015__will_r_0029_0016__beat->r_0029_0012__coronavirus [arg1] r_0029_0009__we we r_0029_0015__will_r_0029_0016__beat->r_0029_0009__we [arg0] r_0029_0013__and and r_0029_0013__and->r_0029_0015__will_r_0029_0016__beat [conj2] r_0029_0002__is is r_0029_0013__and->r_0029_0002__is [conj1] r_0029_0008__that_r_0029_0010__will_r_0029_0011__beat that will beat r_0029_0002__is->r_0029_0008__that_r_0029_0010__will_r_0029_0011__beat [prd] r_0029_0004__that_r_0029_0007__spirit that spirit r_0029_0002__is->r_0029_0004__that_r_0029_0007__spirit [arg0] r_0029_0008__that_r_0029_0010__will_r_0029_0011__beat->r_0029_0012__coronavirus [arg1] r_0029_0008__that_r_0029_0010__will_r_0029_0011__beat->r_0029_0009__we [arg0] x_000_29_a_johnson_letter_23 __ r_0029_0008__that_r_0029_0010__will_r_0029_0011__beat->x_000_29_a_johnson_letter_23 [nim] r_0029_0006__British British r_0029_0004__that_r_0029_0007__spirit->r_0029_0006__British [attrib] r_0029_0005__great great r_0029_0004__that_r_0029_0007__spirit->r_0029_0005__great [attrib] 
fof(formula,axiom,
    ? [R_29_13_AND,R_29_2_IS,R_29_4_THAT_SPIRIT,R_29_5_GREAT,R_29_6_BRITISH,R_29_8_THAT_WILL_BEAT,X_29_A_JOHNSON_LETTER_23,R_29_15_WILL_BEAT,R_29_9_WE,R_29_12_CORONAVIRUS,R_29_18_TOGETHER] :
      ( great(R_29_5_GREAT)
      & british(R_29_6_BRITISH)
      & we(R_29_9_WE)
      & coronavirus(R_29_12_CORONAVIRUS)
      & together(R_29_18_TOGETHER)
      & and(R_29_13_AND)
      & conj1(R_29_13_AND,R_29_2_IS)
      & is(R_29_2_IS,R_29_4_THAT_SPIRIT,R_29_8_THAT_WILL_BEAT)
      & that_spirit(R_29_4_THAT_SPIRIT)
      & attrib15(R_29_4_THAT_SPIRIT,R_29_5_GREAT)
      & attrib18(R_29_4_THAT_SPIRIT,R_29_6_BRITISH)
      & that_will_beat(R_29_8_THAT_WILL_BEAT,R_29_9_WE,R_29_12_CORONAVIRUS)
      & nim32(R_29_8_THAT_WILL_BEAT,X_29_A_JOHNSON_LETTER_23)
      & conj2(R_29_13_AND,R_29_15_WILL_BEAT)
      & will_beat(R_29_15_WILL_BEAT,R_29_9_WE,R_29_12_CORONAVIRUS)
      & nim54(R_29_15_WILL_BEAT,R_29_18_TOGETHER) ) ).


n29_a_johnson_letter n29_a_johnson_letter__1_1_1_1_1_1 It n29_a_johnson_letter__1_1_1_2_1 is n29_a_johnson_letter__1_1_1_3_1_1 with n29_a_johnson_letter__1_1_1_3_2_1_1 that n29_a_johnson_letter__1_1_1_3_2_2_1_1 great n29_a_johnson_letter__1_1_1_3_2_3_1_1 British n29_a_johnson_letter__1_1_1_3_2_4_1 spirit n29_a_johnson_letter__1_1_1_4_1_1 that n29_a_johnson_letter__1_1_1_4_2_1_1 we n29_a_johnson_letter__1_1_1_4_3_1 will n29_a_johnson_letter__1_1_1_4_4_1_1 *T* n29_a_johnson_letter__1_1_1_4_4_2_1 beat n29_a_johnson_letter__1_1_1_4_4_3_1_1 coronavirus n29_a_johnson_letter__1_1_2_1_1 and n29_a_johnson_letter__1_1_2_2_1_1_1 we n29_a_johnson_letter__1_1_2_2_2_1 will n29_a_johnson_letter__1_1_2_2_3_1_1 beat n29_a_johnson_letter__1_1_2_2_3_2_1_1 it n29_a_johnson_letter__1_1_2_2_3_3_1_1 together n29_a_johnson_letter__1_2_1 . n29_a_johnson_letter__1 IP-MAT n29_a_johnson_letter__1_1 ILYR n29_a_johnson_letter__1->n29_a_johnson_letter__1_1 n29_a_johnson_letter__1_2 PUNC n29_a_johnson_letter__1->n29_a_johnson_letter__1_2 n29_a_johnson_letter__1_1_1 ILYR n29_a_johnson_letter__1_1->n29_a_johnson_letter__1_1_1 n29_a_johnson_letter__1_1_2 CONJP n29_a_johnson_letter__1_1->n29_a_johnson_letter__1_1_2 n29_a_johnson_letter__1_1_1_1 NP-SBJ n29_a_johnson_letter__1_1_1->n29_a_johnson_letter__1_1_1_1 n29_a_johnson_letter__1_1_1_2 BEP;_cleft_Vpr_ n29_a_johnson_letter__1_1_1->n29_a_johnson_letter__1_1_1_2 n29_a_johnson_letter__1_1_1_3 PP-FOC n29_a_johnson_letter__1_1_1->n29_a_johnson_letter__1_1_1_3 n29_a_johnson_letter__1_1_1_4 IP-CLF n29_a_johnson_letter__1_1_1->n29_a_johnson_letter__1_1_1_4 n29_a_johnson_letter__1_1_1_1_1 PRO;_provisional_ n29_a_johnson_letter__1_1_1_1->n29_a_johnson_letter__1_1_1_1_1 n29_a_johnson_letter__1_1_1_1_1->n29_a_johnson_letter__1_1_1_1_1_1 n29_a_johnson_letter__1_1_1_2->n29_a_johnson_letter__1_1_1_2_1 n29_a_johnson_letter__1_1_1_3_1 P-ROLE n29_a_johnson_letter__1_1_1_3->n29_a_johnson_letter__1_1_1_3_1 n29_a_johnson_letter__1_1_1_3_2 NP n29_a_johnson_letter__1_1_1_3->n29_a_johnson_letter__1_1_1_3_2 n29_a_johnson_letter__1_1_1_3_1->n29_a_johnson_letter__1_1_1_3_1_1 n29_a_johnson_letter__1_1_1_3_2_1 D n29_a_johnson_letter__1_1_1_3_2->n29_a_johnson_letter__1_1_1_3_2_1 n29_a_johnson_letter__1_1_1_3_2_2 ADJP n29_a_johnson_letter__1_1_1_3_2->n29_a_johnson_letter__1_1_1_3_2_2 n29_a_johnson_letter__1_1_1_3_2_3 ADJP n29_a_johnson_letter__1_1_1_3_2->n29_a_johnson_letter__1_1_1_3_2_3 n29_a_johnson_letter__1_1_1_3_2_4 N n29_a_johnson_letter__1_1_1_3_2->n29_a_johnson_letter__1_1_1_3_2_4 n29_a_johnson_letter__1_1_1_3_2_1->n29_a_johnson_letter__1_1_1_3_2_1_1 n29_a_johnson_letter__1_1_1_3_2_2_1 ADJ n29_a_johnson_letter__1_1_1_3_2_2->n29_a_johnson_letter__1_1_1_3_2_2_1 n29_a_johnson_letter__1_1_1_3_2_2_1->n29_a_johnson_letter__1_1_1_3_2_2_1_1 n29_a_johnson_letter__1_1_1_3_2_3_1 ADJ n29_a_johnson_letter__1_1_1_3_2_3->n29_a_johnson_letter__1_1_1_3_2_3_1 n29_a_johnson_letter__1_1_1_3_2_3_1->n29_a_johnson_letter__1_1_1_3_2_3_1_1 n29_a_johnson_letter__1_1_1_3_2_4->n29_a_johnson_letter__1_1_1_3_2_4_1 n29_a_johnson_letter__1_1_1_4_1 C n29_a_johnson_letter__1_1_1_4->n29_a_johnson_letter__1_1_1_4_1 n29_a_johnson_letter__1_1_1_4_2 NP-SBJ n29_a_johnson_letter__1_1_1_4->n29_a_johnson_letter__1_1_1_4_2 n29_a_johnson_letter__1_1_1_4_3 MD;_cat_Vi_ n29_a_johnson_letter__1_1_1_4->n29_a_johnson_letter__1_1_1_4_3 n29_a_johnson_letter__1_1_1_4_4 IP-INF-CAT n29_a_johnson_letter__1_1_1_4->n29_a_johnson_letter__1_1_1_4_4 n29_a_johnson_letter__1_1_1_4_1->n29_a_johnson_letter__1_1_1_4_1_1 n29_a_johnson_letter__1_1_1_4_2_1 PRO n29_a_johnson_letter__1_1_1_4_2->n29_a_johnson_letter__1_1_1_4_2_1 n29_a_johnson_letter__1_1_1_4_2_1->n29_a_johnson_letter__1_1_1_4_2_1_1 n29_a_johnson_letter__1_1_1_4_3->n29_a_johnson_letter__1_1_1_4_3_1 n29_a_johnson_letter__1_1_1_4_4_1 NP-NIM n29_a_johnson_letter__1_1_1_4_4->n29_a_johnson_letter__1_1_1_4_4_1 n29_a_johnson_letter__1_1_1_4_4_2 VB;_Tn_ n29_a_johnson_letter__1_1_1_4_4->n29_a_johnson_letter__1_1_1_4_4_2 n29_a_johnson_letter__1_1_1_4_4_3 NP-OB1 n29_a_johnson_letter__1_1_1_4_4->n29_a_johnson_letter__1_1_1_4_4_3 n29_a_johnson_letter__1_1_1_4_4_1->n29_a_johnson_letter__1_1_1_4_4_1_1 n29_a_johnson_letter__1_1_1_4_4_2->n29_a_johnson_letter__1_1_1_4_4_2_1 n29_a_johnson_letter__1_1_1_4_4_3_1 N n29_a_johnson_letter__1_1_1_4_4_3->n29_a_johnson_letter__1_1_1_4_4_3_1 n29_a_johnson_letter__1_1_1_4_4_3_1->n29_a_johnson_letter__1_1_1_4_4_3_1_1 n29_a_johnson_letter__1_1_2_1 CONJ n29_a_johnson_letter__1_1_2->n29_a_johnson_letter__1_1_2_1 n29_a_johnson_letter__1_1_2_2 ILYR n29_a_johnson_letter__1_1_2->n29_a_johnson_letter__1_1_2_2 n29_a_johnson_letter__1_1_2_1->n29_a_johnson_letter__1_1_2_1_1 n29_a_johnson_letter__1_1_2_2_1 NP-SBJ n29_a_johnson_letter__1_1_2_2->n29_a_johnson_letter__1_1_2_2_1 n29_a_johnson_letter__1_1_2_2_2 MD;_cat_Vi_ n29_a_johnson_letter__1_1_2_2->n29_a_johnson_letter__1_1_2_2_2 n29_a_johnson_letter__1_1_2_2_3 IP-INF-CAT n29_a_johnson_letter__1_1_2_2->n29_a_johnson_letter__1_1_2_2_3 n29_a_johnson_letter__1_1_2_2_1_1 PRO n29_a_johnson_letter__1_1_2_2_1->n29_a_johnson_letter__1_1_2_2_1_1 n29_a_johnson_letter__1_1_2_2_1_1->n29_a_johnson_letter__1_1_2_2_1_1_1 n29_a_johnson_letter__1_1_2_2_2->n29_a_johnson_letter__1_1_2_2_2_1 n29_a_johnson_letter__1_1_2_2_3_1 VB;_Tn_ n29_a_johnson_letter__1_1_2_2_3->n29_a_johnson_letter__1_1_2_2_3_1 n29_a_johnson_letter__1_1_2_2_3_2 NP-OB1 n29_a_johnson_letter__1_1_2_2_3->n29_a_johnson_letter__1_1_2_2_3_2 n29_a_johnson_letter__1_1_2_2_3_3 ADVP-NIM n29_a_johnson_letter__1_1_2_2_3->n29_a_johnson_letter__1_1_2_2_3_3 n29_a_johnson_letter__1_1_2_2_3_1->n29_a_johnson_letter__1_1_2_2_3_1_1 n29_a_johnson_letter__1_1_2_2_3_2_1 PRO n29_a_johnson_letter__1_1_2_2_3_2->n29_a_johnson_letter__1_1_2_2_3_2_1 n29_a_johnson_letter__1_1_2_2_3_2_1->n29_a_johnson_letter__1_1_2_2_3_2_1_1 n29_a_johnson_letter__1_1_2_2_3_3_1 ADV n29_a_johnson_letter__1_1_2_2_3_3->n29_a_johnson_letter__1_1_2_2_3_3_1 n29_a_johnson_letter__1_1_2_2_3_3_1->n29_a_johnson_letter__1_1_2_2_3_3_1_1 n29_a_johnson_letter__1_2->n29_a_johnson_letter__1_2_1 
( (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))