Context                Previous, Next                Top


386_a_dick_1952
Tance smiled foolishly inside his helmet.

n386_a_dick_1952 n386_a_dick_1952__1_1_1_1 Tance n386_a_dick_1952__1_2_1 smiled n386_a_dick_1952__1_3_1_1 foolishly n386_a_dick_1952__1_4_1_1 inside n386_a_dick_1952__1_4_2_1_1_1 his n386_a_dick_1952__1_4_2_2_1 helmet n386_a_dick_1952__1_5_1 . n386_a_dick_1952__1 IP-MAT n386_a_dick_1952__1_1 NP-SBJ n386_a_dick_1952__1->n386_a_dick_1952__1_1 n386_a_dick_1952__1_2 VBD;_I_ n386_a_dick_1952__1->n386_a_dick_1952__1_2 n386_a_dick_1952__1_3 ADVP-NIM n386_a_dick_1952__1->n386_a_dick_1952__1_3 n386_a_dick_1952__1_4 PP-NIM n386_a_dick_1952__1->n386_a_dick_1952__1_4 n386_a_dick_1952__1_5 PUNC n386_a_dick_1952__1->n386_a_dick_1952__1_5 n386_a_dick_1952__1_1_1 NPR n386_a_dick_1952__1_1->n386_a_dick_1952__1_1_1 n386_a_dick_1952__1_1_1->n386_a_dick_1952__1_1_1_1 n386_a_dick_1952__1_2->n386_a_dick_1952__1_2_1 n386_a_dick_1952__1_3_1 ADV n386_a_dick_1952__1_3->n386_a_dick_1952__1_3_1 n386_a_dick_1952__1_3_1->n386_a_dick_1952__1_3_1_1 n386_a_dick_1952__1_4_1 P-ROLE n386_a_dick_1952__1_4->n386_a_dick_1952__1_4_1 n386_a_dick_1952__1_4_2 NP n386_a_dick_1952__1_4->n386_a_dick_1952__1_4_2 n386_a_dick_1952__1_4_1->n386_a_dick_1952__1_4_1_1 n386_a_dick_1952__1_4_2_1 NP-GEN n386_a_dick_1952__1_4_2->n386_a_dick_1952__1_4_2_1 n386_a_dick_1952__1_4_2_2 N n386_a_dick_1952__1_4_2->n386_a_dick_1952__1_4_2_2 n386_a_dick_1952__1_4_2_1_1 PRO;_genm_ n386_a_dick_1952__1_4_2_1->n386_a_dick_1952__1_4_2_1_1 n386_a_dick_1952__1_4_2_1_1->n386_a_dick_1952__1_4_2_1_1_1 n386_a_dick_1952__1_4_2_2->n386_a_dick_1952__1_4_2_2_1 n386_a_dick_1952__1_5->n386_a_dick_1952__1_5_1 
( (IP-MAT (NP-SBJ;{TANCE} (NPR Tance;{Tance}))
          (VBD;_I_ smiled;{smile})
          (ADVP-NIM (ADV foolishly;{foolishly}))
          (PP-NIM (P-ROLE inside;{inside})
                  (NP (NP-GEN;{TANCE} (PRO;_genm_ his;{his}))
                      (N helmet;{helmet})))
          (PUNC .))
  (ID 386_a_dick_1952))


%3 r_0386_0006__helmet helmet r_0386_0001__Tance Tance r_0386_0006__helmet->r_0386_0001__Tance [gen] r_0386_0002__smiled smiled r_0386_0002__smiled->r_0386_0006__helmet inside [nim] r_0386_0002__smiled->r_0386_0001__Tance [arg0] r_0386_0003__foolishly foolishly r_0386_0002__smiled->r_0386_0003__foolishly [nim] 
arc(r_0386_0002__smiled,r_0386_0001__Tance,arg0).
arc(r_0386_0002__smiled,r_0386_0003__foolishly,nim).
arc(r_0386_0002__smiled,r_0386_0006__helmet,r_0386_0004__inside__nim).
arc(r_0386_0006__helmet,r_0386_0001__Tance,gen).


%3 r_0386_0002__smiled smiled r_0386_0001__Tance Tance r_0386_0002__smiled->r_0386_0001__Tance [arg0] r_0386_0003__foolishly foolishly r_0386_0002__smiled->r_0386_0003__foolishly [nim] r_0386_0006__helmet helmet r_0386_0002__smiled->r_0386_0006__helmet inside [nim] r_0386_0006__helmet->r_0386_0001__Tance [gen] 
fof(formula,axiom,
    ? [R_0386_0001__TANCE,R_0386_0003__FOOLISHLY,R_0386_0006__HELMET,R_0386_0002__SMILED] :
      ( r_0386_0001__Tance(R_0386_0001__TANCE)
      & r_0386_0003__foolishly(R_0386_0003__FOOLISHLY)
      & r_0386_0002__smiled(R_0386_0002__SMILED)
      & has_r_0386_0004__inside__nim(R_0386_0002__SMILED,R_0386_0006__HELMET)
      & r_0386_0006__helmet(R_0386_0006__HELMET)
      & has_gen(R_0386_0006__HELMET,R_0386_0001__TANCE)
      & has_nim(R_0386_0002__SMILED,R_0386_0003__FOOLISHLY)
      & has_arg0(R_0386_0002__SMILED,R_0386_0001__TANCE) ) ).