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_0031_0010__AND,R_0031_0011__CHILDREN,R_0031_0013__OUTSIDE,R_0031_0012__ARE] :
      ( ( r_0031_0011__children(R_0031_0011__CHILDREN)
        & r_0031_0013__outside(R_0031_0013__OUTSIDE)
        & r_0031_0010__and(R_0031_0010__AND)
        & has_conj2(R_0031_0010__AND,R_0031_0012__ARE)
        & r_0031_0012__are(R_0031_0012__ARE)
        & has_clr36(R_0031_0012__ARE,R_0031_0013__OUTSIDE)
        & has_arg0(R_0031_0012__ARE,R_0031_0011__CHILDREN)
        & ! [R_0031_0009__FENCE] :
            ( r_0031_0009__fence(R_0031_0009__FENCE)
           => ? [R_0031_0004__THE_R_0031_0005__SCHOOL_R_0031_0006__GROUNDS,R_0031_0007__HAVE] :
                ( r_0031_0004__the_r_0031_0005__school_r_0031_0006__grounds(R_0031_0004__THE_R_0031_0005__SCHOOL_R_0031_0006__GROUNDS)
                & r_0031_0007__have(R_0031_0007__HAVE)
                & has_arg1(R_0031_0007__HAVE,R_0031_0009__FENCE)
                & has_arg0(R_0031_0007__HAVE,R_0031_0004__THE_R_0031_0005__SCHOOL_R_0031_0006__GROUNDS) ) ) )
     => ? [R_0031_0001__ALSO,R_0031_0015__NEVER,R_0031_0019__25_R_0031_0020__MPH,R_0031_0017__FASTER,Z_000_31_A_DRIVER_HANDBOOK_1,R_0031_0016__DRIVE] :
          ( r_0031_0001__Also(R_0031_0001__ALSO)
          & r_0031_0015__never(R_0031_0015__NEVER)
          & r_0031_0019__25_r_0031_0020__mph(R_0031_0019__25_R_0031_0020__MPH)
          & z_000_31_a_driver_handbook_1(Z_000_31_A_DRIVER_HANDBOOK_1)
          & r_0031_0016__drive(R_0031_0016__DRIVE)
          & has_arg0(R_0031_0016__DRIVE,Z_000_31_A_DRIVER_HANDBOOK_1)
          & has_nim46(R_0031_0016__DRIVE,R_0031_0017__FASTER)
          & r_0031_0017__faster(R_0031_0017__FASTER)
          & has_r_0031_0018__than(R_0031_0017__FASTER,R_0031_0019__25_R_0031_0020__MPH)
          & has_nim41(R_0031_0016__DRIVE,R_0031_0015__NEVER)
          & has_nim2(R_0031_0016__DRIVE,R_0031_0001__ALSO) ) ) ).


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))