Context                Previous, Next                Top


417_a_dick_1952
Dorle smiled down at 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))


%3 r_0417_0002__smiled_r_0417_0004__at smiled at r_0417_0005__her her r_0417_0002__smiled_r_0417_0004__at->r_0417_0005__her [arg1] r_0417_0003__down down r_0417_0002__smiled_r_0417_0004__at->r_0417_0003__down [nim] r_0417_0001__Dorle Dorle r_0417_0002__smiled_r_0417_0004__at->r_0417_0001__Dorle [arg0] 
arc(r_0417_0002__smiled_r_0417_0004__at,r_0417_0001__Dorle,arg0).
arc(r_0417_0002__smiled_r_0417_0004__at,r_0417_0003__down,nim).
arc(r_0417_0002__smiled_r_0417_0004__at,r_0417_0005__her,arg1).


%3 r_0417_0002__smiled_r_0417_0004__at smiled at r_0417_0001__Dorle Dorle r_0417_0002__smiled_r_0417_0004__at->r_0417_0001__Dorle [arg0] r_0417_0003__down down r_0417_0002__smiled_r_0417_0004__at->r_0417_0003__down [nim] r_0417_0005__her her r_0417_0002__smiled_r_0417_0004__at->r_0417_0005__her [arg1] 
fof(formula,axiom,
    ? [R_0417_0001__DORLE,R_0417_0003__DOWN,R_0417_0005__HER,R_0417_0002__SMILED_R_0417_0004__AT] :
      ( r_0417_0001__Dorle(R_0417_0001__DORLE)
      & r_0417_0003__down(R_0417_0003__DOWN)
      & r_0417_0005__her(R_0417_0005__HER)
      & r_0417_0002__smiled_r_0417_0004__at(R_0417_0002__SMILED_R_0417_0004__AT)
      & has_arg1(R_0417_0002__SMILED_R_0417_0004__AT,R_0417_0005__HER)
      & has_nim(R_0417_0002__SMILED_R_0417_0004__AT,R_0417_0003__DOWN)
      & has_arg0(R_0417_0002__SMILED_R_0417_0004__AT,R_0417_0001__DORLE) ) ).