Context                Previous, Next                Top


31_a_driver_handbook
Also, if the school grounds have no fence and children are outside, never drive faster than 25 mph.

%3 r_0031_0003__if if r_0031_0010__and and r_0031_0003__if->r_0031_0010__and [restriction] r_0031_0016__drive drive r_0031_0003__if->r_0031_0016__drive [scope] r_0031_0008__no_quant no [quant] r_0031_0010__and->r_0031_0008__no_quant [conj1] r_0031_0012__are are r_0031_0010__and->r_0031_0012__are [conj2] r_0031_0001__Also Also r_0031_0016__drive->r_0031_0001__Also [nim] r_0031_0015__never never r_0031_0016__drive->r_0031_0015__never [nim] r_0031_0017__faster faster r_0031_0016__drive->r_0031_0017__faster [nim] z_000_31_a_driver_handbook_1 r_0031_0016__drive->z_000_31_a_driver_handbook_1 [arg0] r_0031_0007__have have r_0031_0004__the_r_0031_0005__school_r_0031_0006__grounds the school grounds r_0031_0007__have->r_0031_0004__the_r_0031_0005__school_r_0031_0006__grounds [arg0] r_0031_0009__fence fence r_0031_0007__have->r_0031_0009__fence [arg1] r_0031_0008__no_quant->r_0031_0007__have [scope] r_0031_0008__no_quant->r_0031_0009__fence [restriction] r_0031_0011__children children r_0031_0012__are->r_0031_0011__children [arg0] r_0031_0013__outside outside r_0031_0012__are->r_0031_0013__outside [clr] r_0031_0019__25_r_0031_0020__mph 25 mph r_0031_0017__faster->r_0031_0019__25_r_0031_0020__mph than 
arc(r_0031_0003__if, r_0031_0010__and, restriction).
arc(r_0031_0003__if, r_0031_0016__drive, scope).
arc(r_0031_0007__have, r_0031_0004__the_r_0031_0005__school_r_0031_0006__grounds, arg0).
arc(r_0031_0007__have, r_0031_0009__fence, arg1).
arc(r_0031_0008__no_quant, r_0031_0007__have, scope).
arc(r_0031_0008__no_quant, r_0031_0009__fence, restriction).
arc(r_0031_0010__and, r_0031_0008__no_quant, conj1).
arc(r_0031_0010__and, r_0031_0012__are, conj2).
arc(r_0031_0012__are, r_0031_0011__children, arg0).
arc(r_0031_0012__are, r_0031_0013__outside, clr36).
arc(r_0031_0016__drive, r_0031_0001__Also, nim2).
arc(r_0031_0016__drive, r_0031_0015__never, nim41).
arc(r_0031_0016__drive, r_0031_0017__faster, nim46).
arc(r_0031_0016__drive, z_000_31_a_driver_handbook_1, arg0).
arc(r_0031_0017__faster, r_0031_0019__25_r_0031_0020__mph, r_0031_0018__than).


%3 r_0031_0003__if if r_0031_0010__and and r_0031_0003__if->r_0031_0010__and [restriction] r_0031_0016__drive drive r_0031_0003__if->r_0031_0016__drive [scope] r_0031_0008__no_quant no [quant] r_0031_0010__and->r_0031_0008__no_quant [conj1] r_0031_0012__are are r_0031_0010__and->r_0031_0012__are [conj2] r_0031_0001__Also Also r_0031_0016__drive->r_0031_0001__Also [nim] r_0031_0015__never never r_0031_0016__drive->r_0031_0015__never [nim] r_0031_0017__faster faster r_0031_0016__drive->r_0031_0017__faster [nim] z_000_31_a_driver_handbook_1 r_0031_0016__drive->z_000_31_a_driver_handbook_1 [arg0] r_0031_0007__have have r_0031_0004__the_r_0031_0005__school_r_0031_0006__grounds the school grounds r_0031_0007__have->r_0031_0004__the_r_0031_0005__school_r_0031_0006__grounds [arg0] r_0031_0009__fence fence r_0031_0007__have->r_0031_0009__fence [arg1] r_0031_0008__no_quant->r_0031_0007__have [scope] r_0031_0008__no_quant->r_0031_0009__fence [restriction] r_0031_0011__children children r_0031_0012__are->r_0031_0011__children [arg0] r_0031_0013__outside outside r_0031_0012__are->r_0031_0013__outside [clr] r_0031_0019__25_r_0031_0020__mph 25 mph r_0031_0017__faster->r_0031_0019__25_r_0031_0020__mph than 
fof(formula,axiom,
    ! [R_31_10_AND,R_31_12_ARE,R_31_11_CHILDREN,R_31_13_OUTSIDE] :
      ( ( children(R_31_11_CHILDREN)
        & outside(R_31_13_OUTSIDE)
        & ! [R_31_9_FENCE] :
            ( fence(R_31_9_FENCE)
           => ? [R_31_7_HAVE,R_31_4_THE_SCHOOL_GROUNDS] :
                ( the_school_grounds(R_31_4_THE_SCHOOL_GROUNDS)
                & have(R_31_7_HAVE,R_31_4_THE_SCHOOL_GROUNDS,R_31_9_FENCE) ) )
        & conj1(CONJ1)
        & and(R_31_10_AND)
        & conj2(R_31_10_AND,R_31_12_ARE)
        & are(R_31_12_ARE,R_31_11_CHILDREN)
        & clr36(R_31_12_ARE,R_31_13_OUTSIDE) )
     => ? [R_31_16_DRIVE,Z_31_A_DRIVER_HANDBOOK_1,R_31_1_ALSO,R_31_15_NEVER,R_31_17_FASTER,R_31_19_25_MPH] :
          ( also(R_31_1_ALSO)
          & never(R_31_15_NEVER)
          & 25_mph(R_31_19_25_MPH)
          & drive(R_31_16_DRIVE,Z_31_A_DRIVER_HANDBOOK_1)
          & nim2(R_31_16_DRIVE,R_31_1_ALSO)
          & nim41(R_31_16_DRIVE,R_31_15_NEVER)
          & nim46(R_31_16_DRIVE,R_31_17_FASTER)
          & faster(R_31_17_FASTER)
          & than(R_31_17_FASTER,R_31_19_25_MPH) ) ) ).


