Context                Previous, Next                Top


172_a_dick_1952
Nasha glanced at him.

%3 r_0172_0002__glanced glanced r_0172_0001__Nasha Nasha r_0172_0002__glanced->r_0172_0001__Nasha [arg0] r_0172_0004__him him r_0172_0002__glanced->r_0172_0004__him at [clr] 
arc(r_0172_0002__glanced, r_0172_0001__Nasha, arg0).
arc(r_0172_0002__glanced, r_0172_0004__him, r_0172_0003__at_clr10).


%3 r_0172_0002__glanced glanced r_0172_0001__Nasha Nasha r_0172_0002__glanced->r_0172_0001__Nasha [arg0] r_0172_0004__him him r_0172_0002__glanced->r_0172_0004__him at [clr] 
fof(formula,axiom,
    ? [R_172_2_GLANCED,R_172_1_NASHA,R_172_4_HIM] :
      ( nasha(R_172_1_NASHA)
      & him(R_172_4_HIM)
      & glanced(R_172_2_GLANCED,R_172_1_NASHA)
      & at_clr10(R_172_2_GLANCED,R_172_4_HIM) ) ).


n172_a_dick_1952 n172_a_dick_1952_4 Nasha n172_a_dick_1952_6 glanced n172_a_dick_1952_9 at n172_a_dick_1952_12 him n172_a_dick_1952_14 . n172_a_dick_1952_1 IP-MAT n172_a_dick_1952_2 NP-SBJ n172_a_dick_1952_1->n172_a_dick_1952_2 n172_a_dick_1952_5 VBD;_Ipr_ n172_a_dick_1952_1->n172_a_dick_1952_5 n172_a_dick_1952_7 PP-CLR n172_a_dick_1952_1->n172_a_dick_1952_7 n172_a_dick_1952_13 PUNC n172_a_dick_1952_1->n172_a_dick_1952_13 n172_a_dick_1952_3 NPR n172_a_dick_1952_2->n172_a_dick_1952_3 n172_a_dick_1952_3->n172_a_dick_1952_4 n172_a_dick_1952_5->n172_a_dick_1952_6 n172_a_dick_1952_8 P-ROLE n172_a_dick_1952_7->n172_a_dick_1952_8 n172_a_dick_1952_10 NP n172_a_dick_1952_7->n172_a_dick_1952_10 n172_a_dick_1952_8->n172_a_dick_1952_9 n172_a_dick_1952_11 PRO n172_a_dick_1952_10->n172_a_dick_1952_11 n172_a_dick_1952_11->n172_a_dick_1952_12 n172_a_dick_1952_13->n172_a_dick_1952_14 
( (IP-MAT (NP-SBJ;{NASHA} (NPR Nasha;{Nasha}))
          (VBD;_Ipr_ glanced;{glance[at]})
          (PP-CLR (P-ROLE at;{at})
                  (NP;{DORLE} (PRO him;{he})))
          (PUNC .))
  (ID 172_a_dick_1952))