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_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_r_0002_0019__yield must yield r_0002_0026__by->r_0002_0018__must_r_0002_0019__yield [conj2] r_0002_0029__until until r_0002_0026__by->r_0002_0029__until [conj1] 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_r_0002_0012__pass can pass r_0002_0010__neither_quant->r_0002_0011__can_r_0002_0012__pass [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_0012__pass->r_0002_0006__a_r_0002_0008__road [nim] r_0002_0011__can_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_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_0027__backing_r_0002_0028__up backing up r_0002_0029__until->r_0002_0027__backing_r_0002_0028__up [conj2] r_0002_0034__can_r_0002_0035__pass can pass r_0002_0029__until->r_0002_0034__can_r_0002_0035__pass [conj1] r_0002_0027__backing_r_0002_0028__up->r_0002_0014__the_r_0002_0015__vehicle [arg0] 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] 
fof(formula,axiom,
    ? [R_2_16_FACING,R_2_14_THE_VEHICLE,R_2_17_DOWNHILL,R_2_32_GOING,R_2_30_THE_VEHICLE,R_2_33_UPHILL] :
      ( the_vehicle(R_2_14_THE_VEHICLE)
      & downhill(R_2_17_DOWNHILL)
      & the_vehicle(R_2_30_THE_VEHICLE)
      & uphill(R_2_33_UPHILL)
      & ! [R_2_4_MEET,R_2_2_TWO_VEHICLES,R_2_6_A_ROAD,R_2_7_STEEP] :
          ( ( two_vehicles(R_2_2_TWO_VEHICLES)
            & steep(R_2_7_STEEP)
            & meet(R_2_4_MEET,R_2_2_TWO_VEHICLES)
            & on_nim16(R_2_4_MEET,R_2_6_A_ROAD)
            & a_road(R_2_6_A_ROAD)
            & attrib19(R_2_6_A_ROAD,R_2_7_STEEP) )
         => ? [R_2_26_BY,R_2_29_UNTIL,R_2_34_CAN_PASS,R_2_27_BACKING_UP,R_2_18_MUST_YIELD,R_2_20_THE_RIGHT,R_2_25_WAY] :
              ( way(R_2_25_WAY)
              & by(R_2_26_BY)
              & conj1(R_2_26_BY,R_2_29_UNTIL)
              & until(R_2_29_UNTIL)
              & conj1(R_2_29_UNTIL,R_2_34_CAN_PASS)
              & can_pass(R_2_34_CAN_PASS,R_2_30_THE_VEHICLE)
              & conj2(R_2_29_UNTIL,R_2_27_BACKING_UP)
              & backing_up(R_2_27_BACKING_UP,R_2_14_THE_VEHICLE)
              & conj2(R_2_26_BY,R_2_18_MUST_YIELD)
              & must_yield(R_2_18_MUST_YIELD,R_2_14_THE_VEHICLE,R_2_20_THE_RIGHT)
              & the_right(R_2_20_THE_RIGHT)
              & of(R_2_20_THE_RIGHT,R_2_25_WAY) ) )
      & ! [Z_2_A_DRIVER_HANDBOOK_28] :
          ( true
         => ? [R_2_11_CAN_PASS,R_2_6_A_ROAD,R_2_7_STEEP] :
              ( steep(R_2_7_STEEP)
              & can_pass(R_2_11_CAN_PASS,Z_2_A_DRIVER_HANDBOOK_28)
              & nim25(R_2_11_CAN_PASS,R_2_6_A_ROAD)
              & a_road(R_2_6_A_ROAD)
              & attrib19(R_2_6_A_ROAD,R_2_7_STEEP) ) )
      & facing(R_2_16_FACING,R_2_14_THE_VEHICLE)
      & clr46(R_2_16_FACING,R_2_17_DOWNHILL)
      & going(R_2_32_GOING,R_2_30_THE_VEHICLE)
      & clr89(R_2_32_GOING,R_2_33_UPHILL) ) ).


