arc(r_0014_0002__speed_r_0014_0003__limit_r_0014_0004__signs, r_0014_0001__Other, attrib3).
arc(r_0014_0005__are, r_0014_0006__posted, scope).
arc(r_0014_0006__posted, r_0014_0002__speed_r_0014_0003__limit_r_0014_0004__signs, arg1).
arc(r_0014_0006__posted, r_0014_0008__the_r_0014_0009__type, r_0014_0007__for_nim22).
arc(r_0014_0006__posted, z_000_14_a_driver_handbook_15, arg0).
arc(r_0014_0008__the_r_0014_0009__type, r_0014_0012__and, r_0014_0010__of).
arc(r_0014_0012__and, r_0014_0011__roads, conj1).
arc(r_0014_0012__and, r_0014_0013__traffic, conj2).
arc(r_0014_0012__and, r_0014_0016__area, r_0014_0014__in).
arc(r_0014_0015__each_quant, r_0014_0012__and, scope).
arc(r_0014_0015__each_quant, r_0014_0016__area, restriction).

fof(formula,axiom,
    ! [R_0014_0016__AREA] :
      ( r_0014_0016__area(R_0014_0016__AREA)
     => ? [R_0014_0001__OTHER,R_0014_0002__SPEED_R_0014_0003__LIMIT_R_0014_0004__SIGNS,R_0014_0011__ROADS,R_0014_0013__TRAFFIC,R_0014_0012__AND,R_0014_0008__THE_R_0014_0009__TYPE,Z_000_14_A_DRIVER_HANDBOOK_15,R_0014_0005__ARE_R_0014_0006__POSTED] :
          ( r_0014_0001__Other(R_0014_0001__OTHER)
          & r_0014_0011__roads(R_0014_0011__ROADS)
          & r_0014_0013__traffic(R_0014_0013__TRAFFIC)
          & z_000_14_a_driver_handbook_15(Z_000_14_A_DRIVER_HANDBOOK_15)
          & r_0014_0005__are_r_0014_0006__posted(R_0014_0005__ARE_R_0014_0006__POSTED)
          & has_arg0(R_0014_0005__ARE_R_0014_0006__POSTED,Z_000_14_A_DRIVER_HANDBOOK_15)
          & has_r_0014_0007__for_nim22(R_0014_0005__ARE_R_0014_0006__POSTED,R_0014_0008__THE_R_0014_0009__TYPE)
          & r_0014_0008__the_r_0014_0009__type(R_0014_0008__THE_R_0014_0009__TYPE)
          & has_r_0014_0010__of(R_0014_0008__THE_R_0014_0009__TYPE,R_0014_0012__AND)
          & r_0014_0012__and(R_0014_0012__AND)
          & has_r_0014_0014__in(R_0014_0012__AND,R_0014_0016__AREA)
          & has_conj2(R_0014_0012__AND,R_0014_0013__TRAFFIC)
          & has_conj1(R_0014_0012__AND,R_0014_0011__ROADS)
          & has_arg1(R_0014_0005__ARE_R_0014_0006__POSTED,R_0014_0002__SPEED_R_0014_0003__LIMIT_R_0014_0004__SIGNS)
          & r_0014_0002__speed_r_0014_0003__limit_r_0014_0004__signs(R_0014_0002__SPEED_R_0014_0003__LIMIT_R_0014_0004__SIGNS)
          & has_attrib3(R_0014_0002__SPEED_R_0014_0003__LIMIT_R_0014_0004__SIGNS,R_0014_0001__OTHER) ) ) ).

( (IP-MAT (NP-SBJ (ADJP (ADJ Other;{other}))
                  (N speed;{speed})
                  (N limit;{limit})
                  (NS signs;{sign}))
          (BEP;_cat_VePASS_ are;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ posted;{post})
                      (PP-NIM (P-ROLE for;{for})
                              (NP (D the;{the})
                                  (N type;{type})
                                  (PP (P-ROLE of;{of})
                                      (NP (NLYR (NLYR (NS roads;{road}))
                                                (CONJP (CONJ and;{and})
                                                       (NLYR (N traffic;{traffic}))))
                                          (PP (P-ROLE in;{in})
                                              (NP (Q each;{each})
                                                  (N area;{area}))))))))
          (PUNC .))
  (ID 14_a_driver_handbook))