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_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] 
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_4 Near n36_a_driver_handbook_7 schools n36_a_driver_handbook_9 , n36_a_driver_handbook_11 look n36_a_driver_handbook_14 for n36_a_driver_handbook_16 : n36_a_driver_handbook_21 Bicyclists n36_a_driver_handbook_24 and n36_a_driver_handbook_27 pedestrians n36_a_driver_handbook_29 . n36_a_driver_handbook_1 IP-IMP n36_a_driver_handbook_2 PP-NIM n36_a_driver_handbook_1->n36_a_driver_handbook_2 n36_a_driver_handbook_8 PUNC n36_a_driver_handbook_1->n36_a_driver_handbook_8 n36_a_driver_handbook_10 VB;_Ipr_ n36_a_driver_handbook_1->n36_a_driver_handbook_10 n36_a_driver_handbook_12 PP-CLR n36_a_driver_handbook_1->n36_a_driver_handbook_12 n36_a_driver_handbook_28 PUNC n36_a_driver_handbook_1->n36_a_driver_handbook_28 n36_a_driver_handbook_3 P-ROLE n36_a_driver_handbook_2->n36_a_driver_handbook_3 n36_a_driver_handbook_5 NP n36_a_driver_handbook_2->n36_a_driver_handbook_5 n36_a_driver_handbook_3->n36_a_driver_handbook_4 n36_a_driver_handbook_6 NS n36_a_driver_handbook_5->n36_a_driver_handbook_6 n36_a_driver_handbook_6->n36_a_driver_handbook_7 n36_a_driver_handbook_8->n36_a_driver_handbook_9 n36_a_driver_handbook_10->n36_a_driver_handbook_11 n36_a_driver_handbook_13 P-ROLE n36_a_driver_handbook_12->n36_a_driver_handbook_13 n36_a_driver_handbook_15 PUNC n36_a_driver_handbook_12->n36_a_driver_handbook_15 n36_a_driver_handbook_17 NP n36_a_driver_handbook_12->n36_a_driver_handbook_17 n36_a_driver_handbook_13->n36_a_driver_handbook_14 n36_a_driver_handbook_15->n36_a_driver_handbook_16 n36_a_driver_handbook_18 NLYR n36_a_driver_handbook_17->n36_a_driver_handbook_18 n36_a_driver_handbook_19 NLYR n36_a_driver_handbook_18->n36_a_driver_handbook_19 n36_a_driver_handbook_22 CONJP n36_a_driver_handbook_18->n36_a_driver_handbook_22 n36_a_driver_handbook_20 NPRS n36_a_driver_handbook_19->n36_a_driver_handbook_20 n36_a_driver_handbook_20->n36_a_driver_handbook_21 n36_a_driver_handbook_23 CONJ n36_a_driver_handbook_22->n36_a_driver_handbook_23 n36_a_driver_handbook_25 NLYR n36_a_driver_handbook_22->n36_a_driver_handbook_25 n36_a_driver_handbook_23->n36_a_driver_handbook_24 n36_a_driver_handbook_26 NS n36_a_driver_handbook_25->n36_a_driver_handbook_26 n36_a_driver_handbook_26->n36_a_driver_handbook_27 n36_a_driver_handbook_28->n36_a_driver_handbook_29 
( (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))