Context                Previous, Next                Top


2_a_driver_handbook
When two vehicles meet on a steep road where neither can pass, the vehicle facing downhill must yield the right - of - way by backing up until the vehicle going uphill can pass.

%3 r_0002_0001__When When r_0002_0004__meet meet r_0002_0001__When->r_0002_0004__meet [restriction] r_0002_0026__by by r_0002_0001__When->r_0002_0026__by [scope] r_0002_0002__two_r_0002_0003__vehicles two vehicles r_0002_0004__meet->r_0002_0002__two_r_0002_0003__vehicles [arg0] r_0002_0006__a_r_0002_0008__road a road r_0002_0004__meet->r_0002_0006__a_r_0002_0008__road on [nim] r_0002_0018__must must r_0002_0026__by->r_0002_0018__must [scope] r_0002_0029__until until r_0002_0026__by->r_0002_0029__until [restriction] r_0002_0007__steep steep r_0002_0006__a_r_0002_0008__road->r_0002_0007__steep [attrib] r_0002_0010__neither_quant neither [quant] r_0002_0011__can can r_0002_0010__neither_quant->r_0002_0011__can [scope] z_000_2_a_driver_handbook_28 r_0002_0010__neither_quant->z_000_2_a_driver_handbook_28 [restriction] r_0002_0011__can->r_0002_0006__a_r_0002_0008__road [nim] r_0002_0012__pass pass r_0002_0011__can->r_0002_0012__pass [scope] r_0002_0012__pass->z_000_2_a_driver_handbook_28 [arg0] r_0002_0016__facing facing r_0002_0014__the_r_0002_0015__vehicle the vehicle r_0002_0016__facing->r_0002_0014__the_r_0002_0015__vehicle [arg0] r_0002_0017__downhill downhill r_0002_0016__facing->r_0002_0017__downhill [clr] r_0002_0019__yield yield r_0002_0018__must->r_0002_0019__yield [scope] r_0002_0019__yield->r_0002_0014__the_r_0002_0015__vehicle [arg0] r_0002_0020__the_r_0002_0021__right the right r_0002_0019__yield->r_0002_0020__the_r_0002_0021__right [arg1] r_0002_0025__way way r_0002_0020__the_r_0002_0021__right->r_0002_0025__way of r_0002_0027__backing_r_0002_0028__up backing up r_0002_0029__until->r_0002_0027__backing_r_0002_0028__up [scope] r_0002_0034__can can r_0002_0029__until->r_0002_0034__can [restriction] r_0002_0027__backing_r_0002_0028__up->r_0002_0014__the_r_0002_0015__vehicle [arg0] r_0002_0035__pass pass r_0002_0034__can->r_0002_0035__pass [scope] r_0002_0032__going going r_0002_0030__the_r_0002_0031__vehicle the vehicle r_0002_0032__going->r_0002_0030__the_r_0002_0031__vehicle [arg0] r_0002_0033__uphill uphill r_0002_0032__going->r_0002_0033__uphill [clr] r_0002_0035__pass->r_0002_0030__the_r_0002_0031__vehicle [arg0] 
arc(r_0002_0001__When, r_0002_0004__meet, restriction).
arc(r_0002_0001__When, r_0002_0026__by, scope).
arc(r_0002_0004__meet, r_0002_0002__two_r_0002_0003__vehicles, arg0).
arc(r_0002_0004__meet, r_0002_0006__a_r_0002_0008__road, r_0002_0005__on_nim16).
arc(r_0002_0006__a_r_0002_0008__road, r_0002_0007__steep, attrib19).
arc(r_0002_0010__neither_quant, r_0002_0011__can, scope).
arc(r_0002_0010__neither_quant, z_000_2_a_driver_handbook_28, restriction).
arc(r_0002_0011__can, r_0002_0006__a_r_0002_0008__road, nim25).
arc(r_0002_0011__can, r_0002_0012__pass, scope).
arc(r_0002_0012__pass, z_000_2_a_driver_handbook_28, arg0).
arc(r_0002_0016__facing, r_0002_0014__the_r_0002_0015__vehicle, arg0).
arc(r_0002_0016__facing, r_0002_0017__downhill, clr46).
arc(r_0002_0018__must, r_0002_0019__yield, scope).
arc(r_0002_0019__yield, r_0002_0014__the_r_0002_0015__vehicle, arg0).
arc(r_0002_0019__yield, r_0002_0020__the_r_0002_0021__right, arg1).
arc(r_0002_0020__the_r_0002_0021__right, r_0002_0025__way, r_0002_0023__of).
arc(r_0002_0026__by, r_0002_0018__must, scope).
arc(r_0002_0026__by, r_0002_0029__until, restriction).
arc(r_0002_0027__backing_r_0002_0028__up, r_0002_0014__the_r_0002_0015__vehicle, arg0).
arc(r_0002_0029__until, r_0002_0027__backing_r_0002_0028__up, scope).
arc(r_0002_0029__until, r_0002_0034__can, restriction).
arc(r_0002_0032__going, r_0002_0030__the_r_0002_0031__vehicle, arg0).
arc(r_0002_0032__going, r_0002_0033__uphill, clr89).
arc(r_0002_0034__can, r_0002_0035__pass, scope).
arc(r_0002_0035__pass, r_0002_0030__the_r_0002_0031__vehicle, arg0).


