Context                Previous, Next                Top


50_a_wilde_1_1888
and he determined to fly away.

%3 r_0050_0001__and_r_0050_0003__determined and determined r_0050_0002__he he r_0050_0001__and_r_0050_0003__determined->r_0050_0002__he [arg0] r_0050_0004__to_r_0050_0005__fly to fly r_0050_0001__and_r_0050_0003__determined->r_0050_0004__to_r_0050_0005__fly [arg1] r_0050_0004__to_r_0050_0005__fly->r_0050_0002__he [arg0] r_0050_0006__away away r_0050_0004__to_r_0050_0005__fly->r_0050_0006__away [nim] 
arc(r_0050_0001__and_r_0050_0003__determined, r_0050_0002__he, arg0).
arc(r_0050_0001__and_r_0050_0003__determined, r_0050_0004__to_r_0050_0005__fly, arg1).
arc(r_0050_0004__to_r_0050_0005__fly, r_0050_0002__he, arg0).
arc(r_0050_0004__to_r_0050_0005__fly, r_0050_0006__away, nim14).


%3 r_0050_0004__to_r_0050_0005__fly to fly r_0050_0006__away away r_0050_0004__to_r_0050_0005__fly->r_0050_0006__away [nim] r_0050_0002__he he r_0050_0004__to_r_0050_0005__fly->r_0050_0002__he [arg0] r_0050_0001__and_r_0050_0003__determined and determined r_0050_0001__and_r_0050_0003__determined->r_0050_0004__to_r_0050_0005__fly [arg1] r_0050_0001__and_r_0050_0003__determined->r_0050_0002__he [arg0] 
fof(formula,axiom,
    ? [R_50_1_AND_DETERMINED,R_50_4_TO_FLY,R_50_2_HE,R_50_6_AWAY] :
      ( he(R_50_2_HE)
      & away(R_50_6_AWAY)
      & and_determined(R_50_1_AND_DETERMINED,R_50_2_HE,R_50_4_TO_FLY)
      & to_fly(R_50_4_TO_FLY,R_50_2_HE)
      & nim14(R_50_4_TO_FLY,R_50_6_AWAY) ) ).


n50_a_wilde_1_1888 n50_a_wilde_1_1888__1_1_1 and n50_a_wilde_1_1888__1_2_1_1 he n50_a_wilde_1_1888__1_3_1 determined n50_a_wilde_1_1888__1_4_1_1 to n50_a_wilde_1_1888__1_4_2_1 fly n50_a_wilde_1_1888__1_4_3_1_1 away n50_a_wilde_1_1888__1_5_1 . n50_a_wilde_1_1888__1 IP-MAT n50_a_wilde_1_1888__1_1 CONJ;_cl_ n50_a_wilde_1_1888__1->n50_a_wilde_1_1888__1_1 n50_a_wilde_1_1888__1_2 NP-SBJ n50_a_wilde_1_1888__1->n50_a_wilde_1_1888__1_2 n50_a_wilde_1_1888__1_3 VBD;_Tt_ n50_a_wilde_1_1888__1->n50_a_wilde_1_1888__1_3 n50_a_wilde_1_1888__1_4 IP-INF-OB1 n50_a_wilde_1_1888__1->n50_a_wilde_1_1888__1_4 n50_a_wilde_1_1888__1_5 PUNC n50_a_wilde_1_1888__1->n50_a_wilde_1_1888__1_5 n50_a_wilde_1_1888__1_1->n50_a_wilde_1_1888__1_1_1 n50_a_wilde_1_1888__1_2_1 PRO n50_a_wilde_1_1888__1_2->n50_a_wilde_1_1888__1_2_1 n50_a_wilde_1_1888__1_2_1->n50_a_wilde_1_1888__1_2_1_1 n50_a_wilde_1_1888__1_3->n50_a_wilde_1_1888__1_3_1 n50_a_wilde_1_1888__1_4_1 TO n50_a_wilde_1_1888__1_4->n50_a_wilde_1_1888__1_4_1 n50_a_wilde_1_1888__1_4_2 VB;_Ip_ n50_a_wilde_1_1888__1_4->n50_a_wilde_1_1888__1_4_2 n50_a_wilde_1_1888__1_4_3 ADVP-NIM n50_a_wilde_1_1888__1_4->n50_a_wilde_1_1888__1_4_3 n50_a_wilde_1_1888__1_4_1->n50_a_wilde_1_1888__1_4_1_1 n50_a_wilde_1_1888__1_4_2->n50_a_wilde_1_1888__1_4_2_1 n50_a_wilde_1_1888__1_4_3_1 RP n50_a_wilde_1_1888__1_4_3->n50_a_wilde_1_1888__1_4_3_1 n50_a_wilde_1_1888__1_4_3_1->n50_a_wilde_1_1888__1_4_3_1_1 n50_a_wilde_1_1888__1_5->n50_a_wilde_1_1888__1_5_1 
( (IP-MAT (CONJ;_cl_ and;{and})
          (NP-SBJ;{SWALLOW} (PRO he;{he}))
          (VBD;_Tt_ determined;{determine})
          (IP-INF-OB1 (TO to;{to})
                      (VB;_Ip_ fly;{fly[away]})
                      (ADVP-NIM (RP away;{away})))
          (PUNC .))
  (ID 50_a_wilde_1_1888))