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.)

%3 r_0048_0003__to_r_0048_0005__Turn to Turn r_0048_0006__right right r_0048_0003__to_r_0048_0005__Turn->r_0048_0006__right [clr] r_0048_0008__the_r_0048_0009__intersection the intersection r_0048_0003__to_r_0048_0005__Turn->r_0048_0008__the_r_0048_0009__intersection at [nim] z_000_48_a_driver_handbook_1 r_0048_0003__to_r_0048_0005__Turn->z_000_48_a_driver_handbook_1 [arg0] r_0048_0011__choose choose r_0048_0011__choose->z_000_48_a_driver_handbook_1 [arg0] r_0048_0001__For_example For example r_0048_0011__choose->r_0048_0001__For_example [nim] r_0048_0012__the_r_0048_0015__hand_r_0048_0016__lane the hand lane r_0048_0011__choose->r_0048_0012__the_r_0048_0015__hand_r_0048_0016__lane [arg1] r_0048_0013__right right r_0048_0012__the_r_0048_0015__hand_r_0048_0016__lane->r_0048_0013__right [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_000_48_a_driver_handbook_1 [arg0] r_0048_0018__exit->r_0048_0001__For_example [nim] r_0048_0020__the_r_0048_0023__hand_r_0048_0024__lane the hand lane r_0048_0018__exit->r_0048_0020__the_r_0048_0023__hand_r_0048_0024__lane in [nim] r_0048_0021__right right r_0048_0020__the_r_0048_0023__hand_r_0048_0024__lane->r_0048_0021__right [attrib] z_000_48_a_driver_handbook_7 z_000_48_a_driver_handbook_7->r_0048_0003__to_r_0048_0005__Turn [restriction] z_000_48_a_driver_handbook_7->r_0048_0017__and [scope] 
arc(r_0048_0003__to_r_0048_0005__Turn, r_0048_0006__right, clr15).
arc(r_0048_0003__to_r_0048_0005__Turn, r_0048_0008__the_r_0048_0009__intersection, r_0048_0007__at_nim21).
arc(r_0048_0003__to_r_0048_0005__Turn, z_000_48_a_driver_handbook_1, arg0).
arc(r_0048_0011__choose, r_0048_0001__For_example, nim2).
arc(r_0048_0011__choose, r_0048_0012__the_r_0048_0015__hand_r_0048_0016__lane, arg1).
arc(r_0048_0011__choose, z_000_48_a_driver_handbook_1, arg0).
arc(r_0048_0012__the_r_0048_0015__hand_r_0048_0016__lane, r_0048_0013__right, attrib35).
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, nim2).
arc(r_0048_0018__exit, r_0048_0020__the_r_0048_0023__hand_r_0048_0024__lane, r_0048_0019__in_nim53).
arc(r_0048_0018__exit, z_000_48_a_driver_handbook_1, arg0).
arc(r_0048_0020__the_r_0048_0023__hand_r_0048_0024__lane, r_0048_0021__right, attrib56).
arc(z_000_48_a_driver_handbook_7, r_0048_0003__to_r_0048_0005__Turn, restriction).
arc(z_000_48_a_driver_handbook_7, r_0048_0017__and, scope).


