Context                Previous, Next                Top


36_a_driver_handbook
Near schools, look for: Bicyclists and 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))


%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_r_0036_0005__for_r_0036_0006___colon_ look for _colon_ r_0036_0004__look_r_0036_0005__for_r_0036_0006___colon_->r_0036_0008__and [arg1] z_0036_5002 r_0036_0004__look_r_0036_0005__for_r_0036_0006___colon_->z_0036_5002 [arg0] r_0036_0002__schools schools r_0036_0004__look_r_0036_0005__for_r_0036_0006___colon_->r_0036_0002__schools Near [nim] 
arc(r_0036_0004__look_r_0036_0005__for_r_0036_0006___colon_,r_0036_0002__schools,r_0036_0001__Near__nim).
arc(r_0036_0004__look_r_0036_0005__for_r_0036_0006___colon_,r_0036_0008__and,arg1).
arc(r_0036_0004__look_r_0036_0005__for_r_0036_0006___colon_,z_0036_5002,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_r_0036_0005__for_r_0036_0006___colon_ look for _colon_ r_0036_0002__schools schools r_0036_0004__look_r_0036_0005__for_r_0036_0006___colon_->r_0036_0002__schools Near [nim] r_0036_0008__and and r_0036_0004__look_r_0036_0005__for_r_0036_0006___colon_->r_0036_0008__and [arg1] z_0036_5002 r_0036_0004__look_r_0036_0005__for_r_0036_0006___colon_->z_0036_5002 [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_0036_0002__SCHOOLS,R_0036_0007__BICYCLISTS,R_0036_0009__PEDESTRIANS,R_0036_0008__AND,Z_0036_5002,R_0036_0004__LOOK_R_0036_0005__FOR_R_0036_0006___COLON_] :
      ( r_0036_0002__schools(R_0036_0002__SCHOOLS)
      & r_0036_0007__Bicyclists(R_0036_0007__BICYCLISTS)
      & r_0036_0009__pedestrians(R_0036_0009__PEDESTRIANS)
      & z_0036_5002(Z_0036_5002)
      & r_0036_0004__look_r_0036_0005__for_r_0036_0006___colon_(R_0036_0004__LOOK_R_0036_0005__FOR_R_0036_0006___COLON_)
      & has_arg0(R_0036_0004__LOOK_R_0036_0005__FOR_R_0036_0006___COLON_,Z_0036_5002)
      & has_arg1(R_0036_0004__LOOK_R_0036_0005__FOR_R_0036_0006___COLON_,R_0036_0008__AND)
      & r_0036_0008__and(R_0036_0008__AND)
      & has_conj2(R_0036_0008__AND,R_0036_0009__PEDESTRIANS)
      & has_conj1(R_0036_0008__AND,R_0036_0007__BICYCLISTS)
      & has_r_0036_0001__Near__nim(R_0036_0004__LOOK_R_0036_0005__FOR_R_0036_0006___COLON_,R_0036_0002__SCHOOLS) ) ).