Context                Previous, Next                Top


33_a_driver_handbook
Always drive more carefully near schools, playgrounds, parks, and residential areas because children may suddenly dart into the street.

%3 r_0033_0002__drive drive r_0033_0001__Always Always r_0033_0002__drive->r_0033_0001__Always [nim] r_0033_0004__carefully carefully r_0033_0002__drive->r_0033_0004__carefully [nim] r_0033_0012__and and r_0033_0002__drive->r_0033_0012__and near [nim] z_000_33_a_driver_handbook_1 r_0033_0002__drive->z_000_33_a_driver_handbook_1 [arg0] r_0033_0003__more more r_0033_0004__carefully->r_0033_0003__more [qual] r_0033_0006__schools schools r_0033_0012__and->r_0033_0006__schools [conj1] r_0033_0008__playgrounds playgrounds r_0033_0012__and->r_0033_0008__playgrounds [conj2] r_0033_0010__parks parks r_0033_0012__and->r_0033_0010__parks [conj3] r_0033_0014__areas areas r_0033_0012__and->r_0033_0014__areas [conj4] r_0033_0013__residential residential r_0033_0014__areas->r_0033_0013__residential [attrib] r_0033_0015__because because r_0033_0015__because->r_0033_0002__drive [scope] r_0033_0017__may may r_0033_0015__because->r_0033_0017__may [restriction] r_0033_0019__dart dart r_0033_0017__may->r_0033_0019__dart [scope] r_0033_0016__children children r_0033_0019__dart->r_0033_0016__children [arg0] r_0033_0018__suddenly suddenly r_0033_0019__dart->r_0033_0018__suddenly [nim] r_0033_0021__the_r_0033_0022__street the street r_0033_0019__dart->r_0033_0021__the_r_0033_0022__street into [clr] 
arc(r_0033_0002__drive, r_0033_0001__Always, nim2).
arc(r_0033_0002__drive, r_0033_0004__carefully, nim7).
arc(r_0033_0002__drive, r_0033_0012__and, r_0033_0005__near_nim16).
arc(r_0033_0002__drive, z_000_33_a_driver_handbook_1, arg0).
arc(r_0033_0004__carefully, r_0033_0003__more, qual8).
arc(r_0033_0012__and, r_0033_0006__schools, conj1).
arc(r_0033_0012__and, r_0033_0008__playgrounds, conj2).
arc(r_0033_0012__and, r_0033_0010__parks, conj3).
arc(r_0033_0012__and, r_0033_0014__areas, conj4).
arc(r_0033_0014__areas, r_0033_0013__residential, attrib39).
arc(r_0033_0015__because, r_0033_0002__drive, scope).
arc(r_0033_0015__because, r_0033_0017__may, restriction).
arc(r_0033_0017__may, r_0033_0019__dart, scope).
arc(r_0033_0019__dart, r_0033_0016__children, arg0).
arc(r_0033_0019__dart, r_0033_0018__suddenly, nim54).
arc(r_0033_0019__dart, r_0033_0021__the_r_0033_0022__street, r_0033_0020__into_clr62).


