TSPC 7_a_driver

7_a_driver_handbook
For example, if you are driving 45 mph in a 55 mph speed zone during a dense fog, you could be cited for driving “too fast for conditions.”

arc(r_0007_0003__if, r_0007_0005__are, restriction).
arc(r_0007_0003__if, r_0007_0021__could, scope).
arc(r_0007_0005__are, r_0007_0006__driving, scope).
arc(r_0007_0006__driving, r_0007_0004__you, arg0).
arc(r_0007_0006__driving, r_0007_0007__45_r_0007_0008__mph, arg1).
arc(r_0007_0006__driving, r_0007_0010__a_r_0007_0011__55_r_0007_0012__mph_r_0007_0013__speed_r_0007_0014__zone, r_0007_0009__in_nim27).
arc(r_0007_0006__driving, r_0007_0016__a_r_0007_0018__fog, r_0007_0015__during_nim41).
arc(r_0007_0016__a_r_0007_0018__fog, r_0007_0017__dense, attrib44).
arc(r_0007_0021__could, r_0007_0001__For_example, nim2).
arc(r_0007_0021__could, r_0007_0022__be, scope).
arc(r_0007_0022__be, r_0007_0023__cited, scope).
arc(r_0007_0023__cited, r_0007_0004__you, arg1).
arc(r_0007_0023__cited, r_0007_0025__driving, r_0007_0024__for_clr67).
arc(r_0007_0023__cited, z_000_7_a_driver_handbook_60, arg0).
arc(r_0007_0025__driving, r_0007_0028__fast, nim72).
arc(r_0007_0025__driving, z_000_7_a_driver_handbook_67, arg0).
arc(r_0007_0028__fast, r_0007_0027__too, qual73).
arc(r_0007_0028__fast, r_0007_0030__conditions, r_0007_0029__for).

fof(formula,axiom,
    ! [R_0007_0005__ARE_R_0007_0006__DRIVING,R_0007_0004__YOU,R_0007_0007__45_R_0007_0008__MPH,R_0007_0010__A_R_0007_0011__55_R_0007_0012__MPH_R_0007_0013__SPEED_R_0007_0014__ZONE,R_0007_0017__DENSE,R_0007_0016__A_R_0007_0018__FOG] :
      ( ( r_0007_0004__you(R_0007_0004__YOU)
        & r_0007_0007__45_r_0007_0008__mph(R_0007_0007__45_R_0007_0008__MPH)
        & r_0007_0010__a_r_0007_0011__55_r_0007_0012__mph_r_0007_0013__speed_r_0007_0014__zone(R_0007_0010__A_R_0007_0011__55_R_0007_0012__MPH_R_0007_0013__SPEED_R_0007_0014__ZONE)
        & r_0007_0017__dense(R_0007_0017__DENSE)
        & r_0007_0005__are_r_0007_0006__driving(R_0007_0005__ARE_R_0007_0006__DRIVING)
        & has_r_0007_0015__during_nim41(R_0007_0005__ARE_R_0007_0006__DRIVING,R_0007_0016__A_R_0007_0018__FOG)
        & r_0007_0016__a_r_0007_0018__fog(R_0007_0016__A_R_0007_0018__FOG)
        & has_attrib44(R_0007_0016__A_R_0007_0018__FOG,R_0007_0017__DENSE)
        & has_r_0007_0009__in_nim27(R_0007_0005__ARE_R_0007_0006__DRIVING,R_0007_0010__A_R_0007_0011__55_R_0007_0012__MPH_R_0007_0013__SPEED_R_0007_0014__ZONE)
        & has_arg1(R_0007_0005__ARE_R_0007_0006__DRIVING,R_0007_0007__45_R_0007_0008__MPH)
        & has_arg0(R_0007_0005__ARE_R_0007_0006__DRIVING,R_0007_0004__YOU) )
     => ? [R_0007_0001__FOR_EXAMPLE,R_0007_0027__TOO,R_0007_0030__CONDITIONS,R_0007_0028__FAST,Z_000_7_A_DRIVER_HANDBOOK_67,R_0007_0025__DRIVING,Z_000_7_A_DRIVER_HANDBOOK_60,R_0007_0021__COULD_R_0007_0022__BE_R_0007_0023__CITED] :
          ( r_0007_0001__For_example(R_0007_0001__FOR_EXAMPLE)
          & r_0007_0027__too(R_0007_0027__TOO)
          & r_0007_0030__conditions(R_0007_0030__CONDITIONS)
          & z_000_7_a_driver_handbook_60(Z_000_7_A_DRIVER_HANDBOOK_60)
          & z_000_7_a_driver_handbook_67(Z_000_7_A_DRIVER_HANDBOOK_67)
          & r_0007_0021__could_r_0007_0022__be_r_0007_0023__cited(R_0007_0021__COULD_R_0007_0022__BE_R_0007_0023__CITED)
          & has_arg0(R_0007_0021__COULD_R_0007_0022__BE_R_0007_0023__CITED,Z_000_7_A_DRIVER_HANDBOOK_60)
          & has_r_0007_0024__for_clr67(R_0007_0021__COULD_R_0007_0022__BE_R_0007_0023__CITED,R_0007_0025__DRIVING)
          & r_0007_0025__driving(R_0007_0025__DRIVING)
          & has_arg0(R_0007_0025__DRIVING,Z_000_7_A_DRIVER_HANDBOOK_67)
          & has_nim72(R_0007_0025__DRIVING,R_0007_0028__FAST)
          & r_0007_0028__fast(R_0007_0028__FAST)
          & has_r_0007_0029__for(R_0007_0028__FAST,R_0007_0030__CONDITIONS)
          & has_qual73(R_0007_0028__FAST,R_0007_0027__TOO)
          & has_arg1(R_0007_0021__COULD_R_0007_0022__BE_R_0007_0023__CITED,R_0007_0004__YOU)
          & has_nim2(R_0007_0021__COULD_R_0007_0022__BE_R_0007_0023__CITED,R_0007_0001__FOR_EXAMPLE) ) ) ).

( (IP-MAT (ADVP-NIM (ADV For_example;{for_example}))
          (PUNC ,)
          (PP-SCON (P-CONN if;{if})
                   (IP-ADV (NP-SBJ (PRO you;{you}))
                           (BEP;_cat_Vg_ are;{be})
                           (IP-PPL-CAT (VAG;_Tn_ driving;{drive})
                                       (NP-OB1 (NUM 45)
                                               (N mph;{mph}))
                                       (PP-NIM (P-ROLE in;{in})
                                               (NP (D a;{a})
                                                   (NUM 55)
                                                   (N mph;{mph})
                                                   (N speed;{speed})
                                                   (N zone;{zone})))
                                       (PP-NIM (P-ROLE during;{during})
                                               (NP (D a;{a})
                                                   (ADJP (ADJ dense;{dense}))
                                                   (N fog;{fog}))))))
          (PUNC ,)
          (NP-SBJ (PRO you;{you}))
          (MD;_cat_Vi_ could;{can})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn.pr_ cited;{cite[for]})
                                  (PP-CLR (P-ROLE for;{for})
                                          (IP-PPL (VAG;_I_ driving;{drive})
                                                  (PULQ <ldquo>)
                                                  (ADVP-NIM (ADVP (ADV too;{too}))
                                                            (ADV fast;{fast})
                                                            (PP (P-ROLE for;{for})
                                                                (NP (NS conditions;{condition}))))))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 7_a_driver_handbook))