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_0020__must_r_0023_0021__do must do r_0023_0011__what what r_0023_0020__must_r_0023_0021__do->r_0023_0011__what [arg1] r_0023_0001__We We r_0023_0020__must_r_0023_0021__do->r_0023_0001__We [arg0] r_0023_0017__tells tells r_0023_0017__tells->r_0023_0020__must_r_0023_0021__do [arg1] 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_0014__and and r_0023_0012__the_r_0023_0016__advice->r_0023_0014__and [attrib] r_0023_0015__medical medical r_0023_0014__and->r_0023_0015__medical [conj2] r_0023_0013__scientific scientific r_0023_0014__and->r_0023_0013__scientific [conj1] r_0023_0010__is is r_0023_0010__is->r_0023_0017__tells [prd] r_0023_0009__that that r_0023_0010__is->r_0023_0009__that [arg0] r_0023_0008__if if r_0023_0008__if->r_0023_0010__is [restriction] r_0023_0003__not not r_0023_0008__if->r_0023_0003__not [scope] r_0023_0002__will_r_0023_0004__hesitate will hesitate r_0023_0003__not->r_0023_0002__will_r_0023_0004__hesitate [keep_scope] r_0023_0005__to_r_0023_0006__go to go 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_0002__will_r_0023_0004__hesitate->r_0023_0001__We [arg0] r_0023_0002__will_r_0023_0004__hesitate->r_0023_0005__to_r_0023_0006__go [clr] 
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__1_1_1_1 We n23_a_johnson_letter__1_2_1 will n23_a_johnson_letter__1_3_1 not n23_a_johnson_letter__1_4_1_1 hesitate n23_a_johnson_letter__1_4_2_1_1 to n23_a_johnson_letter__1_4_2_2_1 go n23_a_johnson_letter__1_4_2_3_1_1 further n23_a_johnson_letter__1_5_1_1 if n23_a_johnson_letter__1_5_2_1_1_1 that n23_a_johnson_letter__1_5_2_2_1 is n23_a_johnson_letter__1_5_2_3_1_1_1_1 what n23_a_johnson_letter__1_5_2_3_1_2_1_1 the n23_a_johnson_letter__1_5_2_3_1_2_2_1_1_1_1 scientific n23_a_johnson_letter__1_5_2_3_1_2_2_1_2_1_1 and n23_a_johnson_letter__1_5_2_3_1_2_2_1_2_2_1_1 medical n23_a_johnson_letter__1_5_2_3_1_2_3_1 advice n23_a_johnson_letter__1_5_2_3_1_3_1 tells n23_a_johnson_letter__1_5_2_3_1_4_1_1 us n23_a_johnson_letter__1_5_2_3_1_5_1_1_1_1 we n23_a_johnson_letter__1_5_2_3_1_5_1_2_1 must n23_a_johnson_letter__1_5_2_3_1_5_1_3_1_1 *ICH*-132 n23_a_johnson_letter__1_5_2_3_1_5_1_3_2_1 do n23_a_johnson_letter__1_6_1 . n23_a_johnson_letter__1 IP-MAT n23_a_johnson_letter__1_1 NP-SBJ n23_a_johnson_letter__1->n23_a_johnson_letter__1_1 n23_a_johnson_letter__1_2 MD;_cat_Vi_ n23_a_johnson_letter__1->n23_a_johnson_letter__1_2 n23_a_johnson_letter__1_3 NEG n23_a_johnson_letter__1->n23_a_johnson_letter__1_3 n23_a_johnson_letter__1_4 IP-INF-CAT n23_a_johnson_letter__1->n23_a_johnson_letter__1_4 n23_a_johnson_letter__1_5 PP-SCON n23_a_johnson_letter__1->n23_a_johnson_letter__1_5 n23_a_johnson_letter__1_6 PUNC n23_a_johnson_letter__1->n23_a_johnson_letter__1_6 n23_a_johnson_letter__1_1_1 PRO n23_a_johnson_letter__1_1->n23_a_johnson_letter__1_1_1 n23_a_johnson_letter__1_1_1->n23_a_johnson_letter__1_1_1_1 n23_a_johnson_letter__1_2->n23_a_johnson_letter__1_2_1 n23_a_johnson_letter__1_3->n23_a_johnson_letter__1_3_1 n23_a_johnson_letter__1_4_1 VB;_It_ n23_a_johnson_letter__1_4->n23_a_johnson_letter__1_4_1 n23_a_johnson_letter__1_4_2 IP-INF-CLR n23_a_johnson_letter__1_4->n23_a_johnson_letter__1_4_2 n23_a_johnson_letter__1_4_1->n23_a_johnson_letter__1_4_1_1 n23_a_johnson_letter__1_4_2_1 TO n23_a_johnson_letter__1_4_2->n23_a_johnson_letter__1_4_2_1 n23_a_johnson_letter__1_4_2_2 VB;_Ip_ n23_a_johnson_letter__1_4_2->n23_a_johnson_letter__1_4_2_2 n23_a_johnson_letter__1_4_2_3 ADVP-CLR n23_a_johnson_letter__1_4_2->n23_a_johnson_letter__1_4_2_3 n23_a_johnson_letter__1_4_2_1->n23_a_johnson_letter__1_4_2_1_1 n23_a_johnson_letter__1_4_2_2->n23_a_johnson_letter__1_4_2_2_1 n23_a_johnson_letter__1_4_2_3_1 RP n23_a_johnson_letter__1_4_2_3->n23_a_johnson_letter__1_4_2_3_1 n23_a_johnson_letter__1_4_2_3_1->n23_a_johnson_letter__1_4_2_3_1_1 n23_a_johnson_letter__1_5_1 P-CONN n23_a_johnson_letter__1_5->n23_a_johnson_letter__1_5_1 n23_a_johnson_letter__1_5_2 IP-ADV n23_a_johnson_letter__1_5->n23_a_johnson_letter__1_5_2 n23_a_johnson_letter__1_5_1->n23_a_johnson_letter__1_5_1_1 n23_a_johnson_letter__1_5_2_1 NP-SBJ n23_a_johnson_letter__1_5_2->n23_a_johnson_letter__1_5_2_1 n23_a_johnson_letter__1_5_2_2 BEP;_equ_Vw_ n23_a_johnson_letter__1_5_2->n23_a_johnson_letter__1_5_2_2 n23_a_johnson_letter__1_5_2_3 CP-QUE-PRD n23_a_johnson_letter__1_5_2->n23_a_johnson_letter__1_5_2_3 n23_a_johnson_letter__1_5_2_1_1 D;_nphd_ n23_a_johnson_letter__1_5_2_1->n23_a_johnson_letter__1_5_2_1_1 n23_a_johnson_letter__1_5_2_1_1->n23_a_johnson_letter__1_5_2_1_1_1 n23_a_johnson_letter__1_5_2_2->n23_a_johnson_letter__1_5_2_2_1 n23_a_johnson_letter__1_5_2_3_1 IP-SUB n23_a_johnson_letter__1_5_2_3->n23_a_johnson_letter__1_5_2_3_1 n23_a_johnson_letter__1_5_2_3_1_1 NP-132 n23_a_johnson_letter__1_5_2_3_1->n23_a_johnson_letter__1_5_2_3_1_1 n23_a_johnson_letter__1_5_2_3_1_2 NP-SBJ n23_a_johnson_letter__1_5_2_3_1->n23_a_johnson_letter__1_5_2_3_1_2 n23_a_johnson_letter__1_5_2_3_1_3 VBP;_Dn.f_ n23_a_johnson_letter__1_5_2_3_1->n23_a_johnson_letter__1_5_2_3_1_3 n23_a_johnson_letter__1_5_2_3_1_4 NP-OB2 n23_a_johnson_letter__1_5_2_3_1->n23_a_johnson_letter__1_5_2_3_1_4 n23_a_johnson_letter__1_5_2_3_1_5 CP-THT-OB1 n23_a_johnson_letter__1_5_2_3_1->n23_a_johnson_letter__1_5_2_3_1_5 n23_a_johnson_letter__1_5_2_3_1_1_1 WPRO n23_a_johnson_letter__1_5_2_3_1_1->n23_a_johnson_letter__1_5_2_3_1_1_1 n23_a_johnson_letter__1_5_2_3_1_1_1->n23_a_johnson_letter__1_5_2_3_1_1_1_1 n23_a_johnson_letter__1_5_2_3_1_2_1 D n23_a_johnson_letter__1_5_2_3_1_2->n23_a_johnson_letter__1_5_2_3_1_2_1 n23_a_johnson_letter__1_5_2_3_1_2_2 ADJP n23_a_johnson_letter__1_5_2_3_1_2->n23_a_johnson_letter__1_5_2_3_1_2_2 n23_a_johnson_letter__1_5_2_3_1_2_3 N n23_a_johnson_letter__1_5_2_3_1_2->n23_a_johnson_letter__1_5_2_3_1_2_3 n23_a_johnson_letter__1_5_2_3_1_2_1->n23_a_johnson_letter__1_5_2_3_1_2_1_1 n23_a_johnson_letter__1_5_2_3_1_2_2_1 AJLYR n23_a_johnson_letter__1_5_2_3_1_2_2->n23_a_johnson_letter__1_5_2_3_1_2_2_1 n23_a_johnson_letter__1_5_2_3_1_2_2_1_1 AJLYR n23_a_johnson_letter__1_5_2_3_1_2_2_1->n23_a_johnson_letter__1_5_2_3_1_2_2_1_1 n23_a_johnson_letter__1_5_2_3_1_2_2_1_2 CONJP n23_a_johnson_letter__1_5_2_3_1_2_2_1->n23_a_johnson_letter__1_5_2_3_1_2_2_1_2 n23_a_johnson_letter__1_5_2_3_1_2_2_1_1_1 ADJ n23_a_johnson_letter__1_5_2_3_1_2_2_1_1->n23_a_johnson_letter__1_5_2_3_1_2_2_1_1_1 n23_a_johnson_letter__1_5_2_3_1_2_2_1_1_1->n23_a_johnson_letter__1_5_2_3_1_2_2_1_1_1_1 n23_a_johnson_letter__1_5_2_3_1_2_2_1_2_1 CONJ n23_a_johnson_letter__1_5_2_3_1_2_2_1_2->n23_a_johnson_letter__1_5_2_3_1_2_2_1_2_1 n23_a_johnson_letter__1_5_2_3_1_2_2_1_2_2 AJLYR n23_a_johnson_letter__1_5_2_3_1_2_2_1_2->n23_a_johnson_letter__1_5_2_3_1_2_2_1_2_2 n23_a_johnson_letter__1_5_2_3_1_2_2_1_2_1->n23_a_johnson_letter__1_5_2_3_1_2_2_1_2_1_1 n23_a_johnson_letter__1_5_2_3_1_2_2_1_2_2_1 ADJ n23_a_johnson_letter__1_5_2_3_1_2_2_1_2_2->n23_a_johnson_letter__1_5_2_3_1_2_2_1_2_2_1 n23_a_johnson_letter__1_5_2_3_1_2_2_1_2_2_1->n23_a_johnson_letter__1_5_2_3_1_2_2_1_2_2_1_1 n23_a_johnson_letter__1_5_2_3_1_2_3->n23_a_johnson_letter__1_5_2_3_1_2_3_1 n23_a_johnson_letter__1_5_2_3_1_3->n23_a_johnson_letter__1_5_2_3_1_3_1 n23_a_johnson_letter__1_5_2_3_1_4_1 PRO n23_a_johnson_letter__1_5_2_3_1_4->n23_a_johnson_letter__1_5_2_3_1_4_1 n23_a_johnson_letter__1_5_2_3_1_4_1->n23_a_johnson_letter__1_5_2_3_1_4_1_1 n23_a_johnson_letter__1_5_2_3_1_5_1 IP-SUB n23_a_johnson_letter__1_5_2_3_1_5->n23_a_johnson_letter__1_5_2_3_1_5_1 n23_a_johnson_letter__1_5_2_3_1_5_1_1 NP-SBJ n23_a_johnson_letter__1_5_2_3_1_5_1->n23_a_johnson_letter__1_5_2_3_1_5_1_1 n23_a_johnson_letter__1_5_2_3_1_5_1_2 MD;_cat_Vi_ n23_a_johnson_letter__1_5_2_3_1_5_1->n23_a_johnson_letter__1_5_2_3_1_5_1_2 n23_a_johnson_letter__1_5_2_3_1_5_1_3 IP-INF-CAT n23_a_johnson_letter__1_5_2_3_1_5_1->n23_a_johnson_letter__1_5_2_3_1_5_1_3 n23_a_johnson_letter__1_5_2_3_1_5_1_1_1 PRO n23_a_johnson_letter__1_5_2_3_1_5_1_1->n23_a_johnson_letter__1_5_2_3_1_5_1_1_1 n23_a_johnson_letter__1_5_2_3_1_5_1_1_1->n23_a_johnson_letter__1_5_2_3_1_5_1_1_1_1 n23_a_johnson_letter__1_5_2_3_1_5_1_2->n23_a_johnson_letter__1_5_2_3_1_5_1_2_1 n23_a_johnson_letter__1_5_2_3_1_5_1_3_1 NP-OB1 n23_a_johnson_letter__1_5_2_3_1_5_1_3->n23_a_johnson_letter__1_5_2_3_1_5_1_3_1 n23_a_johnson_letter__1_5_2_3_1_5_1_3_2 DO;_Tn_ n23_a_johnson_letter__1_5_2_3_1_5_1_3->n23_a_johnson_letter__1_5_2_3_1_5_1_3_2 n23_a_johnson_letter__1_5_2_3_1_5_1_3_1->n23_a_johnson_letter__1_5_2_3_1_5_1_3_1_1 n23_a_johnson_letter__1_5_2_3_1_5_1_3_2->n23_a_johnson_letter__1_5_2_3_1_5_1_3_2_1 n23_a_johnson_letter__1_6->n23_a_johnson_letter__1_6_1 
( (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))