Context                Previous, Next                Top


7_a_driver_handbook
For example, if you are driving 45 mph in a 55 mph speed zone during a dense fog, you could be cited for driving “too fast for conditions.”

%3 r_0007_0003__if if r_0007_0005__are are r_0007_0003__if->r_0007_0005__are [restriction] r_0007_0021__could could r_0007_0003__if->r_0007_0021__could [scope] r_0007_0006__driving driving r_0007_0005__are->r_0007_0006__driving [scope] r_0007_0001__For_example For example r_0007_0021__could->r_0007_0001__For_example [nim] r_0007_0022__be be r_0007_0021__could->r_0007_0022__be [scope] r_0007_0004__you you r_0007_0006__driving->r_0007_0004__you [arg0] r_0007_0007__45_r_0007_0008__mph 45 mph r_0007_0006__driving->r_0007_0007__45_r_0007_0008__mph [arg1] r_0007_0010__a_r_0007_0011__55_r_0007_0012__mph_r_0007_0013__speed_r_0007_0014__zone a 55 mph speed zone r_0007_0006__driving->r_0007_0010__a_r_0007_0011__55_r_0007_0012__mph_r_0007_0013__speed_r_0007_0014__zone in [nim] r_0007_0016__a_r_0007_0018__fog a fog r_0007_0006__driving->r_0007_0016__a_r_0007_0018__fog during [nim] r_0007_0017__dense dense r_0007_0016__a_r_0007_0018__fog->r_0007_0017__dense [attrib] r_0007_0023__cited cited r_0007_0022__be->r_0007_0023__cited [scope] r_0007_0023__cited->r_0007_0004__you [arg1] r_0007_0025__driving driving r_0007_0023__cited->r_0007_0025__driving for [clr] z_000_7_a_driver_handbook_60 r_0007_0023__cited->z_000_7_a_driver_handbook_60 [arg0] r_0007_0028__fast fast r_0007_0025__driving->r_0007_0028__fast [nim] z_000_7_a_driver_handbook_67 r_0007_0025__driving->z_000_7_a_driver_handbook_67 [arg0] r_0007_0027__too too r_0007_0028__fast->r_0007_0027__too [qual] r_0007_0030__conditions conditions r_0007_0028__fast->r_0007_0030__conditions for 
arc(r_0007_0003__if, r_0007_0005__are, restriction).
arc(r_0007_0003__if, r_0007_0021__could, scope).
arc(r_0007_0005__are, r_0007_0006__driving, scope).
arc(r_0007_0006__driving, r_0007_0004__you, arg0).
arc(r_0007_0006__driving, r_0007_0007__45_r_0007_0008__mph, arg1).
arc(r_0007_0006__driving, r_0007_0010__a_r_0007_0011__55_r_0007_0012__mph_r_0007_0013__speed_r_0007_0014__zone, r_0007_0009__in_nim27).
arc(r_0007_0006__driving, r_0007_0016__a_r_0007_0018__fog, r_0007_0015__during_nim41).
arc(r_0007_0016__a_r_0007_0018__fog, r_0007_0017__dense, attrib44).
arc(r_0007_0021__could, r_0007_0001__For_example, nim2).
arc(r_0007_0021__could, r_0007_0022__be, scope).
arc(r_0007_0022__be, r_0007_0023__cited, scope).
arc(r_0007_0023__cited, r_0007_0004__you, arg1).
arc(r_0007_0023__cited, r_0007_0025__driving, r_0007_0024__for_clr67).
arc(r_0007_0023__cited, z_000_7_a_driver_handbook_60, arg0).
arc(r_0007_0025__driving, r_0007_0028__fast, nim72).
arc(r_0007_0025__driving, z_000_7_a_driver_handbook_67, arg0).
arc(r_0007_0028__fast, r_0007_0027__too, qual73).
arc(r_0007_0028__fast, r_0007_0030__conditions, r_0007_0029__for).


