Context                Previous, Next                Top


36_a_driver_handbook
Near schools, look for: Bicyclists and pedestrians.

%3 r_0036_0004__look look r_0036_0002__schools schools r_0036_0004__look->r_0036_0002__schools Near [nim] r_0036_0008__and and r_0036_0004__look->r_0036_0008__and for [clr] z_000_36_a_driver_handbook_1 r_0036_0004__look->z_000_36_a_driver_handbook_1 [arg0] r_0036_0007__Bicyclists Bicyclists r_0036_0008__and->r_0036_0007__Bicyclists [conj1] r_0036_0009__pedestrians pedestrians r_0036_0008__and->r_0036_0009__pedestrians [conj2] 
arc(r_0036_0004__look, r_0036_0002__schools, r_0036_0001__Near_nim5).
arc(r_0036_0004__look, r_0036_0008__and, r_0036_0005__for_clr17).
arc(r_0036_0004__look, z_000_36_a_driver_handbook_1, arg0).
arc(r_0036_0008__and, r_0036_0007__Bicyclists, conj1).
arc(r_0036_0008__and, r_0036_0009__pedestrians, conj2).


%3 r_0036_0008__and and r_0036_0009__pedestrians pedestrians r_0036_0008__and->r_0036_0009__pedestrians [conj2] r_0036_0007__Bicyclists Bicyclists r_0036_0008__and->r_0036_0007__Bicyclists [conj1] r_0036_0004__look look r_0036_0004__look->r_0036_0008__and for [clr] z_000_36_a_driver_handbook_1 r_0036_0004__look->z_000_36_a_driver_handbook_1 [arg0] r_0036_0002__schools schools r_0036_0004__look->r_0036_0002__schools Near [nim] 
fof(formula,axiom,
    ? [R_36_4_LOOK,Z_36_A_DRIVER_HANDBOOK_1,R_36_2_SCHOOLS,R_36_8_AND,R_36_7_BICYCLISTS,R_36_9_PEDESTRIANS] :
      ( schools(R_36_2_SCHOOLS)
      & bicyclists(R_36_7_BICYCLISTS)
      & pedestrians(R_36_9_PEDESTRIANS)
      & look(R_36_4_LOOK,Z_36_A_DRIVER_HANDBOOK_1)
      & near_nim5(R_36_4_LOOK,R_36_2_SCHOOLS)
      & for_clr17(R_36_4_LOOK,R_36_8_AND)
      & and(R_36_8_AND)
      & conj1(R_36_8_AND,R_36_7_BICYCLISTS)
      & conj2(R_36_8_AND,R_36_9_PEDESTRIANS) ) ).


n36_a_driver_handbook n36_a_driver_handbook__1_1_1_1 Near n36_a_driver_handbook__1_1_2_1_1 schools n36_a_driver_handbook__1_2_1 , n36_a_driver_handbook__1_3_1 look n36_a_driver_handbook__1_4_1_1 for n36_a_driver_handbook__1_4_2_1 : n36_a_driver_handbook__1_4_3_1_1_1_1 Bicyclists n36_a_driver_handbook__1_4_3_1_2_1_1 and n36_a_driver_handbook__1_4_3_1_2_2_1_1 pedestrians n36_a_driver_handbook__1_5_1 . n36_a_driver_handbook__1 IP-IMP n36_a_driver_handbook__1_1 PP-NIM n36_a_driver_handbook__1->n36_a_driver_handbook__1_1 n36_a_driver_handbook__1_2 PUNC n36_a_driver_handbook__1->n36_a_driver_handbook__1_2 n36_a_driver_handbook__1_3 VB;_Ipr_ n36_a_driver_handbook__1->n36_a_driver_handbook__1_3 n36_a_driver_handbook__1_4 PP-CLR n36_a_driver_handbook__1->n36_a_driver_handbook__1_4 n36_a_driver_handbook__1_5 PUNC n36_a_driver_handbook__1->n36_a_driver_handbook__1_5 n36_a_driver_handbook__1_1_1 P-ROLE n36_a_driver_handbook__1_1->n36_a_driver_handbook__1_1_1 n36_a_driver_handbook__1_1_2 NP n36_a_driver_handbook__1_1->n36_a_driver_handbook__1_1_2 n36_a_driver_handbook__1_1_1->n36_a_driver_handbook__1_1_1_1 n36_a_driver_handbook__1_1_2_1 NS n36_a_driver_handbook__1_1_2->n36_a_driver_handbook__1_1_2_1 n36_a_driver_handbook__1_1_2_1->n36_a_driver_handbook__1_1_2_1_1 n36_a_driver_handbook__1_2->n36_a_driver_handbook__1_2_1 n36_a_driver_handbook__1_3->n36_a_driver_handbook__1_3_1 n36_a_driver_handbook__1_4_1 P-ROLE n36_a_driver_handbook__1_4->n36_a_driver_handbook__1_4_1 n36_a_driver_handbook__1_4_2 PUNC n36_a_driver_handbook__1_4->n36_a_driver_handbook__1_4_2 n36_a_driver_handbook__1_4_3 NP n36_a_driver_handbook__1_4->n36_a_driver_handbook__1_4_3 n36_a_driver_handbook__1_4_1->n36_a_driver_handbook__1_4_1_1 n36_a_driver_handbook__1_4_2->n36_a_driver_handbook__1_4_2_1 n36_a_driver_handbook__1_4_3_1 NLYR n36_a_driver_handbook__1_4_3->n36_a_driver_handbook__1_4_3_1 n36_a_driver_handbook__1_4_3_1_1 NLYR n36_a_driver_handbook__1_4_3_1->n36_a_driver_handbook__1_4_3_1_1 n36_a_driver_handbook__1_4_3_1_2 CONJP n36_a_driver_handbook__1_4_3_1->n36_a_driver_handbook__1_4_3_1_2 n36_a_driver_handbook__1_4_3_1_1_1 NPRS n36_a_driver_handbook__1_4_3_1_1->n36_a_driver_handbook__1_4_3_1_1_1 n36_a_driver_handbook__1_4_3_1_1_1->n36_a_driver_handbook__1_4_3_1_1_1_1 n36_a_driver_handbook__1_4_3_1_2_1 CONJ n36_a_driver_handbook__1_4_3_1_2->n36_a_driver_handbook__1_4_3_1_2_1 n36_a_driver_handbook__1_4_3_1_2_2 NLYR n36_a_driver_handbook__1_4_3_1_2->n36_a_driver_handbook__1_4_3_1_2_2 n36_a_driver_handbook__1_4_3_1_2_1->n36_a_driver_handbook__1_4_3_1_2_1_1 n36_a_driver_handbook__1_4_3_1_2_2_1 NS n36_a_driver_handbook__1_4_3_1_2_2->n36_a_driver_handbook__1_4_3_1_2_2_1 n36_a_driver_handbook__1_4_3_1_2_2_1->n36_a_driver_handbook__1_4_3_1_2_2_1_1 n36_a_driver_handbook__1_5->n36_a_driver_handbook__1_5_1 
( (IP-IMP (PP-NIM (P-ROLE Near;{near})
                  (NP (NS schools;{school})))
          (PUNC ,)
          (VB;_Ipr_ look;{look[for]})
          (PP-CLR (P-ROLE for;{for})
                  (PUNC :)
                  (NP (NLYR (NLYR (NPRS Bicyclists;{Bicyclists}))
                            (CONJP (CONJ and;{and})
                                   (NLYR (NS pedestrians;{pedestrian}))))))
          (PUNC .))
  (ID 36_a_driver_handbook))