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_0008__preparing preparing z_000_40_a_driver_handbook_28 r_0040_0008__preparing->z_000_40_a_driver_handbook_28 [keep_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 [conj1] 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_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] r_0040_0013__children children r_0040_0011__to_r_0040_0012__let->r_0040_0013__children [arg1] r_0040_0001__Some_r_0040_0002__school_r_0040_0003__buses Some school buses r_0040_0011__to_r_0040_0012__let->r_0040_0001__Some_r_0040_0002__school_r_0040_0003__buses [arg0] r_0040_0009__to_r_0040_0010__stop->r_0040_0001__Some_r_0040_0002__school_r_0040_0003__buses [arg0] r_0040_0007__when when r_0040_0007__when->r_0040_0008__preparing [restriction] r_0040_0004__flash flash r_0040_0007__when->r_0040_0004__flash [scope] 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] 
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__1_1_1_1 Some n40_a_driver_handbook__1_1_2_1 school n40_a_driver_handbook__1_1_3_1 buses n40_a_driver_handbook__1_2_1 flash n40_a_driver_handbook__1_3_1_1_1 yellow n40_a_driver_handbook__1_3_2_1 lights n40_a_driver_handbook__1_4_1_1 when n40_a_driver_handbook__1_4_2_1_1 preparing n40_a_driver_handbook__1_4_2_2_1_1 to n40_a_driver_handbook__1_4_2_2_2_1 stop n40_a_driver_handbook__1_4_2_2_3_1_1_1 to n40_a_driver_handbook__1_4_2_2_3_1_2_1 let n40_a_driver_handbook__1_4_2_2_3_1_3_1_1 children n40_a_driver_handbook__1_4_2_2_3_1_4_1_1 off n40_a_driver_handbook__1_4_2_2_3_1_4_2_1_1 the n40_a_driver_handbook__1_4_2_2_3_1_4_2_2_1 bus n40_a_driver_handbook__1_5_1 . n40_a_driver_handbook__1 IP-MAT n40_a_driver_handbook__1_1 NP-SBJ n40_a_driver_handbook__1->n40_a_driver_handbook__1_1 n40_a_driver_handbook__1_2 VBP;_Tn_ n40_a_driver_handbook__1->n40_a_driver_handbook__1_2 n40_a_driver_handbook__1_3 NP-OB1 n40_a_driver_handbook__1->n40_a_driver_handbook__1_3 n40_a_driver_handbook__1_4 PP-SCON n40_a_driver_handbook__1->n40_a_driver_handbook__1_4 n40_a_driver_handbook__1_5 PUNC n40_a_driver_handbook__1->n40_a_driver_handbook__1_5 n40_a_driver_handbook__1_1_1 D n40_a_driver_handbook__1_1->n40_a_driver_handbook__1_1_1 n40_a_driver_handbook__1_1_2 N n40_a_driver_handbook__1_1->n40_a_driver_handbook__1_1_2 n40_a_driver_handbook__1_1_3 NS n40_a_driver_handbook__1_1->n40_a_driver_handbook__1_1_3 n40_a_driver_handbook__1_1_1->n40_a_driver_handbook__1_1_1_1 n40_a_driver_handbook__1_1_2->n40_a_driver_handbook__1_1_2_1 n40_a_driver_handbook__1_1_3->n40_a_driver_handbook__1_1_3_1 n40_a_driver_handbook__1_2->n40_a_driver_handbook__1_2_1 n40_a_driver_handbook__1_3_1 ADJP n40_a_driver_handbook__1_3->n40_a_driver_handbook__1_3_1 n40_a_driver_handbook__1_3_2 NS n40_a_driver_handbook__1_3->n40_a_driver_handbook__1_3_2 n40_a_driver_handbook__1_3_1_1 ADJ n40_a_driver_handbook__1_3_1->n40_a_driver_handbook__1_3_1_1 n40_a_driver_handbook__1_3_1_1->n40_a_driver_handbook__1_3_1_1_1 n40_a_driver_handbook__1_3_2->n40_a_driver_handbook__1_3_2_1 n40_a_driver_handbook__1_4_1 P-CONN n40_a_driver_handbook__1_4->n40_a_driver_handbook__1_4_1 n40_a_driver_handbook__1_4_2 IP-PPL2 n40_a_driver_handbook__1_4->n40_a_driver_handbook__1_4_2 n40_a_driver_handbook__1_4_1->n40_a_driver_handbook__1_4_1_1 n40_a_driver_handbook__1_4_2_1 VAG;_cat_Vt_ n40_a_driver_handbook__1_4_2->n40_a_driver_handbook__1_4_2_1 n40_a_driver_handbook__1_4_2_2 IP-INF-CAT n40_a_driver_handbook__1_4_2->n40_a_driver_handbook__1_4_2_2 n40_a_driver_handbook__1_4_2_1->n40_a_driver_handbook__1_4_2_1_1 n40_a_driver_handbook__1_4_2_2_1 TO n40_a_driver_handbook__1_4_2_2->n40_a_driver_handbook__1_4_2_2_1 n40_a_driver_handbook__1_4_2_2_2 VB;_I_ n40_a_driver_handbook__1_4_2_2->n40_a_driver_handbook__1_4_2_2_2 n40_a_driver_handbook__1_4_2_2_3 PP-SCON n40_a_driver_handbook__1_4_2_2->n40_a_driver_handbook__1_4_2_2_3 n40_a_driver_handbook__1_4_2_2_1->n40_a_driver_handbook__1_4_2_2_1_1 n40_a_driver_handbook__1_4_2_2_2->n40_a_driver_handbook__1_4_2_2_2_1 n40_a_driver_handbook__1_4_2_2_3_1 IP-INF n40_a_driver_handbook__1_4_2_2_3->n40_a_driver_handbook__1_4_2_2_3_1 n40_a_driver_handbook__1_4_2_2_3_1_1 TO n40_a_driver_handbook__1_4_2_2_3_1->n40_a_driver_handbook__1_4_2_2_3_1_1 n40_a_driver_handbook__1_4_2_2_3_1_2 VB;_Tn.pr_ n40_a_driver_handbook__1_4_2_2_3_1->n40_a_driver_handbook__1_4_2_2_3_1_2 n40_a_driver_handbook__1_4_2_2_3_1_3 NP-OB1 n40_a_driver_handbook__1_4_2_2_3_1->n40_a_driver_handbook__1_4_2_2_3_1_3 n40_a_driver_handbook__1_4_2_2_3_1_4 PP-CLR n40_a_driver_handbook__1_4_2_2_3_1->n40_a_driver_handbook__1_4_2_2_3_1_4 n40_a_driver_handbook__1_4_2_2_3_1_1->n40_a_driver_handbook__1_4_2_2_3_1_1_1 n40_a_driver_handbook__1_4_2_2_3_1_2->n40_a_driver_handbook__1_4_2_2_3_1_2_1 n40_a_driver_handbook__1_4_2_2_3_1_3_1 NS n40_a_driver_handbook__1_4_2_2_3_1_3->n40_a_driver_handbook__1_4_2_2_3_1_3_1 n40_a_driver_handbook__1_4_2_2_3_1_3_1->n40_a_driver_handbook__1_4_2_2_3_1_3_1_1 n40_a_driver_handbook__1_4_2_2_3_1_4_1 P-ROLE n40_a_driver_handbook__1_4_2_2_3_1_4->n40_a_driver_handbook__1_4_2_2_3_1_4_1 n40_a_driver_handbook__1_4_2_2_3_1_4_2 NP n40_a_driver_handbook__1_4_2_2_3_1_4->n40_a_driver_handbook__1_4_2_2_3_1_4_2 n40_a_driver_handbook__1_4_2_2_3_1_4_1->n40_a_driver_handbook__1_4_2_2_3_1_4_1_1 n40_a_driver_handbook__1_4_2_2_3_1_4_2_1 D n40_a_driver_handbook__1_4_2_2_3_1_4_2->n40_a_driver_handbook__1_4_2_2_3_1_4_2_1 n40_a_driver_handbook__1_4_2_2_3_1_4_2_2 N n40_a_driver_handbook__1_4_2_2_3_1_4_2->n40_a_driver_handbook__1_4_2_2_3_1_4_2_2 n40_a_driver_handbook__1_4_2_2_3_1_4_2_1->n40_a_driver_handbook__1_4_2_2_3_1_4_2_1_1 n40_a_driver_handbook__1_4_2_2_3_1_4_2_2->n40_a_driver_handbook__1_4_2_2_3_1_4_2_2_1 n40_a_driver_handbook__1_5->n40_a_driver_handbook__1_5_1 
( (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))