Context                Previous, Next                Top


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.

%3 r_0038_0006__safety safety r_0038_0002__the_r_0038_0003__crossing_r_0038_0004__guard_r_0038_0005___apos_s the crossing guard 's r_0038_0006__safety->r_0038_0002__the_r_0038_0003__crossing_r_0038_0004__guard_r_0038_0005___apos_s [gen] r_0038_0008__allow allow r_0038_0008__allow->r_0038_0006__safety For [nim] r_0038_0012__to_r_0038_0014__get to get r_0038_0008__allow->r_0038_0012__to_r_0038_0014__get [arg1] z_000_38_a_driver_handbook_1 r_0038_0008__allow->z_000_38_a_driver_handbook_1 [arg0] r_0038_0010__or or r_0038_0012__to_r_0038_0014__get->r_0038_0010__or [arg0] r_0038_0013__safely safely r_0038_0012__to_r_0038_0014__get->r_0038_0013__safely [nim] r_0038_0016__the_r_0038_0017__side the side r_0038_0012__to_r_0038_0014__get->r_0038_0016__the_r_0038_0017__side to [clr] r_0038_0010__or->r_0038_0002__the_r_0038_0003__crossing_r_0038_0004__guard_r_0038_0005___apos_s [conj1] r_0038_0010__or->r_0038_0002__the_r_0038_0003__crossing_r_0038_0004__guard_r_0038_0005___apos_s [conj2] r_0038_0019__the_r_0038_0020__road the road r_0038_0016__the_r_0038_0017__side->r_0038_0019__the_r_0038_0020__road of r_0038_0021__before before r_0038_0021__before->r_0038_0008__allow [scope] r_0038_0022__driving driving r_0038_0021__before->r_0038_0022__driving [restriction] r_0038_0022__driving->z_000_38_a_driver_handbook_1 [arg0] r_0038_0023__ahead ahead r_0038_0022__driving->r_0038_0023__ahead [nim] 
arc(r_0038_0006__safety, r_0038_0002__the_r_0038_0003__crossing_r_0038_0004__guard_r_0038_0005___apos_s, gen).
arc(r_0038_0008__allow, r_0038_0006__safety, r_0038_0001__For_nim5).
arc(r_0038_0008__allow, r_0038_0012__to_r_0038_0014__get, arg1).
arc(r_0038_0008__allow, z_000_38_a_driver_handbook_1, arg0).
arc(r_0038_0010__or, r_0038_0002__the_r_0038_0003__crossing_r_0038_0004__guard_r_0038_0005___apos_s, conj1).
arc(r_0038_0010__or, r_0038_0002__the_r_0038_0003__crossing_r_0038_0004__guard_r_0038_0005___apos_s, conj2).
arc(r_0038_0012__to_r_0038_0014__get, r_0038_0010__or, arg0).
arc(r_0038_0012__to_r_0038_0014__get, r_0038_0013__safely, nim35).
arc(r_0038_0012__to_r_0038_0014__get, r_0038_0016__the_r_0038_0017__side, r_0038_0015__to_clr43).
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, nim62).
arc(r_0038_0022__driving, z_000_38_a_driver_handbook_1, arg0).


