Context                Previous, Next                Top


500_a_dick_1952
He stopped.

n500_a_dick_1952 n500_a_dick_1952__1_1_1_1 He n500_a_dick_1952__1_2_1 stopped n500_a_dick_1952__1_3_1 . n500_a_dick_1952__1 IP-MAT n500_a_dick_1952__1_1 NP-SBJ n500_a_dick_1952__1->n500_a_dick_1952__1_1 n500_a_dick_1952__1_2 VBD;_I_ n500_a_dick_1952__1->n500_a_dick_1952__1_2 n500_a_dick_1952__1_3 PUNC n500_a_dick_1952__1->n500_a_dick_1952__1_3 n500_a_dick_1952__1_1_1 PRO n500_a_dick_1952__1_1->n500_a_dick_1952__1_1_1 n500_a_dick_1952__1_1_1->n500_a_dick_1952__1_1_1_1 n500_a_dick_1952__1_2->n500_a_dick_1952__1_2_1 n500_a_dick_1952__1_3->n500_a_dick_1952__1_3_1 
( (IP-MAT (NP-SBJ;{TANCE} (PRO He;{he}))
          (VBD;_I_ stopped;{stop})
          (PUNC .))
  (ID 500_a_dick_1952))


%3 r_0500_0002__stopped stopped r_0500_0001__He He r_0500_0002__stopped->r_0500_0001__He [arg0] 
arc(r_0500_0002__stopped,r_0500_0001__He,arg0).


%3 r_0500_0002__stopped stopped r_0500_0001__He He r_0500_0002__stopped->r_0500_0001__He [arg0] 
fof(formula,axiom,
    ? [R_0500_0001__HE,R_0500_0002__STOPPED] :
      ( r_0500_0001__He(R_0500_0001__HE)
      & r_0500_0002__stopped(R_0500_0002__STOPPED)
      & has_arg0(R_0500_0002__STOPPED,R_0500_0001__HE) ) ).