Context                Previous, Next                Top


603_a_dick_1952
She smiled up at Dorle.

n603_a_dick_1952 n603_a_dick_1952__1_1_1_1 She n603_a_dick_1952__1_2_1 smiled n603_a_dick_1952__1_3_1_1 up n603_a_dick_1952__1_4_1_1 at n603_a_dick_1952__1_4_2_1_1 Dorle n603_a_dick_1952__1_5_1 . n603_a_dick_1952__1 IP-MAT n603_a_dick_1952__1_1 NP-SBJ n603_a_dick_1952__1->n603_a_dick_1952__1_1 n603_a_dick_1952__1_2 VBD;_Ipr_ n603_a_dick_1952__1->n603_a_dick_1952__1_2 n603_a_dick_1952__1_3 ADVP-NIM n603_a_dick_1952__1->n603_a_dick_1952__1_3 n603_a_dick_1952__1_4 PP-CLR n603_a_dick_1952__1->n603_a_dick_1952__1_4 n603_a_dick_1952__1_5 PUNC n603_a_dick_1952__1->n603_a_dick_1952__1_5 n603_a_dick_1952__1_1_1 PRO n603_a_dick_1952__1_1->n603_a_dick_1952__1_1_1 n603_a_dick_1952__1_1_1->n603_a_dick_1952__1_1_1_1 n603_a_dick_1952__1_2->n603_a_dick_1952__1_2_1 n603_a_dick_1952__1_3_1 RP n603_a_dick_1952__1_3->n603_a_dick_1952__1_3_1 n603_a_dick_1952__1_3_1->n603_a_dick_1952__1_3_1_1 n603_a_dick_1952__1_4_1 P-ROLE n603_a_dick_1952__1_4->n603_a_dick_1952__1_4_1 n603_a_dick_1952__1_4_2 NP n603_a_dick_1952__1_4->n603_a_dick_1952__1_4_2 n603_a_dick_1952__1_4_1->n603_a_dick_1952__1_4_1_1 n603_a_dick_1952__1_4_2_1 NPR n603_a_dick_1952__1_4_2->n603_a_dick_1952__1_4_2_1 n603_a_dick_1952__1_4_2_1->n603_a_dick_1952__1_4_2_1_1 n603_a_dick_1952__1_5->n603_a_dick_1952__1_5_1 
( (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))


%3 r_0603_0002__smiled_r_0603_0004__at smiled at r_0603_0005__Dorle Dorle r_0603_0002__smiled_r_0603_0004__at->r_0603_0005__Dorle [arg1] r_0603_0003__up up r_0603_0002__smiled_r_0603_0004__at->r_0603_0003__up [nim] r_0603_0001__She She r_0603_0002__smiled_r_0603_0004__at->r_0603_0001__She [arg0] 
arc(r_0603_0002__smiled_r_0603_0004__at,r_0603_0001__She,arg0).
arc(r_0603_0002__smiled_r_0603_0004__at,r_0603_0003__up,nim).
arc(r_0603_0002__smiled_r_0603_0004__at,r_0603_0005__Dorle,arg1).


%3 r_0603_0002__smiled_r_0603_0004__at smiled at r_0603_0001__She She r_0603_0002__smiled_r_0603_0004__at->r_0603_0001__She [arg0] r_0603_0003__up up r_0603_0002__smiled_r_0603_0004__at->r_0603_0003__up [nim] r_0603_0005__Dorle Dorle r_0603_0002__smiled_r_0603_0004__at->r_0603_0005__Dorle [arg1] 
fof(formula,axiom,
    ? [R_0603_0001__SHE,R_0603_0003__UP,R_0603_0005__DORLE,R_0603_0002__SMILED_R_0603_0004__AT] :
      ( r_0603_0001__She(R_0603_0001__SHE)
      & r_0603_0003__up(R_0603_0003__UP)
      & r_0603_0005__Dorle(R_0603_0005__DORLE)
      & r_0603_0002__smiled_r_0603_0004__at(R_0603_0002__SMILED_R_0603_0004__AT)
      & has_arg1(R_0603_0002__SMILED_R_0603_0004__AT,R_0603_0005__DORLE)
      & has_nim(R_0603_0002__SMILED_R_0603_0004__AT,R_0603_0003__UP)
      & has_arg0(R_0603_0002__SMILED_R_0603_0004__AT,R_0603_0001__SHE) ) ).