Context                Previous, Next                Top


11_a_driver_handbook
The maximum speed limit on most California highways is 65 mph.

%3 r_0011_0001__The_r_0011_0003__speed_r_0011_0004__limit The speed limit r_0011_0002__maximum maximum r_0011_0001__The_r_0011_0003__speed_r_0011_0004__limit->r_0011_0002__maximum [attrib] r_0011_0007__California_r_0011_0008__highways California highways r_0011_0001__The_r_0011_0003__speed_r_0011_0004__limit->r_0011_0007__California_r_0011_0008__highways on r_0011_0009__is is r_0011_0009__is->r_0011_0001__The_r_0011_0003__speed_r_0011_0004__limit [arg0] r_0011_0010__65_r_0011_0011__mph 65 mph r_0011_0009__is->r_0011_0010__65_r_0011_0011__mph [prd] 
arc(r_0011_0001__The_r_0011_0003__speed_r_0011_0004__limit, r_0011_0002__maximum, attrib5).
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_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).


%3 r_0011_0001__The_r_0011_0003__speed_r_0011_0004__limit The speed limit r_0011_0002__maximum maximum r_0011_0001__The_r_0011_0003__speed_r_0011_0004__limit->r_0011_0002__maximum [attrib] r_0011_0007__California_r_0011_0008__highways California highways r_0011_0001__The_r_0011_0003__speed_r_0011_0004__limit->r_0011_0007__California_r_0011_0008__highways on r_0011_0009__is is r_0011_0009__is->r_0011_0001__The_r_0011_0003__speed_r_0011_0004__limit [arg0] r_0011_0010__65_r_0011_0011__mph 65 mph r_0011_0009__is->r_0011_0010__65_r_0011_0011__mph [prd] 
fof(formula,axiom,
    ? [R_11_9_IS,R_11_1_THE_SPEED_LIMIT,R_11_2_MAXIMUM,R_11_7_CALIFORNIA_HIGHWAYS,R_11_10_65_MPH] :
      ( maximum(R_11_2_MAXIMUM)
      & california_highways(R_11_7_CALIFORNIA_HIGHWAYS)
      & 65_mph(R_11_10_65_MPH)
      & is(R_11_9_IS,R_11_1_THE_SPEED_LIMIT,R_11_10_65_MPH)
      & the_speed_limit(R_11_1_THE_SPEED_LIMIT)
      & attrib5(R_11_1_THE_SPEED_LIMIT,R_11_2_MAXIMUM)
      & on(R_11_1_THE_SPEED_LIMIT,R_11_7_CALIFORNIA_HIGHWAYS) ) ).


n11_a_driver_handbook n11_a_driver_handbook_4 The n11_a_driver_handbook_7 maximum n11_a_driver_handbook_9 speed n11_a_driver_handbook_11 limit n11_a_driver_handbook_14 on n11_a_driver_handbook_17 most n11_a_driver_handbook_19 California n11_a_driver_handbook_21 highways n11_a_driver_handbook_23 is n11_a_driver_handbook_26 65 n11_a_driver_handbook_28 mph n11_a_driver_handbook_30 . n11_a_driver_handbook_1 IP-MAT n11_a_driver_handbook_2 NP-SBJ n11_a_driver_handbook_1->n11_a_driver_handbook_2 n11_a_driver_handbook_22 BEP;_Ln_ n11_a_driver_handbook_1->n11_a_driver_handbook_22 n11_a_driver_handbook_24 NP-PRD n11_a_driver_handbook_1->n11_a_driver_handbook_24 n11_a_driver_handbook_29 PUNC n11_a_driver_handbook_1->n11_a_driver_handbook_29 n11_a_driver_handbook_3 D n11_a_driver_handbook_2->n11_a_driver_handbook_3 n11_a_driver_handbook_5 ADJP n11_a_driver_handbook_2->n11_a_driver_handbook_5 n11_a_driver_handbook_8 N n11_a_driver_handbook_2->n11_a_driver_handbook_8 n11_a_driver_handbook_10 N n11_a_driver_handbook_2->n11_a_driver_handbook_10 n11_a_driver_handbook_12 PP n11_a_driver_handbook_2->n11_a_driver_handbook_12 n11_a_driver_handbook_3->n11_a_driver_handbook_4 n11_a_driver_handbook_6 ADJ n11_a_driver_handbook_5->n11_a_driver_handbook_6 n11_a_driver_handbook_6->n11_a_driver_handbook_7 n11_a_driver_handbook_8->n11_a_driver_handbook_9 n11_a_driver_handbook_10->n11_a_driver_handbook_11 n11_a_driver_handbook_13 P-ROLE n11_a_driver_handbook_12->n11_a_driver_handbook_13 n11_a_driver_handbook_15 NP n11_a_driver_handbook_12->n11_a_driver_handbook_15 n11_a_driver_handbook_13->n11_a_driver_handbook_14 n11_a_driver_handbook_16 Q n11_a_driver_handbook_15->n11_a_driver_handbook_16 n11_a_driver_handbook_18 NPR n11_a_driver_handbook_15->n11_a_driver_handbook_18 n11_a_driver_handbook_20 NS n11_a_driver_handbook_15->n11_a_driver_handbook_20 n11_a_driver_handbook_16->n11_a_driver_handbook_17 n11_a_driver_handbook_18->n11_a_driver_handbook_19 n11_a_driver_handbook_20->n11_a_driver_handbook_21 n11_a_driver_handbook_22->n11_a_driver_handbook_23 n11_a_driver_handbook_25 NUM n11_a_driver_handbook_24->n11_a_driver_handbook_25 n11_a_driver_handbook_27 N n11_a_driver_handbook_24->n11_a_driver_handbook_27 n11_a_driver_handbook_25->n11_a_driver_handbook_26 n11_a_driver_handbook_27->n11_a_driver_handbook_28 n11_a_driver_handbook_29->n11_a_driver_handbook_30 
( (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))