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_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] 
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_3 and n50_a_wilde_1_1888_6 he n50_a_wilde_1_1888_8 determined n50_a_wilde_1_1888_11 to n50_a_wilde_1_1888_13 fly n50_a_wilde_1_1888_16 away n50_a_wilde_1_1888_18 . n50_a_wilde_1_1888_1 IP-MAT n50_a_wilde_1_1888_2 CONJ;_cl_ n50_a_wilde_1_1888_1->n50_a_wilde_1_1888_2 n50_a_wilde_1_1888_4 NP-SBJ n50_a_wilde_1_1888_1->n50_a_wilde_1_1888_4 n50_a_wilde_1_1888_7 VBD;_Tt_ n50_a_wilde_1_1888_1->n50_a_wilde_1_1888_7 n50_a_wilde_1_1888_9 IP-INF-OB1 n50_a_wilde_1_1888_1->n50_a_wilde_1_1888_9 n50_a_wilde_1_1888_17 PUNC n50_a_wilde_1_1888_1->n50_a_wilde_1_1888_17 n50_a_wilde_1_1888_2->n50_a_wilde_1_1888_3 n50_a_wilde_1_1888_5 PRO n50_a_wilde_1_1888_4->n50_a_wilde_1_1888_5 n50_a_wilde_1_1888_5->n50_a_wilde_1_1888_6 n50_a_wilde_1_1888_7->n50_a_wilde_1_1888_8 n50_a_wilde_1_1888_10 TO n50_a_wilde_1_1888_9->n50_a_wilde_1_1888_10 n50_a_wilde_1_1888_12 VB;_Ip_ n50_a_wilde_1_1888_9->n50_a_wilde_1_1888_12 n50_a_wilde_1_1888_14 ADVP-NIM n50_a_wilde_1_1888_9->n50_a_wilde_1_1888_14 n50_a_wilde_1_1888_10->n50_a_wilde_1_1888_11 n50_a_wilde_1_1888_12->n50_a_wilde_1_1888_13 n50_a_wilde_1_1888_15 RP n50_a_wilde_1_1888_14->n50_a_wilde_1_1888_15 n50_a_wilde_1_1888_15->n50_a_wilde_1_1888_16 n50_a_wilde_1_1888_17->n50_a_wilde_1_1888_18 
( (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))