417_a_dick_1952
Dorle smiled down at her.

%3 r_0417_0002__smiled smiled r_0417_0001__Dorle Dorle r_0417_0002__smiled->r_0417_0001__Dorle [arg0] r_0417_0003__down down r_0417_0002__smiled->r_0417_0003__down [nim] r_0417_0005__her her r_0417_0002__smiled->r_0417_0005__her at [clr]
arc(r_0417_0002__smiled, r_0417_0001__Dorle, arg0).
arc(r_0417_0002__smiled, r_0417_0003__down, nim7).
arc(r_0417_0002__smiled, r_0417_0005__her, r_0417_0004__at_clr13).



%3 r_0417_0002__smiled smiled r_0417_0005__her her r_0417_0002__smiled->r_0417_0005__her at [clr] r_0417_0003__down down r_0417_0002__smiled->r_0417_0003__down [nim] r_0417_0001__Dorle Dorle r_0417_0002__smiled->r_0417_0001__Dorle [arg0]
fof(formula,axiom,
    ? [R_417_2_SMILED,R_417_1_DORLE,R_417_3_DOWN,R_417_5_HER] :
      ( dorle(R_417_1_DORLE)
      & down(R_417_3_DOWN)
      & her(R_417_5_HER)
      & smiled(R_417_2_SMILED,R_417_1_DORLE)
      & nim7(R_417_2_SMILED,R_417_3_DOWN)
      & at_clr13(R_417_2_SMILED,R_417_5_HER) ) ).



n417_a_dick_1952 n417_a_dick_1952__1_1_1_1 Dorle n417_a_dick_1952__1_2_1 smiled n417_a_dick_1952__1_3_1_1 down n417_a_dick_1952__1_4_1_1 at n417_a_dick_1952__1_4_2_1_1 her n417_a_dick_1952__1_5_1 . n417_a_dick_1952__1 IP-MAT n417_a_dick_1952__1_1 NP-SBJ n417_a_dick_1952__1->n417_a_dick_1952__1_1 n417_a_dick_1952__1_2 VBD;_Ipr_ n417_a_dick_1952__1->n417_a_dick_1952__1_2 n417_a_dick_1952__1_3 ADVP-NIM n417_a_dick_1952__1->n417_a_dick_1952__1_3 n417_a_dick_1952__1_4 PP-CLR n417_a_dick_1952__1->n417_a_dick_1952__1_4 n417_a_dick_1952__1_5 PUNC n417_a_dick_1952__1->n417_a_dick_1952__1_5 n417_a_dick_1952__1_1_1 NPR n417_a_dick_1952__1_1->n417_a_dick_1952__1_1_1 n417_a_dick_1952__1_1_1->n417_a_dick_1952__1_1_1_1 n417_a_dick_1952__1_2->n417_a_dick_1952__1_2_1 n417_a_dick_1952__1_3_1 RP n417_a_dick_1952__1_3->n417_a_dick_1952__1_3_1 n417_a_dick_1952__1_3_1->n417_a_dick_1952__1_3_1_1 n417_a_dick_1952__1_4_1 P-ROLE n417_a_dick_1952__1_4->n417_a_dick_1952__1_4_1 n417_a_dick_1952__1_4_2 NP n417_a_dick_1952__1_4->n417_a_dick_1952__1_4_2 n417_a_dick_1952__1_4_1->n417_a_dick_1952__1_4_1_1 n417_a_dick_1952__1_4_2_1 PRO n417_a_dick_1952__1_4_2->n417_a_dick_1952__1_4_2_1 n417_a_dick_1952__1_4_2_1->n417_a_dick_1952__1_4_2_1_1 n417_a_dick_1952__1_5->n417_a_dick_1952__1_5_1
( (IP-MAT (NP-SBJ;{DORLE} (NPR Dorle;{Dorle}))
          (VBD;_Ipr_ smiled;{smile[at]})
          (ADVP-NIM (RP down;{down}))
          (PP-CLR (P-ROLE at;{at})
                  (NP;{NASHA} (PRO her;{her})))
          (PUNC .))
  (ID 417_a_dick_1952))