23_a_driver_handbook
However, if you block the normal and reasonable movement of traffic by driving too slowly, you may be given a ticket.
( (IP-MAT (ADVP-NIM (ADV However;{however}))
(PUNC ,)
(PP-SCON (P-CONN if;{if})
(IP-ADV (NP-SBJ (PRO you;{you}))
(VBP;_Tn_ block;{block})
(NP-OB1 (D the;{the})
(ADJP (AJLYR (AJLYR (ADJ normal;{normal}))
(CONJP (CONJ and;{and})
(AJLYR (ADJ reasonable;{reasonable})))))
(N movement;{movement})
(PP (P-ROLE of;{of})
(NP (N traffic;{traffic}))))
(PP-SCON (P-CONN by;{by})
(IP-PPL2 (VAG;_I_ driving;{drive})
(ADVP-NIM (ADVP (ADV too;{too}))
(ADV slowly;{slowly}))))))
(PUNC ,)
(NP-SBJ (PRO you;{you}))
(MD;_cat_Vi_ may;{may})
(IP-INF-CAT (BE;_cat_VePASS_ be;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Dn.n_ given;{give})
(NP-OB1 (D a;{a})
(N ticket;{ticket}))))
(PUNC .))
(ID 23_a_driver_handbook))
arc(r_0023_0003__if,r_0023_0013__by,restriction).
arc(r_0023_0003__if,r_0023_0019__may,scope).
arc(r_0023_0005__block,r_0023_0004__you,arg0).
arc(r_0023_0005__block,r_0023_0006__the_r_0023_0010__movement,arg1).
arc(r_0023_0006__the_r_0023_0010__movement,r_0023_0008__and,attrib).
arc(r_0023_0006__the_r_0023_0010__movement,r_0023_0012__traffic,r_0023_0011__of).
arc(r_0023_0008__and,r_0023_0007__normal,conj1).
arc(r_0023_0008__and,r_0023_0009__reasonable,conj2).
arc(r_0023_0013__by,r_0023_0005__block,scope).
arc(r_0023_0013__by,r_0023_0014__driving,restriction).
arc(r_0023_0014__driving,r_0023_0004__you,arg0).
arc(r_0023_0014__driving,r_0023_0016__slowly,nim).
arc(r_0023_0016__slowly,r_0023_0015__too,qual).
arc(r_0023_0019__may,r_0023_0001__However,nim).
arc(r_0023_0019__may,r_0023_0020__be,scope).
arc(r_0023_0020__be,r_0023_0021__given,scope).
arc(r_0023_0021__given,r_0023_0004__you,arg2).
arc(r_0023_0021__given,r_0023_0022__a_r_0023_0023__ticket,arg1).
arc(r_0023_0021__given,z_0023_5017___star_,arg0).
fof(formula,axiom,
! [R_0023_0013__BY,R_0023_0004__YOU,R_0023_0007__NORMAL,R_0023_0009__REASONABLE,R_0023_0008__AND,R_0023_0012__TRAFFIC,R_0023_0006__THE_R_0023_0010__MOVEMENT,R_0023_0005__BLOCK,R_0023_0015__TOO,R_0023_0016__SLOWLY,R_0023_0014__DRIVING] :
( ( r_0023_0004__you(R_0023_0004__YOU)
& r_0023_0007__normal(R_0023_0007__NORMAL)
& r_0023_0009__reasonable(R_0023_0009__REASONABLE)
& r_0023_0012__traffic(R_0023_0012__TRAFFIC)
& r_0023_0015__too(R_0023_0015__TOO)
& r_0023_0013__by(R_0023_0013__BY)
& has_conj1(R_0023_0013__BY,R_0023_0014__DRIVING)
& r_0023_0014__driving(R_0023_0014__DRIVING)
& has_nim(R_0023_0014__DRIVING,R_0023_0016__SLOWLY)
& r_0023_0016__slowly(R_0023_0016__SLOWLY)
& has_qual(R_0023_0016__SLOWLY,R_0023_0015__TOO)
& has_arg0(R_0023_0014__DRIVING,R_0023_0004__YOU)
& has_conj2(R_0023_0013__BY,R_0023_0005__BLOCK)
& r_0023_0005__block(R_0023_0005__BLOCK)
& has_arg1(R_0023_0005__BLOCK,R_0023_0006__THE_R_0023_0010__MOVEMENT)
& r_0023_0006__the_r_0023_0010__movement(R_0023_0006__THE_R_0023_0010__MOVEMENT)
& has_r_0023_0011__of(R_0023_0006__THE_R_0023_0010__MOVEMENT,R_0023_0012__TRAFFIC)
& has_attrib(R_0023_0006__THE_R_0023_0010__MOVEMENT,R_0023_0008__AND)
& r_0023_0008__and(R_0023_0008__AND)
& has_conj2(R_0023_0008__AND,R_0023_0009__REASONABLE)
& has_conj1(R_0023_0008__AND,R_0023_0007__NORMAL)
& has_arg0(R_0023_0005__BLOCK,R_0023_0004__YOU) )
=> ? [R_0023_0001__HOWEVER,R_0023_0022__A_R_0023_0023__TICKET,Z_0023_5017___STAR_,R_0023_0019__MAY_R_0023_0020__BE_R_0023_0021__GIVEN] :
( r_0023_0001__However(R_0023_0001__HOWEVER)
& r_0023_0022__a_r_0023_0023__ticket(R_0023_0022__A_R_0023_0023__TICKET)
& z_0023_5017___star_(Z_0023_5017___STAR_)
& r_0023_0019__may_r_0023_0020__be_r_0023_0021__given(R_0023_0019__MAY_R_0023_0020__BE_R_0023_0021__GIVEN)
& has_arg0(R_0023_0019__MAY_R_0023_0020__BE_R_0023_0021__GIVEN,Z_0023_5017___STAR_)
& has_arg1(R_0023_0019__MAY_R_0023_0020__BE_R_0023_0021__GIVEN,R_0023_0022__A_R_0023_0023__TICKET)
& has_arg2(R_0023_0019__MAY_R_0023_0020__BE_R_0023_0021__GIVEN,R_0023_0004__YOU)
& has_nim(R_0023_0019__MAY_R_0023_0020__BE_R_0023_0021__GIVEN,R_0023_0001__HOWEVER) ) ) ).