Context                Previous, Next                Top


13_a_thrust
The more damage done, the longer this will take.

%3 r_0013_0001__The_r_0013_0003__damage The damage r_0013_0002__more more r_0013_0001__The_r_0013_0003__damage->r_0013_0002__more [attrib] r_0013_0004__done done r_0013_0004__done->r_0013_0001__The_r_0013_0003__damage [arg1] z_000_13_a_thrust_11 r_0013_0004__done->z_000_13_a_thrust_11 [arg0] r_0013_0006__the the r_0013_0007__longer longer r_0013_0006__the->r_0013_0007__longer [attrib] r_0013_0009__will will r_0013_0010__take take r_0013_0009__will->r_0013_0010__take [scope] r_0013_0010__take->r_0013_0006__the [arg1] r_0013_0008__this this r_0013_0010__take->r_0013_0008__this [arg0] z_000_13_a_thrust_1 z_000_13_a_thrust_1->r_0013_0001__The_r_0013_0003__damage [nim] z_000_13_a_thrust_1->r_0013_0006__the [nim] 
arc(r_0013_0001__The_r_0013_0003__damage, r_0013_0002__more, attrib5).
arc(r_0013_0004__done, r_0013_0001__The_r_0013_0003__damage, arg1).
arc(r_0013_0004__done, z_000_13_a_thrust_11, arg0).
arc(r_0013_0006__the, r_0013_0007__longer, attrib20).
arc(r_0013_0009__will, r_0013_0010__take, scope).
arc(r_0013_0010__take, r_0013_0006__the, arg1).
arc(r_0013_0010__take, r_0013_0008__this, arg0).
arc(z_000_13_a_thrust_1, r_0013_0001__The_r_0013_0003__damage, nim2).
arc(z_000_13_a_thrust_1, r_0013_0006__the, nim17).