%3 r_0038_0022__driving driving z_000_38_a_driver_handbook_1 r_0038_0022__driving->z_000_38_a_driver_handbook_1 [arg0] r_0038_0023__ahead ahead r_0038_0022__driving->r_0038_0023__ahead [nim] r_0038_0021__before before r_0038_0021__before->r_0038_0022__driving [conj1] r_0038_0008__allow allow r_0038_0021__before->r_0038_0008__allow [conj2] r_0038_0008__allow->z_000_38_a_driver_handbook_1 [arg0] r_0038_0012__to_r_0038_0014__get to get r_0038_0008__allow->r_0038_0012__to_r_0038_0014__get [arg1] r_0038_0006__safety safety r_0038_0008__allow->r_0038_0006__safety For [nim] r_0038_0016__the_r_0038_0017__side the side r_0038_0019__the_r_0038_0020__road the road r_0038_0016__the_r_0038_0017__side->r_0038_0019__the_r_0038_0020__road of r_0038_0012__to_r_0038_0014__get->r_0038_0016__the_r_0038_0017__side to [clr] r_0038_0013__safely safely r_0038_0012__to_r_0038_0014__get->r_0038_0013__safely [nim] r_0038_0010__or or r_0038_0012__to_r_0038_0014__get->r_0038_0010__or [arg0] r_0038_0002__the_r_0038_0003__crossing_r_0038_0004__guard_r_0038_0005___apos_s the crossing guard 's r_0038_0010__or->r_0038_0002__the_r_0038_0003__crossing_r_0038_0004__guard_r_0038_0005___apos_s [conj2] r_0038_0010__or->r_0038_0002__the_r_0038_0003__crossing_r_0038_0004__guard_r_0038_0005___apos_s [conj1] r_0038_0006__safety->r_0038_0002__the_r_0038_0003__crossing_r_0038_0004__guard_r_0038_0005___apos_s [gen] 
fof(formula,axiom,
    ? [R_38_21_BEFORE,R_38_22_DRIVING,R_38_23_AHEAD,R_38_8_ALLOW,Z_38_A_DRIVER_HANDBOOK_1,R_38_12_TO_GET,R_38_10_OR,R_38_13_SAFELY,R_38_16_THE_SIDE,R_38_19_THE_ROAD,R_38_6_SAFETY,R_38_2_THE_CROSSING_GUARD_APOS_S] :
      ( ahead(R_38_23_AHEAD)
      & safely(R_38_13_SAFELY)
      & the_road(R_38_19_THE_ROAD)
      & the_crossing_guard_apos_s(R_38_2_THE_CROSSING_GUARD_APOS_S)
      & before(R_38_21_BEFORE)
      & conj1(R_38_21_BEFORE,R_38_22_DRIVING)
      & driving(R_38_22_DRIVING,Z_38_A_DRIVER_HANDBOOK_1)
      & nim62(R_38_22_DRIVING,R_38_23_AHEAD)
      & conj2(R_38_21_BEFORE,R_38_8_ALLOW)
      & allow(R_38_8_ALLOW,Z_38_A_DRIVER_HANDBOOK_1,R_38_12_TO_GET)
      & to_get(R_38_12_TO_GET,R_38_10_OR)
      & or(R_38_10_OR)
      & conj1(R_38_10_OR,R_38_2_THE_CROSSING_GUARD_APOS_S)
      & conj2(R_38_10_OR,R_38_2_THE_CROSSING_GUARD_APOS_S)
      & nim35(R_38_12_TO_GET,R_38_13_SAFELY)
      & to_clr43(R_38_12_TO_GET,R_38_16_THE_SIDE)
      & the_side(R_38_16_THE_SIDE)
      & of(R_38_16_THE_SIDE,R_38_19_THE_ROAD)
      & for_nim5(R_38_8_ALLOW,R_38_6_SAFETY)
      & safety(R_38_6_SAFETY)
      & gen(R_38_6_SAFETY,R_38_2_THE_CROSSING_GUARD_APOS_S) ) ).


