Context                Previous, Next                Top


15_a_driver_handbook
All speed limits are based on ideal driving conditions.

%3 r_0015_0001__All_quant All [quant] r_0015_0002__speed_r_0015_0003__limits speed limits r_0015_0001__All_quant->r_0015_0002__speed_r_0015_0003__limits [restriction] r_0015_0004__are are r_0015_0001__All_quant->r_0015_0004__are [scope] r_0015_0005__based based r_0015_0004__are->r_0015_0005__based [scope] r_0015_0005__based->r_0015_0002__speed_r_0015_0003__limits [arg1] r_0015_0008__driving_r_0015_0009__conditions driving conditions r_0015_0005__based->r_0015_0008__driving_r_0015_0009__conditions on [clr] z_000_15_a_driver_handbook_12 r_0015_0005__based->z_000_15_a_driver_handbook_12 [arg0] r_0015_0007__ideal ideal r_0015_0008__driving_r_0015_0009__conditions->r_0015_0007__ideal [attrib] 
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_clr19).
arc(r_0015_0005__based, z_000_15_a_driver_handbook_12, arg0).
arc(r_0015_0008__driving_r_0015_0009__conditions, r_0015_0007__ideal, attrib20).


%3 r_0015_0001__All_quant All [quant] r_0015_0002__speed_r_0015_0003__limits speed limits r_0015_0001__All_quant->r_0015_0002__speed_r_0015_0003__limits [restriction] r_0015_0004__are_r_0015_0005__based are based r_0015_0001__All_quant->r_0015_0004__are_r_0015_0005__based [scope] r_0015_0004__are_r_0015_0005__based->r_0015_0002__speed_r_0015_0003__limits [arg1] r_0015_0008__driving_r_0015_0009__conditions driving conditions r_0015_0004__are_r_0015_0005__based->r_0015_0008__driving_r_0015_0009__conditions on [clr] z_000_15_a_driver_handbook_12 r_0015_0004__are_r_0015_0005__based->z_000_15_a_driver_handbook_12 [arg0] r_0015_0007__ideal ideal r_0015_0008__driving_r_0015_0009__conditions->r_0015_0007__ideal [attrib] 
fof(formula,axiom,
    ! [R_15_2_SPEED_LIMITS] :
      ( speed_limits(R_15_2_SPEED_LIMITS)
     => ? [R_15_4_ARE_BASED,Z_15_A_DRIVER_HANDBOOK_12,R_15_8_DRIVING_CONDITIONS,R_15_7_IDEAL] :
          ( ideal(R_15_7_IDEAL)
          & are_based(R_15_4_ARE_BASED,Z_15_A_DRIVER_HANDBOOK_12,R_15_2_SPEED_LIMITS)
          & on_clr19(R_15_4_ARE_BASED,R_15_8_DRIVING_CONDITIONS)
          & driving_conditions(R_15_8_DRIVING_CONDITIONS)
          & attrib20(R_15_8_DRIVING_CONDITIONS,R_15_7_IDEAL) ) ) ).


n15_a_driver_handbook n15_a_driver_handbook_4 All n15_a_driver_handbook_6 speed n15_a_driver_handbook_8 limits n15_a_driver_handbook_10 are n15_a_driver_handbook_13 * n15_a_driver_handbook_15 based n15_a_driver_handbook_18 on n15_a_driver_handbook_22 ideal n15_a_driver_handbook_24 driving n15_a_driver_handbook_26 conditions n15_a_driver_handbook_28 . n15_a_driver_handbook_1 IP-MAT n15_a_driver_handbook_2 NP-SBJ n15_a_driver_handbook_1->n15_a_driver_handbook_2 n15_a_driver_handbook_9 BEP;_cat_VePASS_ n15_a_driver_handbook_1->n15_a_driver_handbook_9 n15_a_driver_handbook_11 IP-PPL-CAT n15_a_driver_handbook_1->n15_a_driver_handbook_11 n15_a_driver_handbook_27 PUNC n15_a_driver_handbook_1->n15_a_driver_handbook_27 n15_a_driver_handbook_3 Q n15_a_driver_handbook_2->n15_a_driver_handbook_3 n15_a_driver_handbook_5 N n15_a_driver_handbook_2->n15_a_driver_handbook_5 n15_a_driver_handbook_7 NS n15_a_driver_handbook_2->n15_a_driver_handbook_7 n15_a_driver_handbook_3->n15_a_driver_handbook_4 n15_a_driver_handbook_5->n15_a_driver_handbook_6 n15_a_driver_handbook_7->n15_a_driver_handbook_8 n15_a_driver_handbook_9->n15_a_driver_handbook_10 n15_a_driver_handbook_12 NP-LGS n15_a_driver_handbook_11->n15_a_driver_handbook_12 n15_a_driver_handbook_14 VVN;_phr_Vn.pr_ n15_a_driver_handbook_11->n15_a_driver_handbook_14 n15_a_driver_handbook_16 PP-CLR n15_a_driver_handbook_11->n15_a_driver_handbook_16 n15_a_driver_handbook_12->n15_a_driver_handbook_13 n15_a_driver_handbook_14->n15_a_driver_handbook_15 n15_a_driver_handbook_17 P-ROLE n15_a_driver_handbook_16->n15_a_driver_handbook_17 n15_a_driver_handbook_19 NP n15_a_driver_handbook_16->n15_a_driver_handbook_19 n15_a_driver_handbook_17->n15_a_driver_handbook_18 n15_a_driver_handbook_20 ADJP n15_a_driver_handbook_19->n15_a_driver_handbook_20 n15_a_driver_handbook_23 N n15_a_driver_handbook_19->n15_a_driver_handbook_23 n15_a_driver_handbook_25 NS n15_a_driver_handbook_19->n15_a_driver_handbook_25 n15_a_driver_handbook_21 ADJ n15_a_driver_handbook_20->n15_a_driver_handbook_21 n15_a_driver_handbook_21->n15_a_driver_handbook_22 n15_a_driver_handbook_23->n15_a_driver_handbook_24 n15_a_driver_handbook_25->n15_a_driver_handbook_26 n15_a_driver_handbook_27->n15_a_driver_handbook_28 
( (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))