TSPC 40_a_driver

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

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).

fof(formula,axiom,
    ! [R_0040_0008__PREPARING,R_0040_0001__SOME_R_0040_0002__SCHOOL_R_0040_0003__BUSES,R_0040_0009__TO_R_0040_0010__STOP,R_0040_0013__CHILDREN,R_0040_0015__THE_R_0040_0016__BUS,R_0040_0011__TO_R_0040_0012__LET,Z_000_40_A_DRIVER_HANDBOOK_28] :
      ( ( r_0040_0001__Some_r_0040_0002__school_r_0040_0003__buses(R_0040_0001__SOME_R_0040_0002__SCHOOL_R_0040_0003__BUSES)
        & r_0040_0013__children(R_0040_0013__CHILDREN)
        & r_0040_0015__the_r_0040_0016__bus(R_0040_0015__THE_R_0040_0016__BUS)
        & r_0040_0008__preparing(R_0040_0008__PREPARING)
        & has_keep_scope(R_0040_0008__PREPARING,Z_000_40_A_DRIVER_HANDBOOK_28)
        & z_000_40_a_driver_handbook_28(Z_000_40_A_DRIVER_HANDBOOK_28)
        & has_conj1(Z_000_40_A_DRIVER_HANDBOOK_28,R_0040_0011__TO_R_0040_0012__LET)
        & r_0040_0011__to_r_0040_0012__let(R_0040_0011__TO_R_0040_0012__LET)
        & has_r_0040_0014__off_clr40(R_0040_0011__TO_R_0040_0012__LET,R_0040_0015__THE_R_0040_0016__BUS)
        & has_arg1(R_0040_0011__TO_R_0040_0012__LET,R_0040_0013__CHILDREN)
        & has_arg0(R_0040_0011__TO_R_0040_0012__LET,R_0040_0001__SOME_R_0040_0002__SCHOOL_R_0040_0003__BUSES)
        & has_conj2(Z_000_40_A_DRIVER_HANDBOOK_28,R_0040_0009__TO_R_0040_0010__STOP)
        & r_0040_0009__to_r_0040_0010__stop(R_0040_0009__TO_R_0040_0010__STOP)
        & has_arg0(R_0040_0009__TO_R_0040_0010__STOP,R_0040_0001__SOME_R_0040_0002__SCHOOL_R_0040_0003__BUSES) )
     => ? [R_0040_0005__YELLOW,R_0040_0006__LIGHTS,R_0040_0004__FLASH] :
          ( r_0040_0005__yellow(R_0040_0005__YELLOW)
          & r_0040_0004__flash(R_0040_0004__FLASH)
          & has_arg1(R_0040_0004__FLASH,R_0040_0006__LIGHTS)
          & r_0040_0006__lights(R_0040_0006__LIGHTS)
          & has_attrib12(R_0040_0006__LIGHTS,R_0040_0005__YELLOW)
          & has_arg0(R_0040_0004__FLASH,R_0040_0001__SOME_R_0040_0002__SCHOOL_R_0040_0003__BUSES) ) ) ).

( (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))