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_4 Two n86_a_dick_1952_6 men n86_a_dick_1952_8 came n86_a_dick_1952_11 running n86_a_dick_1952_13 . n86_a_dick_1952_1 IP-MAT n86_a_dick_1952_2 NP-SBJ n86_a_dick_1952_1->n86_a_dick_1952_2 n86_a_dick_1952_7 VBD;_cat_Vg_ n86_a_dick_1952_1->n86_a_dick_1952_7 n86_a_dick_1952_9 IP-PPL-CAT n86_a_dick_1952_1->n86_a_dick_1952_9 n86_a_dick_1952_12 PUNC n86_a_dick_1952_1->n86_a_dick_1952_12 n86_a_dick_1952_3 NUM n86_a_dick_1952_2->n86_a_dick_1952_3 n86_a_dick_1952_5 NS n86_a_dick_1952_2->n86_a_dick_1952_5 n86_a_dick_1952_3->n86_a_dick_1952_4 n86_a_dick_1952_5->n86_a_dick_1952_6 n86_a_dick_1952_7->n86_a_dick_1952_8 n86_a_dick_1952_10 VAG;_I_ n86_a_dick_1952_9->n86_a_dick_1952_10 n86_a_dick_1952_10->n86_a_dick_1952_11 n86_a_dick_1952_12->n86_a_dick_1952_13 
( (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))