TSPC 44_a_driver

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.

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

fof(formula,axiom,
    ! [R_0044_0003__FAIL,R_0044_0002__YOU,R_0044_0004__TO_R_0044_0005__STOP] :
      ( ( r_0044_0002__you(R_0044_0002__YOU)
        & r_0044_0003__fail(R_0044_0003__FAIL)
        & has_arg1(R_0044_0003__FAIL,R_0044_0004__TO_R_0044_0005__STOP)
        & r_0044_0004__to_r_0044_0005__stop(R_0044_0004__TO_R_0044_0005__STOP)
        & has_arg0(R_0044_0004__TO_R_0044_0005__STOP,R_0044_0002__YOU)
        & has_arg0(R_0044_0003__FAIL,R_0044_0002__YOU) )
     => ? [R_0044_0013___DOLLAR__R_0044_0014__1_COMMA_000,R_0044_0011__UP,Z_000_44_A_DRIVER_HANDBOOK_29,R_0044_0008__MAY_R_0044_0009__BE_R_0044_0010__FINED,R_0044_0017__DRIVING,R_0044_0018__PRIVILEGE,R_0044_0023__ONE_R_0044_0024__YEAR,Z_000_44_A_DRIVER_HANDBOOK_63,R_0044_0019__COULD_R_0044_0020__BE_R_0044_0021__SUSPENDED,R_0044_0015__AND] :
          ( r_0044_0013___dollar__r_0044_0014__1_comma_000(R_0044_0013___DOLLAR__R_0044_0014__1_COMMA_000)
          & r_0044_0017__driving(R_0044_0017__DRIVING)
          & r_0044_0023__one_r_0044_0024__year(R_0044_0023__ONE_R_0044_0024__YEAR)
          & z_000_44_a_driver_handbook_29(Z_000_44_A_DRIVER_HANDBOOK_29)
          & z_000_44_a_driver_handbook_63(Z_000_44_A_DRIVER_HANDBOOK_63)
          & r_0044_0015__and(R_0044_0015__AND)
          & has_conj2(R_0044_0015__AND,R_0044_0019__COULD_R_0044_0020__BE_R_0044_0021__SUSPENDED)
          & r_0044_0019__could_r_0044_0020__be_r_0044_0021__suspended(R_0044_0019__COULD_R_0044_0020__BE_R_0044_0021__SUSPENDED)
          & has_arg0(R_0044_0019__COULD_R_0044_0020__BE_R_0044_0021__SUSPENDED,Z_000_44_A_DRIVER_HANDBOOK_63)
          & has_r_0044_0022__for_nim70(R_0044_0019__COULD_R_0044_0020__BE_R_0044_0021__SUSPENDED,R_0044_0023__ONE_R_0044_0024__YEAR)
          & has_arg1(R_0044_0019__COULD_R_0044_0020__BE_R_0044_0021__SUSPENDED,R_0044_0018__PRIVILEGE)
          & r_0044_0018__privilege(R_0044_0018__PRIVILEGE)
          & has_attrib52(R_0044_0018__PRIVILEGE,R_0044_0017__DRIVING)
          & has_gen(R_0044_0018__PRIVILEGE,R_0044_0002__YOU)
          & has_conj1(R_0044_0015__AND,R_0044_0008__MAY_R_0044_0009__BE_R_0044_0010__FINED)
          & r_0044_0008__may_r_0044_0009__be_r_0044_0010__fined(R_0044_0008__MAY_R_0044_0009__BE_R_0044_0010__FINED)
          & has_arg0(R_0044_0008__MAY_R_0044_0009__BE_R_0044_0010__FINED,Z_000_44_A_DRIVER_HANDBOOK_29)
          & has_nim33(R_0044_0008__MAY_R_0044_0009__BE_R_0044_0010__FINED,R_0044_0011__UP)
          & r_0044_0011__up(R_0044_0011__UP)
          & has_r_0044_0012__to(R_0044_0011__UP,R_0044_0013___DOLLAR__R_0044_0014__1_COMMA_000)
          & has_arg1(R_0044_0008__MAY_R_0044_0009__BE_R_0044_0010__FINED,R_0044_0002__YOU) ) ) ).

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