Context                Previous, Next                Top


44_a_driver_handbook
If you fail to stop, you may be fined up to <dollar> 1,000 and your driving privilege could be suspended for one year.

%3 r_0044_0001__If If r_0044_0003__fail fail r_0044_0001__If->r_0044_0003__fail [restriction] r_0044_0015__and and r_0044_0001__If->r_0044_0015__and [scope] r_0044_0002__you you r_0044_0003__fail->r_0044_0002__you [arg0] r_0044_0004__to_r_0044_0005__stop to stop r_0044_0003__fail->r_0044_0004__to_r_0044_0005__stop [arg1] r_0044_0008__may may r_0044_0015__and->r_0044_0008__may [conj1] r_0044_0019__could could r_0044_0015__and->r_0044_0019__could [conj2] r_0044_0004__to_r_0044_0005__stop->r_0044_0002__you [arg0] r_0044_0009__be be r_0044_0008__may->r_0044_0009__be [scope] r_0044_0010__fined fined r_0044_0009__be->r_0044_0010__fined [scope] r_0044_0010__fined->r_0044_0002__you [arg1] r_0044_0011__up up r_0044_0010__fined->r_0044_0011__up [nim] z_000_44_a_driver_handbook_29 r_0044_0010__fined->z_000_44_a_driver_handbook_29 [arg0] r_0044_0013___dollar__r_0044_0014__1_comma_000 dollar  1,000 r_0044_0011__up->r_0044_0013___dollar__r_0044_0014__1_comma_000 to r_0044_0020__be be r_0044_0019__could->r_0044_0020__be [scope] r_0044_0018__privilege privilege r_0044_0018__privilege->r_0044_0002__you [gen] r_0044_0017__driving driving r_0044_0018__privilege->r_0044_0017__driving [attrib] r_0044_0021__suspended suspended r_0044_0020__be->r_0044_0021__suspended [scope] r_0044_0021__suspended->r_0044_0018__privilege [arg1] r_0044_0023__one_r_0044_0024__year one year r_0044_0021__suspended->r_0044_0023__one_r_0044_0024__year for [nim] z_000_44_a_driver_handbook_63 r_0044_0021__suspended->z_000_44_a_driver_handbook_63 [arg0] 
arc(r_0044_0001__If, r_0044_0003__fail, restriction).
arc(r_0044_0001__If, r_0044_0015__and, scope).
arc(r_0044_0003__fail, r_0044_0002__you, arg0).
arc(r_0044_0003__fail, r_0044_0004__to_r_0044_0005__stop, arg1).
arc(r_0044_0004__to_r_0044_0005__stop, r_0044_0002__you, arg0).
arc(r_0044_0008__may, r_0044_0009__be, scope).
arc(r_0044_0009__be, r_0044_0010__fined, scope).
arc(r_0044_0010__fined, r_0044_0002__you, arg1).
arc(r_0044_0010__fined, r_0044_0011__up, nim33).
arc(r_0044_0010__fined, z_000_44_a_driver_handbook_29, arg0).
arc(r_0044_0011__up, r_0044_0013___dollar__r_0044_0014__1_comma_000, r_0044_0012__to).
arc(r_0044_0015__and, r_0044_0008__may, conj1).
arc(r_0044_0015__and, r_0044_0019__could, conj2).
arc(r_0044_0018__privilege, r_0044_0002__you, gen).
arc(r_0044_0018__privilege, r_0044_0017__driving, attrib52).
arc(r_0044_0019__could, r_0044_0020__be, scope).
arc(r_0044_0020__be, r_0044_0021__suspended, scope).
arc(r_0044_0021__suspended, r_0044_0018__privilege, arg1).
arc(r_0044_0021__suspended, r_0044_0023__one_r_0044_0024__year, r_0044_0022__for_nim70).
arc(r_0044_0021__suspended, z_000_44_a_driver_handbook_63, arg0).


