Context                Previous, Next                Top


49_a_driver_handbook
Go straight through the intersection, choose either lane, and exit in the lane you entered (red car.)

%3 r_0049_0001__Go Go r_0049_0002__straight straight r_0049_0001__Go->r_0049_0002__straight [clr] z_000_49_a_driver_handbook_1 r_0049_0001__Go->z_000_49_a_driver_handbook_1 [arg0] r_0049_0007__choose choose r_0049_0007__choose->z_000_49_a_driver_handbook_1 [arg0] r_0049_0009__lane lane r_0049_0007__choose->r_0049_0009__lane [arg1] r_0049_0008__either either r_0049_0009__lane->r_0049_0008__either [attrib] r_0049_0011__and and r_0049_0011__and->r_0049_0001__Go [conj1] r_0049_0011__and->r_0049_0007__choose [conj2] r_0049_0012__exit exit r_0049_0011__and->r_0049_0012__exit [conj3] r_0049_0012__exit->z_000_49_a_driver_handbook_1 [arg0] r_0049_0014__the_r_0049_0015__lane the lane r_0049_0012__exit->r_0049_0014__the_r_0049_0015__lane in [nim] r_0049_0017__entered entered r_0049_0017__entered->r_0049_0014__the_r_0049_0015__lane [arg1] r_0049_0016__you you r_0049_0017__entered->r_0049_0016__you [arg0] 
arc(r_0049_0001__Go, r_0049_0002__straight, clr6).
arc(r_0049_0001__Go, z_000_49_a_driver_handbook_1, arg0).
arc(r_0049_0007__choose, r_0049_0009__lane, arg1).
arc(r_0049_0007__choose, z_000_49_a_driver_handbook_1, arg0).
arc(r_0049_0009__lane, r_0049_0008__either, attrib25).
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_nim41).
arc(r_0049_0012__exit, z_000_49_a_driver_handbook_1, arg0).
arc(r_0049_0017__entered, r_0049_0014__the_r_0049_0015__lane, arg1).
arc(r_0049_0017__entered, r_0049_0016__you, arg0).


%3 r_0049_0017__entered entered r_0049_0016__you you r_0049_0017__entered->r_0049_0016__you [arg0] r_0049_0014__the_r_0049_0015__lane the lane r_0049_0017__entered->r_0049_0014__the_r_0049_0015__lane [arg1] r_0049_0012__exit exit r_0049_0012__exit->r_0049_0014__the_r_0049_0015__lane in [nim] z_000_49_a_driver_handbook_1 r_0049_0012__exit->z_000_49_a_driver_handbook_1 [arg0] r_0049_0011__and and r_0049_0011__and->r_0049_0012__exit [conj3] r_0049_0007__choose choose r_0049_0011__and->r_0049_0007__choose [conj2] r_0049_0001__Go Go r_0049_0011__and->r_0049_0001__Go [conj1] r_0049_0007__choose->z_000_49_a_driver_handbook_1 [arg0] r_0049_0009__lane lane r_0049_0007__choose->r_0049_0009__lane [arg1] r_0049_0001__Go->z_000_49_a_driver_handbook_1 [arg0] r_0049_0002__straight straight r_0049_0001__Go->r_0049_0002__straight [clr] r_0049_0008__either either r_0049_0009__lane->r_0049_0008__either [attrib] 
fof(formula,axiom,
    ? [R_49_11_AND,R_49_1_GO,R_49_2_STRAIGHT,R_49_7_CHOOSE,R_49_9_LANE,R_49_8_EITHER,R_49_12_EXIT,Z_49_A_DRIVER_HANDBOOK_1,R_49_17_ENTERED,R_49_16_YOU,R_49_14_THE_LANE] :
      ( straight(R_49_2_STRAIGHT)
      & either(R_49_8_EITHER)
      & you(R_49_16_YOU)
      & the_lane(R_49_14_THE_LANE)
      & and(R_49_11_AND)
      & conj1(R_49_11_AND,R_49_1_GO)
      & go(R_49_1_GO,Z_49_A_DRIVER_HANDBOOK_1)
      & clr6(R_49_1_GO,R_49_2_STRAIGHT)
      & conj2(R_49_11_AND,R_49_7_CHOOSE)
      & choose(R_49_7_CHOOSE,Z_49_A_DRIVER_HANDBOOK_1,R_49_9_LANE)
      & lane(R_49_9_LANE)
      & attrib25(R_49_9_LANE,R_49_8_EITHER)
      & conj3(R_49_11_AND,R_49_12_EXIT)
      & exit(R_49_12_EXIT,Z_49_A_DRIVER_HANDBOOK_1)
      & in_nim41(R_49_12_EXIT,R_49_14_THE_LANE)
      & entered(R_49_17_ENTERED,R_49_16_YOU,R_49_14_THE_LANE) ) ).


