Context                Previous, Next                Top


23_a_johnson_letter
We will not hesitate to go further if that is what the scientific and medical advice tells us we must do.

%3 r_0023_0002__will will r_0023_0004__hesitate hesitate r_0023_0002__will->r_0023_0004__hesitate [scope] r_0023_0001__We We r_0023_0004__hesitate->r_0023_0001__We [arg0] r_0023_0005__to_r_0023_0006__go to go r_0023_0004__hesitate->r_0023_0005__to_r_0023_0006__go [clr] r_0023_0003__not not r_0023_0003__not->r_0023_0002__will [keep_scope] r_0023_0005__to_r_0023_0006__go->r_0023_0001__We [arg0] r_0023_0007__further further r_0023_0005__to_r_0023_0006__go->r_0023_0007__further [clr] r_0023_0008__if if r_0023_0008__if->r_0023_0003__not [scope] r_0023_0010__is is r_0023_0008__if->r_0023_0010__is [restriction] r_0023_0009__that that r_0023_0010__is->r_0023_0009__that [arg0] r_0023_0017__tells tells r_0023_0010__is->r_0023_0017__tells [prd] r_0023_0017__tells->r_0023_0001__We [arg2] r_0023_0012__the_r_0023_0016__advice the advice r_0023_0017__tells->r_0023_0012__the_r_0023_0016__advice [arg0] r_0023_0020__must must r_0023_0017__tells->r_0023_0020__must [arg1] r_0023_0014__and and r_0023_0012__the_r_0023_0016__advice->r_0023_0014__and [attrib] r_0023_0013__scientific scientific r_0023_0014__and->r_0023_0013__scientific [conj1] r_0023_0015__medical medical r_0023_0014__and->r_0023_0015__medical [conj2] r_0023_0021__do do r_0023_0020__must->r_0023_0021__do [scope] r_0023_0021__do->r_0023_0001__We [arg0] r_0023_0011__what what r_0023_0021__do->r_0023_0011__what [arg1] 
arc(r_0023_0002__will, r_0023_0004__hesitate, scope).
arc(r_0023_0003__not, r_0023_0002__will, keep_scope).
arc(r_0023_0004__hesitate, r_0023_0001__We, arg0).
arc(r_0023_0004__hesitate, r_0023_0005__to_r_0023_0006__go, clr12).
arc(r_0023_0005__to_r_0023_0006__go, r_0023_0001__We, arg0).
arc(r_0023_0005__to_r_0023_0006__go, r_0023_0007__further, clr17).
arc(r_0023_0008__if, r_0023_0003__not, scope).
arc(r_0023_0008__if, r_0023_0010__is, restriction).
arc(r_0023_0010__is, r_0023_0009__that, arg0).
arc(r_0023_0010__is, r_0023_0017__tells, prd).
arc(r_0023_0012__the_r_0023_0016__advice, r_0023_0014__and, attrib37).
arc(r_0023_0014__and, r_0023_0013__scientific, conj1).
arc(r_0023_0014__and, r_0023_0015__medical, conj2).
arc(r_0023_0017__tells, r_0023_0001__We, arg2).
arc(r_0023_0017__tells, r_0023_0012__the_r_0023_0016__advice, arg0).
arc(r_0023_0017__tells, r_0023_0020__must, arg1).
arc(r_0023_0020__must, r_0023_0021__do, scope).
arc(r_0023_0021__do, r_0023_0001__We, arg0).
arc(r_0023_0021__do, r_0023_0011__what, arg1).


