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

arc(r_0050_0001__Turn_r_0050_0002__left,r_0050_0013__car,prn).
arc(r_0050_0001__Turn_r_0050_0002__left,z_0050_5002,arg0).
arc(r_0050_0004__choose,r_0050_0005__the_r_0050_0007__lane,arg1).
arc(r_0050_0004__choose,r_0050_0013__car,prn).
arc(r_0050_0004__choose,z_0050_5002,arg0).
arc(r_0050_0005__the_r_0050_0007__lane,r_0050_0006__left,attrib).
arc(r_0050_0009__and,r_0050_0001__Turn_r_0050_0002__left,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,r_0050_0013__car,prn).
arc(r_0050_0010__exit,z_0050_5002,arg0).
arc(r_0050_0013__car,r_0050_0012__yellow,attrib).

fof(formula,axiom,
    ? [R_0050_0012__YELLOW,R_0050_0013__CAR,Z_0050_5002,R_0050_0001__TURN_R_0050_0002__LEFT,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_0006__left(R_0050_0006__LEFT)
      & r_0050_0012__yellow(R_0050_0012__YELLOW)
      & z_0050_5002(Z_0050_5002)
      & 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_0050_5002)
      & has_prn(R_0050_0010__EXIT,R_0050_0013__CAR)
      & r_0050_0013__car(R_0050_0013__CAR)
      & has_attrib(R_0050_0013__CAR,R_0050_0012__YELLOW)
      & 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_0050_5002)
      & has_prn(R_0050_0004__CHOOSE,R_0050_0013__CAR)
      & 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_attrib(R_0050_0005__THE_R_0050_0007__LANE,R_0050_0006__LEFT)
      & has_conj1(R_0050_0009__AND,R_0050_0001__TURN_R_0050_0002__LEFT)
      & r_0050_0001__Turn_r_0050_0002__left(R_0050_0001__TURN_R_0050_0002__LEFT)
      & has_arg0(R_0050_0001__TURN_R_0050_0002__LEFT,Z_0050_5002)
      & has_prn(R_0050_0001__TURN_R_0050_0002__LEFT,R_0050_0013__CAR) ) ).