Context                Previous, Next                Top


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

%3 r_0043_0003__requires requires r_0043_0001__The_r_0043_0002__law The law r_0043_0003__requires->r_0043_0001__The_r_0043_0002__law [arg0] r_0043_0007__as_long_as as long as r_0043_0003__requires->r_0043_0007__as_long_as [arg1] r_0043_0005__remain remain r_0043_0007__as_long_as->r_0043_0005__remain [scope] r_0043_0011__are are r_0043_0007__as_long_as->r_0043_0011__are [restriction] r_0043_0004__you you r_0043_0005__remain->r_0043_0004__you [arg0] r_0043_0006__stopped stopped r_0043_0005__remain->r_0043_0006__stopped [prd] r_0043_0012__flashing flashing r_0043_0011__are->r_0043_0012__flashing [scope] r_0043_0008__the_r_0043_0010__lights the lights r_0043_0009__red red r_0043_0008__the_r_0043_0010__lights->r_0043_0009__red [attrib] r_0043_0012__flashing->r_0043_0008__the_r_0043_0010__lights [arg0] 
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_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, attrib26).
arc(r_0043_0011__are, r_0043_0012__flashing, scope).
arc(r_0043_0012__flashing, r_0043_0008__the_r_0043_0010__lights, arg0).


%3 r_0043_0011__are_r_0043_0012__flashing are flashing r_0043_0008__the_r_0043_0010__lights the lights r_0043_0011__are_r_0043_0012__flashing->r_0043_0008__the_r_0043_0010__lights [arg0] r_0043_0009__red red r_0043_0008__the_r_0043_0010__lights->r_0043_0009__red [attrib] r_0043_0007__as_long_as as long as r_0043_0007__as_long_as->r_0043_0011__are_r_0043_0012__flashing [conj1] r_0043_0005__remain remain r_0043_0007__as_long_as->r_0043_0005__remain [conj2] r_0043_0006__stopped stopped r_0043_0005__remain->r_0043_0006__stopped [prd] r_0043_0004__you you r_0043_0005__remain->r_0043_0004__you [arg0] r_0043_0003__requires requires r_0043_0003__requires->r_0043_0007__as_long_as [arg1] r_0043_0001__The_r_0043_0002__law The law r_0043_0003__requires->r_0043_0001__The_r_0043_0002__law [arg0] 
fof(formula,axiom,
    ? [R_43_3_REQUIRES,R_43_1_THE_LAW,R_43_7_AS_LONG_AS,R_43_11_ARE_FLASHING,R_43_8_THE_LIGHTS,R_43_9_RED,R_43_5_REMAIN,R_43_4_YOU,R_43_6_STOPPED] :
      ( the_law(R_43_1_THE_LAW)
      & red(R_43_9_RED)
      & you(R_43_4_YOU)
      & stopped(R_43_6_STOPPED)
      & requires(R_43_3_REQUIRES,R_43_1_THE_LAW,R_43_7_AS_LONG_AS)
      & as_long_as(R_43_7_AS_LONG_AS)
      & conj1(R_43_7_AS_LONG_AS,R_43_11_ARE_FLASHING)
      & are_flashing(R_43_11_ARE_FLASHING,R_43_8_THE_LIGHTS)
      & the_lights(R_43_8_THE_LIGHTS)
      & attrib26(R_43_8_THE_LIGHTS,R_43_9_RED)
      & conj2(R_43_7_AS_LONG_AS,R_43_5_REMAIN)
      & remain(R_43_5_REMAIN,R_43_4_YOU,R_43_6_STOPPED) ) ).


