Context                Previous, Next                Top


37_a_driver_handbook
School safety patrols or school crossing guards and obey their directions.

%3 r_0037_0004__or or r_0037_0001__School_r_0037_0002__safety_r_0037_0003__patrols School safety patrols r_0037_0004__or->r_0037_0001__School_r_0037_0002__safety_r_0037_0003__patrols [conj1] r_0037_0005__school_r_0037_0006__crossing_r_0037_0007__guards school crossing guards r_0037_0004__or->r_0037_0005__school_r_0037_0006__crossing_r_0037_0007__guards [conj2] r_0037_0008__and and r_0037_0009__obey obey r_0037_0008__and->r_0037_0009__obey [conj2] z_000_37_a_driver_handbook_3 r_0037_0008__and->z_000_37_a_driver_handbook_3 [conj1] r_0037_0011__directions directions r_0037_0009__obey->r_0037_0011__directions [arg1] z_000_37_a_driver_handbook_1 r_0037_0009__obey->z_000_37_a_driver_handbook_1 [arg0] z_000_37_a_driver_handbook_3->r_0037_0004__or [nim] z_000_37_a_driver_handbook_3->z_000_37_a_driver_handbook_1 [arg0] r_0037_0011__directions->r_0037_0004__or [gen] 
arc(r_0037_0004__or, r_0037_0001__School_r_0037_0002__safety_r_0037_0003__patrols, conj1).
arc(r_0037_0004__or, r_0037_0005__school_r_0037_0006__crossing_r_0037_0007__guards, conj2).
arc(r_0037_0008__and, r_0037_0009__obey, conj2).
arc(r_0037_0008__and, z_000_37_a_driver_handbook_3, conj1).
arc(r_0037_0009__obey, r_0037_0011__directions, arg1).
arc(r_0037_0009__obey, z_000_37_a_driver_handbook_1, arg0).
arc(r_0037_0011__directions, r_0037_0004__or, gen).
arc(z_000_37_a_driver_handbook_3, r_0037_0004__or, nim4).
arc(z_000_37_a_driver_handbook_3, z_000_37_a_driver_handbook_1, arg0).


%3 z_000_37_a_driver_handbook_3 z_000_37_a_driver_handbook_1 z_000_37_a_driver_handbook_3->z_000_37_a_driver_handbook_1 [arg0] r_0037_0004__or or z_000_37_a_driver_handbook_3->r_0037_0004__or [nim] r_0037_0005__school_r_0037_0006__crossing_r_0037_0007__guards school crossing guards r_0037_0004__or->r_0037_0005__school_r_0037_0006__crossing_r_0037_0007__guards [conj2] r_0037_0001__School_r_0037_0002__safety_r_0037_0003__patrols School safety patrols r_0037_0004__or->r_0037_0001__School_r_0037_0002__safety_r_0037_0003__patrols [conj1] r_0037_0011__directions directions r_0037_0011__directions->r_0037_0004__or [gen] r_0037_0009__obey obey r_0037_0009__obey->z_000_37_a_driver_handbook_1 [arg0] r_0037_0009__obey->r_0037_0011__directions [arg1] r_0037_0008__and and r_0037_0008__and->z_000_37_a_driver_handbook_3 [conj1] r_0037_0008__and->r_0037_0009__obey [conj2] 
fof(formula,axiom,
    ? [R_0037_0001__SCHOOL_R_0037_0002__SAFETY_R_0037_0003__PATROLS,R_0037_0005__SCHOOL_R_0037_0006__CROSSING_R_0037_0007__GUARDS,R_0037_0004__OR,R_0037_0011__DIRECTIONS,Z_000_37_A_DRIVER_HANDBOOK_1,R_0037_0009__OBEY,Z_000_37_A_DRIVER_HANDBOOK_3,R_0037_0008__AND] :
      ( r_0037_0001__School_r_0037_0002__safety_r_0037_0003__patrols(R_0037_0001__SCHOOL_R_0037_0002__SAFETY_R_0037_0003__PATROLS)
      & r_0037_0005__school_r_0037_0006__crossing_r_0037_0007__guards(R_0037_0005__SCHOOL_R_0037_0006__CROSSING_R_0037_0007__GUARDS)
      & z_000_37_a_driver_handbook_1(Z_000_37_A_DRIVER_HANDBOOK_1)
      & r_0037_0008__and(R_0037_0008__AND)
      & has_conj1(R_0037_0008__AND,Z_000_37_A_DRIVER_HANDBOOK_3)
      & z_000_37_a_driver_handbook_3(Z_000_37_A_DRIVER_HANDBOOK_3)
      & has_arg0(Z_000_37_A_DRIVER_HANDBOOK_3,Z_000_37_A_DRIVER_HANDBOOK_1)
      & has_nim4(Z_000_37_A_DRIVER_HANDBOOK_3,R_0037_0004__OR)
      & r_0037_0004__or(R_0037_0004__OR)
      & has_conj2(R_0037_0004__OR,R_0037_0005__SCHOOL_R_0037_0006__CROSSING_R_0037_0007__GUARDS)
      & has_conj1(R_0037_0004__OR,R_0037_0001__SCHOOL_R_0037_0002__SAFETY_R_0037_0003__PATROLS)
      & has_conj2(R_0037_0008__AND,R_0037_0009__OBEY)
      & r_0037_0009__obey(R_0037_0009__OBEY)
      & has_arg0(R_0037_0009__OBEY,Z_000_37_A_DRIVER_HANDBOOK_1)
      & has_arg1(R_0037_0009__OBEY,R_0037_0011__DIRECTIONS)
      & r_0037_0011__directions(R_0037_0011__DIRECTIONS)
      & has_gen(R_0037_0011__DIRECTIONS,R_0037_0004__OR) ) ).


