172_a_dick_1952
Nasha glanced at him.

n172_a_dick_1952 n172_a_dick_1952__1_1_1_1 Nasha n172_a_dick_1952__1_2_1 glanced n172_a_dick_1952__1_3_1_1 at n172_a_dick_1952__1_3_2_1_1 him n172_a_dick_1952__1_4_1 . n172_a_dick_1952__1 IP-MAT n172_a_dick_1952__1_1 NP-SBJ n172_a_dick_1952__1->n172_a_dick_1952__1_1 n172_a_dick_1952__1_2 VBD;_Ipr_ n172_a_dick_1952__1->n172_a_dick_1952__1_2 n172_a_dick_1952__1_3 PP-CLR n172_a_dick_1952__1->n172_a_dick_1952__1_3 n172_a_dick_1952__1_4 PUNC n172_a_dick_1952__1->n172_a_dick_1952__1_4 n172_a_dick_1952__1_1_1 NPR n172_a_dick_1952__1_1->n172_a_dick_1952__1_1_1 n172_a_dick_1952__1_1_1->n172_a_dick_1952__1_1_1_1 n172_a_dick_1952__1_2->n172_a_dick_1952__1_2_1 n172_a_dick_1952__1_3_1 P-ROLE n172_a_dick_1952__1_3->n172_a_dick_1952__1_3_1 n172_a_dick_1952__1_3_2 NP n172_a_dick_1952__1_3->n172_a_dick_1952__1_3_2 n172_a_dick_1952__1_3_1->n172_a_dick_1952__1_3_1_1 n172_a_dick_1952__1_3_2_1 PRO n172_a_dick_1952__1_3_2->n172_a_dick_1952__1_3_2_1 n172_a_dick_1952__1_3_2_1->n172_a_dick_1952__1_3_2_1_1 n172_a_dick_1952__1_4->n172_a_dick_1952__1_4_1
( (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))



%3 r_0172_0002__glanced_r_0172_0003__at glanced at r_0172_0004__him him r_0172_0002__glanced_r_0172_0003__at->r_0172_0004__him [arg1] r_0172_0001__Nasha Nasha r_0172_0002__glanced_r_0172_0003__at->r_0172_0001__Nasha [arg0]
arc(r_0172_0002__glanced_r_0172_0003__at,r_0172_0001__Nasha,arg0).
arc(r_0172_0002__glanced_r_0172_0003__at,r_0172_0004__him,arg1).



%3 r_0172_0002__glanced_r_0172_0003__at glanced at r_0172_0001__Nasha Nasha r_0172_0002__glanced_r_0172_0003__at->r_0172_0001__Nasha [arg0] r_0172_0004__him him r_0172_0002__glanced_r_0172_0003__at->r_0172_0004__him [arg1]
fof(formula,axiom,
    ? [R_0172_0001__NASHA,R_0172_0004__HIM,R_0172_0002__GLANCED_R_0172_0003__AT] :
      ( r_0172_0001__Nasha(R_0172_0001__NASHA)
      & r_0172_0004__him(R_0172_0004__HIM)
      & r_0172_0002__glanced_r_0172_0003__at(R_0172_0002__GLANCED_R_0172_0003__AT)
      & has_arg1(R_0172_0002__GLANCED_R_0172_0003__AT,R_0172_0004__HIM)
      & has_arg0(R_0172_0002__GLANCED_R_0172_0003__AT,R_0172_0001__NASHA) ) ).