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_0010__exit exit z_000_50_a_driver_handbook_1 r_0050_0010__exit->z_000_50_a_driver_handbook_1 [arg0] r_0050_0009__and and r_0050_0009__and->r_0050_0010__exit [conj3] r_0050_0004__choose choose r_0050_0009__and->r_0050_0004__choose [conj2] r_0050_0001__Turn Turn r_0050_0009__and->r_0050_0001__Turn [conj1] 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_0001__Turn->z_000_50_a_driver_handbook_1 [arg0] r_0050_0002__left left r_0050_0001__Turn->r_0050_0002__left [clr] r_0050_0006__left left r_0050_0005__the_r_0050_0007__lane->r_0050_0006__left [attrib] 
fof(formula,axiom,
    ? [R_0050_0002__LEFT,Z_000_50_A_DRIVER_HANDBOOK_1,R_0050_0001__TURN,R_0050_0006__LEFT,R_0050_0005__THE_R_0050_0007__LANE,R_0050_0004__CHOOSE,R_0050_0010__EXIT,R_0050_0009__AND] :
      ( r_0050_0002__left(R_0050_0002__LEFT)
      & r_0050_0006__left(R_0050_0006__LEFT)
      & z_000_50_a_driver_handbook_1(Z_000_50_A_DRIVER_HANDBOOK_1)
      & r_0050_0009__and(R_0050_0009__AND)
      & has_conj3(R_0050_0009__AND,R_0050_0010__EXIT)
      & r_0050_0010__exit(R_0050_0010__EXIT)
      & has_arg0(R_0050_0010__EXIT,Z_000_50_A_DRIVER_HANDBOOK_1)
      & has_conj2(R_0050_0009__AND,R_0050_0004__CHOOSE)
      & r_0050_0004__choose(R_0050_0004__CHOOSE)
      & has_arg0(R_0050_0004__CHOOSE,Z_000_50_A_DRIVER_HANDBOOK_1)
      & has_arg1(R_0050_0004__CHOOSE,R_0050_0005__THE_R_0050_0007__LANE)
      & r_0050_0005__the_r_0050_0007__lane(R_0050_0005__THE_R_0050_0007__LANE)
      & has_attrib18(R_0050_0005__THE_R_0050_0007__LANE,R_0050_0006__LEFT)
      & has_conj1(R_0050_0009__AND,R_0050_0001__TURN)
      & r_0050_0001__Turn(R_0050_0001__TURN)
      & has_arg0(R_0050_0001__TURN,Z_000_50_A_DRIVER_HANDBOOK_1)
      & has_clr6(R_0050_0001__TURN,R_0050_0002__LEFT) ) ).


