386_a_dick_1952
Tance smiled foolishly inside his helmet.

%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]
arc(r_0386_0002__smiled, r_0386_0001__Tance, arg0).
arc(r_0386_0002__smiled, r_0386_0003__foolishly, nim7).
arc(r_0386_0002__smiled, r_0386_0006__helmet, r_0386_0004__inside_nim13).
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_386_2_SMILED,R_386_3_FOOLISHLY,R_386_6_HELMET,R_386_1_TANCE] :
      ( foolishly(R_386_3_FOOLISHLY)
      & tance(R_386_1_TANCE)
      & smiled(R_386_2_SMILED,R_386_1_TANCE)
      & nim7(R_386_2_SMILED,R_386_3_FOOLISHLY)
      & inside_nim13(R_386_2_SMILED,R_386_6_HELMET)
      & helmet(R_386_6_HELMET)
      & gen(R_386_6_HELMET,R_386_1_TANCE) ) ).



n386_a_dick_1952 n386_a_dick_1952_4 Tance n386_a_dick_1952_6 smiled n386_a_dick_1952_9 foolishly n386_a_dick_1952_12 inside n386_a_dick_1952_16 his n386_a_dick_1952_18 helmet n386_a_dick_1952_20 . n386_a_dick_1952_1 IP-MAT n386_a_dick_1952_2 NP-SBJ n386_a_dick_1952_1->n386_a_dick_1952_2 n386_a_dick_1952_5 VBD;_I_ n386_a_dick_1952_1->n386_a_dick_1952_5 n386_a_dick_1952_7 ADVP-NIM n386_a_dick_1952_1->n386_a_dick_1952_7 n386_a_dick_1952_10 PP-NIM n386_a_dick_1952_1->n386_a_dick_1952_10 n386_a_dick_1952_19 PUNC n386_a_dick_1952_1->n386_a_dick_1952_19 n386_a_dick_1952_3 NPR n386_a_dick_1952_2->n386_a_dick_1952_3 n386_a_dick_1952_3->n386_a_dick_1952_4 n386_a_dick_1952_5->n386_a_dick_1952_6 n386_a_dick_1952_8 ADV n386_a_dick_1952_7->n386_a_dick_1952_8 n386_a_dick_1952_8->n386_a_dick_1952_9 n386_a_dick_1952_11 P-ROLE n386_a_dick_1952_10->n386_a_dick_1952_11 n386_a_dick_1952_13 NP n386_a_dick_1952_10->n386_a_dick_1952_13 n386_a_dick_1952_11->n386_a_dick_1952_12 n386_a_dick_1952_14 NP-GEN n386_a_dick_1952_13->n386_a_dick_1952_14 n386_a_dick_1952_17 N n386_a_dick_1952_13->n386_a_dick_1952_17 n386_a_dick_1952_15 PRO;_genm_ n386_a_dick_1952_14->n386_a_dick_1952_15 n386_a_dick_1952_15->n386_a_dick_1952_16 n386_a_dick_1952_17->n386_a_dick_1952_18 n386_a_dick_1952_19->n386_a_dick_1952_20
( (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))