n49_a_driver_handbook n49_a_driver_handbook__1_1_1_1_1 Go n49_a_driver_handbook__1_1_1_2_1_1 straight n49_a_driver_handbook__1_1_1_2_2_1_1_1 through n49_a_driver_handbook__1_1_1_2_2_1_2_1_1 the n49_a_driver_handbook__1_1_1_2_2_1_2_2_1 intersection n49_a_driver_handbook__1_1_2_1 , n49_a_driver_handbook__1_1_3_1_1_1 choose n49_a_driver_handbook__1_1_3_1_2_1_1_1 either n49_a_driver_handbook__1_1_3_1_2_2_1 lane n49_a_driver_handbook__1_1_4_1 , n49_a_driver_handbook__1_1_5_1_1 and n49_a_driver_handbook__1_1_5_2_1_1 exit n49_a_driver_handbook__1_1_5_2_2_1_1 in n49_a_driver_handbook__1_1_5_2_2_2_1_1 the n49_a_driver_handbook__1_1_5_2_2_2_2_1 lane n49_a_driver_handbook__1_1_5_2_2_2_3_1_1 *T* n49_a_driver_handbook__1_1_5_2_2_2_3_2_1_1 you n49_a_driver_handbook__1_1_5_2_2_2_3_3_1 entered n49_a_driver_handbook__1_2_1 -LRB- n49_a_driver_handbook__1_3_1_1_1_1 red n49_a_driver_handbook__1_3_1_2_1 car n49_a_driver_handbook__1_4_1 . n49_a_driver_handbook__1_5_1 -RRB- n49_a_driver_handbook__1 IP-IMP n49_a_driver_handbook__1_1 ILYR n49_a_driver_handbook__1->n49_a_driver_handbook__1_1 n49_a_driver_handbook__1_2 PULB n49_a_driver_handbook__1->n49_a_driver_handbook__1_2 n49_a_driver_handbook__1_3 PRN n49_a_driver_handbook__1->n49_a_driver_handbook__1_3 n49_a_driver_handbook__1_4 PUNC n49_a_driver_handbook__1->n49_a_driver_handbook__1_4 n49_a_driver_handbook__1_5 PURB n49_a_driver_handbook__1->n49_a_driver_handbook__1_5 n49_a_driver_handbook__1_1_1 ILYR n49_a_driver_handbook__1_1->n49_a_driver_handbook__1_1_1 n49_a_driver_handbook__1_1_2 PUNC n49_a_driver_handbook__1_1->n49_a_driver_handbook__1_1_2 n49_a_driver_handbook__1_1_3 CONJP n49_a_driver_handbook__1_1->n49_a_driver_handbook__1_1_3 n49_a_driver_handbook__1_1_4 PUNC n49_a_driver_handbook__1_1->n49_a_driver_handbook__1_1_4 n49_a_driver_handbook__1_1_5 CONJP n49_a_driver_handbook__1_1->n49_a_driver_handbook__1_1_5 n49_a_driver_handbook__1_1_1_1 VB;_Ip_ n49_a_driver_handbook__1_1_1->n49_a_driver_handbook__1_1_1_1 n49_a_driver_handbook__1_1_1_2 ADVP-CLR n49_a_driver_handbook__1_1_1->n49_a_driver_handbook__1_1_1_2 n49_a_driver_handbook__1_1_1_1->n49_a_driver_handbook__1_1_1_1_1 n49_a_driver_handbook__1_1_1_2_1 ADV n49_a_driver_handbook__1_1_1_2->n49_a_driver_handbook__1_1_1_2_1 n49_a_driver_handbook__1_1_1_2_2 PRN n49_a_driver_handbook__1_1_1_2->n49_a_driver_handbook__1_1_1_2_2 n49_a_driver_handbook__1_1_1_2_1->n49_a_driver_handbook__1_1_1_2_1_1 n49_a_driver_handbook__1_1_1_2_2_1 PP n49_a_driver_handbook__1_1_1_2_2->n49_a_driver_handbook__1_1_1_2_2_1 n49_a_driver_handbook__1_1_1_2_2_1_1 P-ROLE n49_a_driver_handbook__1_1_1_2_2_1->n49_a_driver_handbook__1_1_1_2_2_1_1 n49_a_driver_handbook__1_1_1_2_2_1_2 NP n49_a_driver_handbook__1_1_1_2_2_1->n49_a_driver_handbook__1_1_1_2_2_1_2 n49_a_driver_handbook__1_1_1_2_2_1_1->n49_a_driver_handbook__1_1_1_2_2_1_1_1 n49_a_driver_handbook__1_1_1_2_2_1_2_1 D n49_a_driver_handbook__1_1_1_2_2_1_2->n49_a_driver_handbook__1_1_1_2_2_1_2_1 n49_a_driver_handbook__1_1_1_2_2_1_2_2 N n49_a_driver_handbook__1_1_1_2_2_1_2->n49_a_driver_handbook__1_1_1_2_2_1_2_2 n49_a_driver_handbook__1_1_1_2_2_1_2_1->n49_a_driver_handbook__1_1_1_2_2_1_2_1_1 n49_a_driver_handbook__1_1_1_2_2_1_2_2->n49_a_driver_handbook__1_1_1_2_2_1_2_2_1 n49_a_driver_handbook__1_1_2->n49_a_driver_handbook__1_1_2_1 n49_a_driver_handbook__1_1_3_1 ILYR n49_a_driver_handbook__1_1_3->n49_a_driver_handbook__1_1_3_1 n49_a_driver_handbook__1_1_3_1_1 VB;_Tn_ n49_a_driver_handbook__1_1_3_1->n49_a_driver_handbook__1_1_3_1_1 n49_a_driver_handbook__1_1_3_1_2 NP-OB1 n49_a_driver_handbook__1_1_3_1->n49_a_driver_handbook__1_1_3_1_2 n49_a_driver_handbook__1_1_3_1_1->n49_a_driver_handbook__1_1_3_1_1_1 n49_a_driver_handbook__1_1_3_1_2_1 ADJP n49_a_driver_handbook__1_1_3_1_2->n49_a_driver_handbook__1_1_3_1_2_1 n49_a_driver_handbook__1_1_3_1_2_2 N n49_a_driver_handbook__1_1_3_1_2->n49_a_driver_handbook__1_1_3_1_2_2 n49_a_driver_handbook__1_1_3_1_2_1_1 ADJ n49_a_driver_handbook__1_1_3_1_2_1->n49_a_driver_handbook__1_1_3_1_2_1_1 n49_a_driver_handbook__1_1_3_1_2_1_1->n49_a_driver_handbook__1_1_3_1_2_1_1_1 n49_a_driver_handbook__1_1_3_1_2_2->n49_a_driver_handbook__1_1_3_1_2_2_1 n49_a_driver_handbook__1_1_4->n49_a_driver_handbook__1_1_4_1 n49_a_driver_handbook__1_1_5_1 CONJ n49_a_driver_handbook__1_1_5->n49_a_driver_handbook__1_1_5_1 n49_a_driver_handbook__1_1_5_2 ILYR n49_a_driver_handbook__1_1_5->n49_a_driver_handbook__1_1_5_2 n49_a_driver_handbook__1_1_5_1->n49_a_driver_handbook__1_1_5_1_1 n49_a_driver_handbook__1_1_5_2_1 VB;_I_ n49_a_driver_handbook__1_1_5_2->n49_a_driver_handbook__1_1_5_2_1 n49_a_driver_handbook__1_1_5_2_2 PP-NIM n49_a_driver_handbook__1_1_5_2->n49_a_driver_handbook__1_1_5_2_2 n49_a_driver_handbook__1_1_5_2_1->n49_a_driver_handbook__1_1_5_2_1_1 n49_a_driver_handbook__1_1_5_2_2_1 P-ROLE n49_a_driver_handbook__1_1_5_2_2->n49_a_driver_handbook__1_1_5_2_2_1 n49_a_driver_handbook__1_1_5_2_2_2 NP n49_a_driver_handbook__1_1_5_2_2->n49_a_driver_handbook__1_1_5_2_2_2 n49_a_driver_handbook__1_1_5_2_2_1->n49_a_driver_handbook__1_1_5_2_2_1_1 n49_a_driver_handbook__1_1_5_2_2_2_1 D n49_a_driver_handbook__1_1_5_2_2_2->n49_a_driver_handbook__1_1_5_2_2_2_1 n49_a_driver_handbook__1_1_5_2_2_2_2 N n49_a_driver_handbook__1_1_5_2_2_2->n49_a_driver_handbook__1_1_5_2_2_2_2 n49_a_driver_handbook__1_1_5_2_2_2_3 IP-REL n49_a_driver_handbook__1_1_5_2_2_2->n49_a_driver_handbook__1_1_5_2_2_2_3 n49_a_driver_handbook__1_1_5_2_2_2_1->n49_a_driver_handbook__1_1_5_2_2_2_1_1 n49_a_driver_handbook__1_1_5_2_2_2_2->n49_a_driver_handbook__1_1_5_2_2_2_2_1 n49_a_driver_handbook__1_1_5_2_2_2_3_1 NP-OB1 n49_a_driver_handbook__1_1_5_2_2_2_3->n49_a_driver_handbook__1_1_5_2_2_2_3_1 n49_a_driver_handbook__1_1_5_2_2_2_3_2 NP-SBJ n49_a_driver_handbook__1_1_5_2_2_2_3->n49_a_driver_handbook__1_1_5_2_2_2_3_2 n49_a_driver_handbook__1_1_5_2_2_2_3_3 VBD;_Tn_ n49_a_driver_handbook__1_1_5_2_2_2_3->n49_a_driver_handbook__1_1_5_2_2_2_3_3 n49_a_driver_handbook__1_1_5_2_2_2_3_1->n49_a_driver_handbook__1_1_5_2_2_2_3_1_1 n49_a_driver_handbook__1_1_5_2_2_2_3_2_1 PRO n49_a_driver_handbook__1_1_5_2_2_2_3_2->n49_a_driver_handbook__1_1_5_2_2_2_3_2_1 n49_a_driver_handbook__1_1_5_2_2_2_3_2_1->n49_a_driver_handbook__1_1_5_2_2_2_3_2_1_1 n49_a_driver_handbook__1_1_5_2_2_2_3_3->n49_a_driver_handbook__1_1_5_2_2_2_3_3_1 n49_a_driver_handbook__1_2->n49_a_driver_handbook__1_2_1 n49_a_driver_handbook__1_3_1 NP n49_a_driver_handbook__1_3->n49_a_driver_handbook__1_3_1 n49_a_driver_handbook__1_3_1_1 ADJP n49_a_driver_handbook__1_3_1->n49_a_driver_handbook__1_3_1_1 n49_a_driver_handbook__1_3_1_2 N n49_a_driver_handbook__1_3_1->n49_a_driver_handbook__1_3_1_2 n49_a_driver_handbook__1_3_1_1_1 ADJ n49_a_driver_handbook__1_3_1_1->n49_a_driver_handbook__1_3_1_1_1 n49_a_driver_handbook__1_3_1_1_1->n49_a_driver_handbook__1_3_1_1_1_1 n49_a_driver_handbook__1_3_1_2->n49_a_driver_handbook__1_3_1_2_1 n49_a_driver_handbook__1_4->n49_a_driver_handbook__1_4_1 n49_a_driver_handbook__1_5->n49_a_driver_handbook__1_5_1 
( (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))