603_a_dick_1952
She smiled up at Dorle.

%3 r_0603_0002__smiled smiled r_0603_0001__She She r_0603_0002__smiled->r_0603_0001__She [arg0] r_0603_0003__up up r_0603_0002__smiled->r_0603_0003__up [nim] r_0603_0005__Dorle Dorle r_0603_0002__smiled->r_0603_0005__Dorle at [clr]
arc(r_0603_0002__smiled, r_0603_0001__She, arg0).
arc(r_0603_0002__smiled, r_0603_0003__up, nim7).
arc(r_0603_0002__smiled, r_0603_0005__Dorle, r_0603_0004__at_clr13).



%3 r_0603_0002__smiled smiled r_0603_0001__She She r_0603_0002__smiled->r_0603_0001__She [arg0] r_0603_0003__up up r_0603_0002__smiled->r_0603_0003__up [nim] r_0603_0005__Dorle Dorle r_0603_0002__smiled->r_0603_0005__Dorle at [clr]
fof(formula,axiom,
    ? [R_603_2_SMILED,R_603_1_SHE,R_603_3_UP,R_603_5_DORLE] :
      ( she(R_603_1_SHE)
      & up(R_603_3_UP)
      & dorle(R_603_5_DORLE)
      & smiled(R_603_2_SMILED,R_603_1_SHE)
      & nim7(R_603_2_SMILED,R_603_3_UP)
      & at_clr13(R_603_2_SMILED,R_603_5_DORLE) ) ).



n603_a_dick_1952 n603_a_dick_1952_4 She n603_a_dick_1952_6 smiled n603_a_dick_1952_9 up n603_a_dick_1952_12 at n603_a_dick_1952_15 Dorle n603_a_dick_1952_17 . n603_a_dick_1952_1 IP-MAT n603_a_dick_1952_2 NP-SBJ n603_a_dick_1952_1->n603_a_dick_1952_2 n603_a_dick_1952_5 VBD;_Ipr_ n603_a_dick_1952_1->n603_a_dick_1952_5 n603_a_dick_1952_7 ADVP-NIM n603_a_dick_1952_1->n603_a_dick_1952_7 n603_a_dick_1952_10 PP-CLR n603_a_dick_1952_1->n603_a_dick_1952_10 n603_a_dick_1952_16 PUNC n603_a_dick_1952_1->n603_a_dick_1952_16 n603_a_dick_1952_3 PRO n603_a_dick_1952_2->n603_a_dick_1952_3 n603_a_dick_1952_3->n603_a_dick_1952_4 n603_a_dick_1952_5->n603_a_dick_1952_6 n603_a_dick_1952_8 RP n603_a_dick_1952_7->n603_a_dick_1952_8 n603_a_dick_1952_8->n603_a_dick_1952_9 n603_a_dick_1952_11 P-ROLE n603_a_dick_1952_10->n603_a_dick_1952_11 n603_a_dick_1952_13 NP n603_a_dick_1952_10->n603_a_dick_1952_13 n603_a_dick_1952_11->n603_a_dick_1952_12 n603_a_dick_1952_14 NPR n603_a_dick_1952_13->n603_a_dick_1952_14 n603_a_dick_1952_14->n603_a_dick_1952_15 n603_a_dick_1952_16->n603_a_dick_1952_17
( (IP-MAT (NP-SBJ;{NASHA} (PRO She;{she}))
          (VBD;_Ipr_ smiled;{smile[at]})
          (ADVP-NIM (RP up;{up}))
          (PP-CLR (P-ROLE at;{at})
                  (NP;{DORLE} (NPR Dorle;{Dorle})))
          (PUNC .))
  (ID 603_a_dick_1952))