Context                Previous, Next                Top


500_a_dick_1952
He stopped.

%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_500_2_STOPPED,R_500_1_HE] :
      ( he(R_500_1_HE)
      & stopped(R_500_2_STOPPED,R_500_1_HE) ) ).


n500_a_dick_1952 n500_a_dick_1952_4 He n500_a_dick_1952_6 stopped n500_a_dick_1952_8 . n500_a_dick_1952_1 IP-MAT n500_a_dick_1952_2 NP-SBJ n500_a_dick_1952_1->n500_a_dick_1952_2 n500_a_dick_1952_5 VBD;_I_ n500_a_dick_1952_1->n500_a_dick_1952_5 n500_a_dick_1952_7 PUNC n500_a_dick_1952_1->n500_a_dick_1952_7 n500_a_dick_1952_3 PRO n500_a_dick_1952_2->n500_a_dick_1952_3 n500_a_dick_1952_3->n500_a_dick_1952_4 n500_a_dick_1952_5->n500_a_dick_1952_6 n500_a_dick_1952_7->n500_a_dick_1952_8 
( (IP-MAT (NP-SBJ;{TANCE} (PRO He;{he}))
          (VBD;_I_ stopped;{stop})
          (PUNC .))
  (ID 500_a_dick_1952))