TSPC 31_a_driver

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

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

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_r_0031_0013__outside,conj2).
arc(r_0031_0012__are_r_0031_0013__outside,r_0031_0011__children,arg0).
arc(r_0031_0016__drive,r_0031_0001__Also,nim).
arc(r_0031_0016__drive,r_0031_0015__never,nim).
arc(r_0031_0016__drive,r_0031_0017__faster,nim).
arc(r_0031_0016__drive,z_0031_5002,arg0).
arc(r_0031_0017__faster,r_0031_0019__25_r_0031_0020__mph,r_0031_0018__than).

fof(formula,axiom,
    ! [R_0031_0010__AND,R_0031_0011__CHILDREN,R_0031_0012__ARE_R_0031_0013__OUTSIDE] :
      ( ( r_0031_0011__children(R_0031_0011__CHILDREN)
        & r_0031_0010__and(R_0031_0010__AND)
        & has_conj2(R_0031_0010__AND,R_0031_0012__ARE_R_0031_0013__OUTSIDE)
        & r_0031_0012__are_r_0031_0013__outside(R_0031_0012__ARE_R_0031_0013__OUTSIDE)
        & has_arg0(R_0031_0012__ARE_R_0031_0013__OUTSIDE,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_0031_5002,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_0031_5002(Z_0031_5002)
          & r_0031_0016__drive(R_0031_0016__DRIVE)
          & has_arg0(R_0031_0016__DRIVE,Z_0031_5002)
          & has_nim(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_nim(R_0031_0016__DRIVE,R_0031_0015__NEVER)
          & has_nim(R_0031_0016__DRIVE,R_0031_0001__ALSO) ) ) ).