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

fof(formula,axiom,
    ! [R_0023_0010__IS,R_0023_0009__THAT,R_0023_0001__WE,R_0023_0013__SCIENTIFIC,R_0023_0015__MEDICAL,R_0023_0014__AND,R_0023_0012__THE_R_0023_0016__ADVICE,R_0023_0011__WHAT,R_0023_0020__MUST_R_0023_0021__DO,R_0023_0017__TELLS] :
      ( ( r_0023_0001__We(R_0023_0001__WE)
        & r_0023_0009__that(R_0023_0009__THAT)
        & r_0023_0011__what(R_0023_0011__WHAT)
        & r_0023_0013__scientific(R_0023_0013__SCIENTIFIC)
        & r_0023_0015__medical(R_0023_0015__MEDICAL)
        & r_0023_0010__is(R_0023_0010__IS)
        & has_prd(R_0023_0010__IS,R_0023_0017__TELLS)
        & r_0023_0017__tells(R_0023_0017__TELLS)
        & has_arg1(R_0023_0017__TELLS,R_0023_0020__MUST_R_0023_0021__DO)
        & r_0023_0020__must_r_0023_0021__do(R_0023_0020__MUST_R_0023_0021__DO)
        & has_arg1(R_0023_0020__MUST_R_0023_0021__DO,R_0023_0011__WHAT)
        & has_arg0(R_0023_0020__MUST_R_0023_0021__DO,R_0023_0001__WE)
        & has_arg0(R_0023_0017__TELLS,R_0023_0012__THE_R_0023_0016__ADVICE)
        & r_0023_0012__the_r_0023_0016__advice(R_0023_0012__THE_R_0023_0016__ADVICE)
        & has_attrib37(R_0023_0012__THE_R_0023_0016__ADVICE,R_0023_0014__AND)
        & r_0023_0014__and(R_0023_0014__AND)
        & has_conj2(R_0023_0014__AND,R_0023_0015__MEDICAL)
        & has_conj1(R_0023_0014__AND,R_0023_0013__SCIENTIFIC)
        & has_arg2(R_0023_0017__TELLS,R_0023_0001__WE)
        & has_arg0(R_0023_0010__IS,R_0023_0009__THAT) )
     => ~ ? [R_0023_0007__FURTHER,R_0023_0005__TO_R_0023_0006__GO,R_0023_0002__WILL_R_0023_0004__HESITATE] :
            ( r_0023_0007__further(R_0023_0007__FURTHER)
            & r_0023_0002__will_r_0023_0004__hesitate(R_0023_0002__WILL_R_0023_0004__HESITATE)
            & has_clr12(R_0023_0002__WILL_R_0023_0004__HESITATE,R_0023_0005__TO_R_0023_0006__GO)
            & r_0023_0005__to_r_0023_0006__go(R_0023_0005__TO_R_0023_0006__GO)
            & has_clr17(R_0023_0005__TO_R_0023_0006__GO,R_0023_0007__FURTHER)
            & has_arg0(R_0023_0005__TO_R_0023_0006__GO,R_0023_0001__WE)
            & has_arg0(R_0023_0002__WILL_R_0023_0004__HESITATE,R_0023_0001__WE) ) ) ).

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