n2_a_driver_handbook n2_a_driver_handbook_4 When n2_a_driver_handbook_8 two n2_a_driver_handbook_10 vehicles n2_a_driver_handbook_12 meet n2_a_driver_handbook_15 on n2_a_driver_handbook_18 a n2_a_driver_handbook_21 steep n2_a_driver_handbook_23 road n2_a_driver_handbook_27 where n2_a_driver_handbook_30 neither n2_a_driver_handbook_32 can n2_a_driver_handbook_35 pass n2_a_driver_handbook_37 , n2_a_driver_handbook_40 the n2_a_driver_handbook_42 vehicle n2_a_driver_handbook_45 facing n2_a_driver_handbook_48 downhill n2_a_driver_handbook_50 must n2_a_driver_handbook_53 yield n2_a_driver_handbook_56 the n2_a_driver_handbook_58 right n2_a_driver_handbook_60 - n2_a_driver_handbook_63 of n2_a_driver_handbook_65 - n2_a_driver_handbook_68 way n2_a_driver_handbook_71 by n2_a_driver_handbook_74 backing n2_a_driver_handbook_76 up n2_a_driver_handbook_79 until n2_a_driver_handbook_83 the n2_a_driver_handbook_85 vehicle n2_a_driver_handbook_88 going n2_a_driver_handbook_91 uphill n2_a_driver_handbook_93 can n2_a_driver_handbook_96 pass n2_a_driver_handbook_98 . n2_a_driver_handbook_1 IP-MAT n2_a_driver_handbook_2 PP-SCON n2_a_driver_handbook_1->n2_a_driver_handbook_2 n2_a_driver_handbook_36 PUNC n2_a_driver_handbook_1->n2_a_driver_handbook_36 n2_a_driver_handbook_38 NP-SBJ n2_a_driver_handbook_1->n2_a_driver_handbook_38 n2_a_driver_handbook_49 MD;_cat_Vi_ n2_a_driver_handbook_1->n2_a_driver_handbook_49 n2_a_driver_handbook_51 IP-INF-CAT n2_a_driver_handbook_1->n2_a_driver_handbook_51 n2_a_driver_handbook_69 PP-SCON n2_a_driver_handbook_1->n2_a_driver_handbook_69 n2_a_driver_handbook_97 PUNC n2_a_driver_handbook_1->n2_a_driver_handbook_97 n2_a_driver_handbook_3 P-CONN n2_a_driver_handbook_2->n2_a_driver_handbook_3 n2_a_driver_handbook_5 IP-ADV n2_a_driver_handbook_2->n2_a_driver_handbook_5 n2_a_driver_handbook_3->n2_a_driver_handbook_4 n2_a_driver_handbook_6 NP-SBJ n2_a_driver_handbook_5->n2_a_driver_handbook_6 n2_a_driver_handbook_11 VBP;_I_ n2_a_driver_handbook_5->n2_a_driver_handbook_11 n2_a_driver_handbook_13 PP-NIM n2_a_driver_handbook_5->n2_a_driver_handbook_13 n2_a_driver_handbook_7 NUM n2_a_driver_handbook_6->n2_a_driver_handbook_7 n2_a_driver_handbook_9 NS n2_a_driver_handbook_6->n2_a_driver_handbook_9 n2_a_driver_handbook_7->n2_a_driver_handbook_8 n2_a_driver_handbook_9->n2_a_driver_handbook_10 n2_a_driver_handbook_11->n2_a_driver_handbook_12 n2_a_driver_handbook_14 P-ROLE n2_a_driver_handbook_13->n2_a_driver_handbook_14 n2_a_driver_handbook_16 NP n2_a_driver_handbook_13->n2_a_driver_handbook_16 n2_a_driver_handbook_14->n2_a_driver_handbook_15 n2_a_driver_handbook_17 D n2_a_driver_handbook_16->n2_a_driver_handbook_17 n2_a_driver_handbook_19 ADJP n2_a_driver_handbook_16->n2_a_driver_handbook_19 n2_a_driver_handbook_22 N n2_a_driver_handbook_16->n2_a_driver_handbook_22 n2_a_driver_handbook_24 IP-REL n2_a_driver_handbook_16->n2_a_driver_handbook_24 n2_a_driver_handbook_17->n2_a_driver_handbook_18 n2_a_driver_handbook_20 ADJ n2_a_driver_handbook_19->n2_a_driver_handbook_20 n2_a_driver_handbook_20->n2_a_driver_handbook_21 n2_a_driver_handbook_22->n2_a_driver_handbook_23 n2_a_driver_handbook_25 ADVP-NIM n2_a_driver_handbook_24->n2_a_driver_handbook_25 n2_a_driver_handbook_28 NP-SBJ n2_a_driver_handbook_24->n2_a_driver_handbook_28 n2_a_driver_handbook_31 MD;_cat_Vi_ n2_a_driver_handbook_24->n2_a_driver_handbook_31 n2_a_driver_handbook_33 IP-INF-CAT n2_a_driver_handbook_24->n2_a_driver_handbook_33 n2_a_driver_handbook_26 RADV n2_a_driver_handbook_25->n2_a_driver_handbook_26 n2_a_driver_handbook_26->n2_a_driver_handbook_27 n2_a_driver_handbook_29 Q;_nphd_ n2_a_driver_handbook_28->n2_a_driver_handbook_29 n2_a_driver_handbook_29->n2_a_driver_handbook_30 n2_a_driver_handbook_31->n2_a_driver_handbook_32 n2_a_driver_handbook_34 VB;_I_ n2_a_driver_handbook_33->n2_a_driver_handbook_34 n2_a_driver_handbook_34->n2_a_driver_handbook_35 n2_a_driver_handbook_36->n2_a_driver_handbook_37 n2_a_driver_handbook_39 D n2_a_driver_handbook_38->n2_a_driver_handbook_39 n2_a_driver_handbook_41 N n2_a_driver_handbook_38->n2_a_driver_handbook_41 n2_a_driver_handbook_43 IP-PPL n2_a_driver_handbook_38->n2_a_driver_handbook_43 n2_a_driver_handbook_39->n2_a_driver_handbook_40 n2_a_driver_handbook_41->n2_a_driver_handbook_42 n2_a_driver_handbook_44 VAG;_Ip_ n2_a_driver_handbook_43->n2_a_driver_handbook_44 n2_a_driver_handbook_46 ADVP-CLR n2_a_driver_handbook_43->n2_a_driver_handbook_46 n2_a_driver_handbook_44->n2_a_driver_handbook_45 n2_a_driver_handbook_47 ADV n2_a_driver_handbook_46->n2_a_driver_handbook_47 n2_a_driver_handbook_47->n2_a_driver_handbook_48 n2_a_driver_handbook_49->n2_a_driver_handbook_50 n2_a_driver_handbook_52 VB;_Tn_ n2_a_driver_handbook_51->n2_a_driver_handbook_52 n2_a_driver_handbook_54 NP-OB1 n2_a_driver_handbook_51->n2_a_driver_handbook_54 n2_a_driver_handbook_52->n2_a_driver_handbook_53 n2_a_driver_handbook_55 D n2_a_driver_handbook_54->n2_a_driver_handbook_55 n2_a_driver_handbook_57 N n2_a_driver_handbook_54->n2_a_driver_handbook_57 n2_a_driver_handbook_59 PUNC n2_a_driver_handbook_54->n2_a_driver_handbook_59 n2_a_driver_handbook_61 PP n2_a_driver_handbook_54->n2_a_driver_handbook_61 n2_a_driver_handbook_55->n2_a_driver_handbook_56 n2_a_driver_handbook_57->n2_a_driver_handbook_58 n2_a_driver_handbook_59->n2_a_driver_handbook_60 n2_a_driver_handbook_62 P-ROLE n2_a_driver_handbook_61->n2_a_driver_handbook_62 n2_a_driver_handbook_64 PUNC n2_a_driver_handbook_61->n2_a_driver_handbook_64 n2_a_driver_handbook_66 NP n2_a_driver_handbook_61->n2_a_driver_handbook_66 n2_a_driver_handbook_62->n2_a_driver_handbook_63 n2_a_driver_handbook_64->n2_a_driver_handbook_65 n2_a_driver_handbook_67 N n2_a_driver_handbook_66->n2_a_driver_handbook_67 n2_a_driver_handbook_67->n2_a_driver_handbook_68 n2_a_driver_handbook_70 P-CONN n2_a_driver_handbook_69->n2_a_driver_handbook_70 n2_a_driver_handbook_72 IP-PPL n2_a_driver_handbook_69->n2_a_driver_handbook_72 n2_a_driver_handbook_70->n2_a_driver_handbook_71 n2_a_driver_handbook_73 VAG;_phr_Vp_ n2_a_driver_handbook_72->n2_a_driver_handbook_73 n2_a_driver_handbook_75 RP n2_a_driver_handbook_72->n2_a_driver_handbook_75 n2_a_driver_handbook_77 PP-SCON n2_a_driver_handbook_72->n2_a_driver_handbook_77 n2_a_driver_handbook_73->n2_a_driver_handbook_74 n2_a_driver_handbook_75->n2_a_driver_handbook_76 n2_a_driver_handbook_78 P-CONN n2_a_driver_handbook_77->n2_a_driver_handbook_78 n2_a_driver_handbook_80 IP-ADV n2_a_driver_handbook_77->n2_a_driver_handbook_80 n2_a_driver_handbook_78->n2_a_driver_handbook_79 n2_a_driver_handbook_81 NP-SBJ n2_a_driver_handbook_80->n2_a_driver_handbook_81 n2_a_driver_handbook_92 MD;_cat_Vi_ n2_a_driver_handbook_80->n2_a_driver_handbook_92 n2_a_driver_handbook_94 IP-INF-CAT n2_a_driver_handbook_80->n2_a_driver_handbook_94 n2_a_driver_handbook_82 D n2_a_driver_handbook_81->n2_a_driver_handbook_82 n2_a_driver_handbook_84 N n2_a_driver_handbook_81->n2_a_driver_handbook_84 n2_a_driver_handbook_86 IP-PPL n2_a_driver_handbook_81->n2_a_driver_handbook_86 n2_a_driver_handbook_82->n2_a_driver_handbook_83 n2_a_driver_handbook_84->n2_a_driver_handbook_85 n2_a_driver_handbook_87 VAG;_Ip_ n2_a_driver_handbook_86->n2_a_driver_handbook_87 n2_a_driver_handbook_89 ADVP-CLR n2_a_driver_handbook_86->n2_a_driver_handbook_89 n2_a_driver_handbook_87->n2_a_driver_handbook_88 n2_a_driver_handbook_90 ADV n2_a_driver_handbook_89->n2_a_driver_handbook_90 n2_a_driver_handbook_90->n2_a_driver_handbook_91 n2_a_driver_handbook_92->n2_a_driver_handbook_93 n2_a_driver_handbook_95 VB;_I_ n2_a_driver_handbook_94->n2_a_driver_handbook_95 n2_a_driver_handbook_95->n2_a_driver_handbook_96 n2_a_driver_handbook_97->n2_a_driver_handbook_98 
( (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))