%3 z_000_13_a_thrust_1 r_0013_0006__the the z_000_13_a_thrust_1->r_0013_0006__the [nim] r_0013_0001__The_r_0013_0003__damage The damage z_000_13_a_thrust_1->r_0013_0001__The_r_0013_0003__damage [nim] r_0013_0007__longer longer r_0013_0006__the->r_0013_0007__longer [attrib] r_0013_0002__more more r_0013_0001__The_r_0013_0003__damage->r_0013_0002__more [attrib] r_0013_0009__will_r_0013_0010__take will take r_0013_0009__will_r_0013_0010__take->r_0013_0006__the [arg1] r_0013_0008__this this r_0013_0009__will_r_0013_0010__take->r_0013_0008__this [arg0] r_0013_0004__done done r_0013_0004__done->r_0013_0001__The_r_0013_0003__damage [arg1] z_000_13_a_thrust_11 r_0013_0004__done->z_000_13_a_thrust_11 [arg0] 
fof(formula,axiom,
    ? [R_0013_0002__MORE,R_0013_0001__THE_R_0013_0003__DAMAGE,Z_000_13_A_THRUST_11,R_0013_0004__DONE,R_0013_0007__LONGER,R_0013_0006__THE,R_0013_0008__THIS,R_0013_0009__WILL_R_0013_0010__TAKE,Z_000_13_A_THRUST_1] :
      ( 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_000_13_a_thrust_11(Z_000_13_A_THRUST_11)
      & z_000_13_a_thrust_1(Z_000_13_A_THRUST_1)
      & has_nim17(Z_000_13_A_THRUST_1,R_0013_0006__THE)
      & r_0013_0006__the(R_0013_0006__THE)
      & has_attrib20(R_0013_0006__THE,R_0013_0007__LONGER)
      & has_nim2(Z_000_13_A_THRUST_1,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_attrib5(R_0013_0001__THE_R_0013_0003__DAMAGE,R_0013_0002__MORE)
      & 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_arg1(R_0013_0009__WILL_R_0013_0010__TAKE,R_0013_0006__THE)
      & r_0013_0004__done(R_0013_0004__DONE)
      & has_arg0(R_0013_0004__DONE,Z_000_13_A_THRUST_11)
      & has_arg1(R_0013_0004__DONE,R_0013_0001__THE_R_0013_0003__DAMAGE) ) ).


n13_a_thrust n13_a_thrust__1_1_1_1 The n13_a_thrust__1_1_2_1_1 more n13_a_thrust__1_1_3_1 damage n13_a_thrust__1_1_4_1_1 * n13_a_thrust__1_1_4_2_1 done n13_a_thrust__1_2_1 , n13_a_thrust__1_3_1_1 the n13_a_thrust__1_3_2_1_1 longer n13_a_thrust__1_3_3_1_1_1 this n13_a_thrust__1_3_3_2_1 will n13_a_thrust__1_3_3_3_1_1 *T* n13_a_thrust__1_3_3_3_2_1 take n13_a_thrust__1_4_1 . n13_a_thrust__1 FRAG n13_a_thrust__1_1 NP n13_a_thrust__1->n13_a_thrust__1_1 n13_a_thrust__1_2 PUNC n13_a_thrust__1->n13_a_thrust__1_2 n13_a_thrust__1_3 NP n13_a_thrust__1->n13_a_thrust__1_3 n13_a_thrust__1_4 PUNC n13_a_thrust__1->n13_a_thrust__1_4 n13_a_thrust__1_1_1 D n13_a_thrust__1_1->n13_a_thrust__1_1_1 n13_a_thrust__1_1_2 ADJP n13_a_thrust__1_1->n13_a_thrust__1_1_2 n13_a_thrust__1_1_3 N n13_a_thrust__1_1->n13_a_thrust__1_1_3 n13_a_thrust__1_1_4 IP-PPL n13_a_thrust__1_1->n13_a_thrust__1_1_4 n13_a_thrust__1_1_1->n13_a_thrust__1_1_1_1 n13_a_thrust__1_1_2_1 ADJR n13_a_thrust__1_1_2->n13_a_thrust__1_1_2_1 n13_a_thrust__1_1_2_1->n13_a_thrust__1_1_2_1_1 n13_a_thrust__1_1_3->n13_a_thrust__1_1_3_1 n13_a_thrust__1_1_4_1 NP-LGS n13_a_thrust__1_1_4->n13_a_thrust__1_1_4_1 n13_a_thrust__1_1_4_2 DON;_Tn_ n13_a_thrust__1_1_4->n13_a_thrust__1_1_4_2 n13_a_thrust__1_1_4_1->n13_a_thrust__1_1_4_1_1 n13_a_thrust__1_1_4_2->n13_a_thrust__1_1_4_2_1 n13_a_thrust__1_2->n13_a_thrust__1_2_1 n13_a_thrust__1_3_1 D n13_a_thrust__1_3->n13_a_thrust__1_3_1 n13_a_thrust__1_3_2 ADJP n13_a_thrust__1_3->n13_a_thrust__1_3_2 n13_a_thrust__1_3_3 IP-REL n13_a_thrust__1_3->n13_a_thrust__1_3_3 n13_a_thrust__1_3_1->n13_a_thrust__1_3_1_1 n13_a_thrust__1_3_2_1 ADJR n13_a_thrust__1_3_2->n13_a_thrust__1_3_2_1 n13_a_thrust__1_3_2_1->n13_a_thrust__1_3_2_1_1 n13_a_thrust__1_3_3_1 NP-SBJ n13_a_thrust__1_3_3->n13_a_thrust__1_3_3_1 n13_a_thrust__1_3_3_2 MD;_cat_Vi_ n13_a_thrust__1_3_3->n13_a_thrust__1_3_3_2 n13_a_thrust__1_3_3_3 IP-INF-CAT n13_a_thrust__1_3_3->n13_a_thrust__1_3_3_3 n13_a_thrust__1_3_3_1_1 D;_nphd_ n13_a_thrust__1_3_3_1->n13_a_thrust__1_3_3_1_1 n13_a_thrust__1_3_3_1_1->n13_a_thrust__1_3_3_1_1_1 n13_a_thrust__1_3_3_2->n13_a_thrust__1_3_3_2_1 n13_a_thrust__1_3_3_3_1 NP-OB1 n13_a_thrust__1_3_3_3->n13_a_thrust__1_3_3_3_1 n13_a_thrust__1_3_3_3_2 VB;_Tn_ n13_a_thrust__1_3_3_3->n13_a_thrust__1_3_3_3_2 n13_a_thrust__1_3_3_3_1->n13_a_thrust__1_3_3_3_1_1 n13_a_thrust__1_3_3_3_2->n13_a_thrust__1_3_3_3_2_1 n13_a_thrust__1_4->n13_a_thrust__1_4_1 
( (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))