Context                Previous, Next                Top


213_a_wilde_1_1888
He had just strength to fly up to the Prince's shoulder once more.

%3 r_0213_0002__had had r_0213_0001__He He r_0213_0002__had->r_0213_0001__He [arg0] r_0213_0003__just just r_0213_0002__had->r_0213_0003__just [nim] r_0213_0004__strength strength r_0213_0002__had->r_0213_0004__strength [arg1] r_0213_0005__to_r_0213_0006__fly_r_0213_0007__up to fly up r_0213_0005__to_r_0213_0006__fly_r_0213_0007__up->r_0213_0001__He [arg0] r_0213_0012__shoulder shoulder r_0213_0005__to_r_0213_0006__fly_r_0213_0007__up->r_0213_0012__shoulder to [nim] r_0213_0013__once_more once more r_0213_0005__to_r_0213_0006__fly_r_0213_0007__up->r_0213_0013__once_more [nim] r_0213_0009__the_r_0213_0010__Prince_r_0213_0011___apos_s the Prince 's r_0213_0012__shoulder->r_0213_0009__the_r_0213_0010__Prince_r_0213_0011___apos_s [gen] z_000_213_a_wilde_1_1888_13 z_000_213_a_wilde_1_1888_13->r_0213_0002__had [scope] z_000_213_a_wilde_1_1888_13->r_0213_0005__to_r_0213_0006__fly_r_0213_0007__up [restriction] 
arc(r_0213_0002__had, r_0213_0001__He, arg0).
arc(r_0213_0002__had, r_0213_0003__just, nim7).
arc(r_0213_0002__had, r_0213_0004__strength, arg1).
arc(r_0213_0005__to_r_0213_0006__fly_r_0213_0007__up, r_0213_0001__He, arg0).
arc(r_0213_0005__to_r_0213_0006__fly_r_0213_0007__up, r_0213_0012__shoulder, r_0213_0008__to_nim24).
arc(r_0213_0005__to_r_0213_0006__fly_r_0213_0007__up, r_0213_0013__once_more, nim34).
arc(r_0213_0012__shoulder, r_0213_0009__the_r_0213_0010__Prince_r_0213_0011___apos_s, gen).
arc(z_000_213_a_wilde_1_1888_13, r_0213_0002__had, scope).
arc(z_000_213_a_wilde_1_1888_13, r_0213_0005__to_r_0213_0006__fly_r_0213_0007__up, restriction).


%3 z_000_213_a_wilde_1_1888_13 r_0213_0005__to_r_0213_0006__fly_r_0213_0007__up to fly up z_000_213_a_wilde_1_1888_13->r_0213_0005__to_r_0213_0006__fly_r_0213_0007__up [conj1] r_0213_0002__had had z_000_213_a_wilde_1_1888_13->r_0213_0002__had [conj2] r_0213_0012__shoulder shoulder r_0213_0005__to_r_0213_0006__fly_r_0213_0007__up->r_0213_0012__shoulder to [nim] r_0213_0013__once_more once more r_0213_0005__to_r_0213_0006__fly_r_0213_0007__up->r_0213_0013__once_more [nim] r_0213_0001__He He r_0213_0005__to_r_0213_0006__fly_r_0213_0007__up->r_0213_0001__He [arg0] r_0213_0002__had->r_0213_0001__He [arg0] r_0213_0004__strength strength r_0213_0002__had->r_0213_0004__strength [arg1] r_0213_0003__just just r_0213_0002__had->r_0213_0003__just [nim] r_0213_0009__the_r_0213_0010__Prince_r_0213_0011___apos_s the Prince 's r_0213_0012__shoulder->r_0213_0009__the_r_0213_0010__Prince_r_0213_0011___apos_s [gen] 
fof(formula,axiom,
    ? [Z_213_A_WILDE_1_1888_13,R_213_5_TO_FLY_UP,R_213_13_ONCE_MORE,R_213_12_SHOULDER,R_213_9_THE_PRINCE_APOS_S,R_213_2_HAD,R_213_1_HE,R_213_4_STRENGTH,R_213_3_JUST] :
      ( once_more(R_213_13_ONCE_MORE)
      & the_Prince_apos_s(R_213_9_THE_PRINCE_APOS_S)
      & he(R_213_1_HE)
      & strength(R_213_4_STRENGTH)
      & just(R_213_3_JUST)
      & z_213_a_wilde_1_1888_13(Z_213_A_WILDE_1_1888_13)
      & conj1(Z_213_A_WILDE_1_1888_13,R_213_5_TO_FLY_UP)
      & to_fly_up(R_213_5_TO_FLY_UP,R_213_1_HE)
      & nim34(R_213_5_TO_FLY_UP,R_213_13_ONCE_MORE)
      & to_nim24(R_213_5_TO_FLY_UP,R_213_12_SHOULDER)
      & shoulder(R_213_12_SHOULDER)
      & gen(R_213_12_SHOULDER,R_213_9_THE_PRINCE_APOS_S)
      & conj2(Z_213_A_WILDE_1_1888_13,R_213_2_HAD)
      & had(R_213_2_HAD,R_213_1_HE,R_213_4_STRENGTH)
      & nim7(R_213_2_HAD,R_213_3_JUST) ) ).