%3 r_0023_0002__will_r_0023_0004__hesitate will hesitate r_0023_0001__We We r_0023_0002__will_r_0023_0004__hesitate->r_0023_0001__We [arg0] r_0023_0005__to_r_0023_0006__go to go r_0023_0002__will_r_0023_0004__hesitate->r_0023_0005__to_r_0023_0006__go [clr] r_0023_0005__to_r_0023_0006__go->r_0023_0001__We [arg0] r_0023_0007__further further r_0023_0005__to_r_0023_0006__go->r_0023_0007__further [clr] r_0023_0003__not not r_0023_0003__not->r_0023_0002__will_r_0023_0004__hesitate [keep_scope] r_0023_0008__if if r_0023_0008__if->r_0023_0003__not [scope] r_0023_0010__is is r_0023_0008__if->r_0023_0010__is [restriction] r_0023_0009__that that r_0023_0010__is->r_0023_0009__that [arg0] r_0023_0017__tells tells r_0023_0010__is->r_0023_0017__tells [prd] r_0023_0017__tells->r_0023_0001__We [arg2] r_0023_0012__the_r_0023_0016__advice the advice r_0023_0017__tells->r_0023_0012__the_r_0023_0016__advice [arg0] r_0023_0020__must_r_0023_0021__do must do r_0023_0017__tells->r_0023_0020__must_r_0023_0021__do [arg1] r_0023_0014__and and r_0023_0012__the_r_0023_0016__advice->r_0023_0014__and [attrib] r_0023_0013__scientific scientific r_0023_0014__and->r_0023_0013__scientific [conj1] r_0023_0015__medical medical r_0023_0014__and->r_0023_0015__medical [conj2] r_0023_0020__must_r_0023_0021__do->r_0023_0001__We [arg0] r_0023_0011__what what r_0023_0020__must_r_0023_0021__do->r_0023_0011__what [arg1] 
fof(formula,axiom,
    ! [R_23_10_IS,R_23_9_THAT,R_23_17_TELLS,R_23_12_THE_ADVICE,R_23_14_AND,R_23_13_SCIENTIFIC,R_23_15_MEDICAL,R_23_20_MUST_DO,R_23_11_WHAT,R_23_1_WE] :
      ( ( that(R_23_9_THAT)
        & scientific(R_23_13_SCIENTIFIC)
        & medical(R_23_15_MEDICAL)
        & what(R_23_11_WHAT)
        & we(R_23_1_WE)
        & is(R_23_10_IS,R_23_9_THAT,R_23_17_TELLS)
        & tells(R_23_17_TELLS,R_23_12_THE_ADVICE,R_23_20_MUST_DO,R_23_1_WE)
        & the_advice(R_23_12_THE_ADVICE)
        & attrib37(R_23_12_THE_ADVICE,R_23_14_AND)
        & and(R_23_14_AND)
        & conj1(R_23_14_AND,R_23_13_SCIENTIFIC)
        & conj2(R_23_14_AND,R_23_15_MEDICAL)
        & must_do(R_23_20_MUST_DO,R_23_1_WE,R_23_11_WHAT) )
     => ~ ? [R_23_2_WILL_HESITATE,R_23_5_TO_GO,R_23_7_FURTHER] :
            ( further(R_23_7_FURTHER)
            & will_hesitate(R_23_2_WILL_HESITATE,R_23_1_WE)
            & clr12(R_23_2_WILL_HESITATE,R_23_5_TO_GO)
            & to_go(R_23_5_TO_GO,R_23_1_WE)
            & clr17(R_23_5_TO_GO,R_23_7_FURTHER) ) ) ).


