Context                Previous, Next                Top


1_a_driver_handbook
Section 1: Right - of - way on mountain road

%3 r_0001_0004__Right Right r_0001_0008__way way r_0001_0004__Right->r_0001_0008__way of z_000_1_a_driver_handbook_1 r_0001_0001__Section_r_0001_0002__1 Section 1 z_000_1_a_driver_handbook_1->r_0001_0001__Section_r_0001_0002__1 [nim] z_000_1_a_driver_handbook_9 z_000_1_a_driver_handbook_1->z_000_1_a_driver_handbook_9 [nim] z_000_1_a_driver_handbook_9->r_0001_0004__Right [attrib] r_0001_0010__mountain_r_0001_0011__road mountain road z_000_1_a_driver_handbook_9->r_0001_0010__mountain_r_0001_0011__road on 
arc(r_0001_0004__Right, r_0001_0008__way, r_0001_0006__of).
arc(z_000_1_a_driver_handbook_1, r_0001_0001__Section_r_0001_0002__1, nim2).
arc(z_000_1_a_driver_handbook_1, z_000_1_a_driver_handbook_9, nim9).
arc(z_000_1_a_driver_handbook_9, r_0001_0004__Right, attrib10).
arc(z_000_1_a_driver_handbook_9, r_0001_0010__mountain_r_0001_0011__road, r_0001_0009__on).


%3 z_000_1_a_driver_handbook_9 r_0001_0010__mountain_r_0001_0011__road mountain road z_000_1_a_driver_handbook_9->r_0001_0010__mountain_r_0001_0011__road on r_0001_0004__Right Right z_000_1_a_driver_handbook_9->r_0001_0004__Right [attrib] r_0001_0008__way way r_0001_0004__Right->r_0001_0008__way of z_000_1_a_driver_handbook_1 z_000_1_a_driver_handbook_1->z_000_1_a_driver_handbook_9 [nim] r_0001_0001__Section_r_0001_0002__1 Section 1 z_000_1_a_driver_handbook_1->r_0001_0001__Section_r_0001_0002__1 [nim] 
fof(formula,axiom,
    ? [Z_1_A_DRIVER_HANDBOOK_1,R_1_1_SECTION_1,Z_1_A_DRIVER_HANDBOOK_9,R_1_4_RIGHT,R_1_8_WAY,R_1_10_MOUNTAIN_ROAD] :
      ( section_1(R_1_1_SECTION_1)
      & way(R_1_8_WAY)
      & mountain_road(R_1_10_MOUNTAIN_ROAD)
      & z_1_a_driver_handbook_1(Z_1_A_DRIVER_HANDBOOK_1)
      & nim2(Z_1_A_DRIVER_HANDBOOK_1,R_1_1_SECTION_1)
      & nim9(Z_1_A_DRIVER_HANDBOOK_1,Z_1_A_DRIVER_HANDBOOK_9)
      & z_1_a_driver_handbook_9(Z_1_A_DRIVER_HANDBOOK_9)
      & attrib10(Z_1_A_DRIVER_HANDBOOK_9,R_1_4_RIGHT)
      & right(R_1_4_RIGHT)
      & of(R_1_4_RIGHT,R_1_8_WAY)
      & on(Z_1_A_DRIVER_HANDBOOK_9,R_1_10_MOUNTAIN_ROAD) ) ).


