Context                Previous, Next                Top


50_a_driver_handbook
Turn left, choose the left lane, and exit (yellow car.)

%3 r_0050_0001__Turn Turn r_0050_0002__left left r_0050_0001__Turn->r_0050_0002__left [clr] z_000_50_a_driver_handbook_1 r_0050_0001__Turn->z_000_50_a_driver_handbook_1 [arg0] r_0050_0004__choose choose r_0050_0004__choose->z_000_50_a_driver_handbook_1 [arg0] r_0050_0005__the_r_0050_0007__lane the lane r_0050_0004__choose->r_0050_0005__the_r_0050_0007__lane [arg1] r_0050_0006__left left r_0050_0005__the_r_0050_0007__lane->r_0050_0006__left [attrib] r_0050_0009__and and r_0050_0009__and->r_0050_0001__Turn [conj1] r_0050_0009__and->r_0050_0004__choose [conj2] r_0050_0010__exit exit r_0050_0009__and->r_0050_0010__exit [conj3] r_0050_0010__exit->z_000_50_a_driver_handbook_1 [arg0] 
arc(r_0050_0001__Turn, r_0050_0002__left, clr6).
arc(r_0050_0001__Turn, z_000_50_a_driver_handbook_1, arg0).
arc(r_0050_0004__choose, r_0050_0005__the_r_0050_0007__lane, arg1).
arc(r_0050_0004__choose, z_000_50_a_driver_handbook_1, arg0).
arc(r_0050_0005__the_r_0050_0007__lane, r_0050_0006__left, attrib18).
arc(r_0050_0009__and, r_0050_0001__Turn, conj1).
arc(r_0050_0009__and, r_0050_0004__choose, conj2).
arc(r_0050_0009__and, r_0050_0010__exit, conj3).
arc(r_0050_0010__exit, z_000_50_a_driver_handbook_1, arg0).


%3 r_0050_0001__Turn Turn r_0050_0002__left left r_0050_0001__Turn->r_0050_0002__left [clr] z_000_50_a_driver_handbook_1 r_0050_0001__Turn->z_000_50_a_driver_handbook_1 [arg0] r_0050_0004__choose choose r_0050_0004__choose->z_000_50_a_driver_handbook_1 [arg0] r_0050_0005__the_r_0050_0007__lane the lane r_0050_0004__choose->r_0050_0005__the_r_0050_0007__lane [arg1] r_0050_0006__left left r_0050_0005__the_r_0050_0007__lane->r_0050_0006__left [attrib] r_0050_0009__and and r_0050_0009__and->r_0050_0001__Turn [conj1] r_0050_0009__and->r_0050_0004__choose [conj2] r_0050_0010__exit exit r_0050_0009__and->r_0050_0010__exit [conj3] r_0050_0010__exit->z_000_50_a_driver_handbook_1 [arg0] 
fof(formula,axiom,
    ? [R_50_9_AND,R_50_1_TURN,R_50_2_LEFT,R_50_4_CHOOSE,R_50_5_THE_LANE,R_50_6_LEFT,R_50_10_EXIT,Z_50_A_DRIVER_HANDBOOK_1] :
      ( left(R_50_2_LEFT)
      & left(R_50_6_LEFT)
      & and(R_50_9_AND)
      & conj1(R_50_9_AND,R_50_1_TURN)
      & turn(R_50_1_TURN,Z_50_A_DRIVER_HANDBOOK_1)
      & clr6(R_50_1_TURN,R_50_2_LEFT)
      & conj2(R_50_9_AND,R_50_4_CHOOSE)
      & choose(R_50_4_CHOOSE,Z_50_A_DRIVER_HANDBOOK_1,R_50_5_THE_LANE)
      & the_lane(R_50_5_THE_LANE)
      & attrib18(R_50_5_THE_LANE,R_50_6_LEFT)
      & conj3(R_50_9_AND,R_50_10_EXIT)
      & exit(R_50_10_EXIT,Z_50_A_DRIVER_HANDBOOK_1) ) ).


