Context                Previous, Next                Top


184_a_wilde_1_1888
and she ran home, laughing.

%3 r_0184_0001__and_r_0184_0003__ran and ran r_0184_0002__she she r_0184_0001__and_r_0184_0003__ran->r_0184_0002__she [arg0] r_0184_0004__home home r_0184_0001__and_r_0184_0003__ran->r_0184_0004__home [nim] r_0184_0006__laughing laughing r_0184_0006__laughing->r_0184_0002__she [arg0] z_000_184_a_wilde_1_1888_14 z_000_184_a_wilde_1_1888_14->r_0184_0001__and_r_0184_0003__ran [scope] z_000_184_a_wilde_1_1888_14->r_0184_0006__laughing [restriction] 
arc(r_0184_0001__and_r_0184_0003__ran, r_0184_0002__she, arg0).
arc(r_0184_0001__and_r_0184_0003__ran, r_0184_0004__home, nim9).
arc(r_0184_0006__laughing, r_0184_0002__she, arg0).
arc(z_000_184_a_wilde_1_1888_14, r_0184_0001__and_r_0184_0003__ran, scope).
arc(z_000_184_a_wilde_1_1888_14, r_0184_0006__laughing, restriction).


%3 z_000_184_a_wilde_1_1888_14 r_0184_0006__laughing laughing z_000_184_a_wilde_1_1888_14->r_0184_0006__laughing [conj1] r_0184_0001__and_r_0184_0003__ran and ran z_000_184_a_wilde_1_1888_14->r_0184_0001__and_r_0184_0003__ran [conj2] r_0184_0002__she she r_0184_0006__laughing->r_0184_0002__she [arg0] r_0184_0001__and_r_0184_0003__ran->r_0184_0002__she [arg0] r_0184_0004__home home r_0184_0001__and_r_0184_0003__ran->r_0184_0004__home [nim] 
fof(formula,axiom,
    ? [Z_184_A_WILDE_1_1888_14,R_184_6_LAUGHING,R_184_1_AND_RAN,R_184_2_SHE,R_184_4_HOME] :
      ( she(R_184_2_SHE)
      & home(R_184_4_HOME)
      & z_184_a_wilde_1_1888_14(Z_184_A_WILDE_1_1888_14)
      & conj1(Z_184_A_WILDE_1_1888_14,R_184_6_LAUGHING)
      & laughing(R_184_6_LAUGHING,R_184_2_SHE)
      & conj2(Z_184_A_WILDE_1_1888_14,R_184_1_AND_RAN)
      & and_ran(R_184_1_AND_RAN,R_184_2_SHE)
      & nim9(R_184_1_AND_RAN,R_184_4_HOME) ) ).


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))