Context                Previous, Next                Top


144_a_dick_1952
Nasha smiled 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))


%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] 
arc(r_0144_0002__smiled,r_0144_0001__Nasha,arg0).
arc(r_0144_0002__smiled,r_0144_0003__a_little,nim).


%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_0144_0001__NASHA,R_0144_0003__A_LITTLE,R_0144_0002__SMILED] :
      ( r_0144_0001__Nasha(R_0144_0001__NASHA)
      & r_0144_0003__a_little(R_0144_0003__A_LITTLE)
      & r_0144_0002__smiled(R_0144_0002__SMILED)
      & has_nim(R_0144_0002__SMILED,R_0144_0003__A_LITTLE)
      & has_arg0(R_0144_0002__SMILED,R_0144_0001__NASHA) ) ).