n37_a_driver_handbook n37_a_driver_handbook__1_1_1_1_1_1_1_1 School n37_a_driver_handbook__1_1_1_1_1_1_2_1 safety n37_a_driver_handbook__1_1_1_1_1_1_3_1 patrols n37_a_driver_handbook__1_1_1_1_1_2_1_1 or n37_a_driver_handbook__1_1_1_1_1_2_2_1_1 school n37_a_driver_handbook__1_1_1_1_1_2_2_2_1 crossing n37_a_driver_handbook__1_1_1_1_1_2_2_3_1 guards n37_a_driver_handbook__1_1_2_1_1 and n37_a_driver_handbook__1_1_2_2_1_1 obey n37_a_driver_handbook__1_1_2_2_2_1_1_1 their n37_a_driver_handbook__1_1_2_2_2_2_1 directions n37_a_driver_handbook__1_2_1 . n37_a_driver_handbook__1 IP-IMP n37_a_driver_handbook__1_1 ILYR n37_a_driver_handbook__1->n37_a_driver_handbook__1_1 n37_a_driver_handbook__1_2 PUNC n37_a_driver_handbook__1->n37_a_driver_handbook__1_2 n37_a_driver_handbook__1_1_1 ILYR n37_a_driver_handbook__1_1->n37_a_driver_handbook__1_1_1 n37_a_driver_handbook__1_1_2 CONJP n37_a_driver_handbook__1_1->n37_a_driver_handbook__1_1_2 n37_a_driver_handbook__1_1_1_1 NP n37_a_driver_handbook__1_1_1->n37_a_driver_handbook__1_1_1_1 n37_a_driver_handbook__1_1_1_1_1 NLYR n37_a_driver_handbook__1_1_1_1->n37_a_driver_handbook__1_1_1_1_1 n37_a_driver_handbook__1_1_1_1_1_1 NLYR n37_a_driver_handbook__1_1_1_1_1->n37_a_driver_handbook__1_1_1_1_1_1 n37_a_driver_handbook__1_1_1_1_1_2 CONJP n37_a_driver_handbook__1_1_1_1_1->n37_a_driver_handbook__1_1_1_1_1_2 n37_a_driver_handbook__1_1_1_1_1_1_1 N n37_a_driver_handbook__1_1_1_1_1_1->n37_a_driver_handbook__1_1_1_1_1_1_1 n37_a_driver_handbook__1_1_1_1_1_1_2 N n37_a_driver_handbook__1_1_1_1_1_1->n37_a_driver_handbook__1_1_1_1_1_1_2 n37_a_driver_handbook__1_1_1_1_1_1_3 NS n37_a_driver_handbook__1_1_1_1_1_1->n37_a_driver_handbook__1_1_1_1_1_1_3 n37_a_driver_handbook__1_1_1_1_1_1_1->n37_a_driver_handbook__1_1_1_1_1_1_1_1 n37_a_driver_handbook__1_1_1_1_1_1_2->n37_a_driver_handbook__1_1_1_1_1_1_2_1 n37_a_driver_handbook__1_1_1_1_1_1_3->n37_a_driver_handbook__1_1_1_1_1_1_3_1 n37_a_driver_handbook__1_1_1_1_1_2_1 CONJ n37_a_driver_handbook__1_1_1_1_1_2->n37_a_driver_handbook__1_1_1_1_1_2_1 n37_a_driver_handbook__1_1_1_1_1_2_2 NLYR n37_a_driver_handbook__1_1_1_1_1_2->n37_a_driver_handbook__1_1_1_1_1_2_2 n37_a_driver_handbook__1_1_1_1_1_2_1->n37_a_driver_handbook__1_1_1_1_1_2_1_1 n37_a_driver_handbook__1_1_1_1_1_2_2_1 N n37_a_driver_handbook__1_1_1_1_1_2_2->n37_a_driver_handbook__1_1_1_1_1_2_2_1 n37_a_driver_handbook__1_1_1_1_1_2_2_2 N n37_a_driver_handbook__1_1_1_1_1_2_2->n37_a_driver_handbook__1_1_1_1_1_2_2_2 n37_a_driver_handbook__1_1_1_1_1_2_2_3 NS n37_a_driver_handbook__1_1_1_1_1_2_2->n37_a_driver_handbook__1_1_1_1_1_2_2_3 n37_a_driver_handbook__1_1_1_1_1_2_2_1->n37_a_driver_handbook__1_1_1_1_1_2_2_1_1 n37_a_driver_handbook__1_1_1_1_1_2_2_2->n37_a_driver_handbook__1_1_1_1_1_2_2_2_1 n37_a_driver_handbook__1_1_1_1_1_2_2_3->n37_a_driver_handbook__1_1_1_1_1_2_2_3_1 n37_a_driver_handbook__1_1_2_1 CONJ n37_a_driver_handbook__1_1_2->n37_a_driver_handbook__1_1_2_1 n37_a_driver_handbook__1_1_2_2 ILYR n37_a_driver_handbook__1_1_2->n37_a_driver_handbook__1_1_2_2 n37_a_driver_handbook__1_1_2_1->n37_a_driver_handbook__1_1_2_1_1 n37_a_driver_handbook__1_1_2_2_1 VBP;_Tn_ n37_a_driver_handbook__1_1_2_2->n37_a_driver_handbook__1_1_2_2_1 n37_a_driver_handbook__1_1_2_2_2 NP-OB1 n37_a_driver_handbook__1_1_2_2->n37_a_driver_handbook__1_1_2_2_2 n37_a_driver_handbook__1_1_2_2_1->n37_a_driver_handbook__1_1_2_2_1_1 n37_a_driver_handbook__1_1_2_2_2_1 NP-GEN n37_a_driver_handbook__1_1_2_2_2->n37_a_driver_handbook__1_1_2_2_2_1 n37_a_driver_handbook__1_1_2_2_2_2 NS n37_a_driver_handbook__1_1_2_2_2->n37_a_driver_handbook__1_1_2_2_2_2 n37_a_driver_handbook__1_1_2_2_2_1_1 PRO;_genm_ n37_a_driver_handbook__1_1_2_2_2_1->n37_a_driver_handbook__1_1_2_2_2_1_1 n37_a_driver_handbook__1_1_2_2_2_1_1->n37_a_driver_handbook__1_1_2_2_2_1_1_1 n37_a_driver_handbook__1_1_2_2_2_2->n37_a_driver_handbook__1_1_2_2_2_2_1 n37_a_driver_handbook__1_2->n37_a_driver_handbook__1_2_1 
( (IP-IMP (ILYR (ILYR (NP;{PATROLS_GUARDS} (NLYR (NLYR (N School;{school})
                                                       (N safety;{safety})
                                                       (NS patrols;{patrol}))
                                                 (CONJP (CONJ or;{or})
                                                        (NLYR (N school;{school})
                                                              (N crossing;{crossing})
                                                              (NS guards;{guard}))))))
                (CONJP (CONJ and;{and})
                       (ILYR (VBP;_Tn_ obey;{obey})
                             (NP-OB1 (NP-GEN;{PATROLS_GUARDS} (PRO;_genm_ their;{their}))
                                     (NS directions;{direction})))))
          (PUNC .))
  (ID 37_a_driver_handbook))