Context                Previous, Next                Top


299_a_dick_1952
Nasha smiled a little.

%3 r_0299_0002__smiled smiled r_0299_0001__Nasha Nasha r_0299_0002__smiled->r_0299_0001__Nasha [arg0] r_0299_0003__a_little a little r_0299_0002__smiled->r_0299_0003__a_little [nim] 
arc(r_0299_0002__smiled, r_0299_0001__Nasha, arg0).
arc(r_0299_0002__smiled, r_0299_0003__a_little, nim7).


%3 r_0299_0002__smiled smiled r_0299_0001__Nasha Nasha r_0299_0002__smiled->r_0299_0001__Nasha [arg0] r_0299_0003__a_little a little r_0299_0002__smiled->r_0299_0003__a_little [nim] 
fof(formula,axiom,
    ? [R_299_2_SMILED,R_299_1_NASHA,R_299_3_A_LITTLE] :
      ( nasha(R_299_1_NASHA)
      & a_little(R_299_3_A_LITTLE)
      & smiled(R_299_2_SMILED,R_299_1_NASHA)
      & nim7(R_299_2_SMILED,R_299_3_A_LITTLE) ) ).


n299_a_dick_1952 n299_a_dick_1952_4 Nasha n299_a_dick_1952_6 smiled n299_a_dick_1952_9 a_little n299_a_dick_1952_11 . n299_a_dick_1952_1 IP-MAT n299_a_dick_1952_2 NP-SBJ n299_a_dick_1952_1->n299_a_dick_1952_2 n299_a_dick_1952_5 VBD;_I_ n299_a_dick_1952_1->n299_a_dick_1952_5 n299_a_dick_1952_7 ADVP-NIM n299_a_dick_1952_1->n299_a_dick_1952_7 n299_a_dick_1952_10 PUNC n299_a_dick_1952_1->n299_a_dick_1952_10 n299_a_dick_1952_3 NPR n299_a_dick_1952_2->n299_a_dick_1952_3 n299_a_dick_1952_3->n299_a_dick_1952_4 n299_a_dick_1952_5->n299_a_dick_1952_6 n299_a_dick_1952_8 ADV n299_a_dick_1952_7->n299_a_dick_1952_8 n299_a_dick_1952_8->n299_a_dick_1952_9 n299_a_dick_1952_10->n299_a_dick_1952_11 
( (IP-MAT (NP-SBJ;{NASHA} (NPR Nasha;{Nasha}))
          (VBD;_I_ smiled;{smile})
          (ADVP-NIM (ADV a_little;{a_little}))
          (PUNC .))
  (ID 299_a_dick_1952))