Context                Previous, Next                Top


125_a_wilde_1_1888
so he enjoyed himself very much.

%3 r_0125_0003__enjoyed enjoyed r_0125_0001__so so r_0125_0003__enjoyed->r_0125_0001__so [nim] r_0125_0002__he he r_0125_0003__enjoyed->r_0125_0002__he [arg0] r_0125_0003__enjoyed->r_0125_0002__he [arg1] z_000_125_a_wilde_1_1888_13 r_0125_0003__enjoyed->z_000_125_a_wilde_1_1888_13 [nim] r_0125_0006__much much z_000_125_a_wilde_1_1888_13->r_0125_0006__much [attrib] r_0125_0005__very very r_0125_0006__much->r_0125_0005__very [qual] 
arc(r_0125_0003__enjoyed, r_0125_0001__so, nim2).
arc(r_0125_0003__enjoyed, r_0125_0002__he, arg0).
arc(r_0125_0003__enjoyed, r_0125_0002__he, arg1).
arc(r_0125_0003__enjoyed, z_000_125_a_wilde_1_1888_13, nim13).
arc(r_0125_0006__much, r_0125_0005__very, qual15).
arc(z_000_125_a_wilde_1_1888_13, r_0125_0006__much, attrib14).


%3 z_000_125_a_wilde_1_1888_13 r_0125_0006__much much z_000_125_a_wilde_1_1888_13->r_0125_0006__much [attrib] r_0125_0005__very very r_0125_0006__much->r_0125_0005__very [qual] r_0125_0003__enjoyed enjoyed r_0125_0003__enjoyed->z_000_125_a_wilde_1_1888_13 [nim] r_0125_0002__he he r_0125_0003__enjoyed->r_0125_0002__he [arg1] r_0125_0003__enjoyed->r_0125_0002__he [arg0] r_0125_0001__so so r_0125_0003__enjoyed->r_0125_0001__so [nim] 
fof(formula,axiom,
    ? [R_125_3_ENJOYED,R_125_2_HE,Z_125_A_WILDE_1_1888_13,R_125_6_MUCH,R_125_5_VERY,R_125_1_SO] :
      ( he(R_125_2_HE)
      & very(R_125_5_VERY)
      & so(R_125_1_SO)
      & enjoyed(R_125_3_ENJOYED,R_125_2_HE,R_125_2_HE)
      & nim13(R_125_3_ENJOYED,Z_125_A_WILDE_1_1888_13)
      & z_125_a_wilde_1_1888_13(Z_125_A_WILDE_1_1888_13)
      & attrib14(Z_125_A_WILDE_1_1888_13,R_125_6_MUCH)
      & much(R_125_6_MUCH)
      & qual15(R_125_6_MUCH,R_125_5_VERY)
      & nim2(R_125_3_ENJOYED,R_125_1_SO) ) ).


n125_a_wilde_1_1888 n125_a_wilde_1_1888__1_1_1_1 so n125_a_wilde_1_1888__1_2_1_1 he n125_a_wilde_1_1888__1_3_1 enjoyed n125_a_wilde_1_1888__1_4_1_1 himself n125_a_wilde_1_1888__1_5_1_1_1_1 very n125_a_wilde_1_1888__1_5_1_2_1 much n125_a_wilde_1_1888__1_6_1 . n125_a_wilde_1_1888__1 IP-MAT n125_a_wilde_1_1888__1_1 ADVP-NIM n125_a_wilde_1_1888__1->n125_a_wilde_1_1888__1_1 n125_a_wilde_1_1888__1_2 NP-SBJ n125_a_wilde_1_1888__1->n125_a_wilde_1_1888__1_2 n125_a_wilde_1_1888__1_3 VBD;_Tn_ n125_a_wilde_1_1888__1->n125_a_wilde_1_1888__1_3 n125_a_wilde_1_1888__1_4 NP-OB1 n125_a_wilde_1_1888__1->n125_a_wilde_1_1888__1_4 n125_a_wilde_1_1888__1_5 NP-NIM n125_a_wilde_1_1888__1->n125_a_wilde_1_1888__1_5 n125_a_wilde_1_1888__1_6 PUNC n125_a_wilde_1_1888__1->n125_a_wilde_1_1888__1_6 n125_a_wilde_1_1888__1_1_1 ADV n125_a_wilde_1_1888__1_1->n125_a_wilde_1_1888__1_1_1 n125_a_wilde_1_1888__1_1_1->n125_a_wilde_1_1888__1_1_1_1 n125_a_wilde_1_1888__1_2_1 PRO n125_a_wilde_1_1888__1_2->n125_a_wilde_1_1888__1_2_1 n125_a_wilde_1_1888__1_2_1->n125_a_wilde_1_1888__1_2_1_1 n125_a_wilde_1_1888__1_3->n125_a_wilde_1_1888__1_3_1 n125_a_wilde_1_1888__1_4_1 PNX n125_a_wilde_1_1888__1_4->n125_a_wilde_1_1888__1_4_1 n125_a_wilde_1_1888__1_4_1->n125_a_wilde_1_1888__1_4_1_1 n125_a_wilde_1_1888__1_5_1 ADJP n125_a_wilde_1_1888__1_5->n125_a_wilde_1_1888__1_5_1 n125_a_wilde_1_1888__1_5_1_1 ADVP n125_a_wilde_1_1888__1_5_1->n125_a_wilde_1_1888__1_5_1_1 n125_a_wilde_1_1888__1_5_1_2 ADJ n125_a_wilde_1_1888__1_5_1->n125_a_wilde_1_1888__1_5_1_2 n125_a_wilde_1_1888__1_5_1_1_1 ADV n125_a_wilde_1_1888__1_5_1_1->n125_a_wilde_1_1888__1_5_1_1_1 n125_a_wilde_1_1888__1_5_1_1_1->n125_a_wilde_1_1888__1_5_1_1_1_1 n125_a_wilde_1_1888__1_5_1_2->n125_a_wilde_1_1888__1_5_1_2_1 n125_a_wilde_1_1888__1_6->n125_a_wilde_1_1888__1_6_1 
( (IP-MAT (ADVP-NIM (ADV so;{so}))
          (NP-SBJ;{SWALLOW} (PRO he;{he}))
          (VBD;_Tn_ enjoyed;{enjoy})
          (NP-OB1;{SWALLOW} (PNX himself;{himself}))
          (NP-NIM (ADJP (ADVP (ADV very;{very}))
                        (ADJ much;{much})))
          (PUNC .))
  (ID 125_a_wilde_1_1888))