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_0017__faster faster r_0031_0019__25_r_0031_0020__mph 25 mph r_0031_0017__faster->r_0031_0019__25_r_0031_0020__mph than r_0031_0016__drive drive 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_0015__never never r_0031_0016__drive->r_0031_0015__never [nim] r_0031_0001__Also Also r_0031_0016__drive->r_0031_0001__Also [nim] r_0031_0012__are are r_0031_0013__outside outside r_0031_0012__are->r_0031_0013__outside [clr] r_0031_0011__children children r_0031_0012__are->r_0031_0011__children [arg0] r_0031_0010__and and r_0031_0010__and->r_0031_0012__are [conj2] r_0031_0008__no_quant no [quant] r_0031_0010__and->r_0031_0008__no_quant [conj1] r_0031_0009__fence fence r_0031_0008__no_quant->r_0031_0009__fence [restriction] r_0031_0007__have have r_0031_0008__no_quant->r_0031_0007__have [scope] r_0031_0007__have->r_0031_0009__fence [arg1] 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_0003__if if r_0031_0003__if->r_0031_0016__drive [scope] r_0031_0003__if->r_0031_0010__and [restriction] 
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__1_1_1_1 Also n31_a_driver_handbook__1_2_1 , n31_a_driver_handbook__1_3_1_1 if n31_a_driver_handbook__1_3_2_1_1_1_1_1 the n31_a_driver_handbook__1_3_2_1_1_1_2_1 school n31_a_driver_handbook__1_3_2_1_1_1_3_1 grounds n31_a_driver_handbook__1_3_2_1_1_2_1 have n31_a_driver_handbook__1_3_2_1_1_3_1_1 no n31_a_driver_handbook__1_3_2_1_1_3_2_1 fence n31_a_driver_handbook__1_3_2_1_2_1_1 and n31_a_driver_handbook__1_3_2_1_2_2_1_1_1 children n31_a_driver_handbook__1_3_2_1_2_2_2_1 are n31_a_driver_handbook__1_3_2_1_2_2_3_1_1 outside n31_a_driver_handbook__1_4_1 , n31_a_driver_handbook__1_5_1_1 never n31_a_driver_handbook__1_6_1 drive n31_a_driver_handbook__1_7_1_1 faster n31_a_driver_handbook__1_7_2_1_1 than n31_a_driver_handbook__1_7_2_2_1_1 25 n31_a_driver_handbook__1_7_2_2_2_1 mph n31_a_driver_handbook__1_8_1 . n31_a_driver_handbook__1 IP-IMP n31_a_driver_handbook__1_1 ADVP-NIM n31_a_driver_handbook__1->n31_a_driver_handbook__1_1 n31_a_driver_handbook__1_2 PUNC n31_a_driver_handbook__1->n31_a_driver_handbook__1_2 n31_a_driver_handbook__1_3 PP-SCON n31_a_driver_handbook__1->n31_a_driver_handbook__1_3 n31_a_driver_handbook__1_4 PUNC n31_a_driver_handbook__1->n31_a_driver_handbook__1_4 n31_a_driver_handbook__1_5 ADVP-NIM n31_a_driver_handbook__1->n31_a_driver_handbook__1_5 n31_a_driver_handbook__1_6 VB;_I_ n31_a_driver_handbook__1->n31_a_driver_handbook__1_6 n31_a_driver_handbook__1_7 ADVP-NIM n31_a_driver_handbook__1->n31_a_driver_handbook__1_7 n31_a_driver_handbook__1_8 PUNC n31_a_driver_handbook__1->n31_a_driver_handbook__1_8 n31_a_driver_handbook__1_1_1 ADV n31_a_driver_handbook__1_1->n31_a_driver_handbook__1_1_1 n31_a_driver_handbook__1_1_1->n31_a_driver_handbook__1_1_1_1 n31_a_driver_handbook__1_2->n31_a_driver_handbook__1_2_1 n31_a_driver_handbook__1_3_1 P-CONN n31_a_driver_handbook__1_3->n31_a_driver_handbook__1_3_1 n31_a_driver_handbook__1_3_2 IP-ADV n31_a_driver_handbook__1_3->n31_a_driver_handbook__1_3_2 n31_a_driver_handbook__1_3_1->n31_a_driver_handbook__1_3_1_1 n31_a_driver_handbook__1_3_2_1 ILYR n31_a_driver_handbook__1_3_2->n31_a_driver_handbook__1_3_2_1 n31_a_driver_handbook__1_3_2_1_1 ILYR n31_a_driver_handbook__1_3_2_1->n31_a_driver_handbook__1_3_2_1_1 n31_a_driver_handbook__1_3_2_1_2 CONJP n31_a_driver_handbook__1_3_2_1->n31_a_driver_handbook__1_3_2_1_2 n31_a_driver_handbook__1_3_2_1_1_1 NP-SBJ n31_a_driver_handbook__1_3_2_1_1->n31_a_driver_handbook__1_3_2_1_1_1 n31_a_driver_handbook__1_3_2_1_1_2 HVP;_Tn_ n31_a_driver_handbook__1_3_2_1_1->n31_a_driver_handbook__1_3_2_1_1_2 n31_a_driver_handbook__1_3_2_1_1_3 NP-OB1 n31_a_driver_handbook__1_3_2_1_1->n31_a_driver_handbook__1_3_2_1_1_3 n31_a_driver_handbook__1_3_2_1_1_1_1 D n31_a_driver_handbook__1_3_2_1_1_1->n31_a_driver_handbook__1_3_2_1_1_1_1 n31_a_driver_handbook__1_3_2_1_1_1_2 N n31_a_driver_handbook__1_3_2_1_1_1->n31_a_driver_handbook__1_3_2_1_1_1_2 n31_a_driver_handbook__1_3_2_1_1_1_3 NS n31_a_driver_handbook__1_3_2_1_1_1->n31_a_driver_handbook__1_3_2_1_1_1_3 n31_a_driver_handbook__1_3_2_1_1_1_1->n31_a_driver_handbook__1_3_2_1_1_1_1_1 n31_a_driver_handbook__1_3_2_1_1_1_2->n31_a_driver_handbook__1_3_2_1_1_1_2_1 n31_a_driver_handbook__1_3_2_1_1_1_3->n31_a_driver_handbook__1_3_2_1_1_1_3_1 n31_a_driver_handbook__1_3_2_1_1_2->n31_a_driver_handbook__1_3_2_1_1_2_1 n31_a_driver_handbook__1_3_2_1_1_3_1 Q n31_a_driver_handbook__1_3_2_1_1_3->n31_a_driver_handbook__1_3_2_1_1_3_1 n31_a_driver_handbook__1_3_2_1_1_3_2 N n31_a_driver_handbook__1_3_2_1_1_3->n31_a_driver_handbook__1_3_2_1_1_3_2 n31_a_driver_handbook__1_3_2_1_1_3_1->n31_a_driver_handbook__1_3_2_1_1_3_1_1 n31_a_driver_handbook__1_3_2_1_1_3_2->n31_a_driver_handbook__1_3_2_1_1_3_2_1 n31_a_driver_handbook__1_3_2_1_2_1 CONJ n31_a_driver_handbook__1_3_2_1_2->n31_a_driver_handbook__1_3_2_1_2_1 n31_a_driver_handbook__1_3_2_1_2_2 ILYR n31_a_driver_handbook__1_3_2_1_2->n31_a_driver_handbook__1_3_2_1_2_2 n31_a_driver_handbook__1_3_2_1_2_1->n31_a_driver_handbook__1_3_2_1_2_1_1 n31_a_driver_handbook__1_3_2_1_2_2_1 NP-SBJ n31_a_driver_handbook__1_3_2_1_2_2->n31_a_driver_handbook__1_3_2_1_2_2_1 n31_a_driver_handbook__1_3_2_1_2_2_2 BEP;_Ip_ n31_a_driver_handbook__1_3_2_1_2_2->n31_a_driver_handbook__1_3_2_1_2_2_2 n31_a_driver_handbook__1_3_2_1_2_2_3 ADVP-CLR n31_a_driver_handbook__1_3_2_1_2_2->n31_a_driver_handbook__1_3_2_1_2_2_3 n31_a_driver_handbook__1_3_2_1_2_2_1_1 NS n31_a_driver_handbook__1_3_2_1_2_2_1->n31_a_driver_handbook__1_3_2_1_2_2_1_1 n31_a_driver_handbook__1_3_2_1_2_2_1_1->n31_a_driver_handbook__1_3_2_1_2_2_1_1_1 n31_a_driver_handbook__1_3_2_1_2_2_2->n31_a_driver_handbook__1_3_2_1_2_2_2_1 n31_a_driver_handbook__1_3_2_1_2_2_3_1 ADV n31_a_driver_handbook__1_3_2_1_2_2_3->n31_a_driver_handbook__1_3_2_1_2_2_3_1 n31_a_driver_handbook__1_3_2_1_2_2_3_1->n31_a_driver_handbook__1_3_2_1_2_2_3_1_1 n31_a_driver_handbook__1_4->n31_a_driver_handbook__1_4_1 n31_a_driver_handbook__1_5_1 ADV n31_a_driver_handbook__1_5->n31_a_driver_handbook__1_5_1 n31_a_driver_handbook__1_5_1->n31_a_driver_handbook__1_5_1_1 n31_a_driver_handbook__1_6->n31_a_driver_handbook__1_6_1 n31_a_driver_handbook__1_7_1 ADVR n31_a_driver_handbook__1_7->n31_a_driver_handbook__1_7_1 n31_a_driver_handbook__1_7_2 PP n31_a_driver_handbook__1_7->n31_a_driver_handbook__1_7_2 n31_a_driver_handbook__1_7_1->n31_a_driver_handbook__1_7_1_1 n31_a_driver_handbook__1_7_2_1 P-ROLE n31_a_driver_handbook__1_7_2->n31_a_driver_handbook__1_7_2_1 n31_a_driver_handbook__1_7_2_2 NP n31_a_driver_handbook__1_7_2->n31_a_driver_handbook__1_7_2_2 n31_a_driver_handbook__1_7_2_1->n31_a_driver_handbook__1_7_2_1_1 n31_a_driver_handbook__1_7_2_2_1 NUM n31_a_driver_handbook__1_7_2_2->n31_a_driver_handbook__1_7_2_2_1 n31_a_driver_handbook__1_7_2_2_2 N n31_a_driver_handbook__1_7_2_2->n31_a_driver_handbook__1_7_2_2_2 n31_a_driver_handbook__1_7_2_2_1->n31_a_driver_handbook__1_7_2_2_1_1 n31_a_driver_handbook__1_7_2_2_2->n31_a_driver_handbook__1_7_2_2_2_1 n31_a_driver_handbook__1_8->n31_a_driver_handbook__1_8_1 
( (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))