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, attrib19).
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, nim44).
arc(r_0023_0016__slowly, r_0023_0015__too, qual45).
arc(r_0023_0019__may, r_0023_0001__However, nim2).
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_000_23_a_driver_handbook_61, 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_nim44(R_0023_0014__DRIVING,R_0023_0016__SLOWLY)
        & r_0023_0016__slowly(R_0023_0016__SLOWLY)
        & has_qual45(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_attrib19(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_000_23_A_DRIVER_HANDBOOK_61,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_000_23_a_driver_handbook_61(Z_000_23_A_DRIVER_HANDBOOK_61)
          & 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_000_23_A_DRIVER_HANDBOOK_61)
          & 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_nim2(R_0023_0019__MAY_R_0023_0020__BE_R_0023_0021__GIVEN,R_0023_0001__HOWEVER) ) ) ).

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