Context                Previous, Next                Top


22_a_driver_handbook
You must drive slower when there is heavy traffic or bad weather.

%3 r_0022_0002__must must r_0022_0003__drive drive r_0022_0002__must->r_0022_0003__drive [scope] r_0022_0001__You You r_0022_0003__drive->r_0022_0001__You [arg0] r_0022_0004__slower slower r_0022_0003__drive->r_0022_0004__slower [nim] r_0022_0005__when when r_0022_0005__when->r_0022_0002__must [scope] r_0022_0006__there_r_0022_0007__is there is r_0022_0005__when->r_0022_0006__there_r_0022_0007__is [restriction] r_0022_0010__or or r_0022_0006__there_r_0022_0007__is->r_0022_0010__or [arg0] r_0022_0009__traffic traffic r_0022_0010__or->r_0022_0009__traffic [conj1] r_0022_0012__weather weather r_0022_0010__or->r_0022_0012__weather [conj2] r_0022_0008__heavy heavy r_0022_0009__traffic->r_0022_0008__heavy [attrib] r_0022_0011__bad bad r_0022_0012__weather->r_0022_0011__bad [attrib] 
arc(r_0022_0002__must, r_0022_0003__drive, scope).
arc(r_0022_0003__drive, r_0022_0001__You, arg0).
arc(r_0022_0003__drive, r_0022_0004__slower, nim10).
arc(r_0022_0005__when, r_0022_0002__must, scope).
arc(r_0022_0005__when, r_0022_0006__there_r_0022_0007__is, restriction).
arc(r_0022_0006__there_r_0022_0007__is, r_0022_0010__or, arg0).
arc(r_0022_0009__traffic, r_0022_0008__heavy, attrib24).
arc(r_0022_0010__or, r_0022_0009__traffic, conj1).
arc(r_0022_0010__or, r_0022_0012__weather, conj2).
arc(r_0022_0012__weather, r_0022_0011__bad, attrib33).


%3 r_0022_0002__must_r_0022_0003__drive must drive r_0022_0001__You You r_0022_0002__must_r_0022_0003__drive->r_0022_0001__You [arg0] r_0022_0004__slower slower r_0022_0002__must_r_0022_0003__drive->r_0022_0004__slower [nim] r_0022_0005__when when r_0022_0005__when->r_0022_0002__must_r_0022_0003__drive [scope] r_0022_0006__there_r_0022_0007__is there is r_0022_0005__when->r_0022_0006__there_r_0022_0007__is [restriction] r_0022_0010__or or r_0022_0006__there_r_0022_0007__is->r_0022_0010__or [arg0] r_0022_0009__traffic traffic r_0022_0010__or->r_0022_0009__traffic [conj1] r_0022_0012__weather weather r_0022_0010__or->r_0022_0012__weather [conj2] r_0022_0008__heavy heavy r_0022_0009__traffic->r_0022_0008__heavy [attrib] r_0022_0011__bad bad r_0022_0012__weather->r_0022_0011__bad [attrib] 
fof(formula,axiom,
    ! [R_22_6_THERE_IS,R_22_10_OR,R_22_9_TRAFFIC,R_22_8_HEAVY,R_22_12_WEATHER,R_22_11_BAD] :
      ( ( heavy(R_22_8_HEAVY)
        & bad(R_22_11_BAD)
        & there_is(R_22_6_THERE_IS,R_22_10_OR)
        & or(R_22_10_OR)
        & conj1(R_22_10_OR,R_22_9_TRAFFIC)
        & traffic(R_22_9_TRAFFIC)
        & attrib24(R_22_9_TRAFFIC,R_22_8_HEAVY)
        & conj2(R_22_10_OR,R_22_12_WEATHER)
        & weather(R_22_12_WEATHER)
        & attrib33(R_22_12_WEATHER,R_22_11_BAD) )
     => ? [R_22_2_MUST_DRIVE,R_22_1_YOU,R_22_4_SLOWER] :
          ( you(R_22_1_YOU)
          & slower(R_22_4_SLOWER)
          & must_drive(R_22_2_MUST_DRIVE,R_22_1_YOU)
          & nim10(R_22_2_MUST_DRIVE,R_22_4_SLOWER) ) ) ).