n38_a_driver_handbook n38_a_driver_handbook__1_1_1_1 For n38_a_driver_handbook__1_1_2_1_1_1 the n38_a_driver_handbook__1_1_2_1_2_1 crossing n38_a_driver_handbook__1_1_2_1_3_1 guard n38_a_driver_handbook__1_1_2_1_4_1 's n38_a_driver_handbook__1_1_2_2_1 safety n38_a_driver_handbook__1_2_1 , n38_a_driver_handbook__1_3_1 allow n38_a_driver_handbook__1_4_1_1_1_1 him n38_a_driver_handbook__1_4_1_2_1_1 or n38_a_driver_handbook__1_4_1_2_2_1_1 her n38_a_driver_handbook__1_5_1_1 to n38_a_driver_handbook__1_5_2_1_1 safely n38_a_driver_handbook__1_5_3_1 get n38_a_driver_handbook__1_5_4_1_1 to n38_a_driver_handbook__1_5_4_2_1_1 the n38_a_driver_handbook__1_5_4_2_2_1 side n38_a_driver_handbook__1_5_4_2_3_1_1 of n38_a_driver_handbook__1_5_4_2_3_2_1_1 the n38_a_driver_handbook__1_5_4_2_3_2_2_1 road n38_a_driver_handbook__1_6_1_1 before n38_a_driver_handbook__1_6_2_1_1 driving n38_a_driver_handbook__1_6_2_2_1_1 ahead n38_a_driver_handbook__1_7_1 . n38_a_driver_handbook__1 IP-IMP n38_a_driver_handbook__1_1 PP-TPC-NIM n38_a_driver_handbook__1->n38_a_driver_handbook__1_1 n38_a_driver_handbook__1_2 PUNC n38_a_driver_handbook__1->n38_a_driver_handbook__1_2 n38_a_driver_handbook__1_3 VB;_Tnt_ n38_a_driver_handbook__1->n38_a_driver_handbook__1_3 n38_a_driver_handbook__1_4 NP-DOB1 n38_a_driver_handbook__1->n38_a_driver_handbook__1_4 n38_a_driver_handbook__1_5 IP-INF-OB1 n38_a_driver_handbook__1->n38_a_driver_handbook__1_5 n38_a_driver_handbook__1_6 PP-SCON n38_a_driver_handbook__1->n38_a_driver_handbook__1_6 n38_a_driver_handbook__1_7 PUNC n38_a_driver_handbook__1->n38_a_driver_handbook__1_7 n38_a_driver_handbook__1_1_1 P-ROLE n38_a_driver_handbook__1_1->n38_a_driver_handbook__1_1_1 n38_a_driver_handbook__1_1_2 NP n38_a_driver_handbook__1_1->n38_a_driver_handbook__1_1_2 n38_a_driver_handbook__1_1_1->n38_a_driver_handbook__1_1_1_1 n38_a_driver_handbook__1_1_2_1 NP-GEN n38_a_driver_handbook__1_1_2->n38_a_driver_handbook__1_1_2_1 n38_a_driver_handbook__1_1_2_2 N n38_a_driver_handbook__1_1_2->n38_a_driver_handbook__1_1_2_2 n38_a_driver_handbook__1_1_2_1_1 D n38_a_driver_handbook__1_1_2_1->n38_a_driver_handbook__1_1_2_1_1 n38_a_driver_handbook__1_1_2_1_2 N n38_a_driver_handbook__1_1_2_1->n38_a_driver_handbook__1_1_2_1_2 n38_a_driver_handbook__1_1_2_1_3 NS n38_a_driver_handbook__1_1_2_1->n38_a_driver_handbook__1_1_2_1_3 n38_a_driver_handbook__1_1_2_1_4 GENM n38_a_driver_handbook__1_1_2_1->n38_a_driver_handbook__1_1_2_1_4 n38_a_driver_handbook__1_1_2_1_1->n38_a_driver_handbook__1_1_2_1_1_1 n38_a_driver_handbook__1_1_2_1_2->n38_a_driver_handbook__1_1_2_1_2_1 n38_a_driver_handbook__1_1_2_1_3->n38_a_driver_handbook__1_1_2_1_3_1 n38_a_driver_handbook__1_1_2_1_4->n38_a_driver_handbook__1_1_2_1_4_1 n38_a_driver_handbook__1_1_2_2->n38_a_driver_handbook__1_1_2_2_1 n38_a_driver_handbook__1_2->n38_a_driver_handbook__1_2_1 n38_a_driver_handbook__1_3->n38_a_driver_handbook__1_3_1 n38_a_driver_handbook__1_4_1 NLYR n38_a_driver_handbook__1_4->n38_a_driver_handbook__1_4_1 n38_a_driver_handbook__1_4_1_1 NLYR n38_a_driver_handbook__1_4_1->n38_a_driver_handbook__1_4_1_1 n38_a_driver_handbook__1_4_1_2 CONJP n38_a_driver_handbook__1_4_1->n38_a_driver_handbook__1_4_1_2 n38_a_driver_handbook__1_4_1_1_1 PRO n38_a_driver_handbook__1_4_1_1->n38_a_driver_handbook__1_4_1_1_1 n38_a_driver_handbook__1_4_1_1_1->n38_a_driver_handbook__1_4_1_1_1_1 n38_a_driver_handbook__1_4_1_2_1 CONJ n38_a_driver_handbook__1_4_1_2->n38_a_driver_handbook__1_4_1_2_1 n38_a_driver_handbook__1_4_1_2_2 NLYR n38_a_driver_handbook__1_4_1_2->n38_a_driver_handbook__1_4_1_2_2 n38_a_driver_handbook__1_4_1_2_1->n38_a_driver_handbook__1_4_1_2_1_1 n38_a_driver_handbook__1_4_1_2_2_1 PRO n38_a_driver_handbook__1_4_1_2_2->n38_a_driver_handbook__1_4_1_2_2_1 n38_a_driver_handbook__1_4_1_2_2_1->n38_a_driver_handbook__1_4_1_2_2_1_1 n38_a_driver_handbook__1_5_1 TO n38_a_driver_handbook__1_5->n38_a_driver_handbook__1_5_1 n38_a_driver_handbook__1_5_2 ADVP-NIM n38_a_driver_handbook__1_5->n38_a_driver_handbook__1_5_2 n38_a_driver_handbook__1_5_3 VB;_Ipr_ n38_a_driver_handbook__1_5->n38_a_driver_handbook__1_5_3 n38_a_driver_handbook__1_5_4 PP-CLR n38_a_driver_handbook__1_5->n38_a_driver_handbook__1_5_4 n38_a_driver_handbook__1_5_1->n38_a_driver_handbook__1_5_1_1 n38_a_driver_handbook__1_5_2_1 ADV n38_a_driver_handbook__1_5_2->n38_a_driver_handbook__1_5_2_1 n38_a_driver_handbook__1_5_2_1->n38_a_driver_handbook__1_5_2_1_1 n38_a_driver_handbook__1_5_3->n38_a_driver_handbook__1_5_3_1 n38_a_driver_handbook__1_5_4_1 P-ROLE n38_a_driver_handbook__1_5_4->n38_a_driver_handbook__1_5_4_1 n38_a_driver_handbook__1_5_4_2 NP n38_a_driver_handbook__1_5_4->n38_a_driver_handbook__1_5_4_2 n38_a_driver_handbook__1_5_4_1->n38_a_driver_handbook__1_5_4_1_1 n38_a_driver_handbook__1_5_4_2_1 D n38_a_driver_handbook__1_5_4_2->n38_a_driver_handbook__1_5_4_2_1 n38_a_driver_handbook__1_5_4_2_2 N n38_a_driver_handbook__1_5_4_2->n38_a_driver_handbook__1_5_4_2_2 n38_a_driver_handbook__1_5_4_2_3 PP n38_a_driver_handbook__1_5_4_2->n38_a_driver_handbook__1_5_4_2_3 n38_a_driver_handbook__1_5_4_2_1->n38_a_driver_handbook__1_5_4_2_1_1 n38_a_driver_handbook__1_5_4_2_2->n38_a_driver_handbook__1_5_4_2_2_1 n38_a_driver_handbook__1_5_4_2_3_1 P-ROLE n38_a_driver_handbook__1_5_4_2_3->n38_a_driver_handbook__1_5_4_2_3_1 n38_a_driver_handbook__1_5_4_2_3_2 NP n38_a_driver_handbook__1_5_4_2_3->n38_a_driver_handbook__1_5_4_2_3_2 n38_a_driver_handbook__1_5_4_2_3_1->n38_a_driver_handbook__1_5_4_2_3_1_1 n38_a_driver_handbook__1_5_4_2_3_2_1 D n38_a_driver_handbook__1_5_4_2_3_2->n38_a_driver_handbook__1_5_4_2_3_2_1 n38_a_driver_handbook__1_5_4_2_3_2_2 N n38_a_driver_handbook__1_5_4_2_3_2->n38_a_driver_handbook__1_5_4_2_3_2_2 n38_a_driver_handbook__1_5_4_2_3_2_1->n38_a_driver_handbook__1_5_4_2_3_2_1_1 n38_a_driver_handbook__1_5_4_2_3_2_2->n38_a_driver_handbook__1_5_4_2_3_2_2_1 n38_a_driver_handbook__1_6_1 P-CONN n38_a_driver_handbook__1_6->n38_a_driver_handbook__1_6_1 n38_a_driver_handbook__1_6_2 IP-PPL2 n38_a_driver_handbook__1_6->n38_a_driver_handbook__1_6_2 n38_a_driver_handbook__1_6_1->n38_a_driver_handbook__1_6_1_1 n38_a_driver_handbook__1_6_2_1 VAG;_I_ n38_a_driver_handbook__1_6_2->n38_a_driver_handbook__1_6_2_1 n38_a_driver_handbook__1_6_2_2 ADVP-NIM n38_a_driver_handbook__1_6_2->n38_a_driver_handbook__1_6_2_2 n38_a_driver_handbook__1_6_2_1->n38_a_driver_handbook__1_6_2_1_1 n38_a_driver_handbook__1_6_2_2_1 ADV n38_a_driver_handbook__1_6_2_2->n38_a_driver_handbook__1_6_2_2_1 n38_a_driver_handbook__1_6_2_2_1->n38_a_driver_handbook__1_6_2_2_1_1 n38_a_driver_handbook__1_7->n38_a_driver_handbook__1_7_1 
( (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))