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_37_8_AND,Z_37_A_DRIVER_HANDBOOK_3,R_37_9_OBEY,Z_37_A_DRIVER_HANDBOOK_1,R_37_11_DIRECTIONS,R_37_4_OR,R_37_1_SCHOOL_SAFETY_PATROLS,R_37_5_SCHOOL_CROSSING_GUARDS] :
      ( school_safety_patrols(R_37_1_SCHOOL_SAFETY_PATROLS)
      & school_crossing_guards(R_37_5_SCHOOL_CROSSING_GUARDS)
      & and(R_37_8_AND)
      & conj1(R_37_8_AND,Z_37_A_DRIVER_HANDBOOK_3)
      & z_37_a_driver_handbook_3(Z_37_A_DRIVER_HANDBOOK_3,Z_37_A_DRIVER_HANDBOOK_1)
      & nim4(Z_37_A_DRIVER_HANDBOOK_3,R_37_4_OR)
      & or(R_37_4_OR)
      & conj1(R_37_4_OR,R_37_1_SCHOOL_SAFETY_PATROLS)
      & conj2(R_37_4_OR,R_37_5_SCHOOL_CROSSING_GUARDS)
      & conj2(R_37_8_AND,R_37_9_OBEY)
      & obey(R_37_9_OBEY,Z_37_A_DRIVER_HANDBOOK_1,R_37_11_DIRECTIONS)
      & directions(R_37_11_DIRECTIONS)
      & gen(R_37_11_DIRECTIONS,R_37_4_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))