Context                Previous, Next                Top


34_a_driver_handbook
Also, many children have not yet developed the ability to judge speeds and distances well enough to cross streets safely when cars are moving fast.

%3 r_0034_0004__children children r_0034_0003__many many r_0034_0004__children->r_0034_0003__many [attrib] r_0034_0005__have have r_0034_0001__Also Also r_0034_0005__have->r_0034_0001__Also [nim] r_0034_0008__developed developed r_0034_0005__have->r_0034_0008__developed [scope] r_0034_0008__developed->r_0034_0004__children [arg0] r_0034_0006__not_r_0034_0007__yet not yet r_0034_0008__developed->r_0034_0006__not_r_0034_0007__yet [nim] r_0034_0009__the_r_0034_0010__ability the ability r_0034_0008__developed->r_0034_0009__the_r_0034_0010__ability [arg1] r_0034_0011__to_r_0034_0012__judge to judge r_0034_0009__the_r_0034_0010__ability->r_0034_0011__to_r_0034_0012__judge [emb] r_0034_0014__and and r_0034_0011__to_r_0034_0012__judge->r_0034_0014__and [arg1] r_0034_0017__enough enough r_0034_0011__to_r_0034_0012__judge->r_0034_0017__enough [nim] z_000_34_a_driver_handbook_28 r_0034_0011__to_r_0034_0012__judge->z_000_34_a_driver_handbook_28 [arg0] r_0034_0013__speeds speeds r_0034_0014__and->r_0034_0013__speeds [conj1] r_0034_0015__distances distances r_0034_0014__and->r_0034_0015__distances [conj2] r_0034_0016__well well r_0034_0017__enough->r_0034_0016__well [qual] r_0034_0022__when when r_0034_0017__enough->r_0034_0022__when [emb] r_0034_0018__to_r_0034_0019__cross to cross r_0034_0022__when->r_0034_0018__to_r_0034_0019__cross [scope] r_0034_0024__are are r_0034_0022__when->r_0034_0024__are [restriction] r_0034_0020__streets streets r_0034_0018__to_r_0034_0019__cross->r_0034_0020__streets [arg1] r_0034_0021__safely safely r_0034_0018__to_r_0034_0019__cross->r_0034_0021__safely [nim] z_000_34_a_driver_handbook_50 r_0034_0018__to_r_0034_0019__cross->z_000_34_a_driver_handbook_50 [arg0] r_0034_0025__moving moving r_0034_0024__are->r_0034_0025__moving [scope] r_0034_0023__cars cars r_0034_0025__moving->r_0034_0023__cars [arg0] r_0034_0026__fast fast r_0034_0025__moving->r_0034_0026__fast [nim] 
arc(r_0034_0004__children, r_0034_0003__many, attrib8).
arc(r_0034_0005__have, r_0034_0001__Also, nim2).
arc(r_0034_0005__have, r_0034_0008__developed, scope).
arc(r_0034_0008__developed, r_0034_0004__children, arg0).
arc(r_0034_0008__developed, r_0034_0006__not_r_0034_0007__yet, nim16).
arc(r_0034_0008__developed, r_0034_0009__the_r_0034_0010__ability, arg1).
arc(r_0034_0009__the_r_0034_0010__ability, r_0034_0011__to_r_0034_0012__judge, emb28).
arc(r_0034_0011__to_r_0034_0012__judge, r_0034_0014__and, arg1).
arc(r_0034_0011__to_r_0034_0012__judge, r_0034_0017__enough, nim44).
arc(r_0034_0011__to_r_0034_0012__judge, z_000_34_a_driver_handbook_28, arg0).
arc(r_0034_0014__and, r_0034_0013__speeds, conj1).
arc(r_0034_0014__and, r_0034_0015__distances, conj2).
arc(r_0034_0017__enough, r_0034_0016__well, qual45).
arc(r_0034_0017__enough, r_0034_0022__when, emb50).
arc(r_0034_0018__to_r_0034_0019__cross, r_0034_0020__streets, arg1).
arc(r_0034_0018__to_r_0034_0019__cross, r_0034_0021__safely, nim58).
arc(r_0034_0018__to_r_0034_0019__cross, z_000_34_a_driver_handbook_50, arg0).
arc(r_0034_0022__when, r_0034_0018__to_r_0034_0019__cross, scope).
arc(r_0034_0022__when, r_0034_0024__are, restriction).
arc(r_0034_0024__are, r_0034_0025__moving, scope).
arc(r_0034_0025__moving, r_0034_0023__cars, arg0).
arc(r_0034_0025__moving, r_0034_0026__fast, nim73).


