TSPC 13_a_driver

13_a_driver_handbook
Unless otherwise posted, the maximum speed limit is 55 mph on two - lane undivided highways and for vehicles towing trailers.

( (IP-MAT (PP-SCON (P-CONN Unless;{unless})
                   (IP-PPL2 (NP-LGS *)
                            (ADVP-NIM (ADV otherwise;{otherwise}))
                            (VVN;_Tn_ posted;{post})))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (ADJP (ADJ maximum;{maximum}))
                  (N speed;{speed})
                  (N limit;{limit}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (NUM 55)
                  (N mph;{mph}))
          (PP-NIM (PP-NIM (P-ROLE on;{on})
                          (NP (NLYR (NUM two;{two})
                                    (PUNC <hyphen>)
                                    (N lane;{lane}))
                              (ADJP (ADJ undivided;{undivided}))
                              (NS highways;{highway})))
                  (CONJP (CONJ and;{and})
                         (PP-NIM (P-ROLE for;{for})
                                 (NP (NS vehicles;{vehicle})
                                     (IP-PPL (VAG;_Tn_ towing;{tow})
                                             (NP-OB1 (NS trailers;{trailer})))))))
          (PUNC .))
  (ID 13_a_driver_handbook))

arc(r_0013_0001__Unless,r_0013_0003__posted,restriction).
arc(r_0013_0001__Unless,r_0013_0009__is,scope).
arc(r_0013_0003__posted,r_0013_0002__otherwise,nim).
arc(r_0013_0003__posted,r_0013_0005__the_r_0013_0007__speed_r_0013_0008__limit,arg1).
arc(r_0013_0003__posted,z_0013_5005___star_,arg0).
arc(r_0013_0005__the_r_0013_0007__speed_r_0013_0008__limit,r_0013_0006__maximum,attrib).
arc(r_0013_0009__is,r_0013_0005__the_r_0013_0007__speed_r_0013_0008__limit,arg0).
arc(r_0013_0009__is,r_0013_0010__55_r_0013_0011__mph,prd).
arc(r_0013_0009__is,r_0013_0018__and,nim).
arc(r_0013_0017__highways,r_0013_0013__two_r_0013_0015__lane,nim).
arc(r_0013_0017__highways,r_0013_0016__undivided,attrib).
arc(r_0013_0018__and,r_0013_0017__highways,r_0013_0012__on__nim).
arc(r_0013_0018__and,r_0013_0020__vehicles,r_0013_0019__for__nim).
arc(r_0013_0021__towing,r_0013_0020__vehicles,inv_arg0).
arc(r_0013_0021__towing,r_0013_0022__trailers,arg1).

fof(formula,axiom,
    ? [R_0013_0002__OTHERWISE,R_0013_0006__MAXIMUM,R_0013_0005__THE_R_0013_0007__SPEED_R_0013_0008__LIMIT,Z_0013_5005___STAR_,R_0013_0003__POSTED,R_0013_0010__55_R_0013_0011__MPH,R_0013_0013__TWO_R_0013_0015__LANE,R_0013_0016__UNDIVIDED,R_0013_0017__HIGHWAYS,R_0013_0022__TRAILERS,R_0013_0021__TOWING,R_0013_0020__VEHICLES,R_0013_0018__AND,R_0013_0009__IS,R_0013_0001__UNLESS] :
      ( r_0013_0002__otherwise(R_0013_0002__OTHERWISE)
      & r_0013_0006__maximum(R_0013_0006__MAXIMUM)
      & r_0013_0010__55_r_0013_0011__mph(R_0013_0010__55_R_0013_0011__MPH)
      & r_0013_0013__two_r_0013_0015__lane(R_0013_0013__TWO_R_0013_0015__LANE)
      & r_0013_0016__undivided(R_0013_0016__UNDIVIDED)
      & r_0013_0022__trailers(R_0013_0022__TRAILERS)
      & z_0013_5005___star_(Z_0013_5005___STAR_)
      & r_0013_0001__Unless(R_0013_0001__UNLESS)
      & has_conj2(R_0013_0001__UNLESS,R_0013_0009__IS)
      & r_0013_0009__is(R_0013_0009__IS)
      & has_nim(R_0013_0009__IS,R_0013_0018__AND)
      & r_0013_0018__and(R_0013_0018__AND)
      & has_r_0013_0019__for__nim(R_0013_0018__AND,R_0013_0020__VEHICLES)
      & r_0013_0020__vehicles(R_0013_0020__VEHICLES)
      & has_inv_arg0(R_0013_0020__VEHICLES,R_0013_0021__TOWING)
      & r_0013_0021__towing(R_0013_0021__TOWING)
      & has_arg1(R_0013_0021__TOWING,R_0013_0022__TRAILERS)
      & has_r_0013_0012__on__nim(R_0013_0018__AND,R_0013_0017__HIGHWAYS)
      & r_0013_0017__highways(R_0013_0017__HIGHWAYS)
      & has_attrib(R_0013_0017__HIGHWAYS,R_0013_0016__UNDIVIDED)
      & has_nim(R_0013_0017__HIGHWAYS,R_0013_0013__TWO_R_0013_0015__LANE)
      & has_prd(R_0013_0009__IS,R_0013_0010__55_R_0013_0011__MPH)
      & has_arg0(R_0013_0009__IS,R_0013_0005__THE_R_0013_0007__SPEED_R_0013_0008__LIMIT)
      & r_0013_0005__the_r_0013_0007__speed_r_0013_0008__limit(R_0013_0005__THE_R_0013_0007__SPEED_R_0013_0008__LIMIT)
      & has_attrib(R_0013_0005__THE_R_0013_0007__SPEED_R_0013_0008__LIMIT,R_0013_0006__MAXIMUM)
      & has_conj1(R_0013_0001__UNLESS,R_0013_0003__POSTED)
      & r_0013_0003__posted(R_0013_0003__POSTED)
      & has_arg0(R_0013_0003__POSTED,Z_0013_5005___STAR_)
      & has_arg1(R_0013_0003__POSTED,R_0013_0005__THE_R_0013_0007__SPEED_R_0013_0008__LIMIT)
      & has_nim(R_0013_0003__POSTED,R_0013_0002__OTHERWISE) ) ).