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_0015__the_r_0024_0016__Number_r_0024_0017__1_r_0024_0021__lane the Number 1 lane 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] r_0024_0012__not not 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_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_0009__traffic traffic r_0024_0008__other other r_0024_0009__traffic->r_0024_0008__other [attrib] r_0024_0006__slower slower r_0024_0006__slower->r_0024_0009__traffic than r_0024_0004__to_r_0024_0005__drive to drive r_0024_0004__to_r_0024_0005__drive->r_0024_0006__slower [nim] r_0024_0002__you you r_0024_0004__to_r_0024_0005__drive->r_0024_0002__you [arg0] r_0024_0003__choose choose r_0024_0003__choose->r_0024_0004__to_r_0024_0005__drive [arg1] r_0024_0003__choose->r_0024_0002__you [arg0] r_0024_0001__If If r_0024_0001__If->r_0024_0012__not [scope] r_0024_0001__If->r_0024_0003__choose [restriction] 
fof(formula,axiom,
    ! [R_0024_0003__CHOOSE,R_0024_0002__YOU,R_0024_0008__OTHER,R_0024_0009__TRAFFIC,R_0024_0006__SLOWER,R_0024_0004__TO_R_0024_0005__DRIVE] :
      ( ( r_0024_0002__you(R_0024_0002__YOU)
        & r_0024_0008__other(R_0024_0008__OTHER)
        & r_0024_0003__choose(R_0024_0003__CHOOSE)
        & has_arg1(R_0024_0003__CHOOSE,R_0024_0004__TO_R_0024_0005__DRIVE)
        & r_0024_0004__to_r_0024_0005__drive(R_0024_0004__TO_R_0024_0005__DRIVE)
        & has_nim16(R_0024_0004__TO_R_0024_0005__DRIVE,R_0024_0006__SLOWER)
        & r_0024_0006__slower(R_0024_0006__SLOWER)
        & has_r_0024_0007__than(R_0024_0006__SLOWER,R_0024_0009__TRAFFIC)
        & r_0024_0009__traffic(R_0024_0009__TRAFFIC)
        & has_attrib23(R_0024_0009__TRAFFIC,R_0024_0008__OTHER)
        & has_arg0(R_0024_0004__TO_R_0024_0005__DRIVE,R_0024_0002__YOU)
        & has_arg0(R_0024_0003__CHOOSE,R_0024_0002__YOU) )
     => ~ ? [R_0024_0019__FAST,R_0024_0015__THE_R_0024_0016__NUMBER_R_0024_0017__1_R_0024_0021__LANE,Z_000_24_A_DRIVER_HANDBOOK_1,R_0024_0011__DO_R_0024_0013__DRIVE] :
            ( r_0024_0019__fast(R_0024_0019__FAST)
            & z_000_24_a_driver_handbook_1(Z_000_24_A_DRIVER_HANDBOOK_1)
            & r_0024_0011__do_r_0024_0013__drive(R_0024_0011__DO_R_0024_0013__DRIVE)
            & has_arg0(R_0024_0011__DO_R_0024_0013__DRIVE,Z_000_24_A_DRIVER_HANDBOOK_1)
            & has_r_0024_0014__in_clr39(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_0015__the_r_0024_0016__Number_r_0024_0017__1_r_0024_0021__lane(R_0024_0015__THE_R_0024_0016__NUMBER_R_0024_0017__1_R_0024_0021__LANE)
            & has_attrib48(R_0024_0015__THE_R_0024_0016__NUMBER_R_0024_0017__1_R_0024_0021__LANE,R_0024_0019__FAST) ) ) ).


n24_a_driver_handbook n24_a_driver_handbook__1_1_1_1 If n24_a_driver_handbook__1_1_2_1_1_1 you n24_a_driver_handbook__1_1_2_2_1 choose n24_a_driver_handbook__1_1_2_3_1_1 to n24_a_driver_handbook__1_1_2_3_2_1 drive n24_a_driver_handbook__1_1_2_3_3_1_1 slower n24_a_driver_handbook__1_1_2_3_3_2_1_1 than n24_a_driver_handbook__1_1_2_3_3_2_2_1_1_1 other n24_a_driver_handbook__1_1_2_3_3_2_2_2_1 traffic n24_a_driver_handbook__1_2_1 , n24_a_driver_handbook__1_3_1 do n24_a_driver_handbook__1_4_1 not n24_a_driver_handbook__1_5_1 drive n24_a_driver_handbook__1_6_1_1 in n24_a_driver_handbook__1_6_2_1_1 the n24_a_driver_handbook__1_6_2_2_1 Number n24_a_driver_handbook__1_6_2_3_1 1 n24_a_driver_handbook__1_6_2_4_1 -LRB- n24_a_driver_handbook__1_6_2_5_1_1 fast n24_a_driver_handbook__1_6_2_6_1 -RRB- n24_a_driver_handbook__1_6_2_7_1 lane n24_a_driver_handbook__1_7_1 . n24_a_driver_handbook__1 IP-IMP n24_a_driver_handbook__1_1 PP-SCON n24_a_driver_handbook__1->n24_a_driver_handbook__1_1 n24_a_driver_handbook__1_2 PUNC n24_a_driver_handbook__1->n24_a_driver_handbook__1_2 n24_a_driver_handbook__1_3 DO n24_a_driver_handbook__1->n24_a_driver_handbook__1_3 n24_a_driver_handbook__1_4 NEG n24_a_driver_handbook__1->n24_a_driver_handbook__1_4 n24_a_driver_handbook__1_5 VB;_Ipr_ n24_a_driver_handbook__1->n24_a_driver_handbook__1_5 n24_a_driver_handbook__1_6 PP-CLR n24_a_driver_handbook__1->n24_a_driver_handbook__1_6 n24_a_driver_handbook__1_7 PUNC n24_a_driver_handbook__1->n24_a_driver_handbook__1_7 n24_a_driver_handbook__1_1_1 P-CONN n24_a_driver_handbook__1_1->n24_a_driver_handbook__1_1_1 n24_a_driver_handbook__1_1_2 IP-ADV n24_a_driver_handbook__1_1->n24_a_driver_handbook__1_1_2 n24_a_driver_handbook__1_1_1->n24_a_driver_handbook__1_1_1_1 n24_a_driver_handbook__1_1_2_1 NP-SBJ n24_a_driver_handbook__1_1_2->n24_a_driver_handbook__1_1_2_1 n24_a_driver_handbook__1_1_2_2 VBP;_Tt_ n24_a_driver_handbook__1_1_2->n24_a_driver_handbook__1_1_2_2 n24_a_driver_handbook__1_1_2_3 IP-INF-OB1 n24_a_driver_handbook__1_1_2->n24_a_driver_handbook__1_1_2_3 n24_a_driver_handbook__1_1_2_1_1 PRO n24_a_driver_handbook__1_1_2_1->n24_a_driver_handbook__1_1_2_1_1 n24_a_driver_handbook__1_1_2_1_1->n24_a_driver_handbook__1_1_2_1_1_1 n24_a_driver_handbook__1_1_2_2->n24_a_driver_handbook__1_1_2_2_1 n24_a_driver_handbook__1_1_2_3_1 TO n24_a_driver_handbook__1_1_2_3->n24_a_driver_handbook__1_1_2_3_1 n24_a_driver_handbook__1_1_2_3_2 VB;_I_ n24_a_driver_handbook__1_1_2_3->n24_a_driver_handbook__1_1_2_3_2 n24_a_driver_handbook__1_1_2_3_3 ADVP-NIM n24_a_driver_handbook__1_1_2_3->n24_a_driver_handbook__1_1_2_3_3 n24_a_driver_handbook__1_1_2_3_1->n24_a_driver_handbook__1_1_2_3_1_1 n24_a_driver_handbook__1_1_2_3_2->n24_a_driver_handbook__1_1_2_3_2_1 n24_a_driver_handbook__1_1_2_3_3_1 ADVR n24_a_driver_handbook__1_1_2_3_3->n24_a_driver_handbook__1_1_2_3_3_1 n24_a_driver_handbook__1_1_2_3_3_2 PP n24_a_driver_handbook__1_1_2_3_3->n24_a_driver_handbook__1_1_2_3_3_2 n24_a_driver_handbook__1_1_2_3_3_1->n24_a_driver_handbook__1_1_2_3_3_1_1 n24_a_driver_handbook__1_1_2_3_3_2_1 P-ROLE n24_a_driver_handbook__1_1_2_3_3_2->n24_a_driver_handbook__1_1_2_3_3_2_1 n24_a_driver_handbook__1_1_2_3_3_2_2 NP n24_a_driver_handbook__1_1_2_3_3_2->n24_a_driver_handbook__1_1_2_3_3_2_2 n24_a_driver_handbook__1_1_2_3_3_2_1->n24_a_driver_handbook__1_1_2_3_3_2_1_1 n24_a_driver_handbook__1_1_2_3_3_2_2_1 ADJP n24_a_driver_handbook__1_1_2_3_3_2_2->n24_a_driver_handbook__1_1_2_3_3_2_2_1 n24_a_driver_handbook__1_1_2_3_3_2_2_2 N n24_a_driver_handbook__1_1_2_3_3_2_2->n24_a_driver_handbook__1_1_2_3_3_2_2_2 n24_a_driver_handbook__1_1_2_3_3_2_2_1_1 ADJ n24_a_driver_handbook__1_1_2_3_3_2_2_1->n24_a_driver_handbook__1_1_2_3_3_2_2_1_1 n24_a_driver_handbook__1_1_2_3_3_2_2_1_1->n24_a_driver_handbook__1_1_2_3_3_2_2_1_1_1 n24_a_driver_handbook__1_1_2_3_3_2_2_2->n24_a_driver_handbook__1_1_2_3_3_2_2_2_1 n24_a_driver_handbook__1_2->n24_a_driver_handbook__1_2_1 n24_a_driver_handbook__1_3->n24_a_driver_handbook__1_3_1 n24_a_driver_handbook__1_4->n24_a_driver_handbook__1_4_1 n24_a_driver_handbook__1_5->n24_a_driver_handbook__1_5_1 n24_a_driver_handbook__1_6_1 P-ROLE n24_a_driver_handbook__1_6->n24_a_driver_handbook__1_6_1 n24_a_driver_handbook__1_6_2 NP n24_a_driver_handbook__1_6->n24_a_driver_handbook__1_6_2 n24_a_driver_handbook__1_6_1->n24_a_driver_handbook__1_6_1_1 n24_a_driver_handbook__1_6_2_1 D n24_a_driver_handbook__1_6_2->n24_a_driver_handbook__1_6_2_1 n24_a_driver_handbook__1_6_2_2 N n24_a_driver_handbook__1_6_2->n24_a_driver_handbook__1_6_2_2 n24_a_driver_handbook__1_6_2_3 NUM n24_a_driver_handbook__1_6_2->n24_a_driver_handbook__1_6_2_3 n24_a_driver_handbook__1_6_2_4 PULB n24_a_driver_handbook__1_6_2->n24_a_driver_handbook__1_6_2_4 n24_a_driver_handbook__1_6_2_5 ADJP n24_a_driver_handbook__1_6_2->n24_a_driver_handbook__1_6_2_5 n24_a_driver_handbook__1_6_2_6 PURB n24_a_driver_handbook__1_6_2->n24_a_driver_handbook__1_6_2_6 n24_a_driver_handbook__1_6_2_7 N n24_a_driver_handbook__1_6_2->n24_a_driver_handbook__1_6_2_7 n24_a_driver_handbook__1_6_2_1->n24_a_driver_handbook__1_6_2_1_1 n24_a_driver_handbook__1_6_2_2->n24_a_driver_handbook__1_6_2_2_1 n24_a_driver_handbook__1_6_2_3->n24_a_driver_handbook__1_6_2_3_1 n24_a_driver_handbook__1_6_2_4->n24_a_driver_handbook__1_6_2_4_1 n24_a_driver_handbook__1_6_2_5_1 ADJ n24_a_driver_handbook__1_6_2_5->n24_a_driver_handbook__1_6_2_5_1 n24_a_driver_handbook__1_6_2_5_1->n24_a_driver_handbook__1_6_2_5_1_1 n24_a_driver_handbook__1_6_2_6->n24_a_driver_handbook__1_6_2_6_1 n24_a_driver_handbook__1_6_2_7->n24_a_driver_handbook__1_6_2_7_1 n24_a_driver_handbook__1_7->n24_a_driver_handbook__1_7_1 
( (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))