TSPC 43_a_driver

43_a_driver_handbook
The law requires you remain stopped as long as the red lights are flashing (CVC 22454).

( (IP-MAT (NP-SBJ (D The;{the})
                  (N law;{law}))
          (VBP;_Tf_ requires;{require})
          (CP-THT-OB1 (IP-SUB (NP-SBJ (PRO you;{you}))
                              (VBP;_La_ remain;{remain})
                              (ADJP-PRD (ADJ stopped;{stopped}))
                              (PP-SCON (P-CONN as_long_as;{as_long_as})
                                       (IP-ADV (NP-SBJ;{RED_LIGHTS} (D the;{the})
                                                                    (ADJP (ADJ red;{red}))
                                                                    (NS lights;{light}))
                                               (BEP;_cat_Vg_ are;{be})
                                               (IP-PPL-CAT (VAG;_I_ flashing;{flash}))))))
          (PULB -LRB-)
          (PRN (NP (NPR CVC;{CVC})
                   (NPR 22454)))
          (PURB -RRB-)
          (PUNC .))
  (ID 43_a_driver_handbook))

arc(r_0043_0003__requires,r_0043_0001__The_r_0043_0002__law,arg0).
arc(r_0043_0003__requires,r_0043_0007__as_long_as,arg1).
arc(r_0043_0003__requires,r_0043_0014__CVC_r_0043_0015__22454,prn).
arc(r_0043_0005__remain,r_0043_0004__you,arg0).
arc(r_0043_0005__remain,r_0043_0006__stopped,prd).
arc(r_0043_0007__as_long_as,r_0043_0005__remain,scope).
arc(r_0043_0007__as_long_as,r_0043_0011__are,restriction).
arc(r_0043_0008__the_r_0043_0010__lights,r_0043_0009__red,attrib).
arc(r_0043_0011__are,r_0043_0012__flashing,scope).
arc(r_0043_0012__flashing,r_0043_0008__the_r_0043_0010__lights,arg0).

fof(formula,axiom,
    ? [R_0043_0001__THE_R_0043_0002__LAW,R_0043_0004__YOU,R_0043_0006__STOPPED,R_0043_0005__REMAIN,R_0043_0009__RED,R_0043_0008__THE_R_0043_0010__LIGHTS,R_0043_0011__ARE_R_0043_0012__FLASHING,R_0043_0007__AS_LONG_AS,R_0043_0014__CVC_R_0043_0015__22454,R_0043_0003__REQUIRES] :
      ( r_0043_0001__The_r_0043_0002__law(R_0043_0001__THE_R_0043_0002__LAW)
      & r_0043_0004__you(R_0043_0004__YOU)
      & r_0043_0006__stopped(R_0043_0006__STOPPED)
      & r_0043_0009__red(R_0043_0009__RED)
      & r_0043_0014__CVC_r_0043_0015__22454(R_0043_0014__CVC_R_0043_0015__22454)
      & r_0043_0003__requires(R_0043_0003__REQUIRES)
      & has_prn(R_0043_0003__REQUIRES,R_0043_0014__CVC_R_0043_0015__22454)
      & has_arg1(R_0043_0003__REQUIRES,R_0043_0007__AS_LONG_AS)
      & r_0043_0007__as_long_as(R_0043_0007__AS_LONG_AS)
      & has_conj1(R_0043_0007__AS_LONG_AS,R_0043_0011__ARE_R_0043_0012__FLASHING)
      & r_0043_0011__are_r_0043_0012__flashing(R_0043_0011__ARE_R_0043_0012__FLASHING)
      & has_arg0(R_0043_0011__ARE_R_0043_0012__FLASHING,R_0043_0008__THE_R_0043_0010__LIGHTS)
      & r_0043_0008__the_r_0043_0010__lights(R_0043_0008__THE_R_0043_0010__LIGHTS)
      & has_attrib(R_0043_0008__THE_R_0043_0010__LIGHTS,R_0043_0009__RED)
      & has_conj2(R_0043_0007__AS_LONG_AS,R_0043_0005__REMAIN)
      & r_0043_0005__remain(R_0043_0005__REMAIN)
      & has_prd(R_0043_0005__REMAIN,R_0043_0006__STOPPED)
      & has_arg0(R_0043_0005__REMAIN,R_0043_0004__YOU)
      & has_arg0(R_0043_0003__REQUIRES,R_0043_0001__THE_R_0043_0002__LAW) ) ).