Context                Previous, Next                Top


48_a_driver_handbook
For example, to: Turn right at the intersection, choose the right - hand lane and exit in the right - hand lane (blue car.)

n48_a_driver_handbook n48_a_driver_handbook__1_1_1_1 For_example n48_a_driver_handbook__1_2_1 , n48_a_driver_handbook__1_3_1_1_1 to n48_a_driver_handbook__1_3_1_2_1 : n48_a_driver_handbook__1_3_1_3_1 Turn n48_a_driver_handbook__1_3_1_4_1_1 right n48_a_driver_handbook__1_3_1_5_1_1 at n48_a_driver_handbook__1_3_1_5_2_1_1 the n48_a_driver_handbook__1_3_1_5_2_2_1 intersection n48_a_driver_handbook__1_4_1 , n48_a_driver_handbook__1_5_1_1_1 choose n48_a_driver_handbook__1_5_1_2_1_1 the n48_a_driver_handbook__1_5_1_2_2_1_1_1 right n48_a_driver_handbook__1_5_1_2_2_2_1 - n48_a_driver_handbook__1_5_1_2_2_3_1 hand n48_a_driver_handbook__1_5_1_2_3_1 lane n48_a_driver_handbook__1_5_2_1_1 and n48_a_driver_handbook__1_5_2_2_1_1 exit n48_a_driver_handbook__1_5_2_2_2_1_1 in n48_a_driver_handbook__1_5_2_2_2_2_1_1 the n48_a_driver_handbook__1_5_2_2_2_2_2_1_1_1 right n48_a_driver_handbook__1_5_2_2_2_2_2_2_1 - n48_a_driver_handbook__1_5_2_2_2_2_2_3_1 hand n48_a_driver_handbook__1_5_2_2_2_2_3_1 lane n48_a_driver_handbook__1_6_1 -LRB- n48_a_driver_handbook__1_7_1_1_1_1 blue n48_a_driver_handbook__1_7_1_2_1 car n48_a_driver_handbook__1_8_1 . n48_a_driver_handbook__1_9_1 -RRB- n48_a_driver_handbook__1 IP-IMP n48_a_driver_handbook__1_1 ADVP-NIM n48_a_driver_handbook__1->n48_a_driver_handbook__1_1 n48_a_driver_handbook__1_2 PUNC n48_a_driver_handbook__1->n48_a_driver_handbook__1_2 n48_a_driver_handbook__1_3 PP-SCON n48_a_driver_handbook__1->n48_a_driver_handbook__1_3 n48_a_driver_handbook__1_4 PUNC n48_a_driver_handbook__1->n48_a_driver_handbook__1_4 n48_a_driver_handbook__1_5 ILYR n48_a_driver_handbook__1->n48_a_driver_handbook__1_5 n48_a_driver_handbook__1_6 PULB n48_a_driver_handbook__1->n48_a_driver_handbook__1_6 n48_a_driver_handbook__1_7 PRN n48_a_driver_handbook__1->n48_a_driver_handbook__1_7 n48_a_driver_handbook__1_8 PUNC n48_a_driver_handbook__1->n48_a_driver_handbook__1_8 n48_a_driver_handbook__1_9 PURB n48_a_driver_handbook__1->n48_a_driver_handbook__1_9 n48_a_driver_handbook__1_1_1 ADV n48_a_driver_handbook__1_1->n48_a_driver_handbook__1_1_1 n48_a_driver_handbook__1_1_1->n48_a_driver_handbook__1_1_1_1 n48_a_driver_handbook__1_2->n48_a_driver_handbook__1_2_1 n48_a_driver_handbook__1_3_1 IP-INF n48_a_driver_handbook__1_3->n48_a_driver_handbook__1_3_1 n48_a_driver_handbook__1_3_1_1 TO n48_a_driver_handbook__1_3_1->n48_a_driver_handbook__1_3_1_1 n48_a_driver_handbook__1_3_1_2 PUNC n48_a_driver_handbook__1_3_1->n48_a_driver_handbook__1_3_1_2 n48_a_driver_handbook__1_3_1_3 VB;_Ip_ n48_a_driver_handbook__1_3_1->n48_a_driver_handbook__1_3_1_3 n48_a_driver_handbook__1_3_1_4 ADVP-CLR n48_a_driver_handbook__1_3_1->n48_a_driver_handbook__1_3_1_4 n48_a_driver_handbook__1_3_1_5 PP-NIM n48_a_driver_handbook__1_3_1->n48_a_driver_handbook__1_3_1_5 n48_a_driver_handbook__1_3_1_1->n48_a_driver_handbook__1_3_1_1_1 n48_a_driver_handbook__1_3_1_2->n48_a_driver_handbook__1_3_1_2_1 n48_a_driver_handbook__1_3_1_3->n48_a_driver_handbook__1_3_1_3_1 n48_a_driver_handbook__1_3_1_4_1 ADV n48_a_driver_handbook__1_3_1_4->n48_a_driver_handbook__1_3_1_4_1 n48_a_driver_handbook__1_3_1_4_1->n48_a_driver_handbook__1_3_1_4_1_1 n48_a_driver_handbook__1_3_1_5_1 P-ROLE n48_a_driver_handbook__1_3_1_5->n48_a_driver_handbook__1_3_1_5_1 n48_a_driver_handbook__1_3_1_5_2 NP n48_a_driver_handbook__1_3_1_5->n48_a_driver_handbook__1_3_1_5_2 n48_a_driver_handbook__1_3_1_5_1->n48_a_driver_handbook__1_3_1_5_1_1 n48_a_driver_handbook__1_3_1_5_2_1 D n48_a_driver_handbook__1_3_1_5_2->n48_a_driver_handbook__1_3_1_5_2_1 n48_a_driver_handbook__1_3_1_5_2_2 N n48_a_driver_handbook__1_3_1_5_2->n48_a_driver_handbook__1_3_1_5_2_2 n48_a_driver_handbook__1_3_1_5_2_1->n48_a_driver_handbook__1_3_1_5_2_1_1 n48_a_driver_handbook__1_3_1_5_2_2->n48_a_driver_handbook__1_3_1_5_2_2_1 n48_a_driver_handbook__1_4->n48_a_driver_handbook__1_4_1 n48_a_driver_handbook__1_5_1 ILYR n48_a_driver_handbook__1_5->n48_a_driver_handbook__1_5_1 n48_a_driver_handbook__1_5_2 CONJP n48_a_driver_handbook__1_5->n48_a_driver_handbook__1_5_2 n48_a_driver_handbook__1_5_1_1 VB;_Tn_ n48_a_driver_handbook__1_5_1->n48_a_driver_handbook__1_5_1_1 n48_a_driver_handbook__1_5_1_2 NP-OB1 n48_a_driver_handbook__1_5_1->n48_a_driver_handbook__1_5_1_2 n48_a_driver_handbook__1_5_1_1->n48_a_driver_handbook__1_5_1_1_1 n48_a_driver_handbook__1_5_1_2_1 D n48_a_driver_handbook__1_5_1_2->n48_a_driver_handbook__1_5_1_2_1 n48_a_driver_handbook__1_5_1_2_2 NLYR n48_a_driver_handbook__1_5_1_2->n48_a_driver_handbook__1_5_1_2_2 n48_a_driver_handbook__1_5_1_2_3 N n48_a_driver_handbook__1_5_1_2->n48_a_driver_handbook__1_5_1_2_3 n48_a_driver_handbook__1_5_1_2_1->n48_a_driver_handbook__1_5_1_2_1_1 n48_a_driver_handbook__1_5_1_2_2_1 ADJP n48_a_driver_handbook__1_5_1_2_2->n48_a_driver_handbook__1_5_1_2_2_1 n48_a_driver_handbook__1_5_1_2_2_2 PUNC n48_a_driver_handbook__1_5_1_2_2->n48_a_driver_handbook__1_5_1_2_2_2 n48_a_driver_handbook__1_5_1_2_2_3 N n48_a_driver_handbook__1_5_1_2_2->n48_a_driver_handbook__1_5_1_2_2_3 n48_a_driver_handbook__1_5_1_2_2_1_1 ADJ n48_a_driver_handbook__1_5_1_2_2_1->n48_a_driver_handbook__1_5_1_2_2_1_1 n48_a_driver_handbook__1_5_1_2_2_1_1->n48_a_driver_handbook__1_5_1_2_2_1_1_1 n48_a_driver_handbook__1_5_1_2_2_2->n48_a_driver_handbook__1_5_1_2_2_2_1 n48_a_driver_handbook__1_5_1_2_2_3->n48_a_driver_handbook__1_5_1_2_2_3_1 n48_a_driver_handbook__1_5_1_2_3->n48_a_driver_handbook__1_5_1_2_3_1 n48_a_driver_handbook__1_5_2_1 CONJ n48_a_driver_handbook__1_5_2->n48_a_driver_handbook__1_5_2_1 n48_a_driver_handbook__1_5_2_2 ILYR n48_a_driver_handbook__1_5_2->n48_a_driver_handbook__1_5_2_2 n48_a_driver_handbook__1_5_2_1->n48_a_driver_handbook__1_5_2_1_1 n48_a_driver_handbook__1_5_2_2_1 VB;_I_ n48_a_driver_handbook__1_5_2_2->n48_a_driver_handbook__1_5_2_2_1 n48_a_driver_handbook__1_5_2_2_2 PP-NIM n48_a_driver_handbook__1_5_2_2->n48_a_driver_handbook__1_5_2_2_2 n48_a_driver_handbook__1_5_2_2_1->n48_a_driver_handbook__1_5_2_2_1_1 n48_a_driver_handbook__1_5_2_2_2_1 P-ROLE n48_a_driver_handbook__1_5_2_2_2->n48_a_driver_handbook__1_5_2_2_2_1 n48_a_driver_handbook__1_5_2_2_2_2 NP n48_a_driver_handbook__1_5_2_2_2->n48_a_driver_handbook__1_5_2_2_2_2 n48_a_driver_handbook__1_5_2_2_2_1->n48_a_driver_handbook__1_5_2_2_2_1_1 n48_a_driver_handbook__1_5_2_2_2_2_1 D n48_a_driver_handbook__1_5_2_2_2_2->n48_a_driver_handbook__1_5_2_2_2_2_1 n48_a_driver_handbook__1_5_2_2_2_2_2 NLYR n48_a_driver_handbook__1_5_2_2_2_2->n48_a_driver_handbook__1_5_2_2_2_2_2 n48_a_driver_handbook__1_5_2_2_2_2_3 N n48_a_driver_handbook__1_5_2_2_2_2->n48_a_driver_handbook__1_5_2_2_2_2_3 n48_a_driver_handbook__1_5_2_2_2_2_1->n48_a_driver_handbook__1_5_2_2_2_2_1_1 n48_a_driver_handbook__1_5_2_2_2_2_2_1 ADJP n48_a_driver_handbook__1_5_2_2_2_2_2->n48_a_driver_handbook__1_5_2_2_2_2_2_1 n48_a_driver_handbook__1_5_2_2_2_2_2_2 PUNC n48_a_driver_handbook__1_5_2_2_2_2_2->n48_a_driver_handbook__1_5_2_2_2_2_2_2 n48_a_driver_handbook__1_5_2_2_2_2_2_3 N n48_a_driver_handbook__1_5_2_2_2_2_2->n48_a_driver_handbook__1_5_2_2_2_2_2_3 n48_a_driver_handbook__1_5_2_2_2_2_2_1_1 ADJ n48_a_driver_handbook__1_5_2_2_2_2_2_1->n48_a_driver_handbook__1_5_2_2_2_2_2_1_1 n48_a_driver_handbook__1_5_2_2_2_2_2_1_1->n48_a_driver_handbook__1_5_2_2_2_2_2_1_1_1 n48_a_driver_handbook__1_5_2_2_2_2_2_2->n48_a_driver_handbook__1_5_2_2_2_2_2_2_1 n48_a_driver_handbook__1_5_2_2_2_2_2_3->n48_a_driver_handbook__1_5_2_2_2_2_2_3_1 n48_a_driver_handbook__1_5_2_2_2_2_3->n48_a_driver_handbook__1_5_2_2_2_2_3_1 n48_a_driver_handbook__1_6->n48_a_driver_handbook__1_6_1 n48_a_driver_handbook__1_7_1 NP n48_a_driver_handbook__1_7->n48_a_driver_handbook__1_7_1 n48_a_driver_handbook__1_7_1_1 ADJP n48_a_driver_handbook__1_7_1->n48_a_driver_handbook__1_7_1_1 n48_a_driver_handbook__1_7_1_2 N n48_a_driver_handbook__1_7_1->n48_a_driver_handbook__1_7_1_2 n48_a_driver_handbook__1_7_1_1_1 ADJ n48_a_driver_handbook__1_7_1_1->n48_a_driver_handbook__1_7_1_1_1 n48_a_driver_handbook__1_7_1_1_1->n48_a_driver_handbook__1_7_1_1_1_1 n48_a_driver_handbook__1_7_1_2->n48_a_driver_handbook__1_7_1_2_1 n48_a_driver_handbook__1_8->n48_a_driver_handbook__1_8_1 n48_a_driver_handbook__1_9->n48_a_driver_handbook__1_9_1 
( (IP-IMP (ADVP-NIM (ADV For_example;{for_example}))
          (PUNC ,)
          (PP-SCON (IP-INF (TO to;{to})
                           (PUNC :)
                           (VB;_Ip_ Turn;{turn[right]})
                           (ADVP-CLR (ADV right;{right}))
                           (PP-NIM (P-ROLE at;{at})
                                   (NP (D the;{the})
                                       (N intersection;{intersection})))))
          (PUNC ,)
          (ILYR (ILYR (VB;_Tn_ choose;{choose})
                      (NP-OB1 (D the;{the})
                              (NLYR (ADJP (ADJ right;{right}))
                                    (PUNC <hyphen>)
                                    (N hand;{hand}))
                              (N lane;{lane})))
                (CONJP (CONJ and;{and})
                       (ILYR (VB;_I_ exit;{exit})
                             (PP-NIM (P-ROLE in;{in})
                                     (NP (D the;{the})
                                         (NLYR (ADJP (ADJ right;{right}))
                                               (PUNC <hyphen>)
                                               (N hand;{hand}))
                                         (N lane;{lane}))))))
          (PULB -LRB-)
          (PRN (NP (ADJP (ADJ blue;{blue}))
                   (N car;{car})))
          (PUNC .)
          (PURB -RRB-))
  (ID 48_a_driver_handbook))


