Context                Previous, Next                Top


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_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] 
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_4 Dorle n417_a_dick_1952_6 smiled n417_a_dick_1952_9 down n417_a_dick_1952_12 at n417_a_dick_1952_15 her n417_a_dick_1952_17 . n417_a_dick_1952_1 IP-MAT n417_a_dick_1952_2 NP-SBJ n417_a_dick_1952_1->n417_a_dick_1952_2 n417_a_dick_1952_5 VBD;_Ipr_ n417_a_dick_1952_1->n417_a_dick_1952_5 n417_a_dick_1952_7 ADVP-NIM n417_a_dick_1952_1->n417_a_dick_1952_7 n417_a_dick_1952_10 PP-CLR n417_a_dick_1952_1->n417_a_dick_1952_10 n417_a_dick_1952_16 PUNC n417_a_dick_1952_1->n417_a_dick_1952_16 n417_a_dick_1952_3 NPR n417_a_dick_1952_2->n417_a_dick_1952_3 n417_a_dick_1952_3->n417_a_dick_1952_4 n417_a_dick_1952_5->n417_a_dick_1952_6 n417_a_dick_1952_8 RP n417_a_dick_1952_7->n417_a_dick_1952_8 n417_a_dick_1952_8->n417_a_dick_1952_9 n417_a_dick_1952_11 P-ROLE n417_a_dick_1952_10->n417_a_dick_1952_11 n417_a_dick_1952_13 NP n417_a_dick_1952_10->n417_a_dick_1952_13 n417_a_dick_1952_11->n417_a_dick_1952_12 n417_a_dick_1952_14 PRO n417_a_dick_1952_13->n417_a_dick_1952_14 n417_a_dick_1952_14->n417_a_dick_1952_15 n417_a_dick_1952_16->n417_a_dick_1952_17 
( (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))