n213_a_wilde_1_1888 n213_a_wilde_1_1888__1_1_1_1 He n213_a_wilde_1_1888__1_2_1 had n213_a_wilde_1_1888__1_3_1_1 just n213_a_wilde_1_1888__1_4_1_1 strength n213_a_wilde_1_1888__1_5_1_1_1 to n213_a_wilde_1_1888__1_5_1_2_1 fly n213_a_wilde_1_1888__1_5_1_3_1 up n213_a_wilde_1_1888__1_5_1_4_1_1 to n213_a_wilde_1_1888__1_5_1_4_2_1_1_1 the n213_a_wilde_1_1888__1_5_1_4_2_1_2_1 Prince n213_a_wilde_1_1888__1_5_1_4_2_1_3_1 's n213_a_wilde_1_1888__1_5_1_4_2_2_1 shoulder n213_a_wilde_1_1888__1_5_1_5_1_1 once_more n213_a_wilde_1_1888__1_6_1 . n213_a_wilde_1_1888__1 IP-MAT n213_a_wilde_1_1888__1_1 NP-SBJ n213_a_wilde_1_1888__1->n213_a_wilde_1_1888__1_1 n213_a_wilde_1_1888__1_2 HVD;_Tn_ n213_a_wilde_1_1888__1->n213_a_wilde_1_1888__1_2 n213_a_wilde_1_1888__1_3 ADVP-NIM n213_a_wilde_1_1888__1->n213_a_wilde_1_1888__1_3 n213_a_wilde_1_1888__1_4 NP-OB1 n213_a_wilde_1_1888__1->n213_a_wilde_1_1888__1_4 n213_a_wilde_1_1888__1_5 PP-SCON n213_a_wilde_1_1888__1->n213_a_wilde_1_1888__1_5 n213_a_wilde_1_1888__1_6 PUNC n213_a_wilde_1_1888__1->n213_a_wilde_1_1888__1_6 n213_a_wilde_1_1888__1_1_1 PRO n213_a_wilde_1_1888__1_1->n213_a_wilde_1_1888__1_1_1 n213_a_wilde_1_1888__1_1_1->n213_a_wilde_1_1888__1_1_1_1 n213_a_wilde_1_1888__1_2->n213_a_wilde_1_1888__1_2_1 n213_a_wilde_1_1888__1_3_1 ADV n213_a_wilde_1_1888__1_3->n213_a_wilde_1_1888__1_3_1 n213_a_wilde_1_1888__1_3_1->n213_a_wilde_1_1888__1_3_1_1 n213_a_wilde_1_1888__1_4_1 N n213_a_wilde_1_1888__1_4->n213_a_wilde_1_1888__1_4_1 n213_a_wilde_1_1888__1_4_1->n213_a_wilde_1_1888__1_4_1_1 n213_a_wilde_1_1888__1_5_1 IP-INF2 n213_a_wilde_1_1888__1_5->n213_a_wilde_1_1888__1_5_1 n213_a_wilde_1_1888__1_5_1_1 TO n213_a_wilde_1_1888__1_5_1->n213_a_wilde_1_1888__1_5_1_1 n213_a_wilde_1_1888__1_5_1_2 VB;__ n213_a_wilde_1_1888__1_5_1->n213_a_wilde_1_1888__1_5_1_2 n213_a_wilde_1_1888__1_5_1_3 RP n213_a_wilde_1_1888__1_5_1->n213_a_wilde_1_1888__1_5_1_3 n213_a_wilde_1_1888__1_5_1_4 PP-NIM n213_a_wilde_1_1888__1_5_1->n213_a_wilde_1_1888__1_5_1_4 n213_a_wilde_1_1888__1_5_1_5 ADVP-NIM n213_a_wilde_1_1888__1_5_1->n213_a_wilde_1_1888__1_5_1_5 n213_a_wilde_1_1888__1_5_1_1->n213_a_wilde_1_1888__1_5_1_1_1 n213_a_wilde_1_1888__1_5_1_2->n213_a_wilde_1_1888__1_5_1_2_1 n213_a_wilde_1_1888__1_5_1_3->n213_a_wilde_1_1888__1_5_1_3_1 n213_a_wilde_1_1888__1_5_1_4_1 P-ROLE n213_a_wilde_1_1888__1_5_1_4->n213_a_wilde_1_1888__1_5_1_4_1 n213_a_wilde_1_1888__1_5_1_4_2 NP n213_a_wilde_1_1888__1_5_1_4->n213_a_wilde_1_1888__1_5_1_4_2 n213_a_wilde_1_1888__1_5_1_4_1->n213_a_wilde_1_1888__1_5_1_4_1_1 n213_a_wilde_1_1888__1_5_1_4_2_1 NP-GEN n213_a_wilde_1_1888__1_5_1_4_2->n213_a_wilde_1_1888__1_5_1_4_2_1 n213_a_wilde_1_1888__1_5_1_4_2_2 N n213_a_wilde_1_1888__1_5_1_4_2->n213_a_wilde_1_1888__1_5_1_4_2_2 n213_a_wilde_1_1888__1_5_1_4_2_1_1 D n213_a_wilde_1_1888__1_5_1_4_2_1->n213_a_wilde_1_1888__1_5_1_4_2_1_1 n213_a_wilde_1_1888__1_5_1_4_2_1_2 N n213_a_wilde_1_1888__1_5_1_4_2_1->n213_a_wilde_1_1888__1_5_1_4_2_1_2 n213_a_wilde_1_1888__1_5_1_4_2_1_3 GENM n213_a_wilde_1_1888__1_5_1_4_2_1->n213_a_wilde_1_1888__1_5_1_4_2_1_3 n213_a_wilde_1_1888__1_5_1_4_2_1_1->n213_a_wilde_1_1888__1_5_1_4_2_1_1_1 n213_a_wilde_1_1888__1_5_1_4_2_1_2->n213_a_wilde_1_1888__1_5_1_4_2_1_2_1 n213_a_wilde_1_1888__1_5_1_4_2_1_3->n213_a_wilde_1_1888__1_5_1_4_2_1_3_1 n213_a_wilde_1_1888__1_5_1_4_2_2->n213_a_wilde_1_1888__1_5_1_4_2_2_1 n213_a_wilde_1_1888__1_5_1_5_1 ADV n213_a_wilde_1_1888__1_5_1_5->n213_a_wilde_1_1888__1_5_1_5_1 n213_a_wilde_1_1888__1_5_1_5_1->n213_a_wilde_1_1888__1_5_1_5_1_1 n213_a_wilde_1_1888__1_6->n213_a_wilde_1_1888__1_6_1 
( (IP-MAT (NP-SBJ;{SWALLOW} (PRO He;{he}))
          (HVD;_Tn_ had;{have})
          (ADVP-NIM (ADV just;{just}))
          (NP-OB1 (N strength;{strength}))
          (PP-SCON (IP-INF2 (TO to;{to})
                            (VB;__ fly;{fly})
                            (RP up;{up})
                            (PP-NIM (P-ROLE to;{to})
                                    (NP (NP-GEN (D the;{the})
                                                (N Prince;{prince})
                                                (GENM <apos>s))
                                        (N shoulder;{shoulder})))
                            (ADVP-NIM (ADV once_more;{once_more}))))
          (PUNC .))
  (ID 213_a_wilde_1_1888))