%3 r_0044_0019__could_r_0044_0020__be_r_0044_0021__suspended could be suspended z_000_44_a_driver_handbook_63 r_0044_0019__could_r_0044_0020__be_r_0044_0021__suspended->z_000_44_a_driver_handbook_63 [arg0] r_0044_0023__one_r_0044_0024__year one year r_0044_0019__could_r_0044_0020__be_r_0044_0021__suspended->r_0044_0023__one_r_0044_0024__year for [nim] r_0044_0018__privilege privilege r_0044_0019__could_r_0044_0020__be_r_0044_0021__suspended->r_0044_0018__privilege [arg1] r_0044_0017__driving driving r_0044_0018__privilege->r_0044_0017__driving [attrib] r_0044_0002__you you r_0044_0018__privilege->r_0044_0002__you [gen] r_0044_0015__and and r_0044_0015__and->r_0044_0019__could_r_0044_0020__be_r_0044_0021__suspended [conj2] r_0044_0008__may_r_0044_0009__be_r_0044_0010__fined may be fined r_0044_0015__and->r_0044_0008__may_r_0044_0009__be_r_0044_0010__fined [conj1] r_0044_0008__may_r_0044_0009__be_r_0044_0010__fined->r_0044_0002__you [arg1] r_0044_0011__up up r_0044_0008__may_r_0044_0009__be_r_0044_0010__fined->r_0044_0011__up [nim] z_000_44_a_driver_handbook_29 r_0044_0008__may_r_0044_0009__be_r_0044_0010__fined->z_000_44_a_driver_handbook_29 [arg0] r_0044_0013___dollar__r_0044_0014__1_comma_000 dollar  1,000 r_0044_0011__up->r_0044_0013___dollar__r_0044_0014__1_comma_000 to r_0044_0004__to_r_0044_0005__stop to stop r_0044_0004__to_r_0044_0005__stop->r_0044_0002__you [arg0] r_0044_0003__fail fail r_0044_0003__fail->r_0044_0002__you [arg0] r_0044_0003__fail->r_0044_0004__to_r_0044_0005__stop [arg1] r_0044_0001__If If r_0044_0001__If->r_0044_0015__and [scope] r_0044_0001__If->r_0044_0003__fail [restriction] 
fof(formula,axiom,
    ! [R_44_3_FAIL,R_44_4_TO_STOP,R_44_2_YOU] :
      ( ( you(R_44_2_YOU)
        & fail(R_44_3_FAIL,R_44_2_YOU,R_44_4_TO_STOP)
        & to_stop(R_44_4_TO_STOP,R_44_2_YOU) )
     => ? [R_44_15_AND,R_44_8_MAY_BE_FINED,Z_44_A_DRIVER_HANDBOOK_29,R_44_11_UP,R_44_13__DOLLAR_1_COMMA_,R_44_19_COULD_BE_SUSPENDED,Z_44_A_DRIVER_HANDBOOK_63,R_44_18_PRIVILEGE,R_44_17_DRIVING,R_44_23_ONE_YEAR] :
          ( _dollar_1_comma_(R_44_13__DOLLAR_1_COMMA_)
          & driving(R_44_17_DRIVING)
          & one_year(R_44_23_ONE_YEAR)
          & and(R_44_15_AND)
          & conj1(R_44_15_AND,R_44_8_MAY_BE_FINED)
          & may_be_fined(R_44_8_MAY_BE_FINED,Z_44_A_DRIVER_HANDBOOK_29,R_44_2_YOU)
          & nim33(R_44_8_MAY_BE_FINED,R_44_11_UP)
          & up(R_44_11_UP)
          & to(R_44_11_UP,R_44_13__DOLLAR_1_COMMA_)
          & conj2(R_44_15_AND,R_44_19_COULD_BE_SUSPENDED)
          & could_be_suspended(R_44_19_COULD_BE_SUSPENDED,Z_44_A_DRIVER_HANDBOOK_63,R_44_18_PRIVILEGE)
          & privilege(R_44_18_PRIVILEGE)
          & attrib52(R_44_18_PRIVILEGE,R_44_17_DRIVING)
          & gen(R_44_18_PRIVILEGE,R_44_2_YOU)
          & for_nim70(R_44_19_COULD_BE_SUSPENDED,R_44_23_ONE_YEAR) ) ) ).


