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_0003__a_little a little r_0299_0002__smiled->r_0299_0003__a_little [nim] r_0299_0001__Nasha Nasha r_0299_0002__smiled->r_0299_0001__Nasha [arg0] 
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__1_1_1_1 Nasha n299_a_dick_1952__1_2_1 smiled n299_a_dick_1952__1_3_1_1 a_little n299_a_dick_1952__1_4_1 . n299_a_dick_1952__1 IP-MAT n299_a_dick_1952__1_1 NP-SBJ n299_a_dick_1952__1->n299_a_dick_1952__1_1 n299_a_dick_1952__1_2 VBD;_I_ n299_a_dick_1952__1->n299_a_dick_1952__1_2 n299_a_dick_1952__1_3 ADVP-NIM n299_a_dick_1952__1->n299_a_dick_1952__1_3 n299_a_dick_1952__1_4 PUNC n299_a_dick_1952__1->n299_a_dick_1952__1_4 n299_a_dick_1952__1_1_1 NPR n299_a_dick_1952__1_1->n299_a_dick_1952__1_1_1 n299_a_dick_1952__1_1_1->n299_a_dick_1952__1_1_1_1 n299_a_dick_1952__1_2->n299_a_dick_1952__1_2_1 n299_a_dick_1952__1_3_1 ADV n299_a_dick_1952__1_3->n299_a_dick_1952__1_3_1 n299_a_dick_1952__1_3_1->n299_a_dick_1952__1_3_1_1 n299_a_dick_1952__1_4->n299_a_dick_1952__1_4_1 
( (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))