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

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__clr).
arc(r_0015_0005__based,z_0015_5006___star_,arg0).
arc(r_0015_0008__driving_r_0015_0009__conditions,r_0015_0007__ideal,attrib).

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_0015_5006___STAR_,R_0015_0004__ARE_R_0015_0005__BASED] :
          ( r_0015_0007__ideal(R_0015_0007__IDEAL)
          & z_0015_5006___star_(Z_0015_5006___STAR_)
          & 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_0015_5006___STAR_)
          & has_r_0015_0006__on__clr(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_attrib(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) ) ) ).