%3 r_0007_0003__if if r_0007_0005__are_r_0007_0006__driving are driving r_0007_0003__if->r_0007_0005__are_r_0007_0006__driving [restriction] r_0007_0021__could_r_0007_0022__be_r_0007_0023__cited could be cited r_0007_0003__if->r_0007_0021__could_r_0007_0022__be_r_0007_0023__cited [scope] r_0007_0004__you you r_0007_0005__are_r_0007_0006__driving->r_0007_0004__you [arg0] r_0007_0007__45_r_0007_0008__mph 45 mph r_0007_0005__are_r_0007_0006__driving->r_0007_0007__45_r_0007_0008__mph [arg1] r_0007_0010__a_r_0007_0011__55_r_0007_0012__mph_r_0007_0013__speed_r_0007_0014__zone a 55 mph speed zone r_0007_0005__are_r_0007_0006__driving->r_0007_0010__a_r_0007_0011__55_r_0007_0012__mph_r_0007_0013__speed_r_0007_0014__zone in [nim] r_0007_0016__a_r_0007_0018__fog a fog r_0007_0005__are_r_0007_0006__driving->r_0007_0016__a_r_0007_0018__fog during [nim] r_0007_0021__could_r_0007_0022__be_r_0007_0023__cited->r_0007_0004__you [arg1] r_0007_0001__For_example For example r_0007_0021__could_r_0007_0022__be_r_0007_0023__cited->r_0007_0001__For_example [nim] r_0007_0025__driving driving r_0007_0021__could_r_0007_0022__be_r_0007_0023__cited->r_0007_0025__driving for [clr] z_000_7_a_driver_handbook_60 r_0007_0021__could_r_0007_0022__be_r_0007_0023__cited->z_000_7_a_driver_handbook_60 [arg0] r_0007_0017__dense dense r_0007_0016__a_r_0007_0018__fog->r_0007_0017__dense [attrib] r_0007_0028__fast fast r_0007_0025__driving->r_0007_0028__fast [nim] z_000_7_a_driver_handbook_67 r_0007_0025__driving->z_000_7_a_driver_handbook_67 [arg0] r_0007_0027__too too r_0007_0028__fast->r_0007_0027__too [qual] r_0007_0030__conditions conditions r_0007_0028__fast->r_0007_0030__conditions for 
fof(formula,axiom,
    ! [R_7_5_ARE_DRIVING,R_7_4_YOU,R_7_7_45_MPH,R_7_10_A_55_MPH_SPEED_ZONE,R_7_16_A_FOG,R_7_17_DENSE] :
      ( ( you(R_7_4_YOU)
        & 45_mph(R_7_7_45_MPH)
        & a_55_mph_speed_zone(R_7_10_A_55_MPH_SPEED_ZONE)
        & dense(R_7_17_DENSE)
        & are_driving(R_7_5_ARE_DRIVING,R_7_4_YOU,R_7_7_45_MPH)
        & in_nim27(R_7_5_ARE_DRIVING,R_7_10_A_55_MPH_SPEED_ZONE)
        & during_nim41(R_7_5_ARE_DRIVING,R_7_16_A_FOG)
        & a_fog(R_7_16_A_FOG)
        & attrib44(R_7_16_A_FOG,R_7_17_DENSE) )
     => ? [R_7_21_COULD_BE_CITED,Z_7_A_DRIVER_HANDBOOK_60,R_7_1_FOR_EXAMPLE,R_7_25_DRIVING,Z_7_A_DRIVER_HANDBOOK_67,R_7_28_FAST,R_7_27_TOO,R_7_30_CONDITIONS] :
          ( for_example(R_7_1_FOR_EXAMPLE)
          & too(R_7_27_TOO)
          & conditions(R_7_30_CONDITIONS)
          & could_be_cited(R_7_21_COULD_BE_CITED,Z_7_A_DRIVER_HANDBOOK_60,R_7_4_YOU)
          & nim2(R_7_21_COULD_BE_CITED,R_7_1_FOR_EXAMPLE)
          & for_clr67(R_7_21_COULD_BE_CITED,R_7_25_DRIVING)
          & driving(R_7_25_DRIVING,Z_7_A_DRIVER_HANDBOOK_67)
          & nim72(R_7_25_DRIVING,R_7_28_FAST)
          & fast(R_7_28_FAST)
          & qual73(R_7_28_FAST,R_7_27_TOO)
          & for(R_7_28_FAST,R_7_30_CONDITIONS) ) ) ).


