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_0009__is is r_0011_0010__65_r_0011_0011__mph 65 mph r_0011_0009__is->r_0011_0010__65_r_0011_0011__mph [prd] r_0011_0001__The_r_0011_0003__speed_r_0011_0004__limit The speed limit r_0011_0009__is->r_0011_0001__The_r_0011_0003__speed_r_0011_0004__limit [arg0] 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_0002__maximum maximum r_0011_0001__The_r_0011_0003__speed_r_0011_0004__limit->r_0011_0002__maximum [attrib] 
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__1_1_1_1 The n11_a_driver_handbook__1_1_2_1_1 maximum n11_a_driver_handbook__1_1_3_1 speed n11_a_driver_handbook__1_1_4_1 limit n11_a_driver_handbook__1_1_5_1_1 on n11_a_driver_handbook__1_1_5_2_1_1 most n11_a_driver_handbook__1_1_5_2_2_1 California n11_a_driver_handbook__1_1_5_2_3_1 highways n11_a_driver_handbook__1_2_1 is n11_a_driver_handbook__1_3_1_1 65 n11_a_driver_handbook__1_3_2_1 mph n11_a_driver_handbook__1_4_1 . n11_a_driver_handbook__1 IP-MAT n11_a_driver_handbook__1_1 NP-SBJ n11_a_driver_handbook__1->n11_a_driver_handbook__1_1 n11_a_driver_handbook__1_2 BEP;_Ln_ n11_a_driver_handbook__1->n11_a_driver_handbook__1_2 n11_a_driver_handbook__1_3 NP-PRD n11_a_driver_handbook__1->n11_a_driver_handbook__1_3 n11_a_driver_handbook__1_4 PUNC n11_a_driver_handbook__1->n11_a_driver_handbook__1_4 n11_a_driver_handbook__1_1_1 D n11_a_driver_handbook__1_1->n11_a_driver_handbook__1_1_1 n11_a_driver_handbook__1_1_2 ADJP n11_a_driver_handbook__1_1->n11_a_driver_handbook__1_1_2 n11_a_driver_handbook__1_1_3 N n11_a_driver_handbook__1_1->n11_a_driver_handbook__1_1_3 n11_a_driver_handbook__1_1_4 N n11_a_driver_handbook__1_1->n11_a_driver_handbook__1_1_4 n11_a_driver_handbook__1_1_5 PP n11_a_driver_handbook__1_1->n11_a_driver_handbook__1_1_5 n11_a_driver_handbook__1_1_1->n11_a_driver_handbook__1_1_1_1 n11_a_driver_handbook__1_1_2_1 ADJ n11_a_driver_handbook__1_1_2->n11_a_driver_handbook__1_1_2_1 n11_a_driver_handbook__1_1_2_1->n11_a_driver_handbook__1_1_2_1_1 n11_a_driver_handbook__1_1_3->n11_a_driver_handbook__1_1_3_1 n11_a_driver_handbook__1_1_4->n11_a_driver_handbook__1_1_4_1 n11_a_driver_handbook__1_1_5_1 P-ROLE n11_a_driver_handbook__1_1_5->n11_a_driver_handbook__1_1_5_1 n11_a_driver_handbook__1_1_5_2 NP n11_a_driver_handbook__1_1_5->n11_a_driver_handbook__1_1_5_2 n11_a_driver_handbook__1_1_5_1->n11_a_driver_handbook__1_1_5_1_1 n11_a_driver_handbook__1_1_5_2_1 Q n11_a_driver_handbook__1_1_5_2->n11_a_driver_handbook__1_1_5_2_1 n11_a_driver_handbook__1_1_5_2_2 NPR n11_a_driver_handbook__1_1_5_2->n11_a_driver_handbook__1_1_5_2_2 n11_a_driver_handbook__1_1_5_2_3 NS n11_a_driver_handbook__1_1_5_2->n11_a_driver_handbook__1_1_5_2_3 n11_a_driver_handbook__1_1_5_2_1->n11_a_driver_handbook__1_1_5_2_1_1 n11_a_driver_handbook__1_1_5_2_2->n11_a_driver_handbook__1_1_5_2_2_1 n11_a_driver_handbook__1_1_5_2_3->n11_a_driver_handbook__1_1_5_2_3_1 n11_a_driver_handbook__1_2->n11_a_driver_handbook__1_2_1 n11_a_driver_handbook__1_3_1 NUM n11_a_driver_handbook__1_3->n11_a_driver_handbook__1_3_1 n11_a_driver_handbook__1_3_2 N n11_a_driver_handbook__1_3->n11_a_driver_handbook__1_3_2 n11_a_driver_handbook__1_3_1->n11_a_driver_handbook__1_3_1_1 n11_a_driver_handbook__1_3_2->n11_a_driver_handbook__1_3_2_1 n11_a_driver_handbook__1_4->n11_a_driver_handbook__1_4_1 
( (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))