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.
( (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))
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_0006__go_r_0023_0007__further,clr).
arc(r_0023_0006__go_r_0023_0007__further,r_0023_0001__We,arg0).
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_0006__go_r_0023_0007__further,arg0).
arc(r_0023_0010__is,r_0023_0017__tells,prd).
arc(r_0023_0012__the_r_0023_0016__advice,r_0023_0014__and,attrib).
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_0001__WE,R_0023_0006__GO_R_0023_0007__FURTHER,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_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_attrib(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_0006__GO_R_0023_0007__FURTHER)
& r_0023_0006__go_r_0023_0007__further(R_0023_0006__GO_R_0023_0007__FURTHER)
& has_arg0(R_0023_0006__GO_R_0023_0007__FURTHER,R_0023_0001__WE) )
=> ~ ? [R_0023_0002__WILL_R_0023_0004__HESITATE] :
( r_0023_0002__will_r_0023_0004__hesitate(R_0023_0002__WILL_R_0023_0004__HESITATE)
& has_clr(R_0023_0002__WILL_R_0023_0004__HESITATE,R_0023_0006__GO_R_0023_0007__FURTHER)
& has_arg0(R_0023_0002__WILL_R_0023_0004__HESITATE,R_0023_0001__WE) ) ) ).