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 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 
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_4 Section n1_a_driver_handbook_6 1 n1_a_driver_handbook_8 : n1_a_driver_handbook_12 Right n1_a_driver_handbook_14 - n1_a_driver_handbook_17 of n1_a_driver_handbook_19 - n1_a_driver_handbook_22 way n1_a_driver_handbook_25 on n1_a_driver_handbook_28 mountain n1_a_driver_handbook_30 road n1_a_driver_handbook_1 FRAG n1_a_driver_handbook_2 NP n1_a_driver_handbook_1->n1_a_driver_handbook_2 n1_a_driver_handbook_7 PUNC n1_a_driver_handbook_1->n1_a_driver_handbook_7 n1_a_driver_handbook_9 NP n1_a_driver_handbook_1->n1_a_driver_handbook_9 n1_a_driver_handbook_3 N n1_a_driver_handbook_2->n1_a_driver_handbook_3 n1_a_driver_handbook_5 NUM n1_a_driver_handbook_2->n1_a_driver_handbook_5 n1_a_driver_handbook_3->n1_a_driver_handbook_4 n1_a_driver_handbook_5->n1_a_driver_handbook_6 n1_a_driver_handbook_7->n1_a_driver_handbook_8 n1_a_driver_handbook_10 ADJP n1_a_driver_handbook_9->n1_a_driver_handbook_10 n1_a_driver_handbook_23 PP n1_a_driver_handbook_9->n1_a_driver_handbook_23 n1_a_driver_handbook_11 ADJ n1_a_driver_handbook_10->n1_a_driver_handbook_11 n1_a_driver_handbook_13 PUNC n1_a_driver_handbook_10->n1_a_driver_handbook_13 n1_a_driver_handbook_15 PP n1_a_driver_handbook_10->n1_a_driver_handbook_15 n1_a_driver_handbook_11->n1_a_driver_handbook_12 n1_a_driver_handbook_13->n1_a_driver_handbook_14 n1_a_driver_handbook_16 P-ROLE n1_a_driver_handbook_15->n1_a_driver_handbook_16 n1_a_driver_handbook_18 PUNC n1_a_driver_handbook_15->n1_a_driver_handbook_18 n1_a_driver_handbook_20 NP n1_a_driver_handbook_15->n1_a_driver_handbook_20 n1_a_driver_handbook_16->n1_a_driver_handbook_17 n1_a_driver_handbook_18->n1_a_driver_handbook_19 n1_a_driver_handbook_21 N n1_a_driver_handbook_20->n1_a_driver_handbook_21 n1_a_driver_handbook_21->n1_a_driver_handbook_22 n1_a_driver_handbook_24 P-ROLE n1_a_driver_handbook_23->n1_a_driver_handbook_24 n1_a_driver_handbook_26 NP n1_a_driver_handbook_23->n1_a_driver_handbook_26 n1_a_driver_handbook_24->n1_a_driver_handbook_25 n1_a_driver_handbook_27 N n1_a_driver_handbook_26->n1_a_driver_handbook_27 n1_a_driver_handbook_29 N n1_a_driver_handbook_26->n1_a_driver_handbook_29 n1_a_driver_handbook_27->n1_a_driver_handbook_28 n1_a_driver_handbook_29->n1_a_driver_handbook_30 
( (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))