( (IP-MAT (NP-SBJ (D The;{the})
                  (ADJP (ADJ maximum;{maximum}))
                  (N speed;{speed})
                  (N limit;{limit})
                  (PP (P-ROLE on;{on})
                      (NP (Q most;{most})
                          (NPR California;{California})
                          (NS highways;{highway}))))
          (BEP;_Ln_ is;{be})
          (NP-PRD (NUM 65)
                  (N mph;{mph}))
          (PUNC .))
  (ID 11_a_driver_handbook))

arc(r_0011_0001__The_r_0011_0003__speed_r_0011_0004__limit,r_0011_0002__maximum,attrib).
arc(r_0011_0001__The_r_0011_0003__speed_r_0011_0004__limit,r_0011_0007__California_r_0011_0008__highways,r_0011_0005__on).
arc(r_0011_0006__most__quant,r_0011_0001__The_r_0011_0003__speed_r_0011_0004__limit,scope).
arc(r_0011_0006__most__quant,r_0011_0007__California_r_0011_0008__highways,restriction).
arc(r_0011_0009__is,r_0011_0001__The_r_0011_0003__speed_r_0011_0004__limit,arg0).
arc(r_0011_0009__is,r_0011_0010__65_r_0011_0011__mph,prd).

fof(formula,axiom,
    ! [R_0011_0007__CALIFORNIA_R_0011_0008__HIGHWAYS] :
      ( r_0011_0007__California_r_0011_0008__highways(R_0011_0007__CALIFORNIA_R_0011_0008__HIGHWAYS)
     => ? [R_0011_0002__MAXIMUM,R_0011_0001__THE_R_0011_0003__SPEED_R_0011_0004__LIMIT,R_0011_0010__65_R_0011_0011__MPH,R_0011_0009__IS] :
          ( r_0011_0002__maximum(R_0011_0002__MAXIMUM)
          & r_0011_0010__65_r_0011_0011__mph(R_0011_0010__65_R_0011_0011__MPH)
          & r_0011_0009__is(R_0011_0009__IS)
          & has_prd(R_0011_0009__IS,R_0011_0010__65_R_0011_0011__MPH)
          & has_arg0(R_0011_0009__IS,R_0011_0001__THE_R_0011_0003__SPEED_R_0011_0004__LIMIT)
          & r_0011_0001__The_r_0011_0003__speed_r_0011_0004__limit(R_0011_0001__THE_R_0011_0003__SPEED_R_0011_0004__LIMIT)
          & has_r_0011_0005__on(R_0011_0001__THE_R_0011_0003__SPEED_R_0011_0004__LIMIT,R_0011_0007__CALIFORNIA_R_0011_0008__HIGHWAYS)
          & has_attrib(R_0011_0001__THE_R_0011_0003__SPEED_R_0011_0004__LIMIT,R_0011_0002__MAXIMUM) ) ) ).