n50_a_driver_handbook n50_a_driver_handbook_5 Turn n50_a_driver_handbook_8 left n50_a_driver_handbook_10 , n50_a_driver_handbook_14 choose n50_a_driver_handbook_17 the n50_a_driver_handbook_20 left n50_a_driver_handbook_22 lane n50_a_driver_handbook_24 , n50_a_driver_handbook_27 and n50_a_driver_handbook_30 exit n50_a_driver_handbook_32 -LRB- n50_a_driver_handbook_37 yellow n50_a_driver_handbook_39 car n50_a_driver_handbook_41 . n50_a_driver_handbook_43 -RRB- n50_a_driver_handbook_1 IP-IMP n50_a_driver_handbook_2 ILYR n50_a_driver_handbook_1->n50_a_driver_handbook_2 n50_a_driver_handbook_31 PULB n50_a_driver_handbook_1->n50_a_driver_handbook_31 n50_a_driver_handbook_33 PRN n50_a_driver_handbook_1->n50_a_driver_handbook_33 n50_a_driver_handbook_40 PUNC n50_a_driver_handbook_1->n50_a_driver_handbook_40 n50_a_driver_handbook_42 PURB n50_a_driver_handbook_1->n50_a_driver_handbook_42 n50_a_driver_handbook_3 ILYR n50_a_driver_handbook_2->n50_a_driver_handbook_3 n50_a_driver_handbook_9 PUNC n50_a_driver_handbook_2->n50_a_driver_handbook_9 n50_a_driver_handbook_11 CONJP n50_a_driver_handbook_2->n50_a_driver_handbook_11 n50_a_driver_handbook_23 PUNC n50_a_driver_handbook_2->n50_a_driver_handbook_23 n50_a_driver_handbook_25 CONJP n50_a_driver_handbook_2->n50_a_driver_handbook_25 n50_a_driver_handbook_4 VB;_Ip_ n50_a_driver_handbook_3->n50_a_driver_handbook_4 n50_a_driver_handbook_6 ADVP-CLR n50_a_driver_handbook_3->n50_a_driver_handbook_6 n50_a_driver_handbook_4->n50_a_driver_handbook_5 n50_a_driver_handbook_7 ADV n50_a_driver_handbook_6->n50_a_driver_handbook_7 n50_a_driver_handbook_7->n50_a_driver_handbook_8 n50_a_driver_handbook_9->n50_a_driver_handbook_10 n50_a_driver_handbook_12 ILYR n50_a_driver_handbook_11->n50_a_driver_handbook_12 n50_a_driver_handbook_13 VB;_Tn_ n50_a_driver_handbook_12->n50_a_driver_handbook_13 n50_a_driver_handbook_15 NP-OB1 n50_a_driver_handbook_12->n50_a_driver_handbook_15 n50_a_driver_handbook_13->n50_a_driver_handbook_14 n50_a_driver_handbook_16 D n50_a_driver_handbook_15->n50_a_driver_handbook_16 n50_a_driver_handbook_18 ADJP n50_a_driver_handbook_15->n50_a_driver_handbook_18 n50_a_driver_handbook_21 N n50_a_driver_handbook_15->n50_a_driver_handbook_21 n50_a_driver_handbook_16->n50_a_driver_handbook_17 n50_a_driver_handbook_19 ADJ n50_a_driver_handbook_18->n50_a_driver_handbook_19 n50_a_driver_handbook_19->n50_a_driver_handbook_20 n50_a_driver_handbook_21->n50_a_driver_handbook_22 n50_a_driver_handbook_23->n50_a_driver_handbook_24 n50_a_driver_handbook_26 CONJ n50_a_driver_handbook_25->n50_a_driver_handbook_26 n50_a_driver_handbook_28 ILYR n50_a_driver_handbook_25->n50_a_driver_handbook_28 n50_a_driver_handbook_26->n50_a_driver_handbook_27 n50_a_driver_handbook_29 VB;_I_ n50_a_driver_handbook_28->n50_a_driver_handbook_29 n50_a_driver_handbook_29->n50_a_driver_handbook_30 n50_a_driver_handbook_31->n50_a_driver_handbook_32 n50_a_driver_handbook_34 NP n50_a_driver_handbook_33->n50_a_driver_handbook_34 n50_a_driver_handbook_35 ADJP n50_a_driver_handbook_34->n50_a_driver_handbook_35 n50_a_driver_handbook_38 N n50_a_driver_handbook_34->n50_a_driver_handbook_38 n50_a_driver_handbook_36 ADJ n50_a_driver_handbook_35->n50_a_driver_handbook_36 n50_a_driver_handbook_36->n50_a_driver_handbook_37 n50_a_driver_handbook_38->n50_a_driver_handbook_39 n50_a_driver_handbook_40->n50_a_driver_handbook_41 n50_a_driver_handbook_42->n50_a_driver_handbook_43 
( (IP-IMP (ILYR (ILYR (VB;_Ip_ Turn;{turn[left]})
                      (ADVP-CLR (ADV left;{left})))
                (PUNC ,)
                (CONJP (ILYR (VB;_Tn_ choose;{choose})
                             (NP-OB1 (D the;{the})
                                     (ADJP (ADJ left;{left}))
                                     (N lane;{lane}))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (VB;_I_ exit;{exit}))))
          (PULB -LRB-)
          (PRN (NP (ADJP (ADJ yellow;{yellow}))
                   (N car;{car})))
          (PUNC .)
          (PURB -RRB-))
  (ID 50_a_driver_handbook))