Context                Previous, Next                Top


33_a_wilde_1_1888
and he flew away.

%3 r_0033_0001__and_r_0033_0003__flew and flew r_0033_0002__he he r_0033_0001__and_r_0033_0003__flew->r_0033_0002__he [arg0] r_0033_0004__away away r_0033_0001__and_r_0033_0003__flew->r_0033_0004__away [nim] 
arc(r_0033_0001__and_r_0033_0003__flew, r_0033_0002__he, arg0).
arc(r_0033_0001__and_r_0033_0003__flew, r_0033_0004__away, nim9).


%3 r_0033_0001__and_r_0033_0003__flew and flew r_0033_0002__he he r_0033_0001__and_r_0033_0003__flew->r_0033_0002__he [arg0] r_0033_0004__away away r_0033_0001__and_r_0033_0003__flew->r_0033_0004__away [nim] 
fof(formula,axiom,
    ? [R_33_1_AND_FLEW,R_33_2_HE,R_33_4_AWAY] :
      ( he(R_33_2_HE)
      & away(R_33_4_AWAY)
      & and_flew(R_33_1_AND_FLEW,R_33_2_HE)
      & nim9(R_33_1_AND_FLEW,R_33_4_AWAY) ) ).


n33_a_wilde_1_1888 n33_a_wilde_1_1888_3 and n33_a_wilde_1_1888_6 he n33_a_wilde_1_1888_8 flew n33_a_wilde_1_1888_11 away n33_a_wilde_1_1888_13 . n33_a_wilde_1_1888_1 IP-MAT n33_a_wilde_1_1888_2 CONJ;_cl_ n33_a_wilde_1_1888_1->n33_a_wilde_1_1888_2 n33_a_wilde_1_1888_4 NP-SBJ n33_a_wilde_1_1888_1->n33_a_wilde_1_1888_4 n33_a_wilde_1_1888_7 VBD;_Ip_ n33_a_wilde_1_1888_1->n33_a_wilde_1_1888_7 n33_a_wilde_1_1888_9 ADVP-NIM n33_a_wilde_1_1888_1->n33_a_wilde_1_1888_9 n33_a_wilde_1_1888_12 PUNC n33_a_wilde_1_1888_1->n33_a_wilde_1_1888_12 n33_a_wilde_1_1888_2->n33_a_wilde_1_1888_3 n33_a_wilde_1_1888_5 PRO n33_a_wilde_1_1888_4->n33_a_wilde_1_1888_5 n33_a_wilde_1_1888_5->n33_a_wilde_1_1888_6 n33_a_wilde_1_1888_7->n33_a_wilde_1_1888_8 n33_a_wilde_1_1888_10 RP n33_a_wilde_1_1888_9->n33_a_wilde_1_1888_10 n33_a_wilde_1_1888_10->n33_a_wilde_1_1888_11 n33_a_wilde_1_1888_12->n33_a_wilde_1_1888_13 
( (IP-MAT (CONJ;_cl_ and;{and})
          (NP-SBJ;{SWALLOW} (PRO he;{he}))
          (VBD;_Ip_ flew;{fly[away]})
          (ADVP-NIM (RP away;{away}))
          (PUNC .))
  (ID 33_a_wilde_1_1888))