%3 r_0034_0004__children children r_0034_0003__many many r_0034_0004__children->r_0034_0003__many [attrib] r_0034_0005__have_r_0034_0008__developed have developed r_0034_0005__have_r_0034_0008__developed->r_0034_0004__children [arg0] r_0034_0001__Also Also r_0034_0005__have_r_0034_0008__developed->r_0034_0001__Also [nim] r_0034_0006__not_r_0034_0007__yet not yet r_0034_0005__have_r_0034_0008__developed->r_0034_0006__not_r_0034_0007__yet [nim] r_0034_0009__the_r_0034_0010__ability the ability r_0034_0005__have_r_0034_0008__developed->r_0034_0009__the_r_0034_0010__ability [arg1] r_0034_0011__to_r_0034_0012__judge to judge r_0034_0009__the_r_0034_0010__ability->r_0034_0011__to_r_0034_0012__judge [emb] r_0034_0014__and and r_0034_0011__to_r_0034_0012__judge->r_0034_0014__and [arg1] r_0034_0017__enough enough r_0034_0011__to_r_0034_0012__judge->r_0034_0017__enough [nim] z_000_34_a_driver_handbook_28 r_0034_0011__to_r_0034_0012__judge->z_000_34_a_driver_handbook_28 [arg0] r_0034_0013__speeds speeds r_0034_0014__and->r_0034_0013__speeds [conj1] r_0034_0015__distances distances r_0034_0014__and->r_0034_0015__distances [conj2] r_0034_0016__well well r_0034_0017__enough->r_0034_0016__well [qual] r_0034_0022__when when r_0034_0017__enough->r_0034_0022__when [emb] r_0034_0018__to_r_0034_0019__cross to cross r_0034_0022__when->r_0034_0018__to_r_0034_0019__cross [scope] r_0034_0024__are_r_0034_0025__moving are moving r_0034_0022__when->r_0034_0024__are_r_0034_0025__moving [restriction] r_0034_0020__streets streets r_0034_0018__to_r_0034_0019__cross->r_0034_0020__streets [arg1] r_0034_0021__safely safely r_0034_0018__to_r_0034_0019__cross->r_0034_0021__safely [nim] z_000_34_a_driver_handbook_50 r_0034_0018__to_r_0034_0019__cross->z_000_34_a_driver_handbook_50 [arg0] r_0034_0023__cars cars r_0034_0024__are_r_0034_0025__moving->r_0034_0023__cars [arg0] r_0034_0026__fast fast r_0034_0024__are_r_0034_0025__moving->r_0034_0026__fast [nim] 
fof(formula,axiom,
    ? [R_34_5_HAVE_DEVELOPED,R_34_4_CHILDREN,R_34_3_MANY,R_34_9_THE_ABILITY,R_34_11_TO_JUDGE,Z_34_A_DRIVER_HANDBOOK_28,R_34_14_AND,R_34_13_SPEEDS,R_34_15_DISTANCES,R_34_17_ENOUGH,R_34_16_WELL,R_34_6_NOT_YET,R_34_1_ALSO] :
      ( many(R_34_3_MANY)
      & speeds(R_34_13_SPEEDS)
      & distances(R_34_15_DISTANCES)
      & well(R_34_16_WELL)
      & not_yet(R_34_6_NOT_YET)
      & also(R_34_1_ALSO)
      & have_developed(R_34_5_HAVE_DEVELOPED,R_34_4_CHILDREN,R_34_9_THE_ABILITY)
      & children(R_34_4_CHILDREN)
      & attrib8(R_34_4_CHILDREN,R_34_3_MANY)
      & the_ability(R_34_9_THE_ABILITY)
      & emb28(R_34_9_THE_ABILITY,R_34_11_TO_JUDGE)
      & to_judge(R_34_11_TO_JUDGE,Z_34_A_DRIVER_HANDBOOK_28,R_34_14_AND)
      & and(R_34_14_AND)
      & conj1(R_34_14_AND,R_34_13_SPEEDS)
      & conj2(R_34_14_AND,R_34_15_DISTANCES)
      & nim44(R_34_11_TO_JUDGE,R_34_17_ENOUGH)
      & ! [R_34_24_ARE_MOVING,R_34_23_CARS,R_34_26_FAST] :
          ( ( cars(R_34_23_CARS)
            & fast(R_34_26_FAST)
            & are_moving(R_34_24_ARE_MOVING,R_34_23_CARS)
            & nim73(R_34_24_ARE_MOVING,R_34_26_FAST) )
         => ? [R_34_18_TO_CROSS,Z_34_A_DRIVER_HANDBOOK_50,R_34_20_STREETS,R_34_21_SAFELY] :
              ( streets(R_34_20_STREETS)
              & safely(R_34_21_SAFELY)
              & to_cross(R_34_18_TO_CROSS,Z_34_A_DRIVER_HANDBOOK_50,R_34_20_STREETS)
              & nim58(R_34_18_TO_CROSS,R_34_21_SAFELY) ) )
      & emb50(EMB50)
      & enough(R_34_17_ENOUGH)
      & qual45(R_34_17_ENOUGH,R_34_16_WELL)
      & nim16(R_34_5_HAVE_DEVELOPED,R_34_6_NOT_YET)
      & nim2(R_34_5_HAVE_DEVELOPED,R_34_1_ALSO) ) ).


