Context                Previous, Next                Top


40_a_driver_handbook
Some school buses flash yellow lights when preparing to stop to let children off the bus.

%3 r_0040_0004__flash flash r_0040_0001__Some_r_0040_0002__school_r_0040_0003__buses Some school buses r_0040_0004__flash->r_0040_0001__Some_r_0040_0002__school_r_0040_0003__buses [arg0] r_0040_0006__lights lights r_0040_0004__flash->r_0040_0006__lights [arg1] r_0040_0005__yellow yellow r_0040_0006__lights->r_0040_0005__yellow [attrib] r_0040_0007__when when r_0040_0007__when->r_0040_0004__flash [scope] r_0040_0008__preparing preparing r_0040_0007__when->r_0040_0008__preparing [restriction] z_000_40_a_driver_handbook_28 r_0040_0008__preparing->z_000_40_a_driver_handbook_28 [scope] r_0040_0009__to_r_0040_0010__stop to stop z_000_40_a_driver_handbook_28->r_0040_0009__to_r_0040_0010__stop [scope] r_0040_0011__to_r_0040_0012__let to let z_000_40_a_driver_handbook_28->r_0040_0011__to_r_0040_0012__let [restriction] r_0040_0009__to_r_0040_0010__stop->r_0040_0001__Some_r_0040_0002__school_r_0040_0003__buses [arg0] r_0040_0011__to_r_0040_0012__let->r_0040_0001__Some_r_0040_0002__school_r_0040_0003__buses [arg0] r_0040_0013__children children r_0040_0011__to_r_0040_0012__let->r_0040_0013__children [arg1] r_0040_0015__the_r_0040_0016__bus the bus r_0040_0011__to_r_0040_0012__let->r_0040_0015__the_r_0040_0016__bus off [clr] 
arc(r_0040_0004__flash, r_0040_0001__Some_r_0040_0002__school_r_0040_0003__buses, arg0).
arc(r_0040_0004__flash, r_0040_0006__lights, arg1).
arc(r_0040_0006__lights, r_0040_0005__yellow, attrib12).
arc(r_0040_0007__when, r_0040_0004__flash, scope).
arc(r_0040_0007__when, r_0040_0008__preparing, restriction).
arc(r_0040_0008__preparing, z_000_40_a_driver_handbook_28, scope).
arc(r_0040_0009__to_r_0040_0010__stop, r_0040_0001__Some_r_0040_0002__school_r_0040_0003__buses, arg0).
arc(r_0040_0011__to_r_0040_0012__let, r_0040_0001__Some_r_0040_0002__school_r_0040_0003__buses, arg0).
arc(r_0040_0011__to_r_0040_0012__let, r_0040_0013__children, arg1).
arc(r_0040_0011__to_r_0040_0012__let, r_0040_0015__the_r_0040_0016__bus, r_0040_0014__off_clr40).
arc(z_000_40_a_driver_handbook_28, r_0040_0009__to_r_0040_0010__stop, scope).
arc(z_000_40_a_driver_handbook_28, r_0040_0011__to_r_0040_0012__let, restriction).


