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 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 [conj1] z_000_48_a_driver_handbook_7->r_0048_0017__and [conj2] 
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_4 For_example n48_a_driver_handbook_6 , n48_a_driver_handbook_10 to n48_a_driver_handbook_12 : n48_a_driver_handbook_14 Turn n48_a_driver_handbook_17 right n48_a_driver_handbook_20 at n48_a_driver_handbook_23 the n48_a_driver_handbook_25 intersection n48_a_driver_handbook_27 , n48_a_driver_handbook_31 choose n48_a_driver_handbook_34 the n48_a_driver_handbook_37 right n48_a_driver_handbook_39 - n48_a_driver_handbook_41 hand n48_a_driver_handbook_43 lane n48_a_driver_handbook_46 and n48_a_driver_handbook_49 exit n48_a_driver_handbook_52 in n48_a_driver_handbook_55 the n48_a_driver_handbook_58 right n48_a_driver_handbook_60 - n48_a_driver_handbook_62 hand n48_a_driver_handbook_64 lane n48_a_driver_handbook_66 -LRB- n48_a_driver_handbook_71 blue n48_a_driver_handbook_73 car n48_a_driver_handbook_75 . n48_a_driver_handbook_77 -RRB- n48_a_driver_handbook_1 IP-IMP n48_a_driver_handbook_2 ADVP-NIM n48_a_driver_handbook_1->n48_a_driver_handbook_2 n48_a_driver_handbook_5 PUNC n48_a_driver_handbook_1->n48_a_driver_handbook_5 n48_a_driver_handbook_7 PP-SCON n48_a_driver_handbook_1->n48_a_driver_handbook_7 n48_a_driver_handbook_26 PUNC n48_a_driver_handbook_1->n48_a_driver_handbook_26 n48_a_driver_handbook_28 ILYR n48_a_driver_handbook_1->n48_a_driver_handbook_28 n48_a_driver_handbook_65 PULB n48_a_driver_handbook_1->n48_a_driver_handbook_65 n48_a_driver_handbook_67 PRN n48_a_driver_handbook_1->n48_a_driver_handbook_67 n48_a_driver_handbook_74 PUNC n48_a_driver_handbook_1->n48_a_driver_handbook_74 n48_a_driver_handbook_76 PURB n48_a_driver_handbook_1->n48_a_driver_handbook_76 n48_a_driver_handbook_3 ADV n48_a_driver_handbook_2->n48_a_driver_handbook_3 n48_a_driver_handbook_3->n48_a_driver_handbook_4 n48_a_driver_handbook_5->n48_a_driver_handbook_6 n48_a_driver_handbook_8 IP-INF n48_a_driver_handbook_7->n48_a_driver_handbook_8 n48_a_driver_handbook_9 TO n48_a_driver_handbook_8->n48_a_driver_handbook_9 n48_a_driver_handbook_11 PUNC n48_a_driver_handbook_8->n48_a_driver_handbook_11 n48_a_driver_handbook_13 VB;_Ip_ n48_a_driver_handbook_8->n48_a_driver_handbook_13 n48_a_driver_handbook_15 ADVP-CLR n48_a_driver_handbook_8->n48_a_driver_handbook_15 n48_a_driver_handbook_18 PP-NIM n48_a_driver_handbook_8->n48_a_driver_handbook_18 n48_a_driver_handbook_9->n48_a_driver_handbook_10 n48_a_driver_handbook_11->n48_a_driver_handbook_12 n48_a_driver_handbook_13->n48_a_driver_handbook_14 n48_a_driver_handbook_16 ADV n48_a_driver_handbook_15->n48_a_driver_handbook_16 n48_a_driver_handbook_16->n48_a_driver_handbook_17 n48_a_driver_handbook_19 P-ROLE n48_a_driver_handbook_18->n48_a_driver_handbook_19 n48_a_driver_handbook_21 NP n48_a_driver_handbook_18->n48_a_driver_handbook_21 n48_a_driver_handbook_19->n48_a_driver_handbook_20 n48_a_driver_handbook_22 D n48_a_driver_handbook_21->n48_a_driver_handbook_22 n48_a_driver_handbook_24 N n48_a_driver_handbook_21->n48_a_driver_handbook_24 n48_a_driver_handbook_22->n48_a_driver_handbook_23 n48_a_driver_handbook_24->n48_a_driver_handbook_25 n48_a_driver_handbook_26->n48_a_driver_handbook_27 n48_a_driver_handbook_29 ILYR n48_a_driver_handbook_28->n48_a_driver_handbook_29 n48_a_driver_handbook_44 CONJP n48_a_driver_handbook_28->n48_a_driver_handbook_44 n48_a_driver_handbook_30 VB;_Tn_ n48_a_driver_handbook_29->n48_a_driver_handbook_30 n48_a_driver_handbook_32 NP-OB1 n48_a_driver_handbook_29->n48_a_driver_handbook_32 n48_a_driver_handbook_30->n48_a_driver_handbook_31 n48_a_driver_handbook_33 D n48_a_driver_handbook_32->n48_a_driver_handbook_33 n48_a_driver_handbook_35 ADJP n48_a_driver_handbook_32->n48_a_driver_handbook_35 n48_a_driver_handbook_38 PUNC n48_a_driver_handbook_32->n48_a_driver_handbook_38 n48_a_driver_handbook_40 N n48_a_driver_handbook_32->n48_a_driver_handbook_40 n48_a_driver_handbook_42 N n48_a_driver_handbook_32->n48_a_driver_handbook_42 n48_a_driver_handbook_33->n48_a_driver_handbook_34 n48_a_driver_handbook_36 ADJ n48_a_driver_handbook_35->n48_a_driver_handbook_36 n48_a_driver_handbook_36->n48_a_driver_handbook_37 n48_a_driver_handbook_38->n48_a_driver_handbook_39 n48_a_driver_handbook_40->n48_a_driver_handbook_41 n48_a_driver_handbook_42->n48_a_driver_handbook_43 n48_a_driver_handbook_45 CONJ n48_a_driver_handbook_44->n48_a_driver_handbook_45 n48_a_driver_handbook_47 ILYR n48_a_driver_handbook_44->n48_a_driver_handbook_47 n48_a_driver_handbook_45->n48_a_driver_handbook_46 n48_a_driver_handbook_48 VB;_I_ n48_a_driver_handbook_47->n48_a_driver_handbook_48 n48_a_driver_handbook_50 PP-NIM n48_a_driver_handbook_47->n48_a_driver_handbook_50 n48_a_driver_handbook_48->n48_a_driver_handbook_49 n48_a_driver_handbook_51 P-ROLE n48_a_driver_handbook_50->n48_a_driver_handbook_51 n48_a_driver_handbook_53 NP n48_a_driver_handbook_50->n48_a_driver_handbook_53 n48_a_driver_handbook_51->n48_a_driver_handbook_52 n48_a_driver_handbook_54 D n48_a_driver_handbook_53->n48_a_driver_handbook_54 n48_a_driver_handbook_56 ADJP n48_a_driver_handbook_53->n48_a_driver_handbook_56 n48_a_driver_handbook_59 PUNC n48_a_driver_handbook_53->n48_a_driver_handbook_59 n48_a_driver_handbook_61 N n48_a_driver_handbook_53->n48_a_driver_handbook_61 n48_a_driver_handbook_63 N n48_a_driver_handbook_53->n48_a_driver_handbook_63 n48_a_driver_handbook_54->n48_a_driver_handbook_55 n48_a_driver_handbook_57 ADJ n48_a_driver_handbook_56->n48_a_driver_handbook_57 n48_a_driver_handbook_57->n48_a_driver_handbook_58 n48_a_driver_handbook_59->n48_a_driver_handbook_60 n48_a_driver_handbook_61->n48_a_driver_handbook_62 n48_a_driver_handbook_63->n48_a_driver_handbook_64 n48_a_driver_handbook_65->n48_a_driver_handbook_66 n48_a_driver_handbook_68 NP n48_a_driver_handbook_67->n48_a_driver_handbook_68 n48_a_driver_handbook_69 ADJP n48_a_driver_handbook_68->n48_a_driver_handbook_69 n48_a_driver_handbook_72 N n48_a_driver_handbook_68->n48_a_driver_handbook_72 n48_a_driver_handbook_70 ADJ n48_a_driver_handbook_69->n48_a_driver_handbook_70 n48_a_driver_handbook_70->n48_a_driver_handbook_71 n48_a_driver_handbook_72->n48_a_driver_handbook_73 n48_a_driver_handbook_74->n48_a_driver_handbook_75 n48_a_driver_handbook_76->n48_a_driver_handbook_77 
( (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))