Context                Previous, Next                Top


86_a_dick_1952
Two men came running.

%3 r_0086_0003__came came r_0086_0004__running running r_0086_0003__came->r_0086_0004__running [scope] r_0086_0001__Two_r_0086_0002__men Two men r_0086_0004__running->r_0086_0001__Two_r_0086_0002__men [arg0] 
arc(r_0086_0003__came, r_0086_0004__running, scope).
arc(r_0086_0004__running, r_0086_0001__Two_r_0086_0002__men, arg0).


%3 r_0086_0003__came_r_0086_0004__running came running r_0086_0001__Two_r_0086_0002__men Two men r_0086_0003__came_r_0086_0004__running->r_0086_0001__Two_r_0086_0002__men [arg0] 
fof(formula,axiom,
    ? [R_86_3_CAME_RUNNING,R_86_1_TWO_MEN] :
      ( two_men(R_86_1_TWO_MEN)
      & came_running(R_86_3_CAME_RUNNING,R_86_1_TWO_MEN) ) ).


n86_a_dick_1952 n86_a_dick_1952__1_1_1_1 Two n86_a_dick_1952__1_1_2_1 men n86_a_dick_1952__1_2_1 came n86_a_dick_1952__1_3_1_1 running n86_a_dick_1952__1_4_1 . n86_a_dick_1952__1 IP-MAT n86_a_dick_1952__1_1 NP-SBJ n86_a_dick_1952__1->n86_a_dick_1952__1_1 n86_a_dick_1952__1_2 VBD;_cat_Vg_ n86_a_dick_1952__1->n86_a_dick_1952__1_2 n86_a_dick_1952__1_3 IP-PPL-CAT n86_a_dick_1952__1->n86_a_dick_1952__1_3 n86_a_dick_1952__1_4 PUNC n86_a_dick_1952__1->n86_a_dick_1952__1_4 n86_a_dick_1952__1_1_1 NUM n86_a_dick_1952__1_1->n86_a_dick_1952__1_1_1 n86_a_dick_1952__1_1_2 NS n86_a_dick_1952__1_1->n86_a_dick_1952__1_1_2 n86_a_dick_1952__1_1_1->n86_a_dick_1952__1_1_1_1 n86_a_dick_1952__1_1_2->n86_a_dick_1952__1_1_2_1 n86_a_dick_1952__1_2->n86_a_dick_1952__1_2_1 n86_a_dick_1952__1_3_1 VAG;_I_ n86_a_dick_1952__1_3->n86_a_dick_1952__1_3_1 n86_a_dick_1952__1_3_1->n86_a_dick_1952__1_3_1_1 n86_a_dick_1952__1_4->n86_a_dick_1952__1_4_1 
( (IP-MAT (NP-SBJ (NUM Two;{two})
                  (NS men;{man}))
          (VBD;_cat_Vg_ came;{come})
          (IP-PPL-CAT (VAG;_I_ running;{run}))
          (PUNC .))
  (ID 86_a_dick_1952))