n22_a_driver_handbook n22_a_driver_handbook_4 You n22_a_driver_handbook_6 must n22_a_driver_handbook_9 drive n22_a_driver_handbook_12 slower n22_a_driver_handbook_15 when n22_a_driver_handbook_18 there n22_a_driver_handbook_20 is n22_a_driver_handbook_26 heavy n22_a_driver_handbook_28 traffic n22_a_driver_handbook_31 or n22_a_driver_handbook_35 bad n22_a_driver_handbook_37 weather n22_a_driver_handbook_39 . n22_a_driver_handbook_1 IP-MAT n22_a_driver_handbook_2 NP-SBJ n22_a_driver_handbook_1->n22_a_driver_handbook_2 n22_a_driver_handbook_5 MD;_cat_Vi_ n22_a_driver_handbook_1->n22_a_driver_handbook_5 n22_a_driver_handbook_7 IP-INF-CAT n22_a_driver_handbook_1->n22_a_driver_handbook_7 n22_a_driver_handbook_13 PP-SCON n22_a_driver_handbook_1->n22_a_driver_handbook_13 n22_a_driver_handbook_38 PUNC n22_a_driver_handbook_1->n22_a_driver_handbook_38 n22_a_driver_handbook_3 PRO n22_a_driver_handbook_2->n22_a_driver_handbook_3 n22_a_driver_handbook_3->n22_a_driver_handbook_4 n22_a_driver_handbook_5->n22_a_driver_handbook_6 n22_a_driver_handbook_8 VB;_I_ n22_a_driver_handbook_7->n22_a_driver_handbook_8 n22_a_driver_handbook_10 ADVP-NIM n22_a_driver_handbook_7->n22_a_driver_handbook_10 n22_a_driver_handbook_8->n22_a_driver_handbook_9 n22_a_driver_handbook_11 ADVR n22_a_driver_handbook_10->n22_a_driver_handbook_11 n22_a_driver_handbook_11->n22_a_driver_handbook_12 n22_a_driver_handbook_14 P-CONN n22_a_driver_handbook_13->n22_a_driver_handbook_14 n22_a_driver_handbook_16 IP-ADV n22_a_driver_handbook_13->n22_a_driver_handbook_16 n22_a_driver_handbook_14->n22_a_driver_handbook_15 n22_a_driver_handbook_17 EX n22_a_driver_handbook_16->n22_a_driver_handbook_17 n22_a_driver_handbook_19 BEP;_ex_V_ n22_a_driver_handbook_16->n22_a_driver_handbook_19 n22_a_driver_handbook_21 NP-ESBJ n22_a_driver_handbook_16->n22_a_driver_handbook_21 n22_a_driver_handbook_17->n22_a_driver_handbook_18 n22_a_driver_handbook_19->n22_a_driver_handbook_20 n22_a_driver_handbook_22 NLYR n22_a_driver_handbook_21->n22_a_driver_handbook_22 n22_a_driver_handbook_23 NLYR n22_a_driver_handbook_22->n22_a_driver_handbook_23 n22_a_driver_handbook_29 CONJP n22_a_driver_handbook_22->n22_a_driver_handbook_29 n22_a_driver_handbook_24 ADJP n22_a_driver_handbook_23->n22_a_driver_handbook_24 n22_a_driver_handbook_27 N n22_a_driver_handbook_23->n22_a_driver_handbook_27 n22_a_driver_handbook_25 ADJ n22_a_driver_handbook_24->n22_a_driver_handbook_25 n22_a_driver_handbook_25->n22_a_driver_handbook_26 n22_a_driver_handbook_27->n22_a_driver_handbook_28 n22_a_driver_handbook_30 CONJ n22_a_driver_handbook_29->n22_a_driver_handbook_30 n22_a_driver_handbook_32 NLYR n22_a_driver_handbook_29->n22_a_driver_handbook_32 n22_a_driver_handbook_30->n22_a_driver_handbook_31 n22_a_driver_handbook_33 ADJP n22_a_driver_handbook_32->n22_a_driver_handbook_33 n22_a_driver_handbook_36 N n22_a_driver_handbook_32->n22_a_driver_handbook_36 n22_a_driver_handbook_34 ADJ n22_a_driver_handbook_33->n22_a_driver_handbook_34 n22_a_driver_handbook_34->n22_a_driver_handbook_35 n22_a_driver_handbook_36->n22_a_driver_handbook_37 n22_a_driver_handbook_38->n22_a_driver_handbook_39 
( (IP-MAT (NP-SBJ (PRO You;{you}))
          (MD;_cat_Vi_ must;{must})
          (IP-INF-CAT (VB;_I_ drive;{drive})
                      (ADVP-NIM (ADVR slower;{slowly})))
          (PP-SCON (P-CONN when;{when})
                   (IP-ADV (EX there;{there})
                           (BEP;_ex_V_ is;{be})
                           (NP-ESBJ (NLYR (NLYR (ADJP (ADJ heavy;{heavy}))
                                                (N traffic;{traffic}))
                                          (CONJP (CONJ or;{or})
                                                 (NLYR (ADJP (ADJ bad;{bad}))
                                                       (N weather;{weather})))))))
          (PUNC .))
  (ID 22_a_driver_handbook))