49_a_driver_handbook
Go straight through the intersection, choose either lane, and exit in the lane you entered (red car.)
( (IP-IMP (ILYR (ILYR (VB;_Ip_ Go;{go[straight]})
(ADVP-CLR (ADV straight;{straight})
(PRN (PP (P-ROLE through;{through})
(NP (D the;{the})
(N intersection;{intersection}))))))
(PUNC ,)
(CONJP (ILYR (VB;_Tn_ choose;{choose})
(NP-OB1 (ADJP (ADJ either;{either}))
(N lane;{lane}))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (VB;_I_ exit;{exit})
(PP-NIM (P-ROLE in;{in})
(NP (D the;{the})
(N lane;{lane})
(IP-REL (NP-OB1 *T*)
(NP-SBJ (PRO you;{you}))
(VBD;_Tn_ entered;{enter})))))))
(PULB -LRB-)
(PRN (NP (ADJP (ADJ red;{red}))
(N car;{car})))
(PUNC .)
(PURB -RRB-))
(ID 49_a_driver_handbook))
arc(r_0049_0001__Go,r_0049_0002__straight,clr).
arc(r_0049_0001__Go,r_0049_0020__car,prn).
arc(r_0049_0001__Go,z_0049_5002,arg0).
arc(r_0049_0002__straight,r_0049_0004__the_r_0049_0005__intersection,prnr_0049_0003__through).
arc(r_0049_0007__choose,r_0049_0009__lane,arg1).
arc(r_0049_0007__choose,r_0049_0020__car,prn).
arc(r_0049_0007__choose,z_0049_5002,arg0).
arc(r_0049_0009__lane,r_0049_0008__either,attrib).
arc(r_0049_0011__and,r_0049_0001__Go,conj1).
arc(r_0049_0011__and,r_0049_0007__choose,conj2).
arc(r_0049_0011__and,r_0049_0012__exit,conj3).
arc(r_0049_0012__exit,r_0049_0014__the_r_0049_0015__lane,r_0049_0013__in__nim).
arc(r_0049_0012__exit,r_0049_0020__car,prn).
arc(r_0049_0012__exit,z_0049_5002,arg0).
arc(r_0049_0017__entered,r_0049_0014__the_r_0049_0015__lane,inv_arg1).
arc(r_0049_0017__entered,r_0049_0016__you,arg0).
arc(r_0049_0020__car,r_0049_0019__red,attrib).
fof(formula,axiom,
? [R_0049_0004__THE_R_0049_0005__INTERSECTION,R_0049_0002__STRAIGHT,R_0049_0019__RED,R_0049_0020__CAR,Z_0049_5002,R_0049_0001__GO,R_0049_0008__EITHER,R_0049_0009__LANE,R_0049_0007__CHOOSE,R_0049_0016__YOU,R_0049_0017__ENTERED,R_0049_0014__THE_R_0049_0015__LANE,R_0049_0012__EXIT,R_0049_0011__AND] :
( r_0049_0004__the_r_0049_0005__intersection(R_0049_0004__THE_R_0049_0005__INTERSECTION)
& r_0049_0008__either(R_0049_0008__EITHER)
& r_0049_0016__you(R_0049_0016__YOU)
& r_0049_0019__red(R_0049_0019__RED)
& z_0049_5002(Z_0049_5002)
& r_0049_0011__and(R_0049_0011__AND)
& has_conj3(R_0049_0011__AND,R_0049_0012__EXIT)
& r_0049_0012__exit(R_0049_0012__EXIT)
& has_arg0(R_0049_0012__EXIT,Z_0049_5002)
& has_prn(R_0049_0012__EXIT,R_0049_0020__CAR)
& r_0049_0020__car(R_0049_0020__CAR)
& has_attrib(R_0049_0020__CAR,R_0049_0019__RED)
& has_r_0049_0013__in__nim(R_0049_0012__EXIT,R_0049_0014__THE_R_0049_0015__LANE)
& r_0049_0014__the_r_0049_0015__lane(R_0049_0014__THE_R_0049_0015__LANE)
& has_inv_arg1(R_0049_0014__THE_R_0049_0015__LANE,R_0049_0017__ENTERED)
& r_0049_0017__entered(R_0049_0017__ENTERED)
& has_arg0(R_0049_0017__ENTERED,R_0049_0016__YOU)
& has_conj2(R_0049_0011__AND,R_0049_0007__CHOOSE)
& r_0049_0007__choose(R_0049_0007__CHOOSE)
& has_arg0(R_0049_0007__CHOOSE,Z_0049_5002)
& has_prn(R_0049_0007__CHOOSE,R_0049_0020__CAR)
& has_arg1(R_0049_0007__CHOOSE,R_0049_0009__LANE)
& r_0049_0009__lane(R_0049_0009__LANE)
& has_attrib(R_0049_0009__LANE,R_0049_0008__EITHER)
& has_conj1(R_0049_0011__AND,R_0049_0001__GO)
& r_0049_0001__Go(R_0049_0001__GO)
& has_arg0(R_0049_0001__GO,Z_0049_5002)
& has_prn(R_0049_0001__GO,R_0049_0020__CAR)
& has_clr(R_0049_0001__GO,R_0049_0002__STRAIGHT)
& r_0049_0002__straight(R_0049_0002__STRAIGHT)
& has_prnr_0049_0003__through(R_0049_0002__STRAIGHT,R_0049_0004__THE_R_0049_0005__INTERSECTION) ) ).