Context                Previous, Next                Top


42_a_driver_handbook
When the bus flashes red lights (located at the top front and back of the bus), you must stop from either direction until the children are safely across the street and the lights stop flashing.

%3 r_0042_0001__When When r_0042_0004__flashes flashes r_0042_0001__When->r_0042_0004__flashes [restriction] r_0042_0026__until until r_0042_0001__When->r_0042_0026__until [scope] r_0042_0002__the_r_0042_0003__bus the bus r_0042_0004__flashes->r_0042_0002__the_r_0042_0003__bus [arg0] r_0042_0006__lights lights r_0042_0004__flashes->r_0042_0006__lights [arg1] r_0042_0021__must must r_0042_0026__until->r_0042_0021__must [scope] r_0042_0034__and and r_0042_0026__until->r_0042_0034__and [restriction] r_0042_0005__red red r_0042_0006__lights->r_0042_0005__red [attrib] r_0042_0024__either_quant either [quant] r_0042_0021__must->r_0042_0024__either_quant [scope] r_0042_0022__stop stop r_0042_0024__either_quant->r_0042_0022__stop [scope] r_0042_0025__direction direction r_0042_0024__either_quant->r_0042_0025__direction [restriction] r_0042_0020__you you r_0042_0022__stop->r_0042_0020__you [arg0] r_0042_0022__stop->r_0042_0025__direction from [nim] r_0042_0029__are are r_0042_0034__and->r_0042_0029__are [conj1] r_0042_0037__stop stop r_0042_0034__and->r_0042_0037__stop [conj2] r_0042_0027__the_r_0042_0028__children the children r_0042_0029__are->r_0042_0027__the_r_0042_0028__children [arg0] r_0042_0030__safely safely r_0042_0029__are->r_0042_0030__safely [nim] r_0042_0032__the_r_0042_0033__street the street r_0042_0029__are->r_0042_0032__the_r_0042_0033__street across [clr] r_0042_0035__the_r_0042_0036__lights the lights r_0042_0037__stop->r_0042_0035__the_r_0042_0036__lights [arg0] r_0042_0038__flashing flashing r_0042_0037__stop->r_0042_0038__flashing [arg1] r_0042_0038__flashing->r_0042_0035__the_r_0042_0036__lights [arg0] 
arc(r_0042_0001__When, r_0042_0004__flashes, restriction).
arc(r_0042_0001__When, r_0042_0026__until, scope).
arc(r_0042_0004__flashes, r_0042_0002__the_r_0042_0003__bus, arg0).
arc(r_0042_0004__flashes, r_0042_0006__lights, arg1).
arc(r_0042_0006__lights, r_0042_0005__red, attrib14).
arc(r_0042_0021__must, r_0042_0024__either_quant, scope).
arc(r_0042_0022__stop, r_0042_0020__you, arg0).
arc(r_0042_0022__stop, r_0042_0025__direction, r_0042_0023__from_nim67).
arc(r_0042_0024__either_quant, r_0042_0022__stop, scope).
arc(r_0042_0024__either_quant, r_0042_0025__direction, restriction).
arc(r_0042_0026__until, r_0042_0021__must, scope).
arc(r_0042_0026__until, r_0042_0034__and, restriction).
arc(r_0042_0029__are, r_0042_0027__the_r_0042_0028__children, arg0).
arc(r_0042_0029__are, r_0042_0030__safely, nim85).
arc(r_0042_0029__are, r_0042_0032__the_r_0042_0033__street, r_0042_0031__across_clr91).
arc(r_0042_0034__and, r_0042_0029__are, conj1).
arc(r_0042_0034__and, r_0042_0037__stop, conj2).
arc(r_0042_0037__stop, r_0042_0035__the_r_0042_0036__lights, arg0).
arc(r_0042_0037__stop, r_0042_0038__flashing, arg1).
arc(r_0042_0038__flashing, r_0042_0035__the_r_0042_0036__lights, arg0).


