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.
( (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))
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_0005__stop,arg1).
arc(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_0007__you,arg1).
arc(r_0044_0010__fined,r_0044_0011__up,nim).
arc(r_0044_0010__fined,z_0044_5010___star_,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_0016__your,gen).
arc(r_0044_0018__privilege,r_0044_0017__driving,attrib).
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__nim).
arc(r_0044_0021__suspended,z_0044_5020___star_,arg0).
fof(formula,axiom,
! [R_0044_0003__FAIL,R_0044_0002__YOU,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_0005__STOP)
& r_0044_0005__stop(R_0044_0005__STOP)
& has_arg0(R_0044_0005__STOP,R_0044_0002__YOU)
& has_arg0(R_0044_0003__FAIL,R_0044_0002__YOU) )
=> ? [R_0044_0007__YOU,R_0044_0013___DOLLAR__R_0044_0014__1_COMMA_000,R_0044_0011__UP,Z_0044_5010___STAR_,R_0044_0008__MAY_R_0044_0009__BE_R_0044_0010__FINED,R_0044_0016__YOUR,R_0044_0017__DRIVING,R_0044_0018__PRIVILEGE,R_0044_0023__ONE_R_0044_0024__YEAR,Z_0044_5020___STAR_,R_0044_0019__COULD_R_0044_0020__BE_R_0044_0021__SUSPENDED,R_0044_0015__AND] :
( r_0044_0007__you(R_0044_0007__YOU)
& r_0044_0013___dollar__r_0044_0014__1_comma_000(R_0044_0013___DOLLAR__R_0044_0014__1_COMMA_000)
& r_0044_0016__your(R_0044_0016__YOUR)
& 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_0044_5010___star_(Z_0044_5010___STAR_)
& z_0044_5020___star_(Z_0044_5020___STAR_)
& 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_0044_5020___STAR_)
& has_r_0044_0022__for__nim(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_attrib(R_0044_0018__PRIVILEGE,R_0044_0017__DRIVING)
& has_gen(R_0044_0018__PRIVILEGE,R_0044_0016__YOUR)
& 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_0044_5010___STAR_)
& has_nim(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_0007__YOU) ) ) ).