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_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] 
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_4 Nasha n144_a_dick_1952_6 smiled n144_a_dick_1952_9 a_little n144_a_dick_1952_11 . n144_a_dick_1952_1 IP-MAT n144_a_dick_1952_2 NP-SBJ n144_a_dick_1952_1->n144_a_dick_1952_2 n144_a_dick_1952_5 VBD;_I_ n144_a_dick_1952_1->n144_a_dick_1952_5 n144_a_dick_1952_7 ADVP-NIM n144_a_dick_1952_1->n144_a_dick_1952_7 n144_a_dick_1952_10 PUNC n144_a_dick_1952_1->n144_a_dick_1952_10 n144_a_dick_1952_3 NPR n144_a_dick_1952_2->n144_a_dick_1952_3 n144_a_dick_1952_3->n144_a_dick_1952_4 n144_a_dick_1952_5->n144_a_dick_1952_6 n144_a_dick_1952_8 ADV n144_a_dick_1952_7->n144_a_dick_1952_8 n144_a_dick_1952_8->n144_a_dick_1952_9 n144_a_dick_1952_10->n144_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 144_a_dick_1952))