%3 r_0002_0034__can_r_0002_0035__pass can pass r_0002_0030__the_r_0002_0031__vehicle the vehicle r_0002_0034__can_r_0002_0035__pass->r_0002_0030__the_r_0002_0031__vehicle [arg0] r_0002_0032__going going r_0002_0032__going->r_0002_0030__the_r_0002_0031__vehicle [arg0] r_0002_0033__uphill uphill r_0002_0032__going->r_0002_0033__uphill [clr] r_0002_0029__until until r_0002_0029__until->r_0002_0034__can_r_0002_0035__pass [conj1] r_0002_0027__backing_r_0002_0028__up backing up r_0002_0029__until->r_0002_0027__backing_r_0002_0028__up [conj2] r_0002_0014__the_r_0002_0015__vehicle the vehicle r_0002_0027__backing_r_0002_0028__up->r_0002_0014__the_r_0002_0015__vehicle [arg0] r_0002_0026__by by r_0002_0026__by->r_0002_0029__until [conj1] r_0002_0018__must_r_0002_0019__yield must yield r_0002_0026__by->r_0002_0018__must_r_0002_0019__yield [conj2] r_0002_0018__must_r_0002_0019__yield->r_0002_0014__the_r_0002_0015__vehicle [arg0] r_0002_0020__the_r_0002_0021__right the right r_0002_0018__must_r_0002_0019__yield->r_0002_0020__the_r_0002_0021__right [arg1] r_0002_0025__way way r_0002_0020__the_r_0002_0021__right->r_0002_0025__way of r_0002_0016__facing facing r_0002_0016__facing->r_0002_0014__the_r_0002_0015__vehicle [arg0] r_0002_0017__downhill downhill r_0002_0016__facing->r_0002_0017__downhill [clr] r_0002_0011__can_r_0002_0012__pass can pass z_000_2_a_driver_handbook_28 r_0002_0011__can_r_0002_0012__pass->z_000_2_a_driver_handbook_28 [arg0] r_0002_0006__a_r_0002_0008__road a road r_0002_0011__can_r_0002_0012__pass->r_0002_0006__a_r_0002_0008__road [nim] r_0002_0007__steep steep r_0002_0006__a_r_0002_0008__road->r_0002_0007__steep [attrib] r_0002_0010__neither_quant neither [quant] r_0002_0010__neither_quant->r_0002_0011__can_r_0002_0012__pass [scope] r_0002_0010__neither_quant->z_000_2_a_driver_handbook_28 [restriction] r_0002_0004__meet meet r_0002_0004__meet->r_0002_0006__a_r_0002_0008__road on [nim] r_0002_0002__two_r_0002_0003__vehicles two vehicles r_0002_0004__meet->r_0002_0002__two_r_0002_0003__vehicles [arg0] r_0002_0001__When When r_0002_0001__When->r_0002_0026__by [scope] r_0002_0001__When->r_0002_0004__meet [restriction] 
fof(formula,axiom,
    ? [R_0002_0014__THE_R_0002_0015__VEHICLE,R_0002_0017__DOWNHILL,R_0002_0016__FACING,R_0002_0030__THE_R_0002_0031__VEHICLE,R_0002_0033__UPHILL,R_0002_0032__GOING] :
      ( r_0002_0014__the_r_0002_0015__vehicle(R_0002_0014__THE_R_0002_0015__VEHICLE)
      & r_0002_0017__downhill(R_0002_0017__DOWNHILL)
      & r_0002_0030__the_r_0002_0031__vehicle(R_0002_0030__THE_R_0002_0031__VEHICLE)
      & r_0002_0033__uphill(R_0002_0033__UPHILL)
      & r_0002_0032__going(R_0002_0032__GOING)
      & has_clr89(R_0002_0032__GOING,R_0002_0033__UPHILL)
      & has_arg0(R_0002_0032__GOING,R_0002_0030__THE_R_0002_0031__VEHICLE)
      & r_0002_0016__facing(R_0002_0016__FACING)
      & has_clr46(R_0002_0016__FACING,R_0002_0017__DOWNHILL)
      & has_arg0(R_0002_0016__FACING,R_0002_0014__THE_R_0002_0015__VEHICLE)
      & ! [Z_000_2_A_DRIVER_HANDBOOK_28] :
          ( z_000_2_a_driver_handbook_28(Z_000_2_A_DRIVER_HANDBOOK_28)
         => ? [R_0002_0007__STEEP,R_0002_0006__A_R_0002_0008__ROAD,R_0002_0011__CAN_R_0002_0012__PASS] :
              ( r_0002_0007__steep(R_0002_0007__STEEP)
              & r_0002_0011__can_r_0002_0012__pass(R_0002_0011__CAN_R_0002_0012__PASS)
              & has_arg0(R_0002_0011__CAN_R_0002_0012__PASS,Z_000_2_A_DRIVER_HANDBOOK_28)
              & has_nim25(R_0002_0011__CAN_R_0002_0012__PASS,R_0002_0006__A_R_0002_0008__ROAD)
              & r_0002_0006__a_r_0002_0008__road(R_0002_0006__A_R_0002_0008__ROAD)
              & has_attrib19(R_0002_0006__A_R_0002_0008__ROAD,R_0002_0007__STEEP) ) )
      & ! [R_0002_0004__MEET,R_0002_0002__TWO_R_0002_0003__VEHICLES,R_0002_0007__STEEP,R_0002_0006__A_R_0002_0008__ROAD] :
          ( ( r_0002_0002__two_r_0002_0003__vehicles(R_0002_0002__TWO_R_0002_0003__VEHICLES)
            & r_0002_0007__steep(R_0002_0007__STEEP)
            & r_0002_0004__meet(R_0002_0004__MEET)
            & has_r_0002_0005__on_nim16(R_0002_0004__MEET,R_0002_0006__A_R_0002_0008__ROAD)
            & r_0002_0006__a_r_0002_0008__road(R_0002_0006__A_R_0002_0008__ROAD)
            & has_attrib19(R_0002_0006__A_R_0002_0008__ROAD,R_0002_0007__STEEP)
            & has_arg0(R_0002_0004__MEET,R_0002_0002__TWO_R_0002_0003__VEHICLES) )
         => ? [R_0002_0025__WAY,R_0002_0020__THE_R_0002_0021__RIGHT,R_0002_0018__MUST_R_0002_0019__YIELD,R_0002_0027__BACKING_R_0002_0028__UP,R_0002_0034__CAN_R_0002_0035__PASS,R_0002_0029__UNTIL,R_0002_0026__BY] :
              ( r_0002_0025__way(R_0002_0025__WAY)
              & r_0002_0026__by(R_0002_0026__BY)
              & has_conj1(R_0002_0026__BY,R_0002_0029__UNTIL)
              & r_0002_0029__until(R_0002_0029__UNTIL)
              & has_conj1(R_0002_0029__UNTIL,R_0002_0034__CAN_R_0002_0035__PASS)
              & r_0002_0034__can_r_0002_0035__pass(R_0002_0034__CAN_R_0002_0035__PASS)
              & has_arg0(R_0002_0034__CAN_R_0002_0035__PASS,R_0002_0030__THE_R_0002_0031__VEHICLE)
              & has_conj2(R_0002_0029__UNTIL,R_0002_0027__BACKING_R_0002_0028__UP)
              & r_0002_0027__backing_r_0002_0028__up(R_0002_0027__BACKING_R_0002_0028__UP)
              & has_arg0(R_0002_0027__BACKING_R_0002_0028__UP,R_0002_0014__THE_R_0002_0015__VEHICLE)
              & has_conj2(R_0002_0026__BY,R_0002_0018__MUST_R_0002_0019__YIELD)
              & r_0002_0018__must_r_0002_0019__yield(R_0002_0018__MUST_R_0002_0019__YIELD)
              & has_arg1(R_0002_0018__MUST_R_0002_0019__YIELD,R_0002_0020__THE_R_0002_0021__RIGHT)
              & r_0002_0020__the_r_0002_0021__right(R_0002_0020__THE_R_0002_0021__RIGHT)
              & has_r_0002_0023__of(R_0002_0020__THE_R_0002_0021__RIGHT,R_0002_0025__WAY)
              & has_arg0(R_0002_0018__MUST_R_0002_0019__YIELD,R_0002_0014__THE_R_0002_0015__VEHICLE) ) ) ) ).


