Context                Previous, Next                Top


51_a_dick_1952
Over there, at the edge.

%3 r_0051_0002__there there r_0051_0001__Over Over r_0051_0002__there->r_0051_0001__Over [qual] z_000_51_a_dick_1952_1 z_000_51_a_dick_1952_1->r_0051_0002__there [nim] r_0051_0005__the_r_0051_0006__edge the edge z_000_51_a_dick_1952_1->r_0051_0005__the_r_0051_0006__edge at [nim] 
arc(r_0051_0002__there, r_0051_0001__Over, qual3).
arc(z_000_51_a_dick_1952_1, r_0051_0002__there, nim2).
arc(z_000_51_a_dick_1952_1, r_0051_0005__the_r_0051_0006__edge, r_0051_0004__at_nim13).


%3 z_000_51_a_dick_1952_1 r_0051_0005__the_r_0051_0006__edge the edge z_000_51_a_dick_1952_1->r_0051_0005__the_r_0051_0006__edge at [nim] r_0051_0002__there there z_000_51_a_dick_1952_1->r_0051_0002__there [nim] r_0051_0001__Over Over r_0051_0002__there->r_0051_0001__Over [qual] 
fof(formula,axiom,
    ? [R_0051_0001__OVER,R_0051_0002__THERE,R_0051_0005__THE_R_0051_0006__EDGE,Z_000_51_A_DICK_1952_1] :
      ( r_0051_0001__Over(R_0051_0001__OVER)
      & r_0051_0005__the_r_0051_0006__edge(R_0051_0005__THE_R_0051_0006__EDGE)
      & z_000_51_a_dick_1952_1(Z_000_51_A_DICK_1952_1)
      & has_r_0051_0004__at_nim13(Z_000_51_A_DICK_1952_1,R_0051_0005__THE_R_0051_0006__EDGE)
      & has_nim2(Z_000_51_A_DICK_1952_1,R_0051_0002__THERE)
      & r_0051_0002__there(R_0051_0002__THERE)
      & has_qual3(R_0051_0002__THERE,R_0051_0001__OVER) ) ).


n51_a_dick_1952 n51_a_dick_1952__1_1_1_1_1 Over n51_a_dick_1952__1_1_2_1 there n51_a_dick_1952__1_2_1 , n51_a_dick_1952__1_3_1_1 at n51_a_dick_1952__1_3_2_1_1 the n51_a_dick_1952__1_3_2_2_1 edge n51_a_dick_1952__1_4_1 . n51_a_dick_1952__1 FRAG n51_a_dick_1952__1_1 ADVP-NIM n51_a_dick_1952__1->n51_a_dick_1952__1_1 n51_a_dick_1952__1_2 PUNC n51_a_dick_1952__1->n51_a_dick_1952__1_2 n51_a_dick_1952__1_3 PP-NIM n51_a_dick_1952__1->n51_a_dick_1952__1_3 n51_a_dick_1952__1_4 PUNC n51_a_dick_1952__1->n51_a_dick_1952__1_4 n51_a_dick_1952__1_1_1 ADVP n51_a_dick_1952__1_1->n51_a_dick_1952__1_1_1 n51_a_dick_1952__1_1_2 ADV n51_a_dick_1952__1_1->n51_a_dick_1952__1_1_2 n51_a_dick_1952__1_1_1_1 ADV n51_a_dick_1952__1_1_1->n51_a_dick_1952__1_1_1_1 n51_a_dick_1952__1_1_1_1->n51_a_dick_1952__1_1_1_1_1 n51_a_dick_1952__1_1_2->n51_a_dick_1952__1_1_2_1 n51_a_dick_1952__1_2->n51_a_dick_1952__1_2_1 n51_a_dick_1952__1_3_1 P-ROLE n51_a_dick_1952__1_3->n51_a_dick_1952__1_3_1 n51_a_dick_1952__1_3_2 NP n51_a_dick_1952__1_3->n51_a_dick_1952__1_3_2 n51_a_dick_1952__1_3_1->n51_a_dick_1952__1_3_1_1 n51_a_dick_1952__1_3_2_1 D n51_a_dick_1952__1_3_2->n51_a_dick_1952__1_3_2_1 n51_a_dick_1952__1_3_2_2 N n51_a_dick_1952__1_3_2->n51_a_dick_1952__1_3_2_2 n51_a_dick_1952__1_3_2_1->n51_a_dick_1952__1_3_2_1_1 n51_a_dick_1952__1_3_2_2->n51_a_dick_1952__1_3_2_2_1 n51_a_dick_1952__1_4->n51_a_dick_1952__1_4_1 
( (FRAG (ADVP-NIM (ADVP (ADV Over;{over}))
                  (ADV there;{there}))
        (PUNC ,)
        (PP-NIM (P-ROLE at;{at})
                (NP (D the;{the})
                    (N edge;{edge})))
        (PUNC .))
  (ID 51_a_dick_1952))