n43_a_driver_handbook n43_a_driver_handbook__1_1_1_1 The n43_a_driver_handbook__1_1_2_1 law n43_a_driver_handbook__1_2_1 requires n43_a_driver_handbook__1_3_1_1_1_1 you n43_a_driver_handbook__1_3_1_2_1 remain n43_a_driver_handbook__1_3_1_3_1_1 stopped n43_a_driver_handbook__1_3_1_4_1_1 as_long_as n43_a_driver_handbook__1_3_1_4_2_1_1_1 the n43_a_driver_handbook__1_3_1_4_2_1_2_1_1 red n43_a_driver_handbook__1_3_1_4_2_1_3_1 lights n43_a_driver_handbook__1_3_1_4_2_2_1 are n43_a_driver_handbook__1_3_1_4_2_3_1_1 flashing n43_a_driver_handbook__1_4_1 -LRB- n43_a_driver_handbook__1_5_1_1_1 CVC n43_a_driver_handbook__1_5_1_2_1 22454 n43_a_driver_handbook__1_6_1 -RRB- n43_a_driver_handbook__1_7_1 . n43_a_driver_handbook__1 IP-MAT n43_a_driver_handbook__1_1 NP-SBJ n43_a_driver_handbook__1->n43_a_driver_handbook__1_1 n43_a_driver_handbook__1_2 VBP;_Tf_ n43_a_driver_handbook__1->n43_a_driver_handbook__1_2 n43_a_driver_handbook__1_3 CP-THT-OB1 n43_a_driver_handbook__1->n43_a_driver_handbook__1_3 n43_a_driver_handbook__1_4 PULB n43_a_driver_handbook__1->n43_a_driver_handbook__1_4 n43_a_driver_handbook__1_5 PRN n43_a_driver_handbook__1->n43_a_driver_handbook__1_5 n43_a_driver_handbook__1_6 PURB n43_a_driver_handbook__1->n43_a_driver_handbook__1_6 n43_a_driver_handbook__1_7 PUNC n43_a_driver_handbook__1->n43_a_driver_handbook__1_7 n43_a_driver_handbook__1_1_1 D n43_a_driver_handbook__1_1->n43_a_driver_handbook__1_1_1 n43_a_driver_handbook__1_1_2 N n43_a_driver_handbook__1_1->n43_a_driver_handbook__1_1_2 n43_a_driver_handbook__1_1_1->n43_a_driver_handbook__1_1_1_1 n43_a_driver_handbook__1_1_2->n43_a_driver_handbook__1_1_2_1 n43_a_driver_handbook__1_2->n43_a_driver_handbook__1_2_1 n43_a_driver_handbook__1_3_1 IP-SUB n43_a_driver_handbook__1_3->n43_a_driver_handbook__1_3_1 n43_a_driver_handbook__1_3_1_1 NP-SBJ n43_a_driver_handbook__1_3_1->n43_a_driver_handbook__1_3_1_1 n43_a_driver_handbook__1_3_1_2 VBP;_La_ n43_a_driver_handbook__1_3_1->n43_a_driver_handbook__1_3_1_2 n43_a_driver_handbook__1_3_1_3 ADJP-PRD n43_a_driver_handbook__1_3_1->n43_a_driver_handbook__1_3_1_3 n43_a_driver_handbook__1_3_1_4 PP-SCON n43_a_driver_handbook__1_3_1->n43_a_driver_handbook__1_3_1_4 n43_a_driver_handbook__1_3_1_1_1 PRO n43_a_driver_handbook__1_3_1_1->n43_a_driver_handbook__1_3_1_1_1 n43_a_driver_handbook__1_3_1_1_1->n43_a_driver_handbook__1_3_1_1_1_1 n43_a_driver_handbook__1_3_1_2->n43_a_driver_handbook__1_3_1_2_1 n43_a_driver_handbook__1_3_1_3_1 ADJ n43_a_driver_handbook__1_3_1_3->n43_a_driver_handbook__1_3_1_3_1 n43_a_driver_handbook__1_3_1_3_1->n43_a_driver_handbook__1_3_1_3_1_1 n43_a_driver_handbook__1_3_1_4_1 P-CONN n43_a_driver_handbook__1_3_1_4->n43_a_driver_handbook__1_3_1_4_1 n43_a_driver_handbook__1_3_1_4_2 IP-ADV n43_a_driver_handbook__1_3_1_4->n43_a_driver_handbook__1_3_1_4_2 n43_a_driver_handbook__1_3_1_4_1->n43_a_driver_handbook__1_3_1_4_1_1 n43_a_driver_handbook__1_3_1_4_2_1 NP-SBJ n43_a_driver_handbook__1_3_1_4_2->n43_a_driver_handbook__1_3_1_4_2_1 n43_a_driver_handbook__1_3_1_4_2_2 BEP;_cat_Vg_ n43_a_driver_handbook__1_3_1_4_2->n43_a_driver_handbook__1_3_1_4_2_2 n43_a_driver_handbook__1_3_1_4_2_3 IP-PPL-CAT n43_a_driver_handbook__1_3_1_4_2->n43_a_driver_handbook__1_3_1_4_2_3 n43_a_driver_handbook__1_3_1_4_2_1_1 D n43_a_driver_handbook__1_3_1_4_2_1->n43_a_driver_handbook__1_3_1_4_2_1_1 n43_a_driver_handbook__1_3_1_4_2_1_2 ADJP n43_a_driver_handbook__1_3_1_4_2_1->n43_a_driver_handbook__1_3_1_4_2_1_2 n43_a_driver_handbook__1_3_1_4_2_1_3 NS n43_a_driver_handbook__1_3_1_4_2_1->n43_a_driver_handbook__1_3_1_4_2_1_3 n43_a_driver_handbook__1_3_1_4_2_1_1->n43_a_driver_handbook__1_3_1_4_2_1_1_1 n43_a_driver_handbook__1_3_1_4_2_1_2_1 ADJ n43_a_driver_handbook__1_3_1_4_2_1_2->n43_a_driver_handbook__1_3_1_4_2_1_2_1 n43_a_driver_handbook__1_3_1_4_2_1_2_1->n43_a_driver_handbook__1_3_1_4_2_1_2_1_1 n43_a_driver_handbook__1_3_1_4_2_1_3->n43_a_driver_handbook__1_3_1_4_2_1_3_1 n43_a_driver_handbook__1_3_1_4_2_2->n43_a_driver_handbook__1_3_1_4_2_2_1 n43_a_driver_handbook__1_3_1_4_2_3_1 VAG;_I_ n43_a_driver_handbook__1_3_1_4_2_3->n43_a_driver_handbook__1_3_1_4_2_3_1 n43_a_driver_handbook__1_3_1_4_2_3_1->n43_a_driver_handbook__1_3_1_4_2_3_1_1 n43_a_driver_handbook__1_4->n43_a_driver_handbook__1_4_1 n43_a_driver_handbook__1_5_1 NP n43_a_driver_handbook__1_5->n43_a_driver_handbook__1_5_1 n43_a_driver_handbook__1_5_1_1 NPR n43_a_driver_handbook__1_5_1->n43_a_driver_handbook__1_5_1_1 n43_a_driver_handbook__1_5_1_2 NPR n43_a_driver_handbook__1_5_1->n43_a_driver_handbook__1_5_1_2 n43_a_driver_handbook__1_5_1_1->n43_a_driver_handbook__1_5_1_1_1 n43_a_driver_handbook__1_5_1_2->n43_a_driver_handbook__1_5_1_2_1 n43_a_driver_handbook__1_6->n43_a_driver_handbook__1_6_1 n43_a_driver_handbook__1_7->n43_a_driver_handbook__1_7_1 
( (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))