Context                Previous, Next                Top


5_a_driver_handbook
California has a “Basic Speed Law.”

%3 r_0005_0002__has has r_0005_0001__California California r_0005_0002__has->r_0005_0001__California [arg0] r_0005_0003__a_r_0005_0005__Basic_Speed_Law a Basic Speed Law r_0005_0002__has->r_0005_0003__a_r_0005_0005__Basic_Speed_Law [arg1] 
arc(r_0005_0002__has, r_0005_0001__California, arg0).
arc(r_0005_0002__has, r_0005_0003__a_r_0005_0005__Basic_Speed_Law, arg1).


%3 r_0005_0002__has has r_0005_0001__California California r_0005_0002__has->r_0005_0001__California [arg0] r_0005_0003__a_r_0005_0005__Basic_Speed_Law a Basic Speed Law r_0005_0002__has->r_0005_0003__a_r_0005_0005__Basic_Speed_Law [arg1] 
fof(formula,axiom,
    ? [R_5_2_HAS,R_5_1_CALIFORNIA,R_5_3_A_BASIC_SPEED_LAW] :
      ( california(R_5_1_CALIFORNIA)
      & a_Basic_Speed_Law(R_5_3_A_BASIC_SPEED_LAW)
      & has(R_5_2_HAS,R_5_1_CALIFORNIA,R_5_3_A_BASIC_SPEED_LAW) ) ).


n5_a_driver_handbook n5_a_driver_handbook_4 California n5_a_driver_handbook_6 has n5_a_driver_handbook_9 a n5_a_driver_handbook_11 <ldquo> n5_a_driver_handbook_13 Basic_Speed_Law n5_a_driver_handbook_15 . n5_a_driver_handbook_17 <rdquo> n5_a_driver_handbook_1 IP-MAT n5_a_driver_handbook_2 NP-SBJ n5_a_driver_handbook_1->n5_a_driver_handbook_2 n5_a_driver_handbook_5 HVP;_Tn_ n5_a_driver_handbook_1->n5_a_driver_handbook_5 n5_a_driver_handbook_7 NP-OB1 n5_a_driver_handbook_1->n5_a_driver_handbook_7 n5_a_driver_handbook_14 PUNC n5_a_driver_handbook_1->n5_a_driver_handbook_14 n5_a_driver_handbook_16 PURQ n5_a_driver_handbook_1->n5_a_driver_handbook_16 n5_a_driver_handbook_3 NPR n5_a_driver_handbook_2->n5_a_driver_handbook_3 n5_a_driver_handbook_3->n5_a_driver_handbook_4 n5_a_driver_handbook_5->n5_a_driver_handbook_6 n5_a_driver_handbook_8 D n5_a_driver_handbook_7->n5_a_driver_handbook_8 n5_a_driver_handbook_10 PULQ n5_a_driver_handbook_7->n5_a_driver_handbook_10 n5_a_driver_handbook_12 NPR n5_a_driver_handbook_7->n5_a_driver_handbook_12 n5_a_driver_handbook_8->n5_a_driver_handbook_9 n5_a_driver_handbook_10->n5_a_driver_handbook_11 n5_a_driver_handbook_12->n5_a_driver_handbook_13 n5_a_driver_handbook_14->n5_a_driver_handbook_15 n5_a_driver_handbook_16->n5_a_driver_handbook_17 
( (IP-MAT (NP-SBJ (NPR California;{California}))
          (HVP;_Tn_ has;{have})
          (NP-OB1;{BSL} (D a;{a})
                        (PULQ <ldquo>)
                        (NPR Basic_Speed_Law))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 5_a_driver_handbook))