%3 z_0048_5005 r_0048_0017__and and z_0048_5005->r_0048_0017__and [scope] r_0048_0005__Turn_r_0048_0006__right Turn right z_0048_5005->r_0048_0005__Turn_r_0048_0006__right [restriction] r_0048_0018__exit exit r_0048_0017__and->r_0048_0018__exit [conj2] r_0048_0011__choose choose r_0048_0017__and->r_0048_0011__choose [conj1] z_0048_5002 r_0048_0005__Turn_r_0048_0006__right->z_0048_5002 [arg0] r_0048_0008__the_r_0048_0009__intersection the intersection r_0048_0005__Turn_r_0048_0006__right->r_0048_0008__the_r_0048_0009__intersection at [nim] r_0048_0027__car car r_0048_0026__blue blue r_0048_0027__car->r_0048_0026__blue [attrib] r_0048_0018__exit->r_0048_0027__car [prn] r_0048_0018__exit->z_0048_5002 [arg0] r_0048_0020__the_r_0048_0021__right_r_0048_0023__hand_r_0048_0024__lane the right hand lane r_0048_0018__exit->r_0048_0020__the_r_0048_0021__right_r_0048_0023__hand_r_0048_0024__lane in [nim] r_0048_0001__For_example For_example r_0048_0018__exit->r_0048_0001__For_example [nim] r_0048_0011__choose->r_0048_0027__car [prn] r_0048_0011__choose->z_0048_5002 [arg0] r_0048_0011__choose->r_0048_0001__For_example [nim] r_0048_0012__the_r_0048_0013__right_r_0048_0015__hand_r_0048_0016__lane the right hand lane r_0048_0011__choose->r_0048_0012__the_r_0048_0013__right_r_0048_0015__hand_r_0048_0016__lane [arg1] 
arc(r_0048_0005__Turn_r_0048_0006__right,r_0048_0008__the_r_0048_0009__intersection,r_0048_0007__at__nim).
arc(r_0048_0005__Turn_r_0048_0006__right,z_0048_5002,arg0).
arc(r_0048_0011__choose,r_0048_0001__For_example,nim).
arc(r_0048_0011__choose,r_0048_0012__the_r_0048_0013__right_r_0048_0015__hand_r_0048_0016__lane,arg1).
arc(r_0048_0011__choose,r_0048_0027__car,prn).
arc(r_0048_0011__choose,z_0048_5002,arg0).
arc(r_0048_0017__and,r_0048_0011__choose,conj1).
arc(r_0048_0017__and,r_0048_0018__exit,conj2).
arc(r_0048_0018__exit,r_0048_0001__For_example,nim).
arc(r_0048_0018__exit,r_0048_0020__the_r_0048_0021__right_r_0048_0023__hand_r_0048_0024__lane,r_0048_0019__in__nim).
arc(r_0048_0018__exit,r_0048_0027__car,prn).
arc(r_0048_0018__exit,z_0048_5002,arg0).
arc(r_0048_0027__car,r_0048_0026__blue,attrib).
arc(z_0048_5005,r_0048_0005__Turn_r_0048_0006__right,restriction).
arc(z_0048_5005,r_0048_0017__and,scope).