n2_a_driver_handbook n2_a_driver_handbook__1_1_1_1 When n2_a_driver_handbook__1_1_2_1_1_1 two n2_a_driver_handbook__1_1_2_1_2_1 vehicles n2_a_driver_handbook__1_1_2_2_1 meet n2_a_driver_handbook__1_1_2_3_1_1 on n2_a_driver_handbook__1_1_2_3_2_1_1 a n2_a_driver_handbook__1_1_2_3_2_2_1_1 steep n2_a_driver_handbook__1_1_2_3_2_3_1 road n2_a_driver_handbook__1_1_2_3_2_4_1_1_1 where n2_a_driver_handbook__1_1_2_3_2_4_2_1_1 neither n2_a_driver_handbook__1_1_2_3_2_4_3_1 can n2_a_driver_handbook__1_1_2_3_2_4_4_1_1 pass n2_a_driver_handbook__1_2_1 , n2_a_driver_handbook__1_3_1_1 the n2_a_driver_handbook__1_3_2_1 vehicle n2_a_driver_handbook__1_3_3_1_1 facing n2_a_driver_handbook__1_3_3_2_1_1 downhill n2_a_driver_handbook__1_4_1 must n2_a_driver_handbook__1_5_1_1 yield n2_a_driver_handbook__1_5_2_1_1 the n2_a_driver_handbook__1_5_2_2_1 right n2_a_driver_handbook__1_5_2_3_1 - n2_a_driver_handbook__1_5_2_4_1_1 of n2_a_driver_handbook__1_5_2_4_2_1 - n2_a_driver_handbook__1_5_2_4_3_1_1 way n2_a_driver_handbook__1_6_1_1 by n2_a_driver_handbook__1_6_2_1_1 backing n2_a_driver_handbook__1_6_2_2_1 up n2_a_driver_handbook__1_6_2_3_1_1 until n2_a_driver_handbook__1_6_2_3_2_1_1_1 the n2_a_driver_handbook__1_6_2_3_2_1_2_1 vehicle n2_a_driver_handbook__1_6_2_3_2_1_3_1_1 going n2_a_driver_handbook__1_6_2_3_2_1_3_2_1_1 uphill n2_a_driver_handbook__1_6_2_3_2_2_1 can n2_a_driver_handbook__1_6_2_3_2_3_1_1 pass n2_a_driver_handbook__1_7_1 . n2_a_driver_handbook__1 IP-MAT n2_a_driver_handbook__1_1 PP-SCON n2_a_driver_handbook__1->n2_a_driver_handbook__1_1 n2_a_driver_handbook__1_2 PUNC n2_a_driver_handbook__1->n2_a_driver_handbook__1_2 n2_a_driver_handbook__1_3 NP-SBJ n2_a_driver_handbook__1->n2_a_driver_handbook__1_3 n2_a_driver_handbook__1_4 MD;_cat_Vi_ n2_a_driver_handbook__1->n2_a_driver_handbook__1_4 n2_a_driver_handbook__1_5 IP-INF-CAT n2_a_driver_handbook__1->n2_a_driver_handbook__1_5 n2_a_driver_handbook__1_6 PP-SCON n2_a_driver_handbook__1->n2_a_driver_handbook__1_6 n2_a_driver_handbook__1_7 PUNC n2_a_driver_handbook__1->n2_a_driver_handbook__1_7 n2_a_driver_handbook__1_1_1 P-CONN n2_a_driver_handbook__1_1->n2_a_driver_handbook__1_1_1 n2_a_driver_handbook__1_1_2 IP-ADV n2_a_driver_handbook__1_1->n2_a_driver_handbook__1_1_2 n2_a_driver_handbook__1_1_1->n2_a_driver_handbook__1_1_1_1 n2_a_driver_handbook__1_1_2_1 NP-SBJ n2_a_driver_handbook__1_1_2->n2_a_driver_handbook__1_1_2_1 n2_a_driver_handbook__1_1_2_2 VBP;_I_ n2_a_driver_handbook__1_1_2->n2_a_driver_handbook__1_1_2_2 n2_a_driver_handbook__1_1_2_3 PP-NIM n2_a_driver_handbook__1_1_2->n2_a_driver_handbook__1_1_2_3 n2_a_driver_handbook__1_1_2_1_1 NUM n2_a_driver_handbook__1_1_2_1->n2_a_driver_handbook__1_1_2_1_1 n2_a_driver_handbook__1_1_2_1_2 NS n2_a_driver_handbook__1_1_2_1->n2_a_driver_handbook__1_1_2_1_2 n2_a_driver_handbook__1_1_2_1_1->n2_a_driver_handbook__1_1_2_1_1_1 n2_a_driver_handbook__1_1_2_1_2->n2_a_driver_handbook__1_1_2_1_2_1 n2_a_driver_handbook__1_1_2_2->n2_a_driver_handbook__1_1_2_2_1 n2_a_driver_handbook__1_1_2_3_1 P-ROLE n2_a_driver_handbook__1_1_2_3->n2_a_driver_handbook__1_1_2_3_1 n2_a_driver_handbook__1_1_2_3_2 NP n2_a_driver_handbook__1_1_2_3->n2_a_driver_handbook__1_1_2_3_2 n2_a_driver_handbook__1_1_2_3_1->n2_a_driver_handbook__1_1_2_3_1_1 n2_a_driver_handbook__1_1_2_3_2_1 D n2_a_driver_handbook__1_1_2_3_2->n2_a_driver_handbook__1_1_2_3_2_1 n2_a_driver_handbook__1_1_2_3_2_2 ADJP n2_a_driver_handbook__1_1_2_3_2->n2_a_driver_handbook__1_1_2_3_2_2 n2_a_driver_handbook__1_1_2_3_2_3 N n2_a_driver_handbook__1_1_2_3_2->n2_a_driver_handbook__1_1_2_3_2_3 n2_a_driver_handbook__1_1_2_3_2_4 IP-REL n2_a_driver_handbook__1_1_2_3_2->n2_a_driver_handbook__1_1_2_3_2_4 n2_a_driver_handbook__1_1_2_3_2_1->n2_a_driver_handbook__1_1_2_3_2_1_1 n2_a_driver_handbook__1_1_2_3_2_2_1 ADJ n2_a_driver_handbook__1_1_2_3_2_2->n2_a_driver_handbook__1_1_2_3_2_2_1 n2_a_driver_handbook__1_1_2_3_2_2_1->n2_a_driver_handbook__1_1_2_3_2_2_1_1 n2_a_driver_handbook__1_1_2_3_2_3->n2_a_driver_handbook__1_1_2_3_2_3_1 n2_a_driver_handbook__1_1_2_3_2_4_1 ADVP-NIM n2_a_driver_handbook__1_1_2_3_2_4->n2_a_driver_handbook__1_1_2_3_2_4_1 n2_a_driver_handbook__1_1_2_3_2_4_2 NP-SBJ n2_a_driver_handbook__1_1_2_3_2_4->n2_a_driver_handbook__1_1_2_3_2_4_2 n2_a_driver_handbook__1_1_2_3_2_4_3 MD;_cat_Vi_ n2_a_driver_handbook__1_1_2_3_2_4->n2_a_driver_handbook__1_1_2_3_2_4_3 n2_a_driver_handbook__1_1_2_3_2_4_4 IP-INF-CAT n2_a_driver_handbook__1_1_2_3_2_4->n2_a_driver_handbook__1_1_2_3_2_4_4 n2_a_driver_handbook__1_1_2_3_2_4_1_1 RADV n2_a_driver_handbook__1_1_2_3_2_4_1->n2_a_driver_handbook__1_1_2_3_2_4_1_1 n2_a_driver_handbook__1_1_2_3_2_4_1_1->n2_a_driver_handbook__1_1_2_3_2_4_1_1_1 n2_a_driver_handbook__1_1_2_3_2_4_2_1 Q;_nphd_ n2_a_driver_handbook__1_1_2_3_2_4_2->n2_a_driver_handbook__1_1_2_3_2_4_2_1 n2_a_driver_handbook__1_1_2_3_2_4_2_1->n2_a_driver_handbook__1_1_2_3_2_4_2_1_1 n2_a_driver_handbook__1_1_2_3_2_4_3->n2_a_driver_handbook__1_1_2_3_2_4_3_1 n2_a_driver_handbook__1_1_2_3_2_4_4_1 VB;_I_ n2_a_driver_handbook__1_1_2_3_2_4_4->n2_a_driver_handbook__1_1_2_3_2_4_4_1 n2_a_driver_handbook__1_1_2_3_2_4_4_1->n2_a_driver_handbook__1_1_2_3_2_4_4_1_1 n2_a_driver_handbook__1_2->n2_a_driver_handbook__1_2_1 n2_a_driver_handbook__1_3_1 D n2_a_driver_handbook__1_3->n2_a_driver_handbook__1_3_1 n2_a_driver_handbook__1_3_2 N n2_a_driver_handbook__1_3->n2_a_driver_handbook__1_3_2 n2_a_driver_handbook__1_3_3 IP-PPL n2_a_driver_handbook__1_3->n2_a_driver_handbook__1_3_3 n2_a_driver_handbook__1_3_1->n2_a_driver_handbook__1_3_1_1 n2_a_driver_handbook__1_3_2->n2_a_driver_handbook__1_3_2_1 n2_a_driver_handbook__1_3_3_1 VAG;_Ip_ n2_a_driver_handbook__1_3_3->n2_a_driver_handbook__1_3_3_1 n2_a_driver_handbook__1_3_3_2 ADVP-CLR n2_a_driver_handbook__1_3_3->n2_a_driver_handbook__1_3_3_2 n2_a_driver_handbook__1_3_3_1->n2_a_driver_handbook__1_3_3_1_1 n2_a_driver_handbook__1_3_3_2_1 ADV n2_a_driver_handbook__1_3_3_2->n2_a_driver_handbook__1_3_3_2_1 n2_a_driver_handbook__1_3_3_2_1->n2_a_driver_handbook__1_3_3_2_1_1 n2_a_driver_handbook__1_4->n2_a_driver_handbook__1_4_1 n2_a_driver_handbook__1_5_1 VB;_Tn_ n2_a_driver_handbook__1_5->n2_a_driver_handbook__1_5_1 n2_a_driver_handbook__1_5_2 NP-OB1 n2_a_driver_handbook__1_5->n2_a_driver_handbook__1_5_2 n2_a_driver_handbook__1_5_1->n2_a_driver_handbook__1_5_1_1 n2_a_driver_handbook__1_5_2_1 D n2_a_driver_handbook__1_5_2->n2_a_driver_handbook__1_5_2_1 n2_a_driver_handbook__1_5_2_2 N n2_a_driver_handbook__1_5_2->n2_a_driver_handbook__1_5_2_2 n2_a_driver_handbook__1_5_2_3 PUNC n2_a_driver_handbook__1_5_2->n2_a_driver_handbook__1_5_2_3 n2_a_driver_handbook__1_5_2_4 PP n2_a_driver_handbook__1_5_2->n2_a_driver_handbook__1_5_2_4 n2_a_driver_handbook__1_5_2_1->n2_a_driver_handbook__1_5_2_1_1 n2_a_driver_handbook__1_5_2_2->n2_a_driver_handbook__1_5_2_2_1 n2_a_driver_handbook__1_5_2_3->n2_a_driver_handbook__1_5_2_3_1 n2_a_driver_handbook__1_5_2_4_1 P-ROLE n2_a_driver_handbook__1_5_2_4->n2_a_driver_handbook__1_5_2_4_1 n2_a_driver_handbook__1_5_2_4_2 PUNC n2_a_driver_handbook__1_5_2_4->n2_a_driver_handbook__1_5_2_4_2 n2_a_driver_handbook__1_5_2_4_3 NP n2_a_driver_handbook__1_5_2_4->n2_a_driver_handbook__1_5_2_4_3 n2_a_driver_handbook__1_5_2_4_1->n2_a_driver_handbook__1_5_2_4_1_1 n2_a_driver_handbook__1_5_2_4_2->n2_a_driver_handbook__1_5_2_4_2_1 n2_a_driver_handbook__1_5_2_4_3_1 N n2_a_driver_handbook__1_5_2_4_3->n2_a_driver_handbook__1_5_2_4_3_1 n2_a_driver_handbook__1_5_2_4_3_1->n2_a_driver_handbook__1_5_2_4_3_1_1 n2_a_driver_handbook__1_6_1 P-CONN n2_a_driver_handbook__1_6->n2_a_driver_handbook__1_6_1 n2_a_driver_handbook__1_6_2 IP-PPL n2_a_driver_handbook__1_6->n2_a_driver_handbook__1_6_2 n2_a_driver_handbook__1_6_1->n2_a_driver_handbook__1_6_1_1 n2_a_driver_handbook__1_6_2_1 VAG;_phr_Vp_ n2_a_driver_handbook__1_6_2->n2_a_driver_handbook__1_6_2_1 n2_a_driver_handbook__1_6_2_2 RP n2_a_driver_handbook__1_6_2->n2_a_driver_handbook__1_6_2_2 n2_a_driver_handbook__1_6_2_3 PP-SCON n2_a_driver_handbook__1_6_2->n2_a_driver_handbook__1_6_2_3 n2_a_driver_handbook__1_6_2_1->n2_a_driver_handbook__1_6_2_1_1 n2_a_driver_handbook__1_6_2_2->n2_a_driver_handbook__1_6_2_2_1 n2_a_driver_handbook__1_6_2_3_1 P-CONN n2_a_driver_handbook__1_6_2_3->n2_a_driver_handbook__1_6_2_3_1 n2_a_driver_handbook__1_6_2_3_2 IP-ADV n2_a_driver_handbook__1_6_2_3->n2_a_driver_handbook__1_6_2_3_2 n2_a_driver_handbook__1_6_2_3_1->n2_a_driver_handbook__1_6_2_3_1_1 n2_a_driver_handbook__1_6_2_3_2_1 NP-SBJ n2_a_driver_handbook__1_6_2_3_2->n2_a_driver_handbook__1_6_2_3_2_1 n2_a_driver_handbook__1_6_2_3_2_2 MD;_cat_Vi_ n2_a_driver_handbook__1_6_2_3_2->n2_a_driver_handbook__1_6_2_3_2_2 n2_a_driver_handbook__1_6_2_3_2_3 IP-INF-CAT n2_a_driver_handbook__1_6_2_3_2->n2_a_driver_handbook__1_6_2_3_2_3 n2_a_driver_handbook__1_6_2_3_2_1_1 D n2_a_driver_handbook__1_6_2_3_2_1->n2_a_driver_handbook__1_6_2_3_2_1_1 n2_a_driver_handbook__1_6_2_3_2_1_2 N n2_a_driver_handbook__1_6_2_3_2_1->n2_a_driver_handbook__1_6_2_3_2_1_2 n2_a_driver_handbook__1_6_2_3_2_1_3 IP-PPL n2_a_driver_handbook__1_6_2_3_2_1->n2_a_driver_handbook__1_6_2_3_2_1_3 n2_a_driver_handbook__1_6_2_3_2_1_1->n2_a_driver_handbook__1_6_2_3_2_1_1_1 n2_a_driver_handbook__1_6_2_3_2_1_2->n2_a_driver_handbook__1_6_2_3_2_1_2_1 n2_a_driver_handbook__1_6_2_3_2_1_3_1 VAG;_Ip_ n2_a_driver_handbook__1_6_2_3_2_1_3->n2_a_driver_handbook__1_6_2_3_2_1_3_1 n2_a_driver_handbook__1_6_2_3_2_1_3_2 ADVP-CLR n2_a_driver_handbook__1_6_2_3_2_1_3->n2_a_driver_handbook__1_6_2_3_2_1_3_2 n2_a_driver_handbook__1_6_2_3_2_1_3_1->n2_a_driver_handbook__1_6_2_3_2_1_3_1_1 n2_a_driver_handbook__1_6_2_3_2_1_3_2_1 ADV n2_a_driver_handbook__1_6_2_3_2_1_3_2->n2_a_driver_handbook__1_6_2_3_2_1_3_2_1 n2_a_driver_handbook__1_6_2_3_2_1_3_2_1->n2_a_driver_handbook__1_6_2_3_2_1_3_2_1_1 n2_a_driver_handbook__1_6_2_3_2_2->n2_a_driver_handbook__1_6_2_3_2_2_1 n2_a_driver_handbook__1_6_2_3_2_3_1 VB;_I_ n2_a_driver_handbook__1_6_2_3_2_3->n2_a_driver_handbook__1_6_2_3_2_3_1 n2_a_driver_handbook__1_6_2_3_2_3_1->n2_a_driver_handbook__1_6_2_3_2_3_1_1 n2_a_driver_handbook__1_7->n2_a_driver_handbook__1_7_1 
( (IP-MAT (PP-SCON (P-CONN When;{when})
                   (IP-ADV (NP-SBJ;{VEHICLE} (NUM two;{two})
                                             (NS vehicles;{vehicle}))
                           (VBP;_I_ meet;{meet})
                           (PP-NIM (P-ROLE on;{on})
                                   (NP (D a;{a})
                                       (ADJP (ADJ steep;{steep}))
                                       (N road;{road})
                                       (IP-REL (ADVP-NIM (RADV where;{where}))
                                               (NP-SBJ;{VEHICLE} (Q;_nphd_ neither;{neither}))
                                               (MD;_cat_Vi_ can;{can})
                                               (IP-INF-CAT (VB;_I_ pass;{pass})))))))
          (PUNC ,)
          (NP-SBJ;{DOWNHILL_VEHICLE} (D the;{the})
                                     (N vehicle;{vehicle})
                                     (IP-PPL (VAG;_Ip_ facing;{face[downhill]})
                                             (ADVP-CLR (ADV downhill;{downhill}))))
          (MD;_cat_Vi_ must;{must})
          (IP-INF-CAT (VB;_Tn_ yield;{yield})
                      (NP-OB1 (D the;{the})
                              (N right;{right})
                              (PUNC <hyphen>)
                              (PP (P-ROLE of;{of})
                                  (PUNC <hyphen>)
                                  (NP (N way;{way})))))
          (PP-SCON (P-CONN by;{by})
                   (IP-PPL (VAG;_phr_Vp_ backing;{back[up]})
                           (RP up;{up})
                           (PP-SCON (P-CONN until;{until})
                                    (IP-ADV (NP-SBJ (D the;{the})
                                                    (N vehicle;{vehicle})
                                                    (IP-PPL (VAG;_Ip_ going;{go[uphill]})
                                                            (ADVP-CLR (ADV uphill;{uphill}))))
                                            (MD;_cat_Vi_ can;{can})
                                            (IP-INF-CAT (VB;_I_ pass;{pass}))))))
          (PUNC .))
  (ID 2_a_driver_handbook))