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_0008__driving_r_0015_0009__conditions driving conditions r_0015_0007__ideal ideal r_0015_0008__driving_r_0015_0009__conditions->r_0015_0007__ideal [attrib] r_0015_0004__are_r_0015_0005__based are based 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_0002__speed_r_0015_0003__limits speed limits r_0015_0004__are_r_0015_0005__based->r_0015_0002__speed_r_0015_0003__limits [arg1] r_0015_0001__All_quant All [quant] r_0015_0001__All_quant->r_0015_0004__are_r_0015_0005__based [scope] r_0015_0001__All_quant->r_0015_0002__speed_r_0015_0003__limits [restriction] 
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__1_1_1_1 All n15_a_driver_handbook__1_1_2_1 speed n15_a_driver_handbook__1_1_3_1 limits n15_a_driver_handbook__1_2_1 are n15_a_driver_handbook__1_3_1_1 * n15_a_driver_handbook__1_3_2_1 based n15_a_driver_handbook__1_3_3_1_1 on n15_a_driver_handbook__1_3_3_2_1_1_1 ideal n15_a_driver_handbook__1_3_3_2_2_1 driving n15_a_driver_handbook__1_3_3_2_3_1 conditions n15_a_driver_handbook__1_4_1 . n15_a_driver_handbook__1 IP-MAT n15_a_driver_handbook__1_1 NP-SBJ n15_a_driver_handbook__1->n15_a_driver_handbook__1_1 n15_a_driver_handbook__1_2 BEP;_cat_VePASS_ n15_a_driver_handbook__1->n15_a_driver_handbook__1_2 n15_a_driver_handbook__1_3 IP-PPL-CAT n15_a_driver_handbook__1->n15_a_driver_handbook__1_3 n15_a_driver_handbook__1_4 PUNC n15_a_driver_handbook__1->n15_a_driver_handbook__1_4 n15_a_driver_handbook__1_1_1 Q n15_a_driver_handbook__1_1->n15_a_driver_handbook__1_1_1 n15_a_driver_handbook__1_1_2 N n15_a_driver_handbook__1_1->n15_a_driver_handbook__1_1_2 n15_a_driver_handbook__1_1_3 NS n15_a_driver_handbook__1_1->n15_a_driver_handbook__1_1_3 n15_a_driver_handbook__1_1_1->n15_a_driver_handbook__1_1_1_1 n15_a_driver_handbook__1_1_2->n15_a_driver_handbook__1_1_2_1 n15_a_driver_handbook__1_1_3->n15_a_driver_handbook__1_1_3_1 n15_a_driver_handbook__1_2->n15_a_driver_handbook__1_2_1 n15_a_driver_handbook__1_3_1 NP-LGS n15_a_driver_handbook__1_3->n15_a_driver_handbook__1_3_1 n15_a_driver_handbook__1_3_2 VVN;_phr_Vn.pr_ n15_a_driver_handbook__1_3->n15_a_driver_handbook__1_3_2 n15_a_driver_handbook__1_3_3 PP-CLR n15_a_driver_handbook__1_3->n15_a_driver_handbook__1_3_3 n15_a_driver_handbook__1_3_1->n15_a_driver_handbook__1_3_1_1 n15_a_driver_handbook__1_3_2->n15_a_driver_handbook__1_3_2_1 n15_a_driver_handbook__1_3_3_1 P-ROLE n15_a_driver_handbook__1_3_3->n15_a_driver_handbook__1_3_3_1 n15_a_driver_handbook__1_3_3_2 NP n15_a_driver_handbook__1_3_3->n15_a_driver_handbook__1_3_3_2 n15_a_driver_handbook__1_3_3_1->n15_a_driver_handbook__1_3_3_1_1 n15_a_driver_handbook__1_3_3_2_1 ADJP n15_a_driver_handbook__1_3_3_2->n15_a_driver_handbook__1_3_3_2_1 n15_a_driver_handbook__1_3_3_2_2 N n15_a_driver_handbook__1_3_3_2->n15_a_driver_handbook__1_3_3_2_2 n15_a_driver_handbook__1_3_3_2_3 NS n15_a_driver_handbook__1_3_3_2->n15_a_driver_handbook__1_3_3_2_3 n15_a_driver_handbook__1_3_3_2_1_1 ADJ n15_a_driver_handbook__1_3_3_2_1->n15_a_driver_handbook__1_3_3_2_1_1 n15_a_driver_handbook__1_3_3_2_1_1->n15_a_driver_handbook__1_3_3_2_1_1_1 n15_a_driver_handbook__1_3_3_2_2->n15_a_driver_handbook__1_3_3_2_2_1 n15_a_driver_handbook__1_3_3_2_3->n15_a_driver_handbook__1_3_3_2_3_1 n15_a_driver_handbook__1_4->n15_a_driver_handbook__1_4_1 
( (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))