n1_a_driver_handbook n1_a_driver_handbook__1_1_1_1 Section n1_a_driver_handbook__1_1_2_1 1 n1_a_driver_handbook__1_2_1 : n1_a_driver_handbook__1_3_1_1_1 Right n1_a_driver_handbook__1_3_1_2_1 - n1_a_driver_handbook__1_3_1_3_1_1 of n1_a_driver_handbook__1_3_1_3_2_1 - n1_a_driver_handbook__1_3_1_3_3_1_1 way n1_a_driver_handbook__1_3_2_1_1 on n1_a_driver_handbook__1_3_2_2_1_1 mountain n1_a_driver_handbook__1_3_2_2_2_1 road n1_a_driver_handbook__1 FRAG n1_a_driver_handbook__1_1 NP n1_a_driver_handbook__1->n1_a_driver_handbook__1_1 n1_a_driver_handbook__1_2 PUNC n1_a_driver_handbook__1->n1_a_driver_handbook__1_2 n1_a_driver_handbook__1_3 NP n1_a_driver_handbook__1->n1_a_driver_handbook__1_3 n1_a_driver_handbook__1_1_1 N n1_a_driver_handbook__1_1->n1_a_driver_handbook__1_1_1 n1_a_driver_handbook__1_1_2 NUM n1_a_driver_handbook__1_1->n1_a_driver_handbook__1_1_2 n1_a_driver_handbook__1_1_1->n1_a_driver_handbook__1_1_1_1 n1_a_driver_handbook__1_1_2->n1_a_driver_handbook__1_1_2_1 n1_a_driver_handbook__1_2->n1_a_driver_handbook__1_2_1 n1_a_driver_handbook__1_3_1 ADJP n1_a_driver_handbook__1_3->n1_a_driver_handbook__1_3_1 n1_a_driver_handbook__1_3_2 PP n1_a_driver_handbook__1_3->n1_a_driver_handbook__1_3_2 n1_a_driver_handbook__1_3_1_1 ADJ n1_a_driver_handbook__1_3_1->n1_a_driver_handbook__1_3_1_1 n1_a_driver_handbook__1_3_1_2 PUNC n1_a_driver_handbook__1_3_1->n1_a_driver_handbook__1_3_1_2 n1_a_driver_handbook__1_3_1_3 PP n1_a_driver_handbook__1_3_1->n1_a_driver_handbook__1_3_1_3 n1_a_driver_handbook__1_3_1_1->n1_a_driver_handbook__1_3_1_1_1 n1_a_driver_handbook__1_3_1_2->n1_a_driver_handbook__1_3_1_2_1 n1_a_driver_handbook__1_3_1_3_1 P-ROLE n1_a_driver_handbook__1_3_1_3->n1_a_driver_handbook__1_3_1_3_1 n1_a_driver_handbook__1_3_1_3_2 PUNC n1_a_driver_handbook__1_3_1_3->n1_a_driver_handbook__1_3_1_3_2 n1_a_driver_handbook__1_3_1_3_3 NP n1_a_driver_handbook__1_3_1_3->n1_a_driver_handbook__1_3_1_3_3 n1_a_driver_handbook__1_3_1_3_1->n1_a_driver_handbook__1_3_1_3_1_1 n1_a_driver_handbook__1_3_1_3_2->n1_a_driver_handbook__1_3_1_3_2_1 n1_a_driver_handbook__1_3_1_3_3_1 N n1_a_driver_handbook__1_3_1_3_3->n1_a_driver_handbook__1_3_1_3_3_1 n1_a_driver_handbook__1_3_1_3_3_1->n1_a_driver_handbook__1_3_1_3_3_1_1 n1_a_driver_handbook__1_3_2_1 P-ROLE n1_a_driver_handbook__1_3_2->n1_a_driver_handbook__1_3_2_1 n1_a_driver_handbook__1_3_2_2 NP n1_a_driver_handbook__1_3_2->n1_a_driver_handbook__1_3_2_2 n1_a_driver_handbook__1_3_2_1->n1_a_driver_handbook__1_3_2_1_1 n1_a_driver_handbook__1_3_2_2_1 N n1_a_driver_handbook__1_3_2_2->n1_a_driver_handbook__1_3_2_2_1 n1_a_driver_handbook__1_3_2_2_2 N n1_a_driver_handbook__1_3_2_2->n1_a_driver_handbook__1_3_2_2_2 n1_a_driver_handbook__1_3_2_2_1->n1_a_driver_handbook__1_3_2_2_1_1 n1_a_driver_handbook__1_3_2_2_2->n1_a_driver_handbook__1_3_2_2_2_1 
( (FRAG (NP (N Section;{section})
            (NUM 1))
        (PUNC :)
        (NP (ADJP (ADJ Right;{right})
                  (PUNC <hyphen>)
                  (PP (P-ROLE of;{of})
                      (PUNC <hyphen>)
                      (NP (N way;{way}))))
            (PP (P-ROLE on;{on})
                (NP (N mountain;{mountain})
                    (N road;{road})))))
  (ID 1_a_driver_handbook))