%3 r_0040_0004__flash flash r_0040_0001__Some_r_0040_0002__school_r_0040_0003__buses Some school buses r_0040_0004__flash->r_0040_0001__Some_r_0040_0002__school_r_0040_0003__buses [arg0] r_0040_0006__lights lights r_0040_0004__flash->r_0040_0006__lights [arg1] r_0040_0005__yellow yellow r_0040_0006__lights->r_0040_0005__yellow [attrib] r_0040_0007__when when r_0040_0007__when->r_0040_0004__flash [scope] r_0040_0008__preparing preparing r_0040_0007__when->r_0040_0008__preparing [restriction] z_000_40_a_driver_handbook_28 r_0040_0008__preparing->z_000_40_a_driver_handbook_28 [keep_scope] r_0040_0009__to_r_0040_0010__stop to stop z_000_40_a_driver_handbook_28->r_0040_0009__to_r_0040_0010__stop [conj2] r_0040_0011__to_r_0040_0012__let to let z_000_40_a_driver_handbook_28->r_0040_0011__to_r_0040_0012__let [conj1] r_0040_0009__to_r_0040_0010__stop->r_0040_0001__Some_r_0040_0002__school_r_0040_0003__buses [arg0] r_0040_0011__to_r_0040_0012__let->r_0040_0001__Some_r_0040_0002__school_r_0040_0003__buses [arg0] r_0040_0013__children children r_0040_0011__to_r_0040_0012__let->r_0040_0013__children [arg1] r_0040_0015__the_r_0040_0016__bus the bus r_0040_0011__to_r_0040_0012__let->r_0040_0015__the_r_0040_0016__bus off [clr] 
fof(formula,axiom,
    ( ~ ? [Z_40_A_DRIVER_HANDBOOK_28,R_40_11_TO_LET,R_40_13_CHILDREN,R_40_15_THE_BUS,R_40_9_TO_STOP,R_40_1_SOME_SCHOOL_BUSES] :
          ( children(R_40_13_CHILDREN)
          & the_bus(R_40_15_THE_BUS)
          & some_school_buses(R_40_1_SOME_SCHOOL_BUSES)
          & z_40_a_driver_handbook_28(Z_40_A_DRIVER_HANDBOOK_28)
          & conj1(Z_40_A_DRIVER_HANDBOOK_28,R_40_11_TO_LET)
          & to_let(R_40_11_TO_LET,R_40_1_SOME_SCHOOL_BUSES,R_40_13_CHILDREN)
          & off_clr40(R_40_11_TO_LET,R_40_15_THE_BUS)
          & conj2(Z_40_A_DRIVER_HANDBOOK_28,R_40_9_TO_STOP)
          & to_stop(R_40_9_TO_STOP,R_40_1_SOME_SCHOOL_BUSES) )
   => ? [R_40_4_FLASH,R_40_1_SOME_SCHOOL_BUSES,R_40_6_LIGHTS,R_40_5_YELLOW] :
        ( some_school_buses(R_40_1_SOME_SCHOOL_BUSES)
        & yellow(R_40_5_YELLOW)
        & flash(R_40_4_FLASH,R_40_1_SOME_SCHOOL_BUSES,R_40_6_LIGHTS)
        & lights(R_40_6_LIGHTS)
        & attrib12(R_40_6_LIGHTS,R_40_5_YELLOW) ) ) ).


