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_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_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_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_0009__we we r_0029_0008__that_r_0029_0010__will_r_0029_0011__beat->r_0029_0009__we [arg0] r_0029_0012__coronavirus coronavirus r_0029_0008__that_r_0029_0010__will_r_0029_0011__beat->r_0029_0012__coronavirus [arg1] 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_0013__and and r_0029_0013__and->r_0029_0002__is [conj1] r_0029_0015__will_r_0029_0016__beat will beat r_0029_0013__and->r_0029_0015__will_r_0029_0016__beat [conj2] r_0029_0015__will_r_0029_0016__beat->r_0029_0009__we [arg0] r_0029_0015__will_r_0029_0016__beat->r_0029_0012__coronavirus [arg1] r_0029_0018__together together r_0029_0015__will_r_0029_0016__beat->r_0029_0018__together [nim] 
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_6 It n29_a_johnson_letter_8 is n29_a_johnson_letter_11 with n29_a_johnson_letter_14 that n29_a_johnson_letter_17 great n29_a_johnson_letter_20 British n29_a_johnson_letter_22 spirit n29_a_johnson_letter_25 that n29_a_johnson_letter_28 we n29_a_johnson_letter_30 will n29_a_johnson_letter_33 *T* n29_a_johnson_letter_35 beat n29_a_johnson_letter_38 coronavirus n29_a_johnson_letter_41 and n29_a_johnson_letter_45 we n29_a_johnson_letter_47 will n29_a_johnson_letter_50 beat n29_a_johnson_letter_53 it n29_a_johnson_letter_56 together n29_a_johnson_letter_58 . n29_a_johnson_letter_1 IP-MAT n29_a_johnson_letter_2 ILYR n29_a_johnson_letter_1->n29_a_johnson_letter_2 n29_a_johnson_letter_57 PUNC n29_a_johnson_letter_1->n29_a_johnson_letter_57 n29_a_johnson_letter_3 ILYR n29_a_johnson_letter_2->n29_a_johnson_letter_3 n29_a_johnson_letter_39 CONJP n29_a_johnson_letter_2->n29_a_johnson_letter_39 n29_a_johnson_letter_4 NP-SBJ n29_a_johnson_letter_3->n29_a_johnson_letter_4 n29_a_johnson_letter_7 BEP;_cleft_Vpr_ n29_a_johnson_letter_3->n29_a_johnson_letter_7 n29_a_johnson_letter_9 PP-FOC n29_a_johnson_letter_3->n29_a_johnson_letter_9 n29_a_johnson_letter_23 IP-CLF n29_a_johnson_letter_3->n29_a_johnson_letter_23 n29_a_johnson_letter_5 PRO;_provisional_ n29_a_johnson_letter_4->n29_a_johnson_letter_5 n29_a_johnson_letter_5->n29_a_johnson_letter_6 n29_a_johnson_letter_7->n29_a_johnson_letter_8 n29_a_johnson_letter_10 P-ROLE n29_a_johnson_letter_9->n29_a_johnson_letter_10 n29_a_johnson_letter_12 NP n29_a_johnson_letter_9->n29_a_johnson_letter_12 n29_a_johnson_letter_10->n29_a_johnson_letter_11 n29_a_johnson_letter_13 D n29_a_johnson_letter_12->n29_a_johnson_letter_13 n29_a_johnson_letter_15 ADJP n29_a_johnson_letter_12->n29_a_johnson_letter_15 n29_a_johnson_letter_18 ADJP n29_a_johnson_letter_12->n29_a_johnson_letter_18 n29_a_johnson_letter_21 N n29_a_johnson_letter_12->n29_a_johnson_letter_21 n29_a_johnson_letter_13->n29_a_johnson_letter_14 n29_a_johnson_letter_16 ADJ n29_a_johnson_letter_15->n29_a_johnson_letter_16 n29_a_johnson_letter_16->n29_a_johnson_letter_17 n29_a_johnson_letter_19 ADJ n29_a_johnson_letter_18->n29_a_johnson_letter_19 n29_a_johnson_letter_19->n29_a_johnson_letter_20 n29_a_johnson_letter_21->n29_a_johnson_letter_22 n29_a_johnson_letter_24 C n29_a_johnson_letter_23->n29_a_johnson_letter_24 n29_a_johnson_letter_26 NP-SBJ n29_a_johnson_letter_23->n29_a_johnson_letter_26 n29_a_johnson_letter_29 MD;_cat_Vi_ n29_a_johnson_letter_23->n29_a_johnson_letter_29 n29_a_johnson_letter_31 IP-INF-CAT n29_a_johnson_letter_23->n29_a_johnson_letter_31 n29_a_johnson_letter_24->n29_a_johnson_letter_25 n29_a_johnson_letter_27 PRO n29_a_johnson_letter_26->n29_a_johnson_letter_27 n29_a_johnson_letter_27->n29_a_johnson_letter_28 n29_a_johnson_letter_29->n29_a_johnson_letter_30 n29_a_johnson_letter_32 NP-NIM n29_a_johnson_letter_31->n29_a_johnson_letter_32 n29_a_johnson_letter_34 VB;_Tn_ n29_a_johnson_letter_31->n29_a_johnson_letter_34 n29_a_johnson_letter_36 NP-OB1 n29_a_johnson_letter_31->n29_a_johnson_letter_36 n29_a_johnson_letter_32->n29_a_johnson_letter_33 n29_a_johnson_letter_34->n29_a_johnson_letter_35 n29_a_johnson_letter_37 N n29_a_johnson_letter_36->n29_a_johnson_letter_37 n29_a_johnson_letter_37->n29_a_johnson_letter_38 n29_a_johnson_letter_40 CONJ n29_a_johnson_letter_39->n29_a_johnson_letter_40 n29_a_johnson_letter_42 ILYR n29_a_johnson_letter_39->n29_a_johnson_letter_42 n29_a_johnson_letter_40->n29_a_johnson_letter_41 n29_a_johnson_letter_43 NP-SBJ n29_a_johnson_letter_42->n29_a_johnson_letter_43 n29_a_johnson_letter_46 MD;_cat_Vi_ n29_a_johnson_letter_42->n29_a_johnson_letter_46 n29_a_johnson_letter_48 IP-INF-CAT n29_a_johnson_letter_42->n29_a_johnson_letter_48 n29_a_johnson_letter_44 PRO n29_a_johnson_letter_43->n29_a_johnson_letter_44 n29_a_johnson_letter_44->n29_a_johnson_letter_45 n29_a_johnson_letter_46->n29_a_johnson_letter_47 n29_a_johnson_letter_49 VB;_Tn_ n29_a_johnson_letter_48->n29_a_johnson_letter_49 n29_a_johnson_letter_51 NP-OB1 n29_a_johnson_letter_48->n29_a_johnson_letter_51 n29_a_johnson_letter_54 ADVP-NIM n29_a_johnson_letter_48->n29_a_johnson_letter_54 n29_a_johnson_letter_49->n29_a_johnson_letter_50 n29_a_johnson_letter_52 PRO n29_a_johnson_letter_51->n29_a_johnson_letter_52 n29_a_johnson_letter_52->n29_a_johnson_letter_53 n29_a_johnson_letter_55 ADV n29_a_johnson_letter_54->n29_a_johnson_letter_55 n29_a_johnson_letter_55->n29_a_johnson_letter_56 n29_a_johnson_letter_57->n29_a_johnson_letter_58 
( (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))