n31_a_driver_handbook n31_a_driver_handbook_4 Also n31_a_driver_handbook_6 , n31_a_driver_handbook_9 if n31_a_driver_handbook_15 the n31_a_driver_handbook_17 school n31_a_driver_handbook_19 grounds n31_a_driver_handbook_21 have n31_a_driver_handbook_24 no n31_a_driver_handbook_26 fence n31_a_driver_handbook_29 and n31_a_driver_handbook_33 children n31_a_driver_handbook_35 are n31_a_driver_handbook_38 outside n31_a_driver_handbook_40 , n31_a_driver_handbook_43 never n31_a_driver_handbook_45 drive n31_a_driver_handbook_48 faster n31_a_driver_handbook_51 than n31_a_driver_handbook_54 25 n31_a_driver_handbook_56 mph n31_a_driver_handbook_58 . n31_a_driver_handbook_1 IP-IMP n31_a_driver_handbook_2 ADVP-NIM n31_a_driver_handbook_1->n31_a_driver_handbook_2 n31_a_driver_handbook_5 PUNC n31_a_driver_handbook_1->n31_a_driver_handbook_5 n31_a_driver_handbook_7 PP-SCON n31_a_driver_handbook_1->n31_a_driver_handbook_7 n31_a_driver_handbook_39 PUNC n31_a_driver_handbook_1->n31_a_driver_handbook_39 n31_a_driver_handbook_41 ADVP-NIM n31_a_driver_handbook_1->n31_a_driver_handbook_41 n31_a_driver_handbook_44 VB;_I_ n31_a_driver_handbook_1->n31_a_driver_handbook_44 n31_a_driver_handbook_46 ADVP-NIM n31_a_driver_handbook_1->n31_a_driver_handbook_46 n31_a_driver_handbook_57 PUNC n31_a_driver_handbook_1->n31_a_driver_handbook_57 n31_a_driver_handbook_3 ADV n31_a_driver_handbook_2->n31_a_driver_handbook_3 n31_a_driver_handbook_3->n31_a_driver_handbook_4 n31_a_driver_handbook_5->n31_a_driver_handbook_6 n31_a_driver_handbook_8 P-CONN n31_a_driver_handbook_7->n31_a_driver_handbook_8 n31_a_driver_handbook_10 IP-ADV n31_a_driver_handbook_7->n31_a_driver_handbook_10 n31_a_driver_handbook_8->n31_a_driver_handbook_9 n31_a_driver_handbook_11 ILYR n31_a_driver_handbook_10->n31_a_driver_handbook_11 n31_a_driver_handbook_12 ILYR n31_a_driver_handbook_11->n31_a_driver_handbook_12 n31_a_driver_handbook_27 CONJP n31_a_driver_handbook_11->n31_a_driver_handbook_27 n31_a_driver_handbook_13 NP-SBJ n31_a_driver_handbook_12->n31_a_driver_handbook_13 n31_a_driver_handbook_20 HVP;_Tn_ n31_a_driver_handbook_12->n31_a_driver_handbook_20 n31_a_driver_handbook_22 NP-OB1 n31_a_driver_handbook_12->n31_a_driver_handbook_22 n31_a_driver_handbook_14 D n31_a_driver_handbook_13->n31_a_driver_handbook_14 n31_a_driver_handbook_16 N n31_a_driver_handbook_13->n31_a_driver_handbook_16 n31_a_driver_handbook_18 NS n31_a_driver_handbook_13->n31_a_driver_handbook_18 n31_a_driver_handbook_14->n31_a_driver_handbook_15 n31_a_driver_handbook_16->n31_a_driver_handbook_17 n31_a_driver_handbook_18->n31_a_driver_handbook_19 n31_a_driver_handbook_20->n31_a_driver_handbook_21 n31_a_driver_handbook_23 Q n31_a_driver_handbook_22->n31_a_driver_handbook_23 n31_a_driver_handbook_25 N n31_a_driver_handbook_22->n31_a_driver_handbook_25 n31_a_driver_handbook_23->n31_a_driver_handbook_24 n31_a_driver_handbook_25->n31_a_driver_handbook_26 n31_a_driver_handbook_28 CONJ n31_a_driver_handbook_27->n31_a_driver_handbook_28 n31_a_driver_handbook_30 ILYR n31_a_driver_handbook_27->n31_a_driver_handbook_30 n31_a_driver_handbook_28->n31_a_driver_handbook_29 n31_a_driver_handbook_31 NP-SBJ n31_a_driver_handbook_30->n31_a_driver_handbook_31 n31_a_driver_handbook_34 BEP;_Ip_ n31_a_driver_handbook_30->n31_a_driver_handbook_34 n31_a_driver_handbook_36 ADVP-CLR n31_a_driver_handbook_30->n31_a_driver_handbook_36 n31_a_driver_handbook_32 NS n31_a_driver_handbook_31->n31_a_driver_handbook_32 n31_a_driver_handbook_32->n31_a_driver_handbook_33 n31_a_driver_handbook_34->n31_a_driver_handbook_35 n31_a_driver_handbook_37 ADV n31_a_driver_handbook_36->n31_a_driver_handbook_37 n31_a_driver_handbook_37->n31_a_driver_handbook_38 n31_a_driver_handbook_39->n31_a_driver_handbook_40 n31_a_driver_handbook_42 ADV n31_a_driver_handbook_41->n31_a_driver_handbook_42 n31_a_driver_handbook_42->n31_a_driver_handbook_43 n31_a_driver_handbook_44->n31_a_driver_handbook_45 n31_a_driver_handbook_47 ADVR n31_a_driver_handbook_46->n31_a_driver_handbook_47 n31_a_driver_handbook_49 PP n31_a_driver_handbook_46->n31_a_driver_handbook_49 n31_a_driver_handbook_47->n31_a_driver_handbook_48 n31_a_driver_handbook_50 P-ROLE n31_a_driver_handbook_49->n31_a_driver_handbook_50 n31_a_driver_handbook_52 NP n31_a_driver_handbook_49->n31_a_driver_handbook_52 n31_a_driver_handbook_50->n31_a_driver_handbook_51 n31_a_driver_handbook_53 NUM n31_a_driver_handbook_52->n31_a_driver_handbook_53 n31_a_driver_handbook_55 N n31_a_driver_handbook_52->n31_a_driver_handbook_55 n31_a_driver_handbook_53->n31_a_driver_handbook_54 n31_a_driver_handbook_55->n31_a_driver_handbook_56 n31_a_driver_handbook_57->n31_a_driver_handbook_58 
( (IP-IMP (ADVP-NIM (ADV Also;{also}))
          (PUNC ,)
          (PP-SCON (P-CONN if;{if})
                   (IP-ADV (ILYR (ILYR (NP-SBJ (D the;{the})
                                               (N school;{school})
                                               (NS grounds;{ground}))
                                       (HVP;_Tn_ have;{have})
                                       (NP-OB1 (Q no;{no})
                                               (N fence;{fence})))
                                 (CONJP (CONJ and;{and})
                                        (ILYR (NP-SBJ (NS children;{child}))
                                              (BEP;_Ip_ are;{be})
                                              (ADVP-CLR (ADV outside;{outside})))))))
          (PUNC ,)
          (ADVP-NIM (ADV never;{never}))
          (VB;_I_ drive;{drive})
          (ADVP-NIM (ADVR faster;{fast})
                    (PP (P-ROLE than;{than})
                        (NP (NUM 25)
                            (N mph;{mph}))))
          (PUNC .))
  (ID 31_a_driver_handbook))