%3 r_0042_0001__When When r_0042_0004__flashes flashes r_0042_0001__When->r_0042_0004__flashes [restriction] r_0042_0026__until until r_0042_0001__When->r_0042_0026__until [scope] r_0042_0002__the_r_0042_0003__bus the bus r_0042_0004__flashes->r_0042_0002__the_r_0042_0003__bus [arg0] r_0042_0006__lights lights r_0042_0004__flashes->r_0042_0006__lights [arg1] r_0042_0021__must must r_0042_0026__until->r_0042_0021__must [conj2] r_0042_0034__and and r_0042_0026__until->r_0042_0034__and [conj1] r_0042_0005__red red r_0042_0006__lights->r_0042_0005__red [attrib] r_0042_0024__either_quant either [quant] r_0042_0021__must->r_0042_0024__either_quant [keep_scope] r_0042_0022__stop stop r_0042_0024__either_quant->r_0042_0022__stop [scope] r_0042_0025__direction direction r_0042_0024__either_quant->r_0042_0025__direction [restriction] r_0042_0020__you you r_0042_0022__stop->r_0042_0020__you [arg0] r_0042_0022__stop->r_0042_0025__direction from [nim] r_0042_0029__are are r_0042_0034__and->r_0042_0029__are [conj1] r_0042_0037__stop stop r_0042_0034__and->r_0042_0037__stop [conj2] r_0042_0027__the_r_0042_0028__children the children r_0042_0029__are->r_0042_0027__the_r_0042_0028__children [arg0] r_0042_0030__safely safely r_0042_0029__are->r_0042_0030__safely [nim] r_0042_0032__the_r_0042_0033__street the street r_0042_0029__are->r_0042_0032__the_r_0042_0033__street across [clr] r_0042_0035__the_r_0042_0036__lights the lights r_0042_0037__stop->r_0042_0035__the_r_0042_0036__lights [arg0] r_0042_0038__flashing flashing r_0042_0037__stop->r_0042_0038__flashing [arg1] r_0042_0038__flashing->r_0042_0035__the_r_0042_0036__lights [arg0] 
fof(formula,axiom,
    ! [R_42_4_FLASHES,R_42_2_THE_BUS,R_42_6_LIGHTS,R_42_5_RED] :
      ( ( the_bus(R_42_2_THE_BUS)
        & red(R_42_5_RED)
        & flashes(R_42_4_FLASHES,R_42_2_THE_BUS,R_42_6_LIGHTS)
        & lights(R_42_6_LIGHTS)
        & attrib14(R_42_6_LIGHTS,R_42_5_RED) )
     => ? [R_42_26_UNTIL,R_42_34_AND,R_42_29_ARE,R_42_27_THE_CHILDREN,R_42_30_SAFELY,R_42_32_THE_STREET,R_42_37_STOP,R_42_38_FLASHING,R_42_35_THE_LIGHTS] :
          ( the_children(R_42_27_THE_CHILDREN)
          & safely(R_42_30_SAFELY)
          & the_street(R_42_32_THE_STREET)
          & the_lights(R_42_35_THE_LIGHTS)
          & until(R_42_26_UNTIL)
          & conj1(R_42_26_UNTIL,R_42_34_AND)
          & and(R_42_34_AND)
          & conj1(R_42_34_AND,R_42_29_ARE)
          & are(R_42_29_ARE,R_42_27_THE_CHILDREN)
          & nim85(R_42_29_ARE,R_42_30_SAFELY)
          & across_clr91(R_42_29_ARE,R_42_32_THE_STREET)
          & conj2(R_42_34_AND,R_42_37_STOP)
          & stop(R_42_37_STOP,R_42_35_THE_LIGHTS,R_42_38_FLASHING)
          & flashing(R_42_38_FLASHING,R_42_35_THE_LIGHTS)
          & conj2(R_42_26_UNTIL,R_42_21_MUST)
          & ~ ! [R_42_25_DIRECTION] :
                ( direction(R_42_25_DIRECTION)
               => ? [R_42_22_STOP,R_42_20_YOU] :
                    ( you(R_42_20_YOU)
                    & stop(R_42_22_STOP,R_42_20_YOU)
                    & from_nim67(R_42_22_STOP,R_42_25_DIRECTION) ) ) ) ) ).


