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 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] 
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_4 so n125_a_wilde_1_1888_7 he n125_a_wilde_1_1888_9 enjoyed n125_a_wilde_1_1888_12 himself n125_a_wilde_1_1888_17 very n125_a_wilde_1_1888_19 much n125_a_wilde_1_1888_21 . n125_a_wilde_1_1888_1 IP-MAT n125_a_wilde_1_1888_2 ADVP-NIM n125_a_wilde_1_1888_1->n125_a_wilde_1_1888_2 n125_a_wilde_1_1888_5 NP-SBJ n125_a_wilde_1_1888_1->n125_a_wilde_1_1888_5 n125_a_wilde_1_1888_8 VBD;_Tn_ n125_a_wilde_1_1888_1->n125_a_wilde_1_1888_8 n125_a_wilde_1_1888_10 NP-OB1 n125_a_wilde_1_1888_1->n125_a_wilde_1_1888_10 n125_a_wilde_1_1888_13 NP-NIM n125_a_wilde_1_1888_1->n125_a_wilde_1_1888_13 n125_a_wilde_1_1888_20 PUNC n125_a_wilde_1_1888_1->n125_a_wilde_1_1888_20 n125_a_wilde_1_1888_3 ADV n125_a_wilde_1_1888_2->n125_a_wilde_1_1888_3 n125_a_wilde_1_1888_3->n125_a_wilde_1_1888_4 n125_a_wilde_1_1888_6 PRO n125_a_wilde_1_1888_5->n125_a_wilde_1_1888_6 n125_a_wilde_1_1888_6->n125_a_wilde_1_1888_7 n125_a_wilde_1_1888_8->n125_a_wilde_1_1888_9 n125_a_wilde_1_1888_11 PNX n125_a_wilde_1_1888_10->n125_a_wilde_1_1888_11 n125_a_wilde_1_1888_11->n125_a_wilde_1_1888_12 n125_a_wilde_1_1888_14 ADJP n125_a_wilde_1_1888_13->n125_a_wilde_1_1888_14 n125_a_wilde_1_1888_15 ADVP n125_a_wilde_1_1888_14->n125_a_wilde_1_1888_15 n125_a_wilde_1_1888_18 ADJ n125_a_wilde_1_1888_14->n125_a_wilde_1_1888_18 n125_a_wilde_1_1888_16 ADV n125_a_wilde_1_1888_15->n125_a_wilde_1_1888_16 n125_a_wilde_1_1888_16->n125_a_wilde_1_1888_17 n125_a_wilde_1_1888_18->n125_a_wilde_1_1888_19 n125_a_wilde_1_1888_20->n125_a_wilde_1_1888_21 
( (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))