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.

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_1 Number n24_a_driver_handbook__1_6_2_2_2_1 1 n24_a_driver_handbook__1_6_2_3_1 -LRB- n24_a_driver_handbook__1_6_2_4_1_1_1 fast n24_a_driver_handbook__1_6_2_5_1 -RRB- n24_a_driver_handbook__1_6_2_6_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 NLYR n24_a_driver_handbook__1_6_2->n24_a_driver_handbook__1_6_2_2 n24_a_driver_handbook__1_6_2_3 PULB n24_a_driver_handbook__1_6_2->n24_a_driver_handbook__1_6_2_3 n24_a_driver_handbook__1_6_2_4 PRN n24_a_driver_handbook__1_6_2->n24_a_driver_handbook__1_6_2_4 n24_a_driver_handbook__1_6_2_5 PURB n24_a_driver_handbook__1_6_2->n24_a_driver_handbook__1_6_2_5 n24_a_driver_handbook__1_6_2_6 N n24_a_driver_handbook__1_6_2->n24_a_driver_handbook__1_6_2_6 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_1 N n24_a_driver_handbook__1_6_2_2->n24_a_driver_handbook__1_6_2_2_1 n24_a_driver_handbook__1_6_2_2_2 NUM n24_a_driver_handbook__1_6_2_2->n24_a_driver_handbook__1_6_2_2_2 n24_a_driver_handbook__1_6_2_2_1->n24_a_driver_handbook__1_6_2_2_1_1 n24_a_driver_handbook__1_6_2_2_2->n24_a_driver_handbook__1_6_2_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_1 ADJP n24_a_driver_handbook__1_6_2_4->n24_a_driver_handbook__1_6_2_4_1 n24_a_driver_handbook__1_6_2_4_1_1 ADJ n24_a_driver_handbook__1_6_2_4_1->n24_a_driver_handbook__1_6_2_4_1_1 n24_a_driver_handbook__1_6_2_4_1_1->n24_a_driver_handbook__1_6_2_4_1_1_1 n24_a_driver_handbook__1_6_2_5->n24_a_driver_handbook__1_6_2_5_1 n24_a_driver_handbook__1_6_2_6->n24_a_driver_handbook__1_6_2_6_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})
                      (NLYR (N Number;{number})
                            (NUM 1))
                      (PULB -LRB-)
                      (PRN (ADJP (ADJ fast;{fast})))
                      (PURB -RRB-)
                      (N lane;{lane})))
          (PUNC .))
  (ID 24_a_driver_handbook))


%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 [prn] r_0024_0012__not not r_0024_0011__do_r_0024_0013__drive_r_0024_0014__in do drive in r_0024_0012__not->r_0024_0011__do_r_0024_0013__drive_r_0024_0014__in [keep_scope] r_0024_0011__do_r_0024_0013__drive_r_0024_0014__in->r_0024_0015__the_r_0024_0016__Number_r_0024_0017__1_r_0024_0021__lane [arg1] z_0024_5002 r_0024_0011__do_r_0024_0013__drive_r_0024_0014__in->z_0024_5002 [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_0005__drive drive r_0024_0005__drive->r_0024_0006__slower [nim] r_0024_0002__you you r_0024_0005__drive->r_0024_0002__you [arg0] r_0024_0003__choose choose r_0024_0003__choose->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] 
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_0005__drive,arg1).
arc(r_0024_0005__drive,r_0024_0002__you,arg0).
arc(r_0024_0005__drive,r_0024_0006__slower,nim).
arc(r_0024_0006__slower,r_0024_0009__traffic,r_0024_0007__than).
arc(r_0024_0009__traffic,r_0024_0008__other,attrib).
arc(r_0024_0011__do_r_0024_0013__drive_r_0024_0014__in,r_0024_0015__the_r_0024_0016__Number_r_0024_0017__1_r_0024_0021__lane,arg1).
arc(r_0024_0011__do_r_0024_0013__drive_r_0024_0014__in,z_0024_5002,arg0).
arc(r_0024_0012__not,r_0024_0011__do_r_0024_0013__drive_r_0024_0014__in,keep_scope).
arc(r_0024_0015__the_r_0024_0016__Number_r_0024_0017__1_r_0024_0021__lane,r_0024_0019__fast,prn).


%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_0005__drive drive r_0024_0003__choose->r_0024_0005__drive [arg1] r_0024_0011__do_r_0024_0013__drive_r_0024_0014__in do drive in r_0024_0012__not->r_0024_0011__do_r_0024_0013__drive_r_0024_0014__in [keep_scope] r_0024_0005__drive->r_0024_0002__you [arg0] r_0024_0006__slower slower 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_0014__in->r_0024_0015__the_r_0024_0016__Number_r_0024_0017__1_r_0024_0021__lane [arg1] z_0024_5002 r_0024_0011__do_r_0024_0013__drive_r_0024_0014__in->z_0024_5002 [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 [prn] 
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_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_0005__DRIVE)
        & r_0024_0005__drive(R_0024_0005__DRIVE)
        & has_nim(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_attrib(R_0024_0009__TRAFFIC,R_0024_0008__OTHER)
        & has_arg0(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_0024_5002,R_0024_0011__DO_R_0024_0013__DRIVE_R_0024_0014__IN] :
            ( r_0024_0019__fast(R_0024_0019__FAST)
            & z_0024_5002(Z_0024_5002)
            & r_0024_0011__do_r_0024_0013__drive_r_0024_0014__in(R_0024_0011__DO_R_0024_0013__DRIVE_R_0024_0014__IN)
            & has_arg0(R_0024_0011__DO_R_0024_0013__DRIVE_R_0024_0014__IN,Z_0024_5002)
            & has_arg1(R_0024_0011__DO_R_0024_0013__DRIVE_R_0024_0014__IN,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_prn(R_0024_0015__THE_R_0024_0016__NUMBER_R_0024_0017__1_R_0024_0021__LANE,R_0024_0019__FAST) ) ) ).