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_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_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_0019__could_r_0044_0020__be_r_0044_0021__suspended could be suspended r_0044_0015__and->r_0044_0019__could_r_0044_0020__be_r_0044_0021__suspended [conj2] r_0044_0004__to_r_0044_0005__stop->r_0044_0002__you [arg0] 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_0018__privilege privilege r_0044_0019__could_r_0044_0020__be_r_0044_0021__suspended->r_0044_0018__privilege [arg1] 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] 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_0018__privilege->r_0044_0002__you [gen] r_0044_0017__driving driving r_0044_0018__privilege->r_0044_0017__driving [attrib] 
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_4 If n44_a_driver_handbook_8 you n44_a_driver_handbook_10 fail n44_a_driver_handbook_13 to n44_a_driver_handbook_15 stop n44_a_driver_handbook_17 , n44_a_driver_handbook_22 you n44_a_driver_handbook_24 may n44_a_driver_handbook_27 be n44_a_driver_handbook_30 * n44_a_driver_handbook_32 fined n44_a_driver_handbook_35 up n44_a_driver_handbook_38 to n44_a_driver_handbook_41 <dollar> n44_a_driver_handbook_43 1,000 n44_a_driver_handbook_46 and n44_a_driver_handbook_51 your n44_a_driver_handbook_54 driving n44_a_driver_handbook_56 privilege n44_a_driver_handbook_58 could n44_a_driver_handbook_61 be n44_a_driver_handbook_64 * n44_a_driver_handbook_66 suspended n44_a_driver_handbook_69 for n44_a_driver_handbook_72 one n44_a_driver_handbook_74 year n44_a_driver_handbook_76 . n44_a_driver_handbook_1 IP-MAT n44_a_driver_handbook_2 PP-SCON n44_a_driver_handbook_1->n44_a_driver_handbook_2 n44_a_driver_handbook_16 PUNC n44_a_driver_handbook_1->n44_a_driver_handbook_16 n44_a_driver_handbook_18 ILYR n44_a_driver_handbook_1->n44_a_driver_handbook_18 n44_a_driver_handbook_75 PUNC n44_a_driver_handbook_1->n44_a_driver_handbook_75 n44_a_driver_handbook_3 P-CONN n44_a_driver_handbook_2->n44_a_driver_handbook_3 n44_a_driver_handbook_5 IP-ADV n44_a_driver_handbook_2->n44_a_driver_handbook_5 n44_a_driver_handbook_3->n44_a_driver_handbook_4 n44_a_driver_handbook_6 NP-SBJ n44_a_driver_handbook_5->n44_a_driver_handbook_6 n44_a_driver_handbook_9 VBP;_Tt_ n44_a_driver_handbook_5->n44_a_driver_handbook_9 n44_a_driver_handbook_11 IP-INF-OB1 n44_a_driver_handbook_5->n44_a_driver_handbook_11 n44_a_driver_handbook_7 PRO n44_a_driver_handbook_6->n44_a_driver_handbook_7 n44_a_driver_handbook_7->n44_a_driver_handbook_8 n44_a_driver_handbook_9->n44_a_driver_handbook_10 n44_a_driver_handbook_12 TO n44_a_driver_handbook_11->n44_a_driver_handbook_12 n44_a_driver_handbook_14 VB;_I_ n44_a_driver_handbook_11->n44_a_driver_handbook_14 n44_a_driver_handbook_12->n44_a_driver_handbook_13 n44_a_driver_handbook_14->n44_a_driver_handbook_15 n44_a_driver_handbook_16->n44_a_driver_handbook_17 n44_a_driver_handbook_19 ILYR n44_a_driver_handbook_18->n44_a_driver_handbook_19 n44_a_driver_handbook_44 CONJP n44_a_driver_handbook_18->n44_a_driver_handbook_44 n44_a_driver_handbook_20 NP-SBJ n44_a_driver_handbook_19->n44_a_driver_handbook_20 n44_a_driver_handbook_23 MD;_cat_Vi_ n44_a_driver_handbook_19->n44_a_driver_handbook_23 n44_a_driver_handbook_25 IP-INF-CAT n44_a_driver_handbook_19->n44_a_driver_handbook_25 n44_a_driver_handbook_21 PRO n44_a_driver_handbook_20->n44_a_driver_handbook_21 n44_a_driver_handbook_21->n44_a_driver_handbook_22 n44_a_driver_handbook_23->n44_a_driver_handbook_24 n44_a_driver_handbook_26 BE;_cat_VePASS_ n44_a_driver_handbook_25->n44_a_driver_handbook_26 n44_a_driver_handbook_28 IP-PPL-CAT n44_a_driver_handbook_25->n44_a_driver_handbook_28 n44_a_driver_handbook_26->n44_a_driver_handbook_27 n44_a_driver_handbook_29 NP-LGS n44_a_driver_handbook_28->n44_a_driver_handbook_29 n44_a_driver_handbook_31 VVN;_Tn_ n44_a_driver_handbook_28->n44_a_driver_handbook_31 n44_a_driver_handbook_33 ADVP-NIM n44_a_driver_handbook_28->n44_a_driver_handbook_33 n44_a_driver_handbook_29->n44_a_driver_handbook_30 n44_a_driver_handbook_31->n44_a_driver_handbook_32 n44_a_driver_handbook_34 ADV n44_a_driver_handbook_33->n44_a_driver_handbook_34 n44_a_driver_handbook_36 PP n44_a_driver_handbook_33->n44_a_driver_handbook_36 n44_a_driver_handbook_34->n44_a_driver_handbook_35 n44_a_driver_handbook_37 P-ROLE n44_a_driver_handbook_36->n44_a_driver_handbook_37 n44_a_driver_handbook_39 NP n44_a_driver_handbook_36->n44_a_driver_handbook_39 n44_a_driver_handbook_37->n44_a_driver_handbook_38 n44_a_driver_handbook_40 N n44_a_driver_handbook_39->n44_a_driver_handbook_40 n44_a_driver_handbook_42 NUM n44_a_driver_handbook_39->n44_a_driver_handbook_42 n44_a_driver_handbook_40->n44_a_driver_handbook_41 n44_a_driver_handbook_42->n44_a_driver_handbook_43 n44_a_driver_handbook_45 CONJ n44_a_driver_handbook_44->n44_a_driver_handbook_45 n44_a_driver_handbook_47 ILYR n44_a_driver_handbook_44->n44_a_driver_handbook_47 n44_a_driver_handbook_45->n44_a_driver_handbook_46 n44_a_driver_handbook_48 NP-SBJ n44_a_driver_handbook_47->n44_a_driver_handbook_48 n44_a_driver_handbook_57 MD;_cat_Vi_ n44_a_driver_handbook_47->n44_a_driver_handbook_57 n44_a_driver_handbook_59 IP-INF-CAT n44_a_driver_handbook_47->n44_a_driver_handbook_59 n44_a_driver_handbook_49 NP-GEN n44_a_driver_handbook_48->n44_a_driver_handbook_49 n44_a_driver_handbook_52 ADJP n44_a_driver_handbook_48->n44_a_driver_handbook_52 n44_a_driver_handbook_55 N n44_a_driver_handbook_48->n44_a_driver_handbook_55 n44_a_driver_handbook_50 PRO;_genm_ n44_a_driver_handbook_49->n44_a_driver_handbook_50 n44_a_driver_handbook_50->n44_a_driver_handbook_51 n44_a_driver_handbook_53 ADJ n44_a_driver_handbook_52->n44_a_driver_handbook_53 n44_a_driver_handbook_53->n44_a_driver_handbook_54 n44_a_driver_handbook_55->n44_a_driver_handbook_56 n44_a_driver_handbook_57->n44_a_driver_handbook_58 n44_a_driver_handbook_60 BE;_cat_VePASS_ n44_a_driver_handbook_59->n44_a_driver_handbook_60 n44_a_driver_handbook_62 IP-PPL-CAT n44_a_driver_handbook_59->n44_a_driver_handbook_62 n44_a_driver_handbook_60->n44_a_driver_handbook_61 n44_a_driver_handbook_63 NP-LGS n44_a_driver_handbook_62->n44_a_driver_handbook_63 n44_a_driver_handbook_65 VVN;_Tn_ n44_a_driver_handbook_62->n44_a_driver_handbook_65 n44_a_driver_handbook_67 PP-NIM n44_a_driver_handbook_62->n44_a_driver_handbook_67 n44_a_driver_handbook_63->n44_a_driver_handbook_64 n44_a_driver_handbook_65->n44_a_driver_handbook_66 n44_a_driver_handbook_68 P-ROLE n44_a_driver_handbook_67->n44_a_driver_handbook_68 n44_a_driver_handbook_70 NP n44_a_driver_handbook_67->n44_a_driver_handbook_70 n44_a_driver_handbook_68->n44_a_driver_handbook_69 n44_a_driver_handbook_71 NUM n44_a_driver_handbook_70->n44_a_driver_handbook_71 n44_a_driver_handbook_73 N n44_a_driver_handbook_70->n44_a_driver_handbook_73 n44_a_driver_handbook_71->n44_a_driver_handbook_72 n44_a_driver_handbook_73->n44_a_driver_handbook_74 n44_a_driver_handbook_75->n44_a_driver_handbook_76 
( (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))