209_a_dick_1952
He pointed.

n209_a_dick_1952 n209_a_dick_1952__1_1_1_1 He n209_a_dick_1952__1_2_1 pointed n209_a_dick_1952__1_3_1 . n209_a_dick_1952__1 IP-MAT n209_a_dick_1952__1_1 NP-SBJ n209_a_dick_1952__1->n209_a_dick_1952__1_1 n209_a_dick_1952__1_2 VBD;_I_ n209_a_dick_1952__1->n209_a_dick_1952__1_2 n209_a_dick_1952__1_3 PUNC n209_a_dick_1952__1->n209_a_dick_1952__1_3 n209_a_dick_1952__1_1_1 PRO n209_a_dick_1952__1_1->n209_a_dick_1952__1_1_1 n209_a_dick_1952__1_1_1->n209_a_dick_1952__1_1_1_1 n209_a_dick_1952__1_2->n209_a_dick_1952__1_2_1 n209_a_dick_1952__1_3->n209_a_dick_1952__1_3_1
( (IP-MAT (NP-SBJ;{DORLE} (PRO He;{he}))
          (VBD;_I_ pointed;{point})
          (PUNC .))
  (ID 209_a_dick_1952))



%3 r_0209_0002__pointed pointed r_0209_0001__He He r_0209_0002__pointed->r_0209_0001__He [arg0]
arc(r_0209_0002__pointed,r_0209_0001__He,arg0).



%3 r_0209_0002__pointed pointed r_0209_0001__He He r_0209_0002__pointed->r_0209_0001__He [arg0]
fof(formula,axiom,
    ? [R_0209_0001__HE,R_0209_0002__POINTED] :
      ( r_0209_0001__He(R_0209_0001__HE)
      & r_0209_0002__pointed(R_0209_0002__POINTED)
      & has_arg0(R_0209_0002__POINTED,R_0209_0001__HE) ) ).