13_a_thrust
The more damage done, the longer this will take.
( (FRAG (NP (D The;{the})
(ADJP (ADJR more;{more}))
(N damage;{damage})
(IP-PPL (NP-LGS *)
(DON;_Tn_ done;{do})))
(PUNC ,)
(NP (D the;{the})
(ADJP (ADJR longer;{long}))
(IP-REL (NP-SBJ;{RESTORE_POWER} (D;_nphd_ this;{this}))
(MD;_cat_Vi_ will;{will})
(IP-INF-CAT (NP-OB1 *T*)
(VB;_Tn_ take;{take}))))
(PUNC .))
(ID 13_a_thrust))
arc(r_0013_0001__The_r_0013_0003__damage,r_0013_0002__more,attrib).
arc(r_0013_0004__done,r_0013_0001__The_r_0013_0003__damage,inv_arg1).
arc(r_0013_0004__done,z_0013_5012___star_,arg0).
arc(r_0013_0006__the,r_0013_0007__longer,attrib).
arc(r_0013_0009__will,r_0013_0010__take,scope).
arc(r_0013_0010__take,r_0013_0006__the,inv_arg1).
arc(r_0013_0010__take,r_0013_0008__this,arg0).
arc(z_0013_5014,r_0013_0001__The_r_0013_0003__damage,z_0013_5009).
arc(z_0013_5014,r_0013_0006__the,z_0013_5003).
fof(formula,axiom,
? [R_0013_0002__MORE,Z_0013_5012___STAR_,R_0013_0004__DONE,R_0013_0001__THE_R_0013_0003__DAMAGE,R_0013_0007__LONGER,R_0013_0008__THIS,R_0013_0009__WILL_R_0013_0010__TAKE,R_0013_0006__THE,Z_0013_5014] :
( r_0013_0002__more(R_0013_0002__MORE)
& r_0013_0007__longer(R_0013_0007__LONGER)
& r_0013_0008__this(R_0013_0008__THIS)
& z_0013_5012___star_(Z_0013_5012___STAR_)
& z_0013_5014(Z_0013_5014)
& has_z_0013_5003(Z_0013_5014,R_0013_0006__THE)
& r_0013_0006__the(R_0013_0006__THE)
& has_inv_arg1(R_0013_0006__THE,R_0013_0009__WILL_R_0013_0010__TAKE)
& r_0013_0009__will_r_0013_0010__take(R_0013_0009__WILL_R_0013_0010__TAKE)
& has_arg0(R_0013_0009__WILL_R_0013_0010__TAKE,R_0013_0008__THIS)
& has_attrib(R_0013_0006__THE,R_0013_0007__LONGER)
& has_z_0013_5009(Z_0013_5014,R_0013_0001__THE_R_0013_0003__DAMAGE)
& r_0013_0001__The_r_0013_0003__damage(R_0013_0001__THE_R_0013_0003__DAMAGE)
& has_inv_arg1(R_0013_0001__THE_R_0013_0003__DAMAGE,R_0013_0004__DONE)
& r_0013_0004__done(R_0013_0004__DONE)
& has_arg0(R_0013_0004__DONE,Z_0013_5012___STAR_)
& has_attrib(R_0013_0001__THE_R_0013_0003__DAMAGE,R_0013_0002__MORE) ) ).