n23_a_johnson_letter n23_a_johnson_letter_4 We n23_a_johnson_letter_6 will n23_a_johnson_letter_8 not n23_a_johnson_letter_11 hesitate n23_a_johnson_letter_14 to n23_a_johnson_letter_16 go n23_a_johnson_letter_19 further n23_a_johnson_letter_22 if n23_a_johnson_letter_26 that n23_a_johnson_letter_28 is n23_a_johnson_letter_33 what n23_a_johnson_letter_36 the n23_a_johnson_letter_41 scientific n23_a_johnson_letter_44 and n23_a_johnson_letter_47 medical n23_a_johnson_letter_49 advice n23_a_johnson_letter_51 tells n23_a_johnson_letter_54 us n23_a_johnson_letter_59 we n23_a_johnson_letter_61 must n23_a_johnson_letter_64 *ICH*-132 n23_a_johnson_letter_66 do n23_a_johnson_letter_68 . n23_a_johnson_letter_1 IP-MAT n23_a_johnson_letter_2 NP-SBJ n23_a_johnson_letter_1->n23_a_johnson_letter_2 n23_a_johnson_letter_5 MD;_cat_Vi_ n23_a_johnson_letter_1->n23_a_johnson_letter_5 n23_a_johnson_letter_7 NEG n23_a_johnson_letter_1->n23_a_johnson_letter_7 n23_a_johnson_letter_9 IP-INF-CAT n23_a_johnson_letter_1->n23_a_johnson_letter_9 n23_a_johnson_letter_20 PP-SCON n23_a_johnson_letter_1->n23_a_johnson_letter_20 n23_a_johnson_letter_67 PUNC n23_a_johnson_letter_1->n23_a_johnson_letter_67 n23_a_johnson_letter_3 PRO n23_a_johnson_letter_2->n23_a_johnson_letter_3 n23_a_johnson_letter_3->n23_a_johnson_letter_4 n23_a_johnson_letter_5->n23_a_johnson_letter_6 n23_a_johnson_letter_7->n23_a_johnson_letter_8 n23_a_johnson_letter_10 VB;_It_ n23_a_johnson_letter_9->n23_a_johnson_letter_10 n23_a_johnson_letter_12 IP-INF-CLR n23_a_johnson_letter_9->n23_a_johnson_letter_12 n23_a_johnson_letter_10->n23_a_johnson_letter_11 n23_a_johnson_letter_13 TO n23_a_johnson_letter_12->n23_a_johnson_letter_13 n23_a_johnson_letter_15 VB;_Ip_ n23_a_johnson_letter_12->n23_a_johnson_letter_15 n23_a_johnson_letter_17 ADVP-CLR n23_a_johnson_letter_12->n23_a_johnson_letter_17 n23_a_johnson_letter_13->n23_a_johnson_letter_14 n23_a_johnson_letter_15->n23_a_johnson_letter_16 n23_a_johnson_letter_18 RP n23_a_johnson_letter_17->n23_a_johnson_letter_18 n23_a_johnson_letter_18->n23_a_johnson_letter_19 n23_a_johnson_letter_21 P-CONN n23_a_johnson_letter_20->n23_a_johnson_letter_21 n23_a_johnson_letter_23 IP-ADV n23_a_johnson_letter_20->n23_a_johnson_letter_23 n23_a_johnson_letter_21->n23_a_johnson_letter_22 n23_a_johnson_letter_24 NP-SBJ n23_a_johnson_letter_23->n23_a_johnson_letter_24 n23_a_johnson_letter_27 BEP;_equ_Vw_ n23_a_johnson_letter_23->n23_a_johnson_letter_27 n23_a_johnson_letter_29 CP-QUE-PRD n23_a_johnson_letter_23->n23_a_johnson_letter_29 n23_a_johnson_letter_25 D;_nphd_ n23_a_johnson_letter_24->n23_a_johnson_letter_25 n23_a_johnson_letter_25->n23_a_johnson_letter_26 n23_a_johnson_letter_27->n23_a_johnson_letter_28 n23_a_johnson_letter_30 IP-SUB n23_a_johnson_letter_29->n23_a_johnson_letter_30 n23_a_johnson_letter_31 NP-132 n23_a_johnson_letter_30->n23_a_johnson_letter_31 n23_a_johnson_letter_34 NP-SBJ n23_a_johnson_letter_30->n23_a_johnson_letter_34 n23_a_johnson_letter_50 VBP;_Dn.f_ n23_a_johnson_letter_30->n23_a_johnson_letter_50 n23_a_johnson_letter_52 NP-OB2 n23_a_johnson_letter_30->n23_a_johnson_letter_52 n23_a_johnson_letter_55 CP-THT-OB1 n23_a_johnson_letter_30->n23_a_johnson_letter_55 n23_a_johnson_letter_32 WPRO n23_a_johnson_letter_31->n23_a_johnson_letter_32 n23_a_johnson_letter_32->n23_a_johnson_letter_33 n23_a_johnson_letter_35 D n23_a_johnson_letter_34->n23_a_johnson_letter_35 n23_a_johnson_letter_37 ADJP n23_a_johnson_letter_34->n23_a_johnson_letter_37 n23_a_johnson_letter_48 N n23_a_johnson_letter_34->n23_a_johnson_letter_48 n23_a_johnson_letter_35->n23_a_johnson_letter_36 n23_a_johnson_letter_38 AJLYR n23_a_johnson_letter_37->n23_a_johnson_letter_38 n23_a_johnson_letter_39 AJLYR n23_a_johnson_letter_38->n23_a_johnson_letter_39 n23_a_johnson_letter_42 CONJP n23_a_johnson_letter_38->n23_a_johnson_letter_42 n23_a_johnson_letter_40 ADJ n23_a_johnson_letter_39->n23_a_johnson_letter_40 n23_a_johnson_letter_40->n23_a_johnson_letter_41 n23_a_johnson_letter_43 CONJ n23_a_johnson_letter_42->n23_a_johnson_letter_43 n23_a_johnson_letter_45 AJLYR n23_a_johnson_letter_42->n23_a_johnson_letter_45 n23_a_johnson_letter_43->n23_a_johnson_letter_44 n23_a_johnson_letter_46 ADJ n23_a_johnson_letter_45->n23_a_johnson_letter_46 n23_a_johnson_letter_46->n23_a_johnson_letter_47 n23_a_johnson_letter_48->n23_a_johnson_letter_49 n23_a_johnson_letter_50->n23_a_johnson_letter_51 n23_a_johnson_letter_53 PRO n23_a_johnson_letter_52->n23_a_johnson_letter_53 n23_a_johnson_letter_53->n23_a_johnson_letter_54 n23_a_johnson_letter_56 IP-SUB n23_a_johnson_letter_55->n23_a_johnson_letter_56 n23_a_johnson_letter_57 NP-SBJ n23_a_johnson_letter_56->n23_a_johnson_letter_57 n23_a_johnson_letter_60 MD;_cat_Vi_ n23_a_johnson_letter_56->n23_a_johnson_letter_60 n23_a_johnson_letter_62 IP-INF-CAT n23_a_johnson_letter_56->n23_a_johnson_letter_62 n23_a_johnson_letter_58 PRO n23_a_johnson_letter_57->n23_a_johnson_letter_58 n23_a_johnson_letter_58->n23_a_johnson_letter_59 n23_a_johnson_letter_60->n23_a_johnson_letter_61 n23_a_johnson_letter_63 NP-OB1 n23_a_johnson_letter_62->n23_a_johnson_letter_63 n23_a_johnson_letter_65 DO;_Tn_ n23_a_johnson_letter_62->n23_a_johnson_letter_65 n23_a_johnson_letter_63->n23_a_johnson_letter_64 n23_a_johnson_letter_65->n23_a_johnson_letter_66 n23_a_johnson_letter_67->n23_a_johnson_letter_68 
( (IP-MAT (NP-SBJ (PRO We;{we}))
          (MD;_cat_Vi_ will;{will})
          (NEG not;{not})
          (IP-INF-CAT (VB;_It_ hesitate;{hesitate})
                      (IP-INF-CLR;{GO_FURTHER} (TO to;{to})
                                               (VB;_Ip_ go;{go[further]})
                                               (ADVP-CLR (RP further;{far}))))
          (PP-SCON (P-CONN if;{if})
                   (IP-ADV (NP-SBJ;{GO_FURTHER} (D;_nphd_ that;{that}))
                           (BEP;_equ_Vw_ is;{be})
                           (CP-QUE-PRD (IP-SUB (NP-132 (WPRO what;{what}))
                                               (NP-SBJ (D the;{the})
                                                       (ADJP (AJLYR (AJLYR (ADJ scientific;{scientific}))
                                                                    (CONJP (CONJ and;{and})
                                                                           (AJLYR (ADJ medical;{medical})))))
                                                       (N advice;{advice}))
                                               (VBP;_Dn.f_ tells;{tell})
                                               (NP-OB2 (PRO us;{we}))
                                               (CP-THT-OB1 (IP-SUB (NP-SBJ (PRO we;{we}))
                                                                   (MD;_cat_Vi_ must;{must})
                                                                   (IP-INF-CAT (NP-OB1 *ICH*-132)
                                                                               (DO;_Tn_ do;{do}))))))))
          (PUNC .))
  (ID 23_a_johnson_letter))