%3 r_0033_0002__drive drive r_0033_0001__Always Always r_0033_0002__drive->r_0033_0001__Always [nim] r_0033_0004__carefully carefully r_0033_0002__drive->r_0033_0004__carefully [nim] r_0033_0012__and and r_0033_0002__drive->r_0033_0012__and near [nim] z_000_33_a_driver_handbook_1 r_0033_0002__drive->z_000_33_a_driver_handbook_1 [arg0] r_0033_0003__more more r_0033_0004__carefully->r_0033_0003__more [qual] r_0033_0006__schools schools r_0033_0012__and->r_0033_0006__schools [conj1] r_0033_0008__playgrounds playgrounds r_0033_0012__and->r_0033_0008__playgrounds [conj2] r_0033_0010__parks parks r_0033_0012__and->r_0033_0010__parks [conj3] r_0033_0014__areas areas r_0033_0012__and->r_0033_0014__areas [conj4] r_0033_0013__residential residential r_0033_0014__areas->r_0033_0013__residential [attrib] r_0033_0015__because because r_0033_0015__because->r_0033_0002__drive [conj2] r_0033_0017__may_r_0033_0019__dart may dart r_0033_0015__because->r_0033_0017__may_r_0033_0019__dart [conj1] r_0033_0016__children children r_0033_0017__may_r_0033_0019__dart->r_0033_0016__children [arg0] r_0033_0018__suddenly suddenly r_0033_0017__may_r_0033_0019__dart->r_0033_0018__suddenly [nim] r_0033_0021__the_r_0033_0022__street the street r_0033_0017__may_r_0033_0019__dart->r_0033_0021__the_r_0033_0022__street into [clr] 
fof(formula,axiom,
    ? [R_33_15_BECAUSE,R_33_17_MAY_DART,R_33_16_CHILDREN,R_33_18_SUDDENLY,R_33_21_THE_STREET,R_33_2_DRIVE,Z_33_A_DRIVER_HANDBOOK_1,R_33_1_ALWAYS,R_33_4_CAREFULLY,R_33_3_MORE,R_33_12_AND,R_33_6_SCHOOLS,R_33_8_PLAYGROUNDS,R_33_10_PARKS,R_33_14_AREAS,R_33_13_RESIDENTIAL] :
      ( children(R_33_16_CHILDREN)
      & suddenly(R_33_18_SUDDENLY)
      & the_street(R_33_21_THE_STREET)
      & always(R_33_1_ALWAYS)
      & more(R_33_3_MORE)
      & schools(R_33_6_SCHOOLS)
      & playgrounds(R_33_8_PLAYGROUNDS)
      & parks(R_33_10_PARKS)
      & residential(R_33_13_RESIDENTIAL)
      & because(R_33_15_BECAUSE)
      & conj1(R_33_15_BECAUSE,R_33_17_MAY_DART)
      & may_dart(R_33_17_MAY_DART,R_33_16_CHILDREN)
      & nim54(R_33_17_MAY_DART,R_33_18_SUDDENLY)
      & into_clr62(R_33_17_MAY_DART,R_33_21_THE_STREET)
      & conj2(R_33_15_BECAUSE,R_33_2_DRIVE)
      & drive(R_33_2_DRIVE,Z_33_A_DRIVER_HANDBOOK_1)
      & nim2(R_33_2_DRIVE,R_33_1_ALWAYS)
      & nim7(R_33_2_DRIVE,R_33_4_CAREFULLY)
      & carefully(R_33_4_CAREFULLY)
      & qual8(R_33_4_CAREFULLY,R_33_3_MORE)
      & near_nim16(R_33_2_DRIVE,R_33_12_AND)
      & and(R_33_12_AND)
      & conj1(R_33_12_AND,R_33_6_SCHOOLS)
      & conj2(R_33_12_AND,R_33_8_PLAYGROUNDS)
      & conj3(R_33_12_AND,R_33_10_PARKS)
      & conj4(R_33_12_AND,R_33_14_AREAS)
      & areas(R_33_14_AREAS)
      & attrib39(R_33_14_AREAS,R_33_13_RESIDENTIAL) ) ).


