( (IP-IMP (ILYR (ILYR (NP;{PATROLS+GUARDS} (NLYR (NLYR (NLYR (N School;{school})
                                                             (N safety;{safety}))
                                                       (NS patrols;{patrol}))
                                                 (CONJP (CONJ or;{or})
                                                        (NLYR (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))

arc(r_0037_0003__patrols,r_0037_0001__School_r_0037_0002__safety,nim).
arc(r_0037_0004__or,r_0037_0003__patrols,conj1).
arc(r_0037_0004__or,r_0037_0007__guards,conj2).
arc(r_0037_0007__guards,r_0037_0005__school_r_0037_0006__crossing,nim).
arc(r_0037_0008__and,r_0037_0009__obey,conj2).
arc(r_0037_0008__and,z_0037_5008,conj1).
arc(r_0037_0009__obey,r_0037_0011__directions,arg1).
arc(r_0037_0009__obey,z_0037_5002,arg0).
arc(r_0037_0011__directions,r_0037_0004__or,gen).
arc(z_0037_5008,z_0037_5002,arg0).

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_0037_5002,R_0037_0009__OBEY,Z_0037_5008,R_0037_0008__AND] :
      ( r_0037_0001__School_r_0037_0002__safety(R_0037_0001__SCHOOL_R_0037_0002__SAFETY)
      & r_0037_0005__school_r_0037_0006__crossing(R_0037_0005__SCHOOL_R_0037_0006__CROSSING)
      & z_0037_5002(Z_0037_5002)
      & r_0037_0008__and(R_0037_0008__AND)
      & has_conj1(R_0037_0008__AND,Z_0037_5008)
      & z_0037_5008(Z_0037_5008)
      & has_arg0(Z_0037_5008,Z_0037_5002)
      & 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_0037_5002)
      & 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)
      & r_0037_0004__or(R_0037_0004__OR)
      & has_conj2(R_0037_0004__OR,R_0037_0007__GUARDS)
      & r_0037_0007__guards(R_0037_0007__GUARDS)
      & has_nim(R_0037_0007__GUARDS,R_0037_0005__SCHOOL_R_0037_0006__CROSSING)
      & has_conj1(R_0037_0004__OR,R_0037_0003__PATROLS)
      & r_0037_0003__patrols(R_0037_0003__PATROLS)
      & has_nim(R_0037_0003__PATROLS,R_0037_0001__SCHOOL_R_0037_0002__SAFETY) ) ).