n42_a_driver_handbook n42_a_driver_handbook_4 When n42_a_driver_handbook_8 the n42_a_driver_handbook_10 bus n42_a_driver_handbook_12 flashes n42_a_driver_handbook_16 red n42_a_driver_handbook_18 lights n42_a_driver_handbook_20 -LRB- n42_a_driver_handbook_24 located n42_a_driver_handbook_27 at n42_a_driver_handbook_30 the n42_a_driver_handbook_33 top n42_a_driver_handbook_37 front n42_a_driver_handbook_40 and n42_a_driver_handbook_43 back n42_a_driver_handbook_46 of n42_a_driver_handbook_49 the n42_a_driver_handbook_51 bus n42_a_driver_handbook_53 -RRB- n42_a_driver_handbook_55 , n42_a_driver_handbook_58 you n42_a_driver_handbook_60 must n42_a_driver_handbook_63 stop n42_a_driver_handbook_66 from n42_a_driver_handbook_69 either n42_a_driver_handbook_71 direction n42_a_driver_handbook_74 until n42_a_driver_handbook_80 the n42_a_driver_handbook_82 children n42_a_driver_handbook_84 are n42_a_driver_handbook_87 safely n42_a_driver_handbook_90 across n42_a_driver_handbook_93 the n42_a_driver_handbook_95 street n42_a_driver_handbook_98 and n42_a_driver_handbook_102 the n42_a_driver_handbook_104 lights n42_a_driver_handbook_106 stop n42_a_driver_handbook_109 flashing n42_a_driver_handbook_111 . n42_a_driver_handbook_1 IP-MAT n42_a_driver_handbook_2 PP-SCON n42_a_driver_handbook_1->n42_a_driver_handbook_2 n42_a_driver_handbook_54 PUNC n42_a_driver_handbook_1->n42_a_driver_handbook_54 n42_a_driver_handbook_56 NP-SBJ n42_a_driver_handbook_1->n42_a_driver_handbook_56 n42_a_driver_handbook_59 MD;_cat_Vi_ n42_a_driver_handbook_1->n42_a_driver_handbook_59 n42_a_driver_handbook_61 IP-INF-CAT n42_a_driver_handbook_1->n42_a_driver_handbook_61 n42_a_driver_handbook_72 PP-SCON n42_a_driver_handbook_1->n42_a_driver_handbook_72 n42_a_driver_handbook_110 PUNC n42_a_driver_handbook_1->n42_a_driver_handbook_110 n42_a_driver_handbook_3 P-CONN n42_a_driver_handbook_2->n42_a_driver_handbook_3 n42_a_driver_handbook_5 IP-ADV n42_a_driver_handbook_2->n42_a_driver_handbook_5 n42_a_driver_handbook_3->n42_a_driver_handbook_4 n42_a_driver_handbook_6 NP-SBJ n42_a_driver_handbook_5->n42_a_driver_handbook_6 n42_a_driver_handbook_11 VBP;_Tn_ n42_a_driver_handbook_5->n42_a_driver_handbook_11 n42_a_driver_handbook_13 NP-OB1 n42_a_driver_handbook_5->n42_a_driver_handbook_13 n42_a_driver_handbook_7 D n42_a_driver_handbook_6->n42_a_driver_handbook_7 n42_a_driver_handbook_9 N n42_a_driver_handbook_6->n42_a_driver_handbook_9 n42_a_driver_handbook_7->n42_a_driver_handbook_8 n42_a_driver_handbook_9->n42_a_driver_handbook_10 n42_a_driver_handbook_11->n42_a_driver_handbook_12 n42_a_driver_handbook_14 ADJP n42_a_driver_handbook_13->n42_a_driver_handbook_14 n42_a_driver_handbook_17 NS n42_a_driver_handbook_13->n42_a_driver_handbook_17 n42_a_driver_handbook_19 PULB n42_a_driver_handbook_13->n42_a_driver_handbook_19 n42_a_driver_handbook_21 PRN n42_a_driver_handbook_13->n42_a_driver_handbook_21 n42_a_driver_handbook_52 PURB n42_a_driver_handbook_13->n42_a_driver_handbook_52 n42_a_driver_handbook_15 ADJ n42_a_driver_handbook_14->n42_a_driver_handbook_15 n42_a_driver_handbook_15->n42_a_driver_handbook_16 n42_a_driver_handbook_17->n42_a_driver_handbook_18 n42_a_driver_handbook_19->n42_a_driver_handbook_20 n42_a_driver_handbook_22 IP-PPL n42_a_driver_handbook_21->n42_a_driver_handbook_22 n42_a_driver_handbook_23 VVN;_Ipr_ n42_a_driver_handbook_22->n42_a_driver_handbook_23 n42_a_driver_handbook_25 PP-CLR n42_a_driver_handbook_22->n42_a_driver_handbook_25 n42_a_driver_handbook_23->n42_a_driver_handbook_24 n42_a_driver_handbook_26 P-ROLE n42_a_driver_handbook_25->n42_a_driver_handbook_26 n42_a_driver_handbook_28 NP n42_a_driver_handbook_25->n42_a_driver_handbook_28 n42_a_driver_handbook_26->n42_a_driver_handbook_27 n42_a_driver_handbook_29 D n42_a_driver_handbook_28->n42_a_driver_handbook_29 n42_a_driver_handbook_31 ADJP n42_a_driver_handbook_28->n42_a_driver_handbook_31 n42_a_driver_handbook_34 NLYR n42_a_driver_handbook_28->n42_a_driver_handbook_34 n42_a_driver_handbook_44 PP n42_a_driver_handbook_28->n42_a_driver_handbook_44 n42_a_driver_handbook_29->n42_a_driver_handbook_30 n42_a_driver_handbook_32 ADJ n42_a_driver_handbook_31->n42_a_driver_handbook_32 n42_a_driver_handbook_32->n42_a_driver_handbook_33 n42_a_driver_handbook_35 NLYR n42_a_driver_handbook_34->n42_a_driver_handbook_35 n42_a_driver_handbook_38 CONJP n42_a_driver_handbook_34->n42_a_driver_handbook_38 n42_a_driver_handbook_36 N n42_a_driver_handbook_35->n42_a_driver_handbook_36 n42_a_driver_handbook_36->n42_a_driver_handbook_37 n42_a_driver_handbook_39 CONJ n42_a_driver_handbook_38->n42_a_driver_handbook_39 n42_a_driver_handbook_41 NLYR n42_a_driver_handbook_38->n42_a_driver_handbook_41 n42_a_driver_handbook_39->n42_a_driver_handbook_40 n42_a_driver_handbook_42 N n42_a_driver_handbook_41->n42_a_driver_handbook_42 n42_a_driver_handbook_42->n42_a_driver_handbook_43 n42_a_driver_handbook_45 P-ROLE n42_a_driver_handbook_44->n42_a_driver_handbook_45 n42_a_driver_handbook_47 NP n42_a_driver_handbook_44->n42_a_driver_handbook_47 n42_a_driver_handbook_45->n42_a_driver_handbook_46 n42_a_driver_handbook_48 D n42_a_driver_handbook_47->n42_a_driver_handbook_48 n42_a_driver_handbook_50 N n42_a_driver_handbook_47->n42_a_driver_handbook_50 n42_a_driver_handbook_48->n42_a_driver_handbook_49 n42_a_driver_handbook_50->n42_a_driver_handbook_51 n42_a_driver_handbook_52->n42_a_driver_handbook_53 n42_a_driver_handbook_54->n42_a_driver_handbook_55 n42_a_driver_handbook_57 PRO n42_a_driver_handbook_56->n42_a_driver_handbook_57 n42_a_driver_handbook_57->n42_a_driver_handbook_58 n42_a_driver_handbook_59->n42_a_driver_handbook_60 n42_a_driver_handbook_62 VB;_I_ n42_a_driver_handbook_61->n42_a_driver_handbook_62 n42_a_driver_handbook_64 PP-NIM n42_a_driver_handbook_61->n42_a_driver_handbook_64 n42_a_driver_handbook_62->n42_a_driver_handbook_63 n42_a_driver_handbook_65 P-ROLE n42_a_driver_handbook_64->n42_a_driver_handbook_65 n42_a_driver_handbook_67 NP n42_a_driver_handbook_64->n42_a_driver_handbook_67 n42_a_driver_handbook_65->n42_a_driver_handbook_66 n42_a_driver_handbook_68 Q n42_a_driver_handbook_67->n42_a_driver_handbook_68 n42_a_driver_handbook_70 N n42_a_driver_handbook_67->n42_a_driver_handbook_70 n42_a_driver_handbook_68->n42_a_driver_handbook_69 n42_a_driver_handbook_70->n42_a_driver_handbook_71 n42_a_driver_handbook_73 P-CONN n42_a_driver_handbook_72->n42_a_driver_handbook_73 n42_a_driver_handbook_75 IP-ADV n42_a_driver_handbook_72->n42_a_driver_handbook_75 n42_a_driver_handbook_73->n42_a_driver_handbook_74 n42_a_driver_handbook_76 ILYR n42_a_driver_handbook_75->n42_a_driver_handbook_76 n42_a_driver_handbook_77 ILYR n42_a_driver_handbook_76->n42_a_driver_handbook_77 n42_a_driver_handbook_96 CONJP n42_a_driver_handbook_76->n42_a_driver_handbook_96 n42_a_driver_handbook_78 NP-SBJ n42_a_driver_handbook_77->n42_a_driver_handbook_78 n42_a_driver_handbook_83 BEP;_Ipr_ n42_a_driver_handbook_77->n42_a_driver_handbook_83 n42_a_driver_handbook_85 ADVP-NIM n42_a_driver_handbook_77->n42_a_driver_handbook_85 n42_a_driver_handbook_88 PP-CLR n42_a_driver_handbook_77->n42_a_driver_handbook_88 n42_a_driver_handbook_79 D n42_a_driver_handbook_78->n42_a_driver_handbook_79 n42_a_driver_handbook_81 NS n42_a_driver_handbook_78->n42_a_driver_handbook_81 n42_a_driver_handbook_79->n42_a_driver_handbook_80 n42_a_driver_handbook_81->n42_a_driver_handbook_82 n42_a_driver_handbook_83->n42_a_driver_handbook_84 n42_a_driver_handbook_86 ADV n42_a_driver_handbook_85->n42_a_driver_handbook_86 n42_a_driver_handbook_86->n42_a_driver_handbook_87 n42_a_driver_handbook_89 P-ROLE n42_a_driver_handbook_88->n42_a_driver_handbook_89 n42_a_driver_handbook_91 NP n42_a_driver_handbook_88->n42_a_driver_handbook_91 n42_a_driver_handbook_89->n42_a_driver_handbook_90 n42_a_driver_handbook_92 D n42_a_driver_handbook_91->n42_a_driver_handbook_92 n42_a_driver_handbook_94 N n42_a_driver_handbook_91->n42_a_driver_handbook_94 n42_a_driver_handbook_92->n42_a_driver_handbook_93 n42_a_driver_handbook_94->n42_a_driver_handbook_95 n42_a_driver_handbook_97 CONJ n42_a_driver_handbook_96->n42_a_driver_handbook_97 n42_a_driver_handbook_99 ILYR n42_a_driver_handbook_96->n42_a_driver_handbook_99 n42_a_driver_handbook_97->n42_a_driver_handbook_98 n42_a_driver_handbook_100 NP-SBJ n42_a_driver_handbook_99->n42_a_driver_handbook_100 n42_a_driver_handbook_105 VB;_Tg_ n42_a_driver_handbook_99->n42_a_driver_handbook_105 n42_a_driver_handbook_107 IP-PPL-OB1 n42_a_driver_handbook_99->n42_a_driver_handbook_107 n42_a_driver_handbook_101 D n42_a_driver_handbook_100->n42_a_driver_handbook_101 n42_a_driver_handbook_103 NS n42_a_driver_handbook_100->n42_a_driver_handbook_103 n42_a_driver_handbook_101->n42_a_driver_handbook_102 n42_a_driver_handbook_103->n42_a_driver_handbook_104 n42_a_driver_handbook_105->n42_a_driver_handbook_106 n42_a_driver_handbook_108 VAG;_I_ n42_a_driver_handbook_107->n42_a_driver_handbook_108 n42_a_driver_handbook_108->n42_a_driver_handbook_109 n42_a_driver_handbook_110->n42_a_driver_handbook_111 
( (IP-MAT (PP-SCON (P-CONN When;{when})
                   (IP-ADV (NP-SBJ;{SCHOOL_BUS} (D the;{the})
                                                (N bus;{bus}))
                           (VBP;_Tn_ flashes;{flash})
                           (NP-OB1;{RED_LIGHTS} (ADJP (ADJ red;{red}))
                                                (NS lights;{light})
                                                (PULB -LRB-)
                                                (PRN (IP-PPL (VVN;_Ipr_ located;{locate[at]})
                                                             (PP-CLR (P-ROLE at;{at})
                                                                     (NP (D the;{the})
                                                                         (ADJP (ADJ top;{top}))
                                                                         (NLYR (NLYR (N front;{front}))
                                                                               (CONJP (CONJ and;{and})
                                                                                      (NLYR (N back;{back}))))
                                                                         (PP (P-ROLE of;{of})
                                                                             (NP (D the;{the})
                                                                                 (N bus;{bus})))))))
                                                (PURB -RRB-))))
          (PUNC ,)
          (NP-SBJ (PRO you;{you}))
          (MD;_cat_Vi_ must;{must})
          (IP-INF-CAT (VB;_I_ stop;{stop})
                      (PP-NIM (P-ROLE from;{from})
                              (NP (Q either;{either})
                                  (N direction;{direction}))))
          (PP-SCON (P-CONN until;{until})
                   (IP-ADV (ILYR (ILYR (NP-SBJ (D the;{the})
                                               (NS children;{child}))
                                       (BEP;_Ipr_ are;{be[across]})
                                       (ADVP-NIM (ADV safely;{safely}))
                                       (PP-CLR (P-ROLE across;{across})
                                               (NP (D the;{the})
                                                   (N street;{street}))))
                                 (CONJP (CONJ and;{and})
                                        (ILYR (NP-SBJ;{RED_LIGHTS} (D the;{the})
                                                                   (NS lights;{light}))
                                              (VB;_Tg_ stop;{stop})
                                              (IP-PPL-OB1 (VAG;_I_ flashing;{flash})))))))
          (PUNC .))
  (ID 42_a_driver_handbook))