Context                Previous, Next                Top


24_a_driver_handbook
If you choose to drive slower than other traffic, do not drive in the Number 1 (fast) lane.

%3 r_0024_0001__If If r_0024_0003__choose choose r_0024_0001__If->r_0024_0003__choose [restriction] r_0024_0012__not not r_0024_0001__If->r_0024_0012__not [scope] r_0024_0002__you you r_0024_0003__choose->r_0024_0002__you [arg0] r_0024_0004__to_r_0024_0005__drive to drive r_0024_0003__choose->r_0024_0004__to_r_0024_0005__drive [arg1] r_0024_0011__do_r_0024_0013__drive do drive r_0024_0012__not->r_0024_0011__do_r_0024_0013__drive [keep_scope] r_0024_0004__to_r_0024_0005__drive->r_0024_0002__you [arg0] r_0024_0006__slower slower r_0024_0004__to_r_0024_0005__drive->r_0024_0006__slower [nim] r_0024_0009__traffic traffic r_0024_0006__slower->r_0024_0009__traffic than r_0024_0008__other other r_0024_0009__traffic->r_0024_0008__other [attrib] r_0024_0015__the_r_0024_0016__Number_r_0024_0017__1_r_0024_0021__lane the Number 1 lane r_0024_0011__do_r_0024_0013__drive->r_0024_0015__the_r_0024_0016__Number_r_0024_0017__1_r_0024_0021__lane in [clr] z_000_24_a_driver_handbook_1 r_0024_0011__do_r_0024_0013__drive->z_000_24_a_driver_handbook_1 [arg0] r_0024_0019__fast fast r_0024_0015__the_r_0024_0016__Number_r_0024_0017__1_r_0024_0021__lane->r_0024_0019__fast [attrib] 
arc(r_0024_0001__If, r_0024_0003__choose, restriction).
arc(r_0024_0001__If, r_0024_0012__not, scope).
arc(r_0024_0003__choose, r_0024_0002__you, arg0).
arc(r_0024_0003__choose, r_0024_0004__to_r_0024_0005__drive, arg1).
arc(r_0024_0004__to_r_0024_0005__drive, r_0024_0002__you, arg0).
arc(r_0024_0004__to_r_0024_0005__drive, r_0024_0006__slower, nim16).
arc(r_0024_0006__slower, r_0024_0009__traffic, r_0024_0007__than).
arc(r_0024_0009__traffic, r_0024_0008__other, attrib23).
arc(r_0024_0011__do_r_0024_0013__drive, r_0024_0015__the_r_0024_0016__Number_r_0024_0017__1_r_0024_0021__lane, r_0024_0014__in_clr39).
arc(r_0024_0011__do_r_0024_0013__drive, z_000_24_a_driver_handbook_1, arg0).
arc(r_0024_0012__not, r_0024_0011__do_r_0024_0013__drive, keep_scope).
arc(r_0024_0015__the_r_0024_0016__Number_r_0024_0017__1_r_0024_0021__lane, r_0024_0019__fast, attrib48).


