Context                Previous, Next                Top


51_a_dick_1952
Over there, at the edge.

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))


%3 z_0051_5004 r_0051_0005__the_r_0051_0006__edge the edge z_0051_5004->r_0051_0005__the_r_0051_0006__edge at [nim] r_0051_0002__there there z_0051_5004->r_0051_0002__there [nim] r_0051_0001__Over Over r_0051_0002__there->r_0051_0001__Over [qual] 
arc(r_0051_0002__there,r_0051_0001__Over,qual).
arc(z_0051_5004,r_0051_0002__there,nim).
arc(z_0051_5004,r_0051_0005__the_r_0051_0006__edge,r_0051_0004__at__nim).


%3 r_0051_0002__there there r_0051_0001__Over Over r_0051_0002__there->r_0051_0001__Over [qual] z_0051_5004 z_0051_5004->r_0051_0002__there [nim] r_0051_0005__the_r_0051_0006__edge the edge z_0051_5004->r_0051_0005__the_r_0051_0006__edge at [nim] 
fof(formula,axiom,
    ? [R_0051_0001__OVER,R_0051_0002__THERE,R_0051_0005__THE_R_0051_0006__EDGE,Z_0051_5004] :
      ( 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_0051_5004(Z_0051_5004)
      & has_r_0051_0004__at__nim(Z_0051_5004,R_0051_0005__THE_R_0051_0006__EDGE)
      & has_nim(Z_0051_5004,R_0051_0002__THERE)
      & r_0051_0002__there(R_0051_0002__THERE)
      & has_qual(R_0051_0002__THERE,R_0051_0001__OVER) ) ).