209_a_dick_1952
He pointed.

%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_209_2_POINTED,R_209_1_HE] :
      ( he(R_209_1_HE)
      & pointed(R_209_2_POINTED,R_209_1_HE) ) ).



n209_a_dick_1952 n209_a_dick_1952_4 He n209_a_dick_1952_6 pointed n209_a_dick_1952_8 . n209_a_dick_1952_1 IP-MAT n209_a_dick_1952_2 NP-SBJ n209_a_dick_1952_1->n209_a_dick_1952_2 n209_a_dick_1952_5 VBD;_I_ n209_a_dick_1952_1->n209_a_dick_1952_5 n209_a_dick_1952_7 PUNC n209_a_dick_1952_1->n209_a_dick_1952_7 n209_a_dick_1952_3 PRO n209_a_dick_1952_2->n209_a_dick_1952_3 n209_a_dick_1952_3->n209_a_dick_1952_4 n209_a_dick_1952_5->n209_a_dick_1952_6 n209_a_dick_1952_7->n209_a_dick_1952_8
( (IP-MAT (NP-SBJ;{DORLE} (PRO He;{he}))
          (VBD;_I_ pointed;{point})
          (PUNC .))
  (ID 209_a_dick_1952))