TSPC 40_a_driver

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

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

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,attrib).
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_0040_5006,scope).
arc(r_0040_0010__stop,r_0040_0001__Some_r_0040_0002__school_r_0040_0003__buses,arg0).
arc(r_0040_0012__let_r_0040_0014__off,r_0040_0001__Some_r_0040_0002__school_r_0040_0003__buses,arg0).
arc(r_0040_0012__let_r_0040_0014__off,r_0040_0013__children,arg1).
arc(r_0040_0012__let_r_0040_0014__off,r_0040_0016__bus,arg2).
arc(z_0040_5006,r_0040_0010__stop,scope).
arc(z_0040_5006,r_0040_0012__let_r_0040_0014__off,restriction).

fof(formula,axiom,
    ! [R_0040_0008__PREPARING,R_0040_0001__SOME_R_0040_0002__SCHOOL_R_0040_0003__BUSES,R_0040_0010__STOP,R_0040_0013__CHILDREN,R_0040_0016__BUS,R_0040_0012__LET_R_0040_0014__OFF,Z_0040_5006] :
      ( ( 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_0016__bus(R_0040_0016__BUS)
        & r_0040_0008__preparing(R_0040_0008__PREPARING)
        & has_keep_scope(R_0040_0008__PREPARING,Z_0040_5006)
        & z_0040_5006(Z_0040_5006)
        & has_conj1(Z_0040_5006,R_0040_0012__LET_R_0040_0014__OFF)
        & r_0040_0012__let_r_0040_0014__off(R_0040_0012__LET_R_0040_0014__OFF)
        & has_arg2(R_0040_0012__LET_R_0040_0014__OFF,R_0040_0016__BUS)
        & has_arg1(R_0040_0012__LET_R_0040_0014__OFF,R_0040_0013__CHILDREN)
        & has_arg0(R_0040_0012__LET_R_0040_0014__OFF,R_0040_0001__SOME_R_0040_0002__SCHOOL_R_0040_0003__BUSES)
        & has_conj2(Z_0040_5006,R_0040_0010__STOP)
        & r_0040_0010__stop(R_0040_0010__STOP)
        & has_arg0(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_attrib(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) ) ) ).