%3 r_0048_0005__Turn_r_0048_0006__right Turn right r_0048_0008__the_r_0048_0009__intersection the intersection r_0048_0005__Turn_r_0048_0006__right->r_0048_0008__the_r_0048_0009__intersection at [nim] z_0048_5002 r_0048_0005__Turn_r_0048_0006__right->z_0048_5002 [arg0] r_0048_0011__choose choose r_0048_0011__choose->z_0048_5002 [arg0] r_0048_0001__For_example For_example r_0048_0011__choose->r_0048_0001__For_example [nim] r_0048_0012__the_r_0048_0013__right_r_0048_0015__hand_r_0048_0016__lane the right hand lane r_0048_0011__choose->r_0048_0012__the_r_0048_0013__right_r_0048_0015__hand_r_0048_0016__lane [arg1] r_0048_0027__car car r_0048_0011__choose->r_0048_0027__car [prn] r_0048_0026__blue blue r_0048_0027__car->r_0048_0026__blue [attrib] r_0048_0017__and and r_0048_0017__and->r_0048_0011__choose [conj1] r_0048_0018__exit exit r_0048_0017__and->r_0048_0018__exit [conj2] r_0048_0018__exit->z_0048_5002 [arg0] r_0048_0018__exit->r_0048_0001__For_example [nim] r_0048_0018__exit->r_0048_0027__car [prn] r_0048_0020__the_r_0048_0021__right_r_0048_0023__hand_r_0048_0024__lane the right hand lane r_0048_0018__exit->r_0048_0020__the_r_0048_0021__right_r_0048_0023__hand_r_0048_0024__lane in [nim] z_0048_5005 z_0048_5005->r_0048_0005__Turn_r_0048_0006__right [conj1] z_0048_5005->r_0048_0017__and [conj2] 
fof(formula,axiom,
    ? [R_0048_0008__THE_R_0048_0009__INTERSECTION,Z_0048_5002,R_0048_0005__TURN_R_0048_0006__RIGHT,R_0048_0001__FOR_EXAMPLE,R_0048_0012__THE_R_0048_0013__RIGHT_R_0048_0015__HAND_R_0048_0016__LANE,R_0048_0026__BLUE,R_0048_0027__CAR,R_0048_0011__CHOOSE,R_0048_0020__THE_R_0048_0021__RIGHT_R_0048_0023__HAND_R_0048_0024__LANE,R_0048_0018__EXIT,R_0048_0017__AND,Z_0048_5005] :
      ( r_0048_0001__For_example(R_0048_0001__FOR_EXAMPLE)
      & r_0048_0008__the_r_0048_0009__intersection(R_0048_0008__THE_R_0048_0009__INTERSECTION)
      & r_0048_0012__the_r_0048_0013__right_r_0048_0015__hand_r_0048_0016__lane(R_0048_0012__THE_R_0048_0013__RIGHT_R_0048_0015__HAND_R_0048_0016__LANE)
      & r_0048_0020__the_r_0048_0021__right_r_0048_0023__hand_r_0048_0024__lane(R_0048_0020__THE_R_0048_0021__RIGHT_R_0048_0023__HAND_R_0048_0024__LANE)
      & r_0048_0026__blue(R_0048_0026__BLUE)
      & z_0048_5002(Z_0048_5002)
      & z_0048_5005(Z_0048_5005)
      & has_conj2(Z_0048_5005,R_0048_0017__AND)
      & r_0048_0017__and(R_0048_0017__AND)
      & has_conj2(R_0048_0017__AND,R_0048_0018__EXIT)
      & r_0048_0018__exit(R_0048_0018__EXIT)
      & has_arg0(R_0048_0018__EXIT,Z_0048_5002)
      & has_prn(R_0048_0018__EXIT,R_0048_0027__CAR)
      & r_0048_0027__car(R_0048_0027__CAR)
      & has_attrib(R_0048_0027__CAR,R_0048_0026__BLUE)
      & has_r_0048_0019__in__nim(R_0048_0018__EXIT,R_0048_0020__THE_R_0048_0021__RIGHT_R_0048_0023__HAND_R_0048_0024__LANE)
      & has_nim(R_0048_0018__EXIT,R_0048_0001__FOR_EXAMPLE)
      & has_conj1(R_0048_0017__AND,R_0048_0011__CHOOSE)
      & r_0048_0011__choose(R_0048_0011__CHOOSE)
      & has_arg0(R_0048_0011__CHOOSE,Z_0048_5002)
      & has_prn(R_0048_0011__CHOOSE,R_0048_0027__CAR)
      & has_arg1(R_0048_0011__CHOOSE,R_0048_0012__THE_R_0048_0013__RIGHT_R_0048_0015__HAND_R_0048_0016__LANE)
      & has_nim(R_0048_0011__CHOOSE,R_0048_0001__FOR_EXAMPLE)
      & has_conj1(Z_0048_5005,R_0048_0005__TURN_R_0048_0006__RIGHT)
      & r_0048_0005__Turn_r_0048_0006__right(R_0048_0005__TURN_R_0048_0006__RIGHT)
      & has_arg0(R_0048_0005__TURN_R_0048_0006__RIGHT,Z_0048_5002)
      & has_r_0048_0007__at__nim(R_0048_0005__TURN_R_0048_0006__RIGHT,R_0048_0008__THE_R_0048_0009__INTERSECTION) ) ).