Context                Previous, Next                Top


144_a_dick_1952
Nasha smiled a little.

%3 r_0144_0002__smiled smiled r_0144_0001__Nasha Nasha r_0144_0002__smiled->r_0144_0001__Nasha [arg0] r_0144_0003__a_little a little r_0144_0002__smiled->r_0144_0003__a_little [nim] 
arc(r_0144_0002__smiled, r_0144_0001__Nasha, arg0).
arc(r_0144_0002__smiled, r_0144_0003__a_little, nim7).


%3 r_0144_0002__smiled smiled r_0144_0003__a_little a little r_0144_0002__smiled->r_0144_0003__a_little [nim] r_0144_0001__Nasha Nasha r_0144_0002__smiled->r_0144_0001__Nasha [arg0] 
fof(formula,axiom,
    ? [R_144_2_SMILED,R_144_1_NASHA,R_144_3_A_LITTLE] :
      ( nasha(R_144_1_NASHA)
      & a_little(R_144_3_A_LITTLE)
      & smiled(R_144_2_SMILED,R_144_1_NASHA)
      & nim7(R_144_2_SMILED,R_144_3_A_LITTLE) ) ).


n144_a_dick_1952 n144_a_dick_1952__1_1_1_1 Nasha n144_a_dick_1952__1_2_1 smiled n144_a_dick_1952__1_3_1_1 a_little n144_a_dick_1952__1_4_1 . n144_a_dick_1952__1 IP-MAT n144_a_dick_1952__1_1 NP-SBJ n144_a_dick_1952__1->n144_a_dick_1952__1_1 n144_a_dick_1952__1_2 VBD;_I_ n144_a_dick_1952__1->n144_a_dick_1952__1_2 n144_a_dick_1952__1_3 ADVP-NIM n144_a_dick_1952__1->n144_a_dick_1952__1_3 n144_a_dick_1952__1_4 PUNC n144_a_dick_1952__1->n144_a_dick_1952__1_4 n144_a_dick_1952__1_1_1 NPR n144_a_dick_1952__1_1->n144_a_dick_1952__1_1_1 n144_a_dick_1952__1_1_1->n144_a_dick_1952__1_1_1_1 n144_a_dick_1952__1_2->n144_a_dick_1952__1_2_1 n144_a_dick_1952__1_3_1 ADV n144_a_dick_1952__1_3->n144_a_dick_1952__1_3_1 n144_a_dick_1952__1_3_1->n144_a_dick_1952__1_3_1_1 n144_a_dick_1952__1_4->n144_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 144_a_dick_1952))