arc(r_0015_0001__All_quant, r_0015_0002__speed_r_0015_0003__limits, restriction).
arc(r_0015_0001__All_quant, r_0015_0004__are, scope).
arc(r_0015_0004__are, r_0015_0005__based, scope).
arc(r_0015_0005__based, r_0015_0002__speed_r_0015_0003__limits, arg1).
arc(r_0015_0005__based, r_0015_0008__driving_r_0015_0009__conditions, r_0015_0006__on_clr19).
arc(r_0015_0005__based, z_000_15_a_driver_handbook_12, arg0).
arc(r_0015_0008__driving_r_0015_0009__conditions, r_0015_0007__ideal, attrib20).

fof(formula,axiom,
    ! [R_0015_0002__SPEED_R_0015_0003__LIMITS] :
      ( r_0015_0002__speed_r_0015_0003__limits(R_0015_0002__SPEED_R_0015_0003__LIMITS)
     => ? [R_0015_0007__IDEAL,R_0015_0008__DRIVING_R_0015_0009__CONDITIONS,Z_000_15_A_DRIVER_HANDBOOK_12,R_0015_0004__ARE_R_0015_0005__BASED] :
          ( r_0015_0007__ideal(R_0015_0007__IDEAL)
          & z_000_15_a_driver_handbook_12(Z_000_15_A_DRIVER_HANDBOOK_12)
          & r_0015_0004__are_r_0015_0005__based(R_0015_0004__ARE_R_0015_0005__BASED)
          & has_arg0(R_0015_0004__ARE_R_0015_0005__BASED,Z_000_15_A_DRIVER_HANDBOOK_12)
          & has_r_0015_0006__on_clr19(R_0015_0004__ARE_R_0015_0005__BASED,R_0015_0008__DRIVING_R_0015_0009__CONDITIONS)
          & r_0015_0008__driving_r_0015_0009__conditions(R_0015_0008__DRIVING_R_0015_0009__CONDITIONS)
          & has_attrib20(R_0015_0008__DRIVING_R_0015_0009__CONDITIONS,R_0015_0007__IDEAL)
          & has_arg1(R_0015_0004__ARE_R_0015_0005__BASED,R_0015_0002__SPEED_R_0015_0003__LIMITS) ) ) ).

( (IP-MAT (NP-SBJ (Q All;{all})
                  (N speed;{speed})
                  (NS limits;{limit}))
          (BEP;_cat_VePASS_ are;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_phr_Vn.pr_ based;{base[on]})
                      (PP-CLR (P-ROLE on;{on})
                              (NP (ADJP (ADJ ideal;{ideal}))
                                  (N driving;{driving})
                                  (NS conditions;{condition}))))
          (PUNC .))
  (ID 15_a_driver_handbook))