TSPC 38_a_driver

38_a_driver_handbook
For the crossing guard's safety, allow him or her to safely get to the side of the road before driving ahead.

( (IP-IMP (PP-TPC-NIM (P-ROLE For;{for})
                      (NP (NP-GEN;{GUARD} (D the;{the})
                                          (N crossing;{crossing})
                                          (NS guard;{guard})
                                          (GENM <apos>s))
                          (N safety;{safety})))
          (PUNC ,)
          (VB;_Tnt_ allow;{allow})
          (NP-DOB1 (NLYR (NLYR;{GUARD} (PRO him;{he}))
                         (CONJP (CONJ or;{or})
                                (NLYR;{GUARD} (PRO her;{her})))))
          (IP-INF-OB1 (TO to;{to})
                      (ADVP-NIM (ADV safely;{safely}))
                      (VB;_Ipr_ get;{get[to]})
                      (PP-CLR (P-ROLE to;{to})
                              (NP (D the;{the})
                                  (N side;{side})
                                  (PP (P-ROLE of;{of})
                                      (NP (D the;{the})
                                          (N road;{road}))))))
          (PP-SCON (P-CONN before;{before})
                   (IP-PPL2 (VAG;_I_ driving;{drive})
                            (ADVP-NIM (ADV ahead;{ahead}))))
          (PUNC .))
  (ID 38_a_driver_handbook))

arc(r_0038_0006__safety,r_0038_0002__the_r_0038_0003__crossing_r_0038_0004__guard,gen).
arc(r_0038_0008__allow,r_0038_0006__safety,r_0038_0001__For__nim).
arc(r_0038_0008__allow,r_0038_0014__get_r_0038_0015__to,arg1).
arc(r_0038_0008__allow,z_0038_5002,arg0).
arc(r_0038_0010__or,r_0038_0009__him,conj1).
arc(r_0038_0010__or,r_0038_0011__her,conj2).
arc(r_0038_0014__get_r_0038_0015__to,r_0038_0010__or,arg0).
arc(r_0038_0014__get_r_0038_0015__to,r_0038_0013__safely,nim).
arc(r_0038_0014__get_r_0038_0015__to,r_0038_0016__the_r_0038_0017__side,arg1).
arc(r_0038_0016__the_r_0038_0017__side,r_0038_0019__the_r_0038_0020__road,r_0038_0018__of).
arc(r_0038_0021__before,r_0038_0008__allow,scope).
arc(r_0038_0021__before,r_0038_0022__driving,restriction).
arc(r_0038_0022__driving,r_0038_0023__ahead,nim).
arc(r_0038_0022__driving,z_0038_5002,arg0).

fof(formula,axiom,
    ? [R_0038_0002__THE_R_0038_0003__CROSSING_R_0038_0004__GUARD,R_0038_0006__SAFETY,R_0038_0009__HIM,R_0038_0011__HER,R_0038_0010__OR,R_0038_0013__SAFELY,R_0038_0019__THE_R_0038_0020__ROAD,R_0038_0016__THE_R_0038_0017__SIDE,R_0038_0014__GET_R_0038_0015__TO,Z_0038_5002,R_0038_0008__ALLOW,R_0038_0023__AHEAD,R_0038_0022__DRIVING,R_0038_0021__BEFORE] :
      ( r_0038_0002__the_r_0038_0003__crossing_r_0038_0004__guard(R_0038_0002__THE_R_0038_0003__CROSSING_R_0038_0004__GUARD)
      & r_0038_0009__him(R_0038_0009__HIM)
      & r_0038_0011__her(R_0038_0011__HER)
      & r_0038_0013__safely(R_0038_0013__SAFELY)
      & r_0038_0019__the_r_0038_0020__road(R_0038_0019__THE_R_0038_0020__ROAD)
      & r_0038_0023__ahead(R_0038_0023__AHEAD)
      & z_0038_5002(Z_0038_5002)
      & r_0038_0021__before(R_0038_0021__BEFORE)
      & has_conj1(R_0038_0021__BEFORE,R_0038_0022__DRIVING)
      & r_0038_0022__driving(R_0038_0022__DRIVING)
      & has_arg0(R_0038_0022__DRIVING,Z_0038_5002)
      & has_nim(R_0038_0022__DRIVING,R_0038_0023__AHEAD)
      & has_conj2(R_0038_0021__BEFORE,R_0038_0008__ALLOW)
      & r_0038_0008__allow(R_0038_0008__ALLOW)
      & has_arg0(R_0038_0008__ALLOW,Z_0038_5002)
      & has_arg1(R_0038_0008__ALLOW,R_0038_0014__GET_R_0038_0015__TO)
      & r_0038_0014__get_r_0038_0015__to(R_0038_0014__GET_R_0038_0015__TO)
      & has_arg1(R_0038_0014__GET_R_0038_0015__TO,R_0038_0016__THE_R_0038_0017__SIDE)
      & r_0038_0016__the_r_0038_0017__side(R_0038_0016__THE_R_0038_0017__SIDE)
      & has_r_0038_0018__of(R_0038_0016__THE_R_0038_0017__SIDE,R_0038_0019__THE_R_0038_0020__ROAD)
      & has_nim(R_0038_0014__GET_R_0038_0015__TO,R_0038_0013__SAFELY)
      & has_arg0(R_0038_0014__GET_R_0038_0015__TO,R_0038_0010__OR)
      & r_0038_0010__or(R_0038_0010__OR)
      & has_conj2(R_0038_0010__OR,R_0038_0011__HER)
      & has_conj1(R_0038_0010__OR,R_0038_0009__HIM)
      & has_r_0038_0001__For__nim(R_0038_0008__ALLOW,R_0038_0006__SAFETY)
      & r_0038_0006__safety(R_0038_0006__SAFETY)
      & has_gen(R_0038_0006__SAFETY,R_0038_0002__THE_R_0038_0003__CROSSING_R_0038_0004__GUARD) ) ).