n44_a_driver_handbook n44_a_driver_handbook__1_1_1_1 If n44_a_driver_handbook__1_1_2_1_1_1 you n44_a_driver_handbook__1_1_2_2_1 fail n44_a_driver_handbook__1_1_2_3_1_1 to n44_a_driver_handbook__1_1_2_3_2_1 stop n44_a_driver_handbook__1_2_1 , n44_a_driver_handbook__1_3_1_1_1_1 you n44_a_driver_handbook__1_3_1_2_1 may n44_a_driver_handbook__1_3_1_3_1_1 be n44_a_driver_handbook__1_3_1_3_2_1_1 * n44_a_driver_handbook__1_3_1_3_2_2_1 fined n44_a_driver_handbook__1_3_1_3_2_3_1_1 up n44_a_driver_handbook__1_3_1_3_2_3_2_1_1 to n44_a_driver_handbook__1_3_1_3_2_3_2_2_1_1 <dollar> n44_a_driver_handbook__1_3_1_3_2_3_2_2_2_1 1,000 n44_a_driver_handbook__1_3_2_1_1 and n44_a_driver_handbook__1_3_2_2_1_1_1_1 your n44_a_driver_handbook__1_3_2_2_1_2_1_1 driving n44_a_driver_handbook__1_3_2_2_1_3_1 privilege n44_a_driver_handbook__1_3_2_2_2_1 could n44_a_driver_handbook__1_3_2_2_3_1_1 be n44_a_driver_handbook__1_3_2_2_3_2_1_1 * n44_a_driver_handbook__1_3_2_2_3_2_2_1 suspended n44_a_driver_handbook__1_3_2_2_3_2_3_1_1 for n44_a_driver_handbook__1_3_2_2_3_2_3_2_1_1 one n44_a_driver_handbook__1_3_2_2_3_2_3_2_2_1 year n44_a_driver_handbook__1_4_1 . n44_a_driver_handbook__1 IP-MAT n44_a_driver_handbook__1_1 PP-SCON n44_a_driver_handbook__1->n44_a_driver_handbook__1_1 n44_a_driver_handbook__1_2 PUNC n44_a_driver_handbook__1->n44_a_driver_handbook__1_2 n44_a_driver_handbook__1_3 ILYR n44_a_driver_handbook__1->n44_a_driver_handbook__1_3 n44_a_driver_handbook__1_4 PUNC n44_a_driver_handbook__1->n44_a_driver_handbook__1_4 n44_a_driver_handbook__1_1_1 P-CONN n44_a_driver_handbook__1_1->n44_a_driver_handbook__1_1_1 n44_a_driver_handbook__1_1_2 IP-ADV n44_a_driver_handbook__1_1->n44_a_driver_handbook__1_1_2 n44_a_driver_handbook__1_1_1->n44_a_driver_handbook__1_1_1_1 n44_a_driver_handbook__1_1_2_1 NP-SBJ n44_a_driver_handbook__1_1_2->n44_a_driver_handbook__1_1_2_1 n44_a_driver_handbook__1_1_2_2 VBP;_Tt_ n44_a_driver_handbook__1_1_2->n44_a_driver_handbook__1_1_2_2 n44_a_driver_handbook__1_1_2_3 IP-INF-OB1 n44_a_driver_handbook__1_1_2->n44_a_driver_handbook__1_1_2_3 n44_a_driver_handbook__1_1_2_1_1 PRO n44_a_driver_handbook__1_1_2_1->n44_a_driver_handbook__1_1_2_1_1 n44_a_driver_handbook__1_1_2_1_1->n44_a_driver_handbook__1_1_2_1_1_1 n44_a_driver_handbook__1_1_2_2->n44_a_driver_handbook__1_1_2_2_1 n44_a_driver_handbook__1_1_2_3_1 TO n44_a_driver_handbook__1_1_2_3->n44_a_driver_handbook__1_1_2_3_1 n44_a_driver_handbook__1_1_2_3_2 VB;_I_ n44_a_driver_handbook__1_1_2_3->n44_a_driver_handbook__1_1_2_3_2 n44_a_driver_handbook__1_1_2_3_1->n44_a_driver_handbook__1_1_2_3_1_1 n44_a_driver_handbook__1_1_2_3_2->n44_a_driver_handbook__1_1_2_3_2_1 n44_a_driver_handbook__1_2->n44_a_driver_handbook__1_2_1 n44_a_driver_handbook__1_3_1 ILYR n44_a_driver_handbook__1_3->n44_a_driver_handbook__1_3_1 n44_a_driver_handbook__1_3_2 CONJP n44_a_driver_handbook__1_3->n44_a_driver_handbook__1_3_2 n44_a_driver_handbook__1_3_1_1 NP-SBJ n44_a_driver_handbook__1_3_1->n44_a_driver_handbook__1_3_1_1 n44_a_driver_handbook__1_3_1_2 MD;_cat_Vi_ n44_a_driver_handbook__1_3_1->n44_a_driver_handbook__1_3_1_2 n44_a_driver_handbook__1_3_1_3 IP-INF-CAT n44_a_driver_handbook__1_3_1->n44_a_driver_handbook__1_3_1_3 n44_a_driver_handbook__1_3_1_1_1 PRO n44_a_driver_handbook__1_3_1_1->n44_a_driver_handbook__1_3_1_1_1 n44_a_driver_handbook__1_3_1_1_1->n44_a_driver_handbook__1_3_1_1_1_1 n44_a_driver_handbook__1_3_1_2->n44_a_driver_handbook__1_3_1_2_1 n44_a_driver_handbook__1_3_1_3_1 BE;_cat_VePASS_ n44_a_driver_handbook__1_3_1_3->n44_a_driver_handbook__1_3_1_3_1 n44_a_driver_handbook__1_3_1_3_2 IP-PPL-CAT n44_a_driver_handbook__1_3_1_3->n44_a_driver_handbook__1_3_1_3_2 n44_a_driver_handbook__1_3_1_3_1->n44_a_driver_handbook__1_3_1_3_1_1 n44_a_driver_handbook__1_3_1_3_2_1 NP-LGS n44_a_driver_handbook__1_3_1_3_2->n44_a_driver_handbook__1_3_1_3_2_1 n44_a_driver_handbook__1_3_1_3_2_2 VVN;_Tn_ n44_a_driver_handbook__1_3_1_3_2->n44_a_driver_handbook__1_3_1_3_2_2 n44_a_driver_handbook__1_3_1_3_2_3 ADVP-NIM n44_a_driver_handbook__1_3_1_3_2->n44_a_driver_handbook__1_3_1_3_2_3 n44_a_driver_handbook__1_3_1_3_2_1->n44_a_driver_handbook__1_3_1_3_2_1_1 n44_a_driver_handbook__1_3_1_3_2_2->n44_a_driver_handbook__1_3_1_3_2_2_1 n44_a_driver_handbook__1_3_1_3_2_3_1 ADV n44_a_driver_handbook__1_3_1_3_2_3->n44_a_driver_handbook__1_3_1_3_2_3_1 n44_a_driver_handbook__1_3_1_3_2_3_2 PP n44_a_driver_handbook__1_3_1_3_2_3->n44_a_driver_handbook__1_3_1_3_2_3_2 n44_a_driver_handbook__1_3_1_3_2_3_1->n44_a_driver_handbook__1_3_1_3_2_3_1_1 n44_a_driver_handbook__1_3_1_3_2_3_2_1 P-ROLE n44_a_driver_handbook__1_3_1_3_2_3_2->n44_a_driver_handbook__1_3_1_3_2_3_2_1 n44_a_driver_handbook__1_3_1_3_2_3_2_2 NP n44_a_driver_handbook__1_3_1_3_2_3_2->n44_a_driver_handbook__1_3_1_3_2_3_2_2 n44_a_driver_handbook__1_3_1_3_2_3_2_1->n44_a_driver_handbook__1_3_1_3_2_3_2_1_1 n44_a_driver_handbook__1_3_1_3_2_3_2_2_1 N n44_a_driver_handbook__1_3_1_3_2_3_2_2->n44_a_driver_handbook__1_3_1_3_2_3_2_2_1 n44_a_driver_handbook__1_3_1_3_2_3_2_2_2 NUM n44_a_driver_handbook__1_3_1_3_2_3_2_2->n44_a_driver_handbook__1_3_1_3_2_3_2_2_2 n44_a_driver_handbook__1_3_1_3_2_3_2_2_1->n44_a_driver_handbook__1_3_1_3_2_3_2_2_1_1 n44_a_driver_handbook__1_3_1_3_2_3_2_2_2->n44_a_driver_handbook__1_3_1_3_2_3_2_2_2_1 n44_a_driver_handbook__1_3_2_1 CONJ n44_a_driver_handbook__1_3_2->n44_a_driver_handbook__1_3_2_1 n44_a_driver_handbook__1_3_2_2 ILYR n44_a_driver_handbook__1_3_2->n44_a_driver_handbook__1_3_2_2 n44_a_driver_handbook__1_3_2_1->n44_a_driver_handbook__1_3_2_1_1 n44_a_driver_handbook__1_3_2_2_1 NP-SBJ n44_a_driver_handbook__1_3_2_2->n44_a_driver_handbook__1_3_2_2_1 n44_a_driver_handbook__1_3_2_2_2 MD;_cat_Vi_ n44_a_driver_handbook__1_3_2_2->n44_a_driver_handbook__1_3_2_2_2 n44_a_driver_handbook__1_3_2_2_3 IP-INF-CAT n44_a_driver_handbook__1_3_2_2->n44_a_driver_handbook__1_3_2_2_3 n44_a_driver_handbook__1_3_2_2_1_1 NP-GEN n44_a_driver_handbook__1_3_2_2_1->n44_a_driver_handbook__1_3_2_2_1_1 n44_a_driver_handbook__1_3_2_2_1_2 ADJP n44_a_driver_handbook__1_3_2_2_1->n44_a_driver_handbook__1_3_2_2_1_2 n44_a_driver_handbook__1_3_2_2_1_3 N n44_a_driver_handbook__1_3_2_2_1->n44_a_driver_handbook__1_3_2_2_1_3 n44_a_driver_handbook__1_3_2_2_1_1_1 PRO;_genm_ n44_a_driver_handbook__1_3_2_2_1_1->n44_a_driver_handbook__1_3_2_2_1_1_1 n44_a_driver_handbook__1_3_2_2_1_1_1->n44_a_driver_handbook__1_3_2_2_1_1_1_1 n44_a_driver_handbook__1_3_2_2_1_2_1 ADJ n44_a_driver_handbook__1_3_2_2_1_2->n44_a_driver_handbook__1_3_2_2_1_2_1 n44_a_driver_handbook__1_3_2_2_1_2_1->n44_a_driver_handbook__1_3_2_2_1_2_1_1 n44_a_driver_handbook__1_3_2_2_1_3->n44_a_driver_handbook__1_3_2_2_1_3_1 n44_a_driver_handbook__1_3_2_2_2->n44_a_driver_handbook__1_3_2_2_2_1 n44_a_driver_handbook__1_3_2_2_3_1 BE;_cat_VePASS_ n44_a_driver_handbook__1_3_2_2_3->n44_a_driver_handbook__1_3_2_2_3_1 n44_a_driver_handbook__1_3_2_2_3_2 IP-PPL-CAT n44_a_driver_handbook__1_3_2_2_3->n44_a_driver_handbook__1_3_2_2_3_2 n44_a_driver_handbook__1_3_2_2_3_1->n44_a_driver_handbook__1_3_2_2_3_1_1 n44_a_driver_handbook__1_3_2_2_3_2_1 NP-LGS n44_a_driver_handbook__1_3_2_2_3_2->n44_a_driver_handbook__1_3_2_2_3_2_1 n44_a_driver_handbook__1_3_2_2_3_2_2 VVN;_Tn_ n44_a_driver_handbook__1_3_2_2_3_2->n44_a_driver_handbook__1_3_2_2_3_2_2 n44_a_driver_handbook__1_3_2_2_3_2_3 PP-NIM n44_a_driver_handbook__1_3_2_2_3_2->n44_a_driver_handbook__1_3_2_2_3_2_3 n44_a_driver_handbook__1_3_2_2_3_2_1->n44_a_driver_handbook__1_3_2_2_3_2_1_1 n44_a_driver_handbook__1_3_2_2_3_2_2->n44_a_driver_handbook__1_3_2_2_3_2_2_1 n44_a_driver_handbook__1_3_2_2_3_2_3_1 P-ROLE n44_a_driver_handbook__1_3_2_2_3_2_3->n44_a_driver_handbook__1_3_2_2_3_2_3_1 n44_a_driver_handbook__1_3_2_2_3_2_3_2 NP n44_a_driver_handbook__1_3_2_2_3_2_3->n44_a_driver_handbook__1_3_2_2_3_2_3_2 n44_a_driver_handbook__1_3_2_2_3_2_3_1->n44_a_driver_handbook__1_3_2_2_3_2_3_1_1 n44_a_driver_handbook__1_3_2_2_3_2_3_2_1 NUM n44_a_driver_handbook__1_3_2_2_3_2_3_2->n44_a_driver_handbook__1_3_2_2_3_2_3_2_1 n44_a_driver_handbook__1_3_2_2_3_2_3_2_2 N n44_a_driver_handbook__1_3_2_2_3_2_3_2->n44_a_driver_handbook__1_3_2_2_3_2_3_2_2 n44_a_driver_handbook__1_3_2_2_3_2_3_2_1->n44_a_driver_handbook__1_3_2_2_3_2_3_2_1_1 n44_a_driver_handbook__1_3_2_2_3_2_3_2_2->n44_a_driver_handbook__1_3_2_2_3_2_3_2_2_1 n44_a_driver_handbook__1_4->n44_a_driver_handbook__1_4_1 
( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ (PRO you;{you}))
                           (VBP;_Tt_ fail;{fail})
                           (IP-INF-OB1 (TO to;{to})
                                       (VB;_I_ stop;{stop}))))
          (PUNC ,)
          (ILYR (ILYR (NP-SBJ (PRO you;{you}))
                      (MD;_cat_Vi_ may;{may})
                      (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                                  (IP-PPL-CAT (NP-LGS *)
                                              (VVN;_Tn_ fined;{fine})
                                              (ADVP-NIM (ADV up;{up})
                                                        (PP (P-ROLE to;{to})
                                                            (NP (N <dollar>)
                                                                (NUM 1,000)))))))
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (NP-GEN (PRO;_genm_ your;{your}))
                                     (ADJP (ADJ driving;{driving}))
                                     (N privilege;{privilege}))
                             (MD;_cat_Vi_ could;{can})
                             (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                                         (IP-PPL-CAT (NP-LGS *)
                                                     (VVN;_Tn_ suspended;{suspend})
                                                     (PP-NIM (P-ROLE for;{for})
                                                             (NP (NUM one;{one})
                                                                 (N year;{year}))))))))
          (PUNC .))
  (ID 44_a_driver_handbook))