n33_a_driver_handbook n33_a_driver_handbook_4 Always n33_a_driver_handbook_6 drive n33_a_driver_handbook_10 more n33_a_driver_handbook_12 carefully n33_a_driver_handbook_15 near n33_a_driver_handbook_20 schools n33_a_driver_handbook_22 , n33_a_driver_handbook_26 playgrounds n33_a_driver_handbook_28 , n33_a_driver_handbook_32 parks n33_a_driver_handbook_34 , n33_a_driver_handbook_37 and n33_a_driver_handbook_41 residential n33_a_driver_handbook_43 areas n33_a_driver_handbook_46 because n33_a_driver_handbook_50 children n33_a_driver_handbook_52 may n33_a_driver_handbook_56 suddenly n33_a_driver_handbook_58 dart n33_a_driver_handbook_61 into n33_a_driver_handbook_64 the n33_a_driver_handbook_66 street n33_a_driver_handbook_68 . n33_a_driver_handbook_1 IP-IMP n33_a_driver_handbook_2 ADVP-NIM n33_a_driver_handbook_1->n33_a_driver_handbook_2 n33_a_driver_handbook_5 VB;_I_ n33_a_driver_handbook_1->n33_a_driver_handbook_5 n33_a_driver_handbook_7 ADVP-NIM n33_a_driver_handbook_1->n33_a_driver_handbook_7 n33_a_driver_handbook_13 PP-NIM n33_a_driver_handbook_1->n33_a_driver_handbook_13 n33_a_driver_handbook_44 PP-SCON n33_a_driver_handbook_1->n33_a_driver_handbook_44 n33_a_driver_handbook_67 PUNC n33_a_driver_handbook_1->n33_a_driver_handbook_67 n33_a_driver_handbook_3 ADV n33_a_driver_handbook_2->n33_a_driver_handbook_3 n33_a_driver_handbook_3->n33_a_driver_handbook_4 n33_a_driver_handbook_5->n33_a_driver_handbook_6 n33_a_driver_handbook_8 ADVP n33_a_driver_handbook_7->n33_a_driver_handbook_8 n33_a_driver_handbook_11 ADV n33_a_driver_handbook_7->n33_a_driver_handbook_11 n33_a_driver_handbook_9 ADVR n33_a_driver_handbook_8->n33_a_driver_handbook_9 n33_a_driver_handbook_9->n33_a_driver_handbook_10 n33_a_driver_handbook_11->n33_a_driver_handbook_12 n33_a_driver_handbook_14 P-ROLE n33_a_driver_handbook_13->n33_a_driver_handbook_14 n33_a_driver_handbook_16 NP n33_a_driver_handbook_13->n33_a_driver_handbook_16 n33_a_driver_handbook_14->n33_a_driver_handbook_15 n33_a_driver_handbook_17 NLYR n33_a_driver_handbook_16->n33_a_driver_handbook_17 n33_a_driver_handbook_18 NLYR n33_a_driver_handbook_17->n33_a_driver_handbook_18 n33_a_driver_handbook_21 PUNC n33_a_driver_handbook_17->n33_a_driver_handbook_21 n33_a_driver_handbook_23 CONJP n33_a_driver_handbook_17->n33_a_driver_handbook_23 n33_a_driver_handbook_27 PUNC n33_a_driver_handbook_17->n33_a_driver_handbook_27 n33_a_driver_handbook_29 CONJP n33_a_driver_handbook_17->n33_a_driver_handbook_29 n33_a_driver_handbook_33 PUNC n33_a_driver_handbook_17->n33_a_driver_handbook_33 n33_a_driver_handbook_35 CONJP n33_a_driver_handbook_17->n33_a_driver_handbook_35 n33_a_driver_handbook_19 NS n33_a_driver_handbook_18->n33_a_driver_handbook_19 n33_a_driver_handbook_19->n33_a_driver_handbook_20 n33_a_driver_handbook_21->n33_a_driver_handbook_22 n33_a_driver_handbook_24 NLYR n33_a_driver_handbook_23->n33_a_driver_handbook_24 n33_a_driver_handbook_25 NS n33_a_driver_handbook_24->n33_a_driver_handbook_25 n33_a_driver_handbook_25->n33_a_driver_handbook_26 n33_a_driver_handbook_27->n33_a_driver_handbook_28 n33_a_driver_handbook_30 NLYR n33_a_driver_handbook_29->n33_a_driver_handbook_30 n33_a_driver_handbook_31 NS n33_a_driver_handbook_30->n33_a_driver_handbook_31 n33_a_driver_handbook_31->n33_a_driver_handbook_32 n33_a_driver_handbook_33->n33_a_driver_handbook_34 n33_a_driver_handbook_36 CONJ n33_a_driver_handbook_35->n33_a_driver_handbook_36 n33_a_driver_handbook_38 NLYR n33_a_driver_handbook_35->n33_a_driver_handbook_38 n33_a_driver_handbook_36->n33_a_driver_handbook_37 n33_a_driver_handbook_39 ADJP n33_a_driver_handbook_38->n33_a_driver_handbook_39 n33_a_driver_handbook_42 NS n33_a_driver_handbook_38->n33_a_driver_handbook_42 n33_a_driver_handbook_40 ADJ n33_a_driver_handbook_39->n33_a_driver_handbook_40 n33_a_driver_handbook_40->n33_a_driver_handbook_41 n33_a_driver_handbook_42->n33_a_driver_handbook_43 n33_a_driver_handbook_45 P-CONN n33_a_driver_handbook_44->n33_a_driver_handbook_45 n33_a_driver_handbook_47 IP-ADV n33_a_driver_handbook_44->n33_a_driver_handbook_47 n33_a_driver_handbook_45->n33_a_driver_handbook_46 n33_a_driver_handbook_48 NP-SBJ n33_a_driver_handbook_47->n33_a_driver_handbook_48 n33_a_driver_handbook_51 MD;_cat_Vi_ n33_a_driver_handbook_47->n33_a_driver_handbook_51 n33_a_driver_handbook_53 IP-INF-CAT n33_a_driver_handbook_47->n33_a_driver_handbook_53 n33_a_driver_handbook_49 NS n33_a_driver_handbook_48->n33_a_driver_handbook_49 n33_a_driver_handbook_49->n33_a_driver_handbook_50 n33_a_driver_handbook_51->n33_a_driver_handbook_52 n33_a_driver_handbook_54 ADVP-NIM n33_a_driver_handbook_53->n33_a_driver_handbook_54 n33_a_driver_handbook_57 VB;_Ipr_ n33_a_driver_handbook_53->n33_a_driver_handbook_57 n33_a_driver_handbook_59 PP-CLR n33_a_driver_handbook_53->n33_a_driver_handbook_59 n33_a_driver_handbook_55 ADV n33_a_driver_handbook_54->n33_a_driver_handbook_55 n33_a_driver_handbook_55->n33_a_driver_handbook_56 n33_a_driver_handbook_57->n33_a_driver_handbook_58 n33_a_driver_handbook_60 P-ROLE n33_a_driver_handbook_59->n33_a_driver_handbook_60 n33_a_driver_handbook_62 NP n33_a_driver_handbook_59->n33_a_driver_handbook_62 n33_a_driver_handbook_60->n33_a_driver_handbook_61 n33_a_driver_handbook_63 D n33_a_driver_handbook_62->n33_a_driver_handbook_63 n33_a_driver_handbook_65 N n33_a_driver_handbook_62->n33_a_driver_handbook_65 n33_a_driver_handbook_63->n33_a_driver_handbook_64 n33_a_driver_handbook_65->n33_a_driver_handbook_66 n33_a_driver_handbook_67->n33_a_driver_handbook_68 
( (IP-IMP (ADVP-NIM (ADV Always;{always}))
          (VB;_I_ drive;{drive})
          (ADVP-NIM (ADVP (ADVR more;{more}))
                    (ADV carefully;{carefully}))
          (PP-NIM (P-ROLE near;{near})
                  (NP (NLYR (NLYR (NS schools;{school}))
                            (PUNC ,)
                            (CONJP (NLYR (NS playgrounds;{playground})))
                            (PUNC ,)
                            (CONJP (NLYR (NS parks;{park})))
                            (PUNC ,)
                            (CONJP (CONJ and;{and})
                                   (NLYR (ADJP (ADJ residential;{residential}))
                                         (NS areas;{area}))))))
          (PP-SCON (P-CONN because;{because})
                   (IP-ADV (NP-SBJ (NS children;{child}))
                           (MD;_cat_Vi_ may;{may})
                           (IP-INF-CAT (ADVP-NIM (ADV suddenly;{suddenly}))
                                       (VB;_Ipr_ dart;{dart[into]})
                                       (PP-CLR (P-ROLE into;{into})
                                               (NP (D the;{the})
                                                   (N street;{street}))))))
          (PUNC .))
  (ID 33_a_driver_handbook))