n34_a_driver_handbook n34_a_driver_handbook_4 Also n34_a_driver_handbook_6 , n34_a_driver_handbook_10 many n34_a_driver_handbook_12 children n34_a_driver_handbook_14 have n34_a_driver_handbook_18 not n34_a_driver_handbook_20 yet n34_a_driver_handbook_22 developed n34_a_driver_handbook_25 the n34_a_driver_handbook_27 ability n34_a_driver_handbook_30 to n34_a_driver_handbook_32 judge n34_a_driver_handbook_37 speeds n34_a_driver_handbook_40 and n34_a_driver_handbook_43 distances n34_a_driver_handbook_47 well n34_a_driver_handbook_49 enough n34_a_driver_handbook_52 to n34_a_driver_handbook_54 cross n34_a_driver_handbook_57 streets n34_a_driver_handbook_60 safely n34_a_driver_handbook_63 when n34_a_driver_handbook_67 cars n34_a_driver_handbook_69 are n34_a_driver_handbook_72 moving n34_a_driver_handbook_75 fast n34_a_driver_handbook_77 . n34_a_driver_handbook_1 IP-MAT n34_a_driver_handbook_2 ADVP-NIM n34_a_driver_handbook_1->n34_a_driver_handbook_2 n34_a_driver_handbook_5 PUNC n34_a_driver_handbook_1->n34_a_driver_handbook_5 n34_a_driver_handbook_7 NP-SBJ n34_a_driver_handbook_1->n34_a_driver_handbook_7 n34_a_driver_handbook_13 HVP;_cat_Ve_ n34_a_driver_handbook_1->n34_a_driver_handbook_13 n34_a_driver_handbook_15 IP-PPL-CAT n34_a_driver_handbook_1->n34_a_driver_handbook_15 n34_a_driver_handbook_76 PUNC n34_a_driver_handbook_1->n34_a_driver_handbook_76 n34_a_driver_handbook_3 ADV n34_a_driver_handbook_2->n34_a_driver_handbook_3 n34_a_driver_handbook_3->n34_a_driver_handbook_4 n34_a_driver_handbook_5->n34_a_driver_handbook_6 n34_a_driver_handbook_8 ADJP n34_a_driver_handbook_7->n34_a_driver_handbook_8 n34_a_driver_handbook_11 NS n34_a_driver_handbook_7->n34_a_driver_handbook_11 n34_a_driver_handbook_9 ADJ n34_a_driver_handbook_8->n34_a_driver_handbook_9 n34_a_driver_handbook_9->n34_a_driver_handbook_10 n34_a_driver_handbook_11->n34_a_driver_handbook_12 n34_a_driver_handbook_13->n34_a_driver_handbook_14 n34_a_driver_handbook_16 ADVP-NIM n34_a_driver_handbook_15->n34_a_driver_handbook_16 n34_a_driver_handbook_21 VVN;_Tn_ n34_a_driver_handbook_15->n34_a_driver_handbook_21 n34_a_driver_handbook_23 NP-OB1 n34_a_driver_handbook_15->n34_a_driver_handbook_23 n34_a_driver_handbook_17 NEG n34_a_driver_handbook_16->n34_a_driver_handbook_17 n34_a_driver_handbook_19 ADV n34_a_driver_handbook_16->n34_a_driver_handbook_19 n34_a_driver_handbook_17->n34_a_driver_handbook_18 n34_a_driver_handbook_19->n34_a_driver_handbook_20 n34_a_driver_handbook_21->n34_a_driver_handbook_22 n34_a_driver_handbook_24 D n34_a_driver_handbook_23->n34_a_driver_handbook_24 n34_a_driver_handbook_26 N n34_a_driver_handbook_23->n34_a_driver_handbook_26 n34_a_driver_handbook_28 IP-INF n34_a_driver_handbook_23->n34_a_driver_handbook_28 n34_a_driver_handbook_24->n34_a_driver_handbook_25 n34_a_driver_handbook_26->n34_a_driver_handbook_27 n34_a_driver_handbook_29 TO n34_a_driver_handbook_28->n34_a_driver_handbook_29 n34_a_driver_handbook_31 VB;_Tn_ n34_a_driver_handbook_28->n34_a_driver_handbook_31 n34_a_driver_handbook_33 NP-OB1 n34_a_driver_handbook_28->n34_a_driver_handbook_33 n34_a_driver_handbook_44 ADVP-NIM n34_a_driver_handbook_28->n34_a_driver_handbook_44 n34_a_driver_handbook_29->n34_a_driver_handbook_30 n34_a_driver_handbook_31->n34_a_driver_handbook_32 n34_a_driver_handbook_34 NLYR n34_a_driver_handbook_33->n34_a_driver_handbook_34 n34_a_driver_handbook_35 NLYR n34_a_driver_handbook_34->n34_a_driver_handbook_35 n34_a_driver_handbook_38 CONJP n34_a_driver_handbook_34->n34_a_driver_handbook_38 n34_a_driver_handbook_36 NS n34_a_driver_handbook_35->n34_a_driver_handbook_36 n34_a_driver_handbook_36->n34_a_driver_handbook_37 n34_a_driver_handbook_39 CONJ n34_a_driver_handbook_38->n34_a_driver_handbook_39 n34_a_driver_handbook_41 NLYR n34_a_driver_handbook_38->n34_a_driver_handbook_41 n34_a_driver_handbook_39->n34_a_driver_handbook_40 n34_a_driver_handbook_42 NS n34_a_driver_handbook_41->n34_a_driver_handbook_42 n34_a_driver_handbook_42->n34_a_driver_handbook_43 n34_a_driver_handbook_45 ADVP n34_a_driver_handbook_44->n34_a_driver_handbook_45 n34_a_driver_handbook_48 ADV n34_a_driver_handbook_44->n34_a_driver_handbook_48 n34_a_driver_handbook_50 IP-INF n34_a_driver_handbook_44->n34_a_driver_handbook_50 n34_a_driver_handbook_46 ADV n34_a_driver_handbook_45->n34_a_driver_handbook_46 n34_a_driver_handbook_46->n34_a_driver_handbook_47 n34_a_driver_handbook_48->n34_a_driver_handbook_49 n34_a_driver_handbook_51 TO n34_a_driver_handbook_50->n34_a_driver_handbook_51 n34_a_driver_handbook_53 VB;_Tn_ n34_a_driver_handbook_50->n34_a_driver_handbook_53 n34_a_driver_handbook_55 NP-OB1 n34_a_driver_handbook_50->n34_a_driver_handbook_55 n34_a_driver_handbook_58 ADVP-NIM n34_a_driver_handbook_50->n34_a_driver_handbook_58 n34_a_driver_handbook_61 PP-SCON n34_a_driver_handbook_50->n34_a_driver_handbook_61 n34_a_driver_handbook_51->n34_a_driver_handbook_52 n34_a_driver_handbook_53->n34_a_driver_handbook_54 n34_a_driver_handbook_56 NS n34_a_driver_handbook_55->n34_a_driver_handbook_56 n34_a_driver_handbook_56->n34_a_driver_handbook_57 n34_a_driver_handbook_59 ADV n34_a_driver_handbook_58->n34_a_driver_handbook_59 n34_a_driver_handbook_59->n34_a_driver_handbook_60 n34_a_driver_handbook_62 P-CONN n34_a_driver_handbook_61->n34_a_driver_handbook_62 n34_a_driver_handbook_64 IP-ADV n34_a_driver_handbook_61->n34_a_driver_handbook_64 n34_a_driver_handbook_62->n34_a_driver_handbook_63 n34_a_driver_handbook_65 NP-SBJ n34_a_driver_handbook_64->n34_a_driver_handbook_65 n34_a_driver_handbook_68 BEP;_cat_Vg_ n34_a_driver_handbook_64->n34_a_driver_handbook_68 n34_a_driver_handbook_70 IP-PPL-CAT n34_a_driver_handbook_64->n34_a_driver_handbook_70 n34_a_driver_handbook_66 NS n34_a_driver_handbook_65->n34_a_driver_handbook_66 n34_a_driver_handbook_66->n34_a_driver_handbook_67 n34_a_driver_handbook_68->n34_a_driver_handbook_69 n34_a_driver_handbook_71 VAG;_I_ n34_a_driver_handbook_70->n34_a_driver_handbook_71 n34_a_driver_handbook_73 ADVP-NIM n34_a_driver_handbook_70->n34_a_driver_handbook_73 n34_a_driver_handbook_71->n34_a_driver_handbook_72 n34_a_driver_handbook_74 ADV n34_a_driver_handbook_73->n34_a_driver_handbook_74 n34_a_driver_handbook_74->n34_a_driver_handbook_75 n34_a_driver_handbook_76->n34_a_driver_handbook_77 
( (IP-MAT (ADVP-NIM (ADV Also;{also}))
          (PUNC ,)
          (NP-SBJ (ADJP (ADJ many;{many}))
                  (NS children;{child}))
          (HVP;_cat_Ve_ have;{have})
          (IP-PPL-CAT (ADVP-NIM (NEG not;{not})
                                (ADV yet;{yet}))
                      (VVN;_Tn_ developed;{develop})
                      (NP-OB1 (D the;{the})
                              (N ability;{ability})
                              (IP-INF (TO to;{to})
                                      (VB;_Tn_ judge;{judge})
                                      (NP-OB1 (NLYR (NLYR (NS speeds;{speed}))
                                                    (CONJP (CONJ and;{and})
                                                           (NLYR (NS distances;{distance})))))
                                      (ADVP-NIM (ADVP (ADV well;{well}))
                                                (ADV enough;{enough})
                                                (IP-INF (TO to;{to})
                                                        (VB;_Tn_ cross;{cross})
                                                        (NP-OB1 (NS streets;{street}))
                                                        (ADVP-NIM (ADV safely;{safely}))
                                                        (PP-SCON (P-CONN when;{when})
                                                                 (IP-ADV (NP-SBJ (NS cars;{car}))
                                                                         (BEP;_cat_Vg_ are;{be})
                                                                         (IP-PPL-CAT (VAG;_I_ moving;{move})
                                                                                     (ADVP-NIM (ADV fast;{fast}))))))))))
          (PUNC .))
  (ID 34_a_driver_handbook))