%3 r_0024_0001__If If r_0024_0003__choose choose r_0024_0001__If->r_0024_0003__choose [restriction] r_0024_0012__not not r_0024_0001__If->r_0024_0012__not [scope] r_0024_0002__you you r_0024_0003__choose->r_0024_0002__you [arg0] r_0024_0004__to_r_0024_0005__drive to drive r_0024_0003__choose->r_0024_0004__to_r_0024_0005__drive [arg1] r_0024_0011__do_r_0024_0013__drive do drive r_0024_0012__not->r_0024_0011__do_r_0024_0013__drive [keep_scope] r_0024_0004__to_r_0024_0005__drive->r_0024_0002__you [arg0] r_0024_0006__slower slower r_0024_0004__to_r_0024_0005__drive->r_0024_0006__slower [nim] r_0024_0009__traffic traffic r_0024_0006__slower->r_0024_0009__traffic than r_0024_0008__other other r_0024_0009__traffic->r_0024_0008__other [attrib] r_0024_0015__the_r_0024_0016__Number_r_0024_0017__1_r_0024_0021__lane the Number 1 lane r_0024_0011__do_r_0024_0013__drive->r_0024_0015__the_r_0024_0016__Number_r_0024_0017__1_r_0024_0021__lane in [clr] z_000_24_a_driver_handbook_1 r_0024_0011__do_r_0024_0013__drive->z_000_24_a_driver_handbook_1 [arg0] r_0024_0019__fast fast r_0024_0015__the_r_0024_0016__Number_r_0024_0017__1_r_0024_0021__lane->r_0024_0019__fast [attrib] 
fof(formula,axiom,
    ! [R_24_3_CHOOSE,R_24_4_TO_DRIVE,R_24_2_YOU,R_24_6_SLOWER,R_24_9_TRAFFIC,R_24_8_OTHER] :
      ( ( you(R_24_2_YOU)
        & other(R_24_8_OTHER)
        & choose(R_24_3_CHOOSE,R_24_2_YOU,R_24_4_TO_DRIVE)
        & to_drive(R_24_4_TO_DRIVE,R_24_2_YOU)
        & nim16(R_24_4_TO_DRIVE,R_24_6_SLOWER)
        & slower(R_24_6_SLOWER)
        & than(R_24_6_SLOWER,R_24_9_TRAFFIC)
        & traffic(R_24_9_TRAFFIC)
        & attrib23(R_24_9_TRAFFIC,R_24_8_OTHER) )
     => ~ ? [R_24_11_DO_DRIVE,Z_24_A_DRIVER_HANDBOOK_1,R_24_15_THE_NUMBER_1_LANE,R_24_19_FAST] :
            ( fast(R_24_19_FAST)
            & do_drive(R_24_11_DO_DRIVE,Z_24_A_DRIVER_HANDBOOK_1)
            & in_clr39(R_24_11_DO_DRIVE,R_24_15_THE_NUMBER_1_LANE)
            & the_Number_1_lane(R_24_15_THE_NUMBER_1_LANE)
            & attrib48(R_24_15_THE_NUMBER_1_LANE,R_24_19_FAST) ) ) ).