n40_a_driver_handbook n40_a_driver_handbook_4 Some n40_a_driver_handbook_6 school n40_a_driver_handbook_8 buses n40_a_driver_handbook_10 flash n40_a_driver_handbook_14 yellow n40_a_driver_handbook_16 lights n40_a_driver_handbook_19 when n40_a_driver_handbook_22 preparing n40_a_driver_handbook_25 to n40_a_driver_handbook_27 stop n40_a_driver_handbook_31 to n40_a_driver_handbook_33 let n40_a_driver_handbook_36 children n40_a_driver_handbook_39 off n40_a_driver_handbook_42 the n40_a_driver_handbook_44 bus n40_a_driver_handbook_46 . n40_a_driver_handbook_1 IP-MAT n40_a_driver_handbook_2 NP-SBJ n40_a_driver_handbook_1->n40_a_driver_handbook_2 n40_a_driver_handbook_9 VBP;_Tn_ n40_a_driver_handbook_1->n40_a_driver_handbook_9 n40_a_driver_handbook_11 NP-OB1 n40_a_driver_handbook_1->n40_a_driver_handbook_11 n40_a_driver_handbook_17 PP-SCON n40_a_driver_handbook_1->n40_a_driver_handbook_17 n40_a_driver_handbook_45 PUNC n40_a_driver_handbook_1->n40_a_driver_handbook_45 n40_a_driver_handbook_3 D n40_a_driver_handbook_2->n40_a_driver_handbook_3 n40_a_driver_handbook_5 N n40_a_driver_handbook_2->n40_a_driver_handbook_5 n40_a_driver_handbook_7 NS n40_a_driver_handbook_2->n40_a_driver_handbook_7 n40_a_driver_handbook_3->n40_a_driver_handbook_4 n40_a_driver_handbook_5->n40_a_driver_handbook_6 n40_a_driver_handbook_7->n40_a_driver_handbook_8 n40_a_driver_handbook_9->n40_a_driver_handbook_10 n40_a_driver_handbook_12 ADJP n40_a_driver_handbook_11->n40_a_driver_handbook_12 n40_a_driver_handbook_15 NS n40_a_driver_handbook_11->n40_a_driver_handbook_15 n40_a_driver_handbook_13 ADJ n40_a_driver_handbook_12->n40_a_driver_handbook_13 n40_a_driver_handbook_13->n40_a_driver_handbook_14 n40_a_driver_handbook_15->n40_a_driver_handbook_16 n40_a_driver_handbook_18 P-CONN n40_a_driver_handbook_17->n40_a_driver_handbook_18 n40_a_driver_handbook_20 IP-PPL2 n40_a_driver_handbook_17->n40_a_driver_handbook_20 n40_a_driver_handbook_18->n40_a_driver_handbook_19 n40_a_driver_handbook_21 VAG;_cat_Vt_ n40_a_driver_handbook_20->n40_a_driver_handbook_21 n40_a_driver_handbook_23 IP-INF-CAT n40_a_driver_handbook_20->n40_a_driver_handbook_23 n40_a_driver_handbook_21->n40_a_driver_handbook_22 n40_a_driver_handbook_24 TO n40_a_driver_handbook_23->n40_a_driver_handbook_24 n40_a_driver_handbook_26 VB;_I_ n40_a_driver_handbook_23->n40_a_driver_handbook_26 n40_a_driver_handbook_28 PP-SCON n40_a_driver_handbook_23->n40_a_driver_handbook_28 n40_a_driver_handbook_24->n40_a_driver_handbook_25 n40_a_driver_handbook_26->n40_a_driver_handbook_27 n40_a_driver_handbook_29 IP-INF n40_a_driver_handbook_28->n40_a_driver_handbook_29 n40_a_driver_handbook_30 TO n40_a_driver_handbook_29->n40_a_driver_handbook_30 n40_a_driver_handbook_32 VB;_Tn.pr_ n40_a_driver_handbook_29->n40_a_driver_handbook_32 n40_a_driver_handbook_34 NP-OB1 n40_a_driver_handbook_29->n40_a_driver_handbook_34 n40_a_driver_handbook_37 PP-CLR n40_a_driver_handbook_29->n40_a_driver_handbook_37 n40_a_driver_handbook_30->n40_a_driver_handbook_31 n40_a_driver_handbook_32->n40_a_driver_handbook_33 n40_a_driver_handbook_35 NS n40_a_driver_handbook_34->n40_a_driver_handbook_35 n40_a_driver_handbook_35->n40_a_driver_handbook_36 n40_a_driver_handbook_38 P-ROLE n40_a_driver_handbook_37->n40_a_driver_handbook_38 n40_a_driver_handbook_40 NP n40_a_driver_handbook_37->n40_a_driver_handbook_40 n40_a_driver_handbook_38->n40_a_driver_handbook_39 n40_a_driver_handbook_41 D n40_a_driver_handbook_40->n40_a_driver_handbook_41 n40_a_driver_handbook_43 N n40_a_driver_handbook_40->n40_a_driver_handbook_43 n40_a_driver_handbook_41->n40_a_driver_handbook_42 n40_a_driver_handbook_43->n40_a_driver_handbook_44 n40_a_driver_handbook_45->n40_a_driver_handbook_46 
( (IP-MAT (NP-SBJ;{BUS} (D Some;{some})
                        (N school;{school})
                        (NS buses;{bus}))
          (VBP;_Tn_ flash;{flash})
          (NP-OB1;{YELLOW_LIGHTS} (ADJP (ADJ yellow;{yellow}))
                                  (NS lights;{light}))
          (PP-SCON (P-CONN when;{when})
                   (IP-PPL2 (VAG;_cat_Vt_ preparing;{prepare})
                            (IP-INF-CAT (TO to;{to})
                                        (VB;_I_ stop;{stop})
                                        (PP-SCON (IP-INF (TO to;{to})
                                                         (VB;_Tn.pr_ let;{let[off]})
                                                         (NP-OB1 (NS children;{child}))
                                                         (PP-CLR (P-ROLE off;{off})
                                                                 (NP;{BUS} (D the;{the})
                                                                           (N bus;{bus}))))))))
          (PUNC .))
  (ID 40_a_driver_handbook))