Context                Previous, Next                Top


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_0005__Dorle Dorle r_0603_0002__smiled->r_0603_0005__Dorle at [clr] r_0603_0003__up up r_0603_0002__smiled->r_0603_0003__up [nim] r_0603_0001__She She r_0603_0002__smiled->r_0603_0001__She [arg0] 
fof(formula,axiom,
    ? [R_0603_0001__SHE,R_0603_0003__UP,R_0603_0005__DORLE,R_0603_0002__SMILED] :
      ( 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_0002__SMILED)
      & has_r_0603_0004__at_clr13(R_0603_0002__SMILED,R_0603_0005__DORLE)
      & has_nim7(R_0603_0002__SMILED,R_0603_0003__UP)
      & has_arg0(R_0603_0002__SMILED,R_0603_0001__SHE) ) ).


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))