n50_a_driver_handbook n50_a_driver_handbook__1_1_1_1_1 Turn n50_a_driver_handbook__1_1_1_2_1_1 left n50_a_driver_handbook__1_1_2_1 , n50_a_driver_handbook__1_1_3_1_1_1 choose n50_a_driver_handbook__1_1_3_1_2_1_1 the n50_a_driver_handbook__1_1_3_1_2_2_1_1 left n50_a_driver_handbook__1_1_3_1_2_3_1 lane n50_a_driver_handbook__1_1_4_1 , n50_a_driver_handbook__1_1_5_1_1 and n50_a_driver_handbook__1_1_5_2_1_1 exit n50_a_driver_handbook__1_2_1 -LRB- n50_a_driver_handbook__1_3_1_1_1_1 yellow n50_a_driver_handbook__1_3_1_2_1 car n50_a_driver_handbook__1_4_1 . n50_a_driver_handbook__1_5_1 -RRB- n50_a_driver_handbook__1 IP-IMP n50_a_driver_handbook__1_1 ILYR n50_a_driver_handbook__1->n50_a_driver_handbook__1_1 n50_a_driver_handbook__1_2 PULB n50_a_driver_handbook__1->n50_a_driver_handbook__1_2 n50_a_driver_handbook__1_3 PRN n50_a_driver_handbook__1->n50_a_driver_handbook__1_3 n50_a_driver_handbook__1_4 PUNC n50_a_driver_handbook__1->n50_a_driver_handbook__1_4 n50_a_driver_handbook__1_5 PURB n50_a_driver_handbook__1->n50_a_driver_handbook__1_5 n50_a_driver_handbook__1_1_1 ILYR n50_a_driver_handbook__1_1->n50_a_driver_handbook__1_1_1 n50_a_driver_handbook__1_1_2 PUNC n50_a_driver_handbook__1_1->n50_a_driver_handbook__1_1_2 n50_a_driver_handbook__1_1_3 CONJP n50_a_driver_handbook__1_1->n50_a_driver_handbook__1_1_3 n50_a_driver_handbook__1_1_4 PUNC n50_a_driver_handbook__1_1->n50_a_driver_handbook__1_1_4 n50_a_driver_handbook__1_1_5 CONJP n50_a_driver_handbook__1_1->n50_a_driver_handbook__1_1_5 n50_a_driver_handbook__1_1_1_1 VB;_Ip_ n50_a_driver_handbook__1_1_1->n50_a_driver_handbook__1_1_1_1 n50_a_driver_handbook__1_1_1_2 ADVP-CLR n50_a_driver_handbook__1_1_1->n50_a_driver_handbook__1_1_1_2 n50_a_driver_handbook__1_1_1_1->n50_a_driver_handbook__1_1_1_1_1 n50_a_driver_handbook__1_1_1_2_1 ADV n50_a_driver_handbook__1_1_1_2->n50_a_driver_handbook__1_1_1_2_1 n50_a_driver_handbook__1_1_1_2_1->n50_a_driver_handbook__1_1_1_2_1_1 n50_a_driver_handbook__1_1_2->n50_a_driver_handbook__1_1_2_1 n50_a_driver_handbook__1_1_3_1 ILYR n50_a_driver_handbook__1_1_3->n50_a_driver_handbook__1_1_3_1 n50_a_driver_handbook__1_1_3_1_1 VB;_Tn_ n50_a_driver_handbook__1_1_3_1->n50_a_driver_handbook__1_1_3_1_1 n50_a_driver_handbook__1_1_3_1_2 NP-OB1 n50_a_driver_handbook__1_1_3_1->n50_a_driver_handbook__1_1_3_1_2 n50_a_driver_handbook__1_1_3_1_1->n50_a_driver_handbook__1_1_3_1_1_1 n50_a_driver_handbook__1_1_3_1_2_1 D n50_a_driver_handbook__1_1_3_1_2->n50_a_driver_handbook__1_1_3_1_2_1 n50_a_driver_handbook__1_1_3_1_2_2 ADJP n50_a_driver_handbook__1_1_3_1_2->n50_a_driver_handbook__1_1_3_1_2_2 n50_a_driver_handbook__1_1_3_1_2_3 N n50_a_driver_handbook__1_1_3_1_2->n50_a_driver_handbook__1_1_3_1_2_3 n50_a_driver_handbook__1_1_3_1_2_1->n50_a_driver_handbook__1_1_3_1_2_1_1 n50_a_driver_handbook__1_1_3_1_2_2_1 ADJ n50_a_driver_handbook__1_1_3_1_2_2->n50_a_driver_handbook__1_1_3_1_2_2_1 n50_a_driver_handbook__1_1_3_1_2_2_1->n50_a_driver_handbook__1_1_3_1_2_2_1_1 n50_a_driver_handbook__1_1_3_1_2_3->n50_a_driver_handbook__1_1_3_1_2_3_1 n50_a_driver_handbook__1_1_4->n50_a_driver_handbook__1_1_4_1 n50_a_driver_handbook__1_1_5_1 CONJ n50_a_driver_handbook__1_1_5->n50_a_driver_handbook__1_1_5_1 n50_a_driver_handbook__1_1_5_2 ILYR n50_a_driver_handbook__1_1_5->n50_a_driver_handbook__1_1_5_2 n50_a_driver_handbook__1_1_5_1->n50_a_driver_handbook__1_1_5_1_1 n50_a_driver_handbook__1_1_5_2_1 VB;_I_ n50_a_driver_handbook__1_1_5_2->n50_a_driver_handbook__1_1_5_2_1 n50_a_driver_handbook__1_1_5_2_1->n50_a_driver_handbook__1_1_5_2_1_1 n50_a_driver_handbook__1_2->n50_a_driver_handbook__1_2_1 n50_a_driver_handbook__1_3_1 NP n50_a_driver_handbook__1_3->n50_a_driver_handbook__1_3_1 n50_a_driver_handbook__1_3_1_1 ADJP n50_a_driver_handbook__1_3_1->n50_a_driver_handbook__1_3_1_1 n50_a_driver_handbook__1_3_1_2 N n50_a_driver_handbook__1_3_1->n50_a_driver_handbook__1_3_1_2 n50_a_driver_handbook__1_3_1_1_1 ADJ n50_a_driver_handbook__1_3_1_1->n50_a_driver_handbook__1_3_1_1_1 n50_a_driver_handbook__1_3_1_1_1->n50_a_driver_handbook__1_3_1_1_1_1 n50_a_driver_handbook__1_3_1_2->n50_a_driver_handbook__1_3_1_2_1 n50_a_driver_handbook__1_4->n50_a_driver_handbook__1_4_1 n50_a_driver_handbook__1_5->n50_a_driver_handbook__1_5_1 
( (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))