n7_a_driver_handbook n7_a_driver_handbook_4 For_example n7_a_driver_handbook_6 , n7_a_driver_handbook_9 if n7_a_driver_handbook_13 you n7_a_driver_handbook_15 are n7_a_driver_handbook_18 driving n7_a_driver_handbook_21 45 n7_a_driver_handbook_23 mph n7_a_driver_handbook_26 in n7_a_driver_handbook_29 a n7_a_driver_handbook_31 55 n7_a_driver_handbook_33 mph n7_a_driver_handbook_35 speed n7_a_driver_handbook_37 zone n7_a_driver_handbook_40 during n7_a_driver_handbook_43 a n7_a_driver_handbook_46 dense n7_a_driver_handbook_48 fog n7_a_driver_handbook_50 , n7_a_driver_handbook_53 you n7_a_driver_handbook_55 could n7_a_driver_handbook_58 be n7_a_driver_handbook_61 * n7_a_driver_handbook_63 cited n7_a_driver_handbook_66 for n7_a_driver_handbook_69 driving n7_a_driver_handbook_71 <ldquo> n7_a_driver_handbook_75 too n7_a_driver_handbook_77 fast n7_a_driver_handbook_80 for n7_a_driver_handbook_83 conditions n7_a_driver_handbook_85 . n7_a_driver_handbook_87 <rdquo> n7_a_driver_handbook_1 IP-MAT n7_a_driver_handbook_2 ADVP-NIM n7_a_driver_handbook_1->n7_a_driver_handbook_2 n7_a_driver_handbook_5 PUNC n7_a_driver_handbook_1->n7_a_driver_handbook_5 n7_a_driver_handbook_7 PP-SCON n7_a_driver_handbook_1->n7_a_driver_handbook_7 n7_a_driver_handbook_49 PUNC n7_a_driver_handbook_1->n7_a_driver_handbook_49 n7_a_driver_handbook_51 NP-SBJ n7_a_driver_handbook_1->n7_a_driver_handbook_51 n7_a_driver_handbook_54 MD;_cat_Vi_ n7_a_driver_handbook_1->n7_a_driver_handbook_54 n7_a_driver_handbook_56 IP-INF-CAT n7_a_driver_handbook_1->n7_a_driver_handbook_56 n7_a_driver_handbook_84 PUNC n7_a_driver_handbook_1->n7_a_driver_handbook_84 n7_a_driver_handbook_86 PURQ n7_a_driver_handbook_1->n7_a_driver_handbook_86 n7_a_driver_handbook_3 ADV n7_a_driver_handbook_2->n7_a_driver_handbook_3 n7_a_driver_handbook_3->n7_a_driver_handbook_4 n7_a_driver_handbook_5->n7_a_driver_handbook_6 n7_a_driver_handbook_8 P-CONN n7_a_driver_handbook_7->n7_a_driver_handbook_8 n7_a_driver_handbook_10 IP-ADV n7_a_driver_handbook_7->n7_a_driver_handbook_10 n7_a_driver_handbook_8->n7_a_driver_handbook_9 n7_a_driver_handbook_11 NP-SBJ n7_a_driver_handbook_10->n7_a_driver_handbook_11 n7_a_driver_handbook_14 BEP;_cat_Vg_ n7_a_driver_handbook_10->n7_a_driver_handbook_14 n7_a_driver_handbook_16 IP-PPL-CAT n7_a_driver_handbook_10->n7_a_driver_handbook_16 n7_a_driver_handbook_12 PRO n7_a_driver_handbook_11->n7_a_driver_handbook_12 n7_a_driver_handbook_12->n7_a_driver_handbook_13 n7_a_driver_handbook_14->n7_a_driver_handbook_15 n7_a_driver_handbook_17 VAG;_Tn_ n7_a_driver_handbook_16->n7_a_driver_handbook_17 n7_a_driver_handbook_19 NP-OB1 n7_a_driver_handbook_16->n7_a_driver_handbook_19 n7_a_driver_handbook_24 PP-NIM n7_a_driver_handbook_16->n7_a_driver_handbook_24 n7_a_driver_handbook_38 PP-NIM n7_a_driver_handbook_16->n7_a_driver_handbook_38 n7_a_driver_handbook_17->n7_a_driver_handbook_18 n7_a_driver_handbook_20 NUM n7_a_driver_handbook_19->n7_a_driver_handbook_20 n7_a_driver_handbook_22 N n7_a_driver_handbook_19->n7_a_driver_handbook_22 n7_a_driver_handbook_20->n7_a_driver_handbook_21 n7_a_driver_handbook_22->n7_a_driver_handbook_23 n7_a_driver_handbook_25 P-ROLE n7_a_driver_handbook_24->n7_a_driver_handbook_25 n7_a_driver_handbook_27 NP n7_a_driver_handbook_24->n7_a_driver_handbook_27 n7_a_driver_handbook_25->n7_a_driver_handbook_26 n7_a_driver_handbook_28 D n7_a_driver_handbook_27->n7_a_driver_handbook_28 n7_a_driver_handbook_30 NUM n7_a_driver_handbook_27->n7_a_driver_handbook_30 n7_a_driver_handbook_32 N n7_a_driver_handbook_27->n7_a_driver_handbook_32 n7_a_driver_handbook_34 N n7_a_driver_handbook_27->n7_a_driver_handbook_34 n7_a_driver_handbook_36 N n7_a_driver_handbook_27->n7_a_driver_handbook_36 n7_a_driver_handbook_28->n7_a_driver_handbook_29 n7_a_driver_handbook_30->n7_a_driver_handbook_31 n7_a_driver_handbook_32->n7_a_driver_handbook_33 n7_a_driver_handbook_34->n7_a_driver_handbook_35 n7_a_driver_handbook_36->n7_a_driver_handbook_37 n7_a_driver_handbook_39 P-ROLE n7_a_driver_handbook_38->n7_a_driver_handbook_39 n7_a_driver_handbook_41 NP n7_a_driver_handbook_38->n7_a_driver_handbook_41 n7_a_driver_handbook_39->n7_a_driver_handbook_40 n7_a_driver_handbook_42 D n7_a_driver_handbook_41->n7_a_driver_handbook_42 n7_a_driver_handbook_44 ADJP n7_a_driver_handbook_41->n7_a_driver_handbook_44 n7_a_driver_handbook_47 N n7_a_driver_handbook_41->n7_a_driver_handbook_47 n7_a_driver_handbook_42->n7_a_driver_handbook_43 n7_a_driver_handbook_45 ADJ n7_a_driver_handbook_44->n7_a_driver_handbook_45 n7_a_driver_handbook_45->n7_a_driver_handbook_46 n7_a_driver_handbook_47->n7_a_driver_handbook_48 n7_a_driver_handbook_49->n7_a_driver_handbook_50 n7_a_driver_handbook_52 PRO n7_a_driver_handbook_51->n7_a_driver_handbook_52 n7_a_driver_handbook_52->n7_a_driver_handbook_53 n7_a_driver_handbook_54->n7_a_driver_handbook_55 n7_a_driver_handbook_57 BE;_cat_VePASS_ n7_a_driver_handbook_56->n7_a_driver_handbook_57 n7_a_driver_handbook_59 IP-PPL-CAT n7_a_driver_handbook_56->n7_a_driver_handbook_59 n7_a_driver_handbook_57->n7_a_driver_handbook_58 n7_a_driver_handbook_60 NP-LGS n7_a_driver_handbook_59->n7_a_driver_handbook_60 n7_a_driver_handbook_62 VVN;_Tn.pr_ n7_a_driver_handbook_59->n7_a_driver_handbook_62 n7_a_driver_handbook_64 PP-CLR n7_a_driver_handbook_59->n7_a_driver_handbook_64 n7_a_driver_handbook_60->n7_a_driver_handbook_61 n7_a_driver_handbook_62->n7_a_driver_handbook_63 n7_a_driver_handbook_65 P-ROLE n7_a_driver_handbook_64->n7_a_driver_handbook_65 n7_a_driver_handbook_67 IP-PPL n7_a_driver_handbook_64->n7_a_driver_handbook_67 n7_a_driver_handbook_65->n7_a_driver_handbook_66 n7_a_driver_handbook_68 VAG;_I_ n7_a_driver_handbook_67->n7_a_driver_handbook_68 n7_a_driver_handbook_70 PULQ n7_a_driver_handbook_67->n7_a_driver_handbook_70 n7_a_driver_handbook_72 ADVP-NIM n7_a_driver_handbook_67->n7_a_driver_handbook_72 n7_a_driver_handbook_68->n7_a_driver_handbook_69 n7_a_driver_handbook_70->n7_a_driver_handbook_71 n7_a_driver_handbook_73 ADVP n7_a_driver_handbook_72->n7_a_driver_handbook_73 n7_a_driver_handbook_76 ADV n7_a_driver_handbook_72->n7_a_driver_handbook_76 n7_a_driver_handbook_78 PP n7_a_driver_handbook_72->n7_a_driver_handbook_78 n7_a_driver_handbook_74 ADV n7_a_driver_handbook_73->n7_a_driver_handbook_74 n7_a_driver_handbook_74->n7_a_driver_handbook_75 n7_a_driver_handbook_76->n7_a_driver_handbook_77 n7_a_driver_handbook_79 P-ROLE n7_a_driver_handbook_78->n7_a_driver_handbook_79 n7_a_driver_handbook_81 NP n7_a_driver_handbook_78->n7_a_driver_handbook_81 n7_a_driver_handbook_79->n7_a_driver_handbook_80 n7_a_driver_handbook_82 NS n7_a_driver_handbook_81->n7_a_driver_handbook_82 n7_a_driver_handbook_82->n7_a_driver_handbook_83 n7_a_driver_handbook_84->n7_a_driver_handbook_85 n7_a_driver_handbook_86->n7_a_driver_handbook_87 
( (IP-MAT (ADVP-NIM (ADV For_example;{for_example}))
          (PUNC ,)
          (PP-SCON (P-CONN if;{if})
                   (IP-ADV (NP-SBJ (PRO you;{you}))
                           (BEP;_cat_Vg_ are;{be})
                           (IP-PPL-CAT (VAG;_Tn_ driving;{drive})
                                       (NP-OB1 (NUM 45)
                                               (N mph;{mph}))
                                       (PP-NIM (P-ROLE in;{in})
                                               (NP (D a;{a})
                                                   (NUM 55)
                                                   (N mph;{mph})
                                                   (N speed;{speed})
                                                   (N zone;{zone})))
                                       (PP-NIM (P-ROLE during;{during})
                                               (NP (D a;{a})
                                                   (ADJP (ADJ dense;{dense}))
                                                   (N fog;{fog}))))))
          (PUNC ,)
          (NP-SBJ (PRO you;{you}))
          (MD;_cat_Vi_ could;{can})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn.pr_ cited;{cite[for]})
                                  (PP-CLR (P-ROLE for;{for})
                                          (IP-PPL (VAG;_I_ driving;{drive})
                                                  (PULQ <ldquo>)
                                                  (ADVP-NIM (ADVP (ADV too;{too}))
                                                            (ADV fast;{fast})
                                                            (PP (P-ROLE for;{for})
                                                                (NP (NS conditions;{condition}))))))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 7_a_driver_handbook))