Context                Previous, Next                Top


184_a_wilde_1_1888
and she ran home, laughing.

n184_a_wilde_1_1888 n184_a_wilde_1_1888__1_1_1 and n184_a_wilde_1_1888__1_2_1_1 she n184_a_wilde_1_1888__1_3_1 ran n184_a_wilde_1_1888__1_4_1_1 home n184_a_wilde_1_1888__1_5_1 , n184_a_wilde_1_1888__1_6_1_1_1 laughing n184_a_wilde_1_1888__1_7_1 . n184_a_wilde_1_1888__1 IP-MAT n184_a_wilde_1_1888__1_1 CONJ;_cl_ n184_a_wilde_1_1888__1->n184_a_wilde_1_1888__1_1 n184_a_wilde_1_1888__1_2 NP-SBJ n184_a_wilde_1_1888__1->n184_a_wilde_1_1888__1_2 n184_a_wilde_1_1888__1_3 VBD;__ n184_a_wilde_1_1888__1->n184_a_wilde_1_1888__1_3 n184_a_wilde_1_1888__1_4 ADVP-NIM n184_a_wilde_1_1888__1->n184_a_wilde_1_1888__1_4 n184_a_wilde_1_1888__1_5 PUNC n184_a_wilde_1_1888__1->n184_a_wilde_1_1888__1_5 n184_a_wilde_1_1888__1_6 PP-SCON n184_a_wilde_1_1888__1->n184_a_wilde_1_1888__1_6 n184_a_wilde_1_1888__1_7 PUNC n184_a_wilde_1_1888__1->n184_a_wilde_1_1888__1_7 n184_a_wilde_1_1888__1_1->n184_a_wilde_1_1888__1_1_1 n184_a_wilde_1_1888__1_2_1 PRO n184_a_wilde_1_1888__1_2->n184_a_wilde_1_1888__1_2_1 n184_a_wilde_1_1888__1_2_1->n184_a_wilde_1_1888__1_2_1_1 n184_a_wilde_1_1888__1_3->n184_a_wilde_1_1888__1_3_1 n184_a_wilde_1_1888__1_4_1 ADV n184_a_wilde_1_1888__1_4->n184_a_wilde_1_1888__1_4_1 n184_a_wilde_1_1888__1_4_1->n184_a_wilde_1_1888__1_4_1_1 n184_a_wilde_1_1888__1_5->n184_a_wilde_1_1888__1_5_1 n184_a_wilde_1_1888__1_6_1 IP-PPL n184_a_wilde_1_1888__1_6->n184_a_wilde_1_1888__1_6_1 n184_a_wilde_1_1888__1_6_1_1 VAG;__ n184_a_wilde_1_1888__1_6_1->n184_a_wilde_1_1888__1_6_1_1 n184_a_wilde_1_1888__1_6_1_1->n184_a_wilde_1_1888__1_6_1_1_1 n184_a_wilde_1_1888__1_7->n184_a_wilde_1_1888__1_7_1 
( (IP-MAT (CONJ;_cl_ and;{and})
          (NP-SBJ;{MATCH_GIRL} (PRO she;{she}))
          (VBD;__ ran;{run})
          (ADVP-NIM (ADV home;{home}))
          (PUNC ,)
          (PP-SCON (IP-PPL (VAG;__ laughing;{laugh})))
          (PUNC .))
  (ID 184_a_wilde_1_1888))


%3 z_0184_5001 r_0184_0006__laughing laughing z_0184_5001->r_0184_0006__laughing [restriction] r_0184_0003__ran ran z_0184_5001->r_0184_0003__ran [scope] r_0184_0002__she she r_0184_0006__laughing->r_0184_0002__she [arg0] r_0184_0003__ran->r_0184_0002__she [arg0] r_0184_0004__home home r_0184_0003__ran->r_0184_0004__home [nim] 
arc(r_0184_0003__ran,r_0184_0002__she,arg0).
arc(r_0184_0003__ran,r_0184_0004__home,nim).
arc(r_0184_0006__laughing,r_0184_0002__she,arg0).
arc(z_0184_5001,r_0184_0003__ran,scope).
arc(z_0184_5001,r_0184_0006__laughing,restriction).


%3 r_0184_0003__ran ran r_0184_0002__she she r_0184_0003__ran->r_0184_0002__she [arg0] r_0184_0004__home home r_0184_0003__ran->r_0184_0004__home [nim] r_0184_0006__laughing laughing r_0184_0006__laughing->r_0184_0002__she [arg0] z_0184_5001 z_0184_5001->r_0184_0003__ran [conj2] z_0184_5001->r_0184_0006__laughing [conj1] 
fof(formula,axiom,
    ? [R_0184_0002__SHE,R_0184_0004__HOME,R_0184_0003__RAN,R_0184_0006__LAUGHING,Z_0184_5001] :
      ( r_0184_0002__she(R_0184_0002__SHE)
      & r_0184_0004__home(R_0184_0004__HOME)
      & z_0184_5001(Z_0184_5001)
      & has_conj1(Z_0184_5001,R_0184_0006__LAUGHING)
      & r_0184_0006__laughing(R_0184_0006__LAUGHING)
      & has_arg0(R_0184_0006__LAUGHING,R_0184_0002__SHE)
      & has_conj2(Z_0184_5001,R_0184_0003__RAN)
      & r_0184_0003__ran(R_0184_0003__RAN)
      & has_nim(R_0184_0003__RAN,R_0184_0004__HOME)
      & has_arg0(R_0184_0003__RAN,R_0184_0002__SHE) ) ).