n24_a_driver_handbook n24_a_driver_handbook_4 If n24_a_driver_handbook_8 you n24_a_driver_handbook_10 choose n24_a_driver_handbook_13 to n24_a_driver_handbook_15 drive n24_a_driver_handbook_18 slower n24_a_driver_handbook_21 than n24_a_driver_handbook_25 other n24_a_driver_handbook_27 traffic n24_a_driver_handbook_29 , n24_a_driver_handbook_31 do n24_a_driver_handbook_33 not n24_a_driver_handbook_35 drive n24_a_driver_handbook_38 in n24_a_driver_handbook_41 the n24_a_driver_handbook_43 Number n24_a_driver_handbook_45 1 n24_a_driver_handbook_47 -LRB- n24_a_driver_handbook_50 fast n24_a_driver_handbook_52 -RRB- n24_a_driver_handbook_54 lane n24_a_driver_handbook_56 . n24_a_driver_handbook_1 IP-IMP n24_a_driver_handbook_2 PP-SCON n24_a_driver_handbook_1->n24_a_driver_handbook_2 n24_a_driver_handbook_28 PUNC n24_a_driver_handbook_1->n24_a_driver_handbook_28 n24_a_driver_handbook_30 DO n24_a_driver_handbook_1->n24_a_driver_handbook_30 n24_a_driver_handbook_32 NEG n24_a_driver_handbook_1->n24_a_driver_handbook_32 n24_a_driver_handbook_34 VB;_Ipr_ n24_a_driver_handbook_1->n24_a_driver_handbook_34 n24_a_driver_handbook_36 PP-CLR n24_a_driver_handbook_1->n24_a_driver_handbook_36 n24_a_driver_handbook_55 PUNC n24_a_driver_handbook_1->n24_a_driver_handbook_55 n24_a_driver_handbook_3 P-CONN n24_a_driver_handbook_2->n24_a_driver_handbook_3 n24_a_driver_handbook_5 IP-ADV n24_a_driver_handbook_2->n24_a_driver_handbook_5 n24_a_driver_handbook_3->n24_a_driver_handbook_4 n24_a_driver_handbook_6 NP-SBJ n24_a_driver_handbook_5->n24_a_driver_handbook_6 n24_a_driver_handbook_9 VBP;_Tt_ n24_a_driver_handbook_5->n24_a_driver_handbook_9 n24_a_driver_handbook_11 IP-INF-OB1 n24_a_driver_handbook_5->n24_a_driver_handbook_11 n24_a_driver_handbook_7 PRO n24_a_driver_handbook_6->n24_a_driver_handbook_7 n24_a_driver_handbook_7->n24_a_driver_handbook_8 n24_a_driver_handbook_9->n24_a_driver_handbook_10 n24_a_driver_handbook_12 TO n24_a_driver_handbook_11->n24_a_driver_handbook_12 n24_a_driver_handbook_14 VB;_I_ n24_a_driver_handbook_11->n24_a_driver_handbook_14 n24_a_driver_handbook_16 ADVP-NIM n24_a_driver_handbook_11->n24_a_driver_handbook_16 n24_a_driver_handbook_12->n24_a_driver_handbook_13 n24_a_driver_handbook_14->n24_a_driver_handbook_15 n24_a_driver_handbook_17 ADVR n24_a_driver_handbook_16->n24_a_driver_handbook_17 n24_a_driver_handbook_19 PP n24_a_driver_handbook_16->n24_a_driver_handbook_19 n24_a_driver_handbook_17->n24_a_driver_handbook_18 n24_a_driver_handbook_20 P-ROLE n24_a_driver_handbook_19->n24_a_driver_handbook_20 n24_a_driver_handbook_22 NP n24_a_driver_handbook_19->n24_a_driver_handbook_22 n24_a_driver_handbook_20->n24_a_driver_handbook_21 n24_a_driver_handbook_23 ADJP n24_a_driver_handbook_22->n24_a_driver_handbook_23 n24_a_driver_handbook_26 N n24_a_driver_handbook_22->n24_a_driver_handbook_26 n24_a_driver_handbook_24 ADJ n24_a_driver_handbook_23->n24_a_driver_handbook_24 n24_a_driver_handbook_24->n24_a_driver_handbook_25 n24_a_driver_handbook_26->n24_a_driver_handbook_27 n24_a_driver_handbook_28->n24_a_driver_handbook_29 n24_a_driver_handbook_30->n24_a_driver_handbook_31 n24_a_driver_handbook_32->n24_a_driver_handbook_33 n24_a_driver_handbook_34->n24_a_driver_handbook_35 n24_a_driver_handbook_37 P-ROLE n24_a_driver_handbook_36->n24_a_driver_handbook_37 n24_a_driver_handbook_39 NP n24_a_driver_handbook_36->n24_a_driver_handbook_39 n24_a_driver_handbook_37->n24_a_driver_handbook_38 n24_a_driver_handbook_40 D n24_a_driver_handbook_39->n24_a_driver_handbook_40 n24_a_driver_handbook_42 N n24_a_driver_handbook_39->n24_a_driver_handbook_42 n24_a_driver_handbook_44 NUM n24_a_driver_handbook_39->n24_a_driver_handbook_44 n24_a_driver_handbook_46 PULB n24_a_driver_handbook_39->n24_a_driver_handbook_46 n24_a_driver_handbook_48 ADJP n24_a_driver_handbook_39->n24_a_driver_handbook_48 n24_a_driver_handbook_51 PURB n24_a_driver_handbook_39->n24_a_driver_handbook_51 n24_a_driver_handbook_53 N n24_a_driver_handbook_39->n24_a_driver_handbook_53 n24_a_driver_handbook_40->n24_a_driver_handbook_41 n24_a_driver_handbook_42->n24_a_driver_handbook_43 n24_a_driver_handbook_44->n24_a_driver_handbook_45 n24_a_driver_handbook_46->n24_a_driver_handbook_47 n24_a_driver_handbook_49 ADJ n24_a_driver_handbook_48->n24_a_driver_handbook_49 n24_a_driver_handbook_49->n24_a_driver_handbook_50 n24_a_driver_handbook_51->n24_a_driver_handbook_52 n24_a_driver_handbook_53->n24_a_driver_handbook_54 n24_a_driver_handbook_55->n24_a_driver_handbook_56 
( (IP-IMP (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ (PRO you;{you}))
                           (VBP;_Tt_ choose;{choose})
                           (IP-INF-OB1 (TO to;{to})
                                       (VB;_I_ drive;{drive})
                                       (ADVP-NIM (ADVR slower;{slowly})
                                                 (PP (P-ROLE than;{than})
                                                     (NP (ADJP (ADJ other;{other}))
                                                         (N traffic;{traffic})))))))
          (PUNC ,)
          (DO do;{do})
          (NEG not;{not})
          (VB;_Ipr_ drive;{drive[in]})
          (PP-CLR (P-ROLE in;{in})
                  (NP (D the;{the})
                      (N Number;{number})
                      (NUM 1)
                      (PULB -LRB-)
                      (ADJP (ADJ fast;{fast}))
                      (PURB -RRB-)
                      (N lane;{lane})))
          (PUNC .))
  (ID 24_a_driver_handbook))