%3 z_000_48_a_driver_handbook_7 r_0048_0017__and and z_000_48_a_driver_handbook_7->r_0048_0017__and [conj2] r_0048_0003__to_r_0048_0005__Turn to Turn z_000_48_a_driver_handbook_7->r_0048_0003__to_r_0048_0005__Turn [conj1] 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_000_48_a_driver_handbook_1 r_0048_0003__to_r_0048_0005__Turn->z_000_48_a_driver_handbook_1 [arg0] r_0048_0008__the_r_0048_0009__intersection the intersection r_0048_0003__to_r_0048_0005__Turn->r_0048_0008__the_r_0048_0009__intersection at [nim] r_0048_0006__right right r_0048_0003__to_r_0048_0005__Turn->r_0048_0006__right [clr] r_0048_0020__the_r_0048_0023__hand_r_0048_0024__lane the hand lane r_0048_0021__right right r_0048_0020__the_r_0048_0023__hand_r_0048_0024__lane->r_0048_0021__right [attrib] r_0048_0018__exit->r_0048_0020__the_r_0048_0023__hand_r_0048_0024__lane in [nim] r_0048_0018__exit->z_000_48_a_driver_handbook_1 [arg0] r_0048_0001__For_example For example r_0048_0018__exit->r_0048_0001__For_example [nim] r_0048_0011__choose->z_000_48_a_driver_handbook_1 [arg0] r_0048_0011__choose->r_0048_0001__For_example [nim] r_0048_0012__the_r_0048_0015__hand_r_0048_0016__lane the hand lane r_0048_0011__choose->r_0048_0012__the_r_0048_0015__hand_r_0048_0016__lane [arg1] r_0048_0013__right right r_0048_0012__the_r_0048_0015__hand_r_0048_0016__lane->r_0048_0013__right [attrib] 
fof(formula,axiom,
    ? [Z_48_A_DRIVER_HANDBOOK_7,R_48_3_TO_TURN,R_48_6_RIGHT,R_48_8_THE_INTERSECTION,R_48_17_AND,R_48_11_CHOOSE,R_48_12_THE_HAND_LANE,R_48_13_RIGHT,R_48_18_EXIT,Z_48_A_DRIVER_HANDBOOK_1,R_48_1_FOR_EXAMPLE,R_48_20_THE_HAND_LANE,R_48_21_RIGHT] :
      ( right(R_48_6_RIGHT)
      & the_intersection(R_48_8_THE_INTERSECTION)
      & right(R_48_13_RIGHT)
      & for_example(R_48_1_FOR_EXAMPLE)
      & right(R_48_21_RIGHT)
      & z_48_a_driver_handbook_7(Z_48_A_DRIVER_HANDBOOK_7)
      & conj1(Z_48_A_DRIVER_HANDBOOK_7,R_48_3_TO_TURN)
      & to_Turn(R_48_3_TO_TURN,Z_48_A_DRIVER_HANDBOOK_1)
      & clr15(R_48_3_TO_TURN,R_48_6_RIGHT)
      & at_nim21(R_48_3_TO_TURN,R_48_8_THE_INTERSECTION)
      & conj2(Z_48_A_DRIVER_HANDBOOK_7,R_48_17_AND)
      & and(R_48_17_AND)
      & conj1(R_48_17_AND,R_48_11_CHOOSE)
      & choose(R_48_11_CHOOSE,Z_48_A_DRIVER_HANDBOOK_1,R_48_12_THE_HAND_LANE)
      & the_hand_lane(R_48_12_THE_HAND_LANE)
      & attrib35(R_48_12_THE_HAND_LANE,R_48_13_RIGHT)
      & nim2(R_48_11_CHOOSE,R_48_1_FOR_EXAMPLE)
      & conj2(R_48_17_AND,R_48_18_EXIT)
      & exit(R_48_18_EXIT,Z_48_A_DRIVER_HANDBOOK_1)
      & nim2(R_48_18_EXIT,R_48_1_FOR_EXAMPLE)
      & in_nim53(R_48_18_EXIT,R_48_20_THE_HAND_LANE)
      & the_hand_lane(R_48_20_THE_HAND_LANE)
      & attrib56(R_48_20_THE_HAND_LANE,R_48_21_RIGHT) ) ).


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 right n48_a_driver_handbook__1_5_1_2_3_1 - n48_a_driver_handbook__1_5_1_2_4_1 hand n48_a_driver_handbook__1_5_1_2_5_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 right n48_a_driver_handbook__1_5_2_2_2_2_3_1 - n48_a_driver_handbook__1_5_2_2_2_2_4_1 hand n48_a_driver_handbook__1_5_2_2_2_2_5_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 ADJP 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 PUNC 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_4 N n48_a_driver_handbook__1_5_1_2->n48_a_driver_handbook__1_5_1_2_4 n48_a_driver_handbook__1_5_1_2_5 N n48_a_driver_handbook__1_5_1_2->n48_a_driver_handbook__1_5_1_2_5 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 ADJ 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_1->n48_a_driver_handbook__1_5_1_2_2_1_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_1_2_4->n48_a_driver_handbook__1_5_1_2_4_1 n48_a_driver_handbook__1_5_1_2_5->n48_a_driver_handbook__1_5_1_2_5_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 ADJP 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 PUNC 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_4 N n48_a_driver_handbook__1_5_2_2_2_2->n48_a_driver_handbook__1_5_2_2_2_2_4 n48_a_driver_handbook__1_5_2_2_2_2_5 N n48_a_driver_handbook__1_5_2_2_2_2->n48_a_driver_handbook__1_5_2_2_2_2_5 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 ADJ 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_1->n48_a_driver_handbook__1_5_2_2_2_2_2_1_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_5_2_2_2_2_4->n48_a_driver_handbook__1_5_2_2_2_2_4_1 n48_a_driver_handbook__1_5_2_2_2_2_5->n48_a_driver_handbook__1_5_2_2_2_2_5_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})
                              (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})
                                         (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))