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_0012__weather weather r_0022_0011__bad bad r_0022_0012__weather->r_0022_0011__bad [attrib] r_0022_0010__or or r_0022_0010__or->r_0022_0012__weather [conj2] r_0022_0009__traffic traffic r_0022_0010__or->r_0022_0009__traffic [conj1] r_0022_0008__heavy heavy r_0022_0009__traffic->r_0022_0008__heavy [attrib] r_0022_0006__there_r_0022_0007__is there is r_0022_0006__there_r_0022_0007__is->r_0022_0010__or [arg0] r_0022_0005__when when r_0022_0005__when->r_0022_0006__there_r_0022_0007__is [restriction] r_0022_0002__must_r_0022_0003__drive must drive r_0022_0005__when->r_0022_0002__must_r_0022_0003__drive [scope] r_0022_0004__slower slower r_0022_0002__must_r_0022_0003__drive->r_0022_0004__slower [nim] r_0022_0001__You You r_0022_0002__must_r_0022_0003__drive->r_0022_0001__You [arg0] 
fof(formula,axiom,
    ! [R_0022_0006__THERE_R_0022_0007__IS,R_0022_0008__HEAVY,R_0022_0009__TRAFFIC,R_0022_0011__BAD,R_0022_0012__WEATHER,R_0022_0010__OR] :
      ( ( r_0022_0008__heavy(R_0022_0008__HEAVY)
        & r_0022_0011__bad(R_0022_0011__BAD)
        & r_0022_0006__there_r_0022_0007__is(R_0022_0006__THERE_R_0022_0007__IS)
        & has_arg0(R_0022_0006__THERE_R_0022_0007__IS,R_0022_0010__OR)
        & r_0022_0010__or(R_0022_0010__OR)
        & has_conj2(R_0022_0010__OR,R_0022_0012__WEATHER)
        & r_0022_0012__weather(R_0022_0012__WEATHER)
        & has_attrib33(R_0022_0012__WEATHER,R_0022_0011__BAD)
        & has_conj1(R_0022_0010__OR,R_0022_0009__TRAFFIC)
        & r_0022_0009__traffic(R_0022_0009__TRAFFIC)
        & has_attrib24(R_0022_0009__TRAFFIC,R_0022_0008__HEAVY) )
     => ? [R_0022_0001__YOU,R_0022_0004__SLOWER,R_0022_0002__MUST_R_0022_0003__DRIVE] :
          ( r_0022_0001__You(R_0022_0001__YOU)
          & r_0022_0004__slower(R_0022_0004__SLOWER)
          & r_0022_0002__must_r_0022_0003__drive(R_0022_0002__MUST_R_0022_0003__DRIVE)
          & has_nim10(R_0022_0002__MUST_R_0022_0003__DRIVE,R_0022_0004__SLOWER)
          & has_arg0(R_0022_0002__MUST_R_0022_0003__DRIVE,R_0022_0001__YOU) ) ) ).


n22_a_driver_handbook n22_a_driver_handbook__1_1_1_1 You n22_a_driver_handbook__1_2_1 must n22_a_driver_handbook__1_3_1_1 drive n22_a_driver_handbook__1_3_2_1_1 slower n22_a_driver_handbook__1_4_1_1 when n22_a_driver_handbook__1_4_2_1_1 there n22_a_driver_handbook__1_4_2_2_1 is n22_a_driver_handbook__1_4_2_3_1_1_1_1_1 heavy n22_a_driver_handbook__1_4_2_3_1_1_2_1 traffic n22_a_driver_handbook__1_4_2_3_1_2_1_1 or n22_a_driver_handbook__1_4_2_3_1_2_2_1_1_1 bad n22_a_driver_handbook__1_4_2_3_1_2_2_2_1 weather n22_a_driver_handbook__1_5_1 . n22_a_driver_handbook__1 IP-MAT n22_a_driver_handbook__1_1 NP-SBJ n22_a_driver_handbook__1->n22_a_driver_handbook__1_1 n22_a_driver_handbook__1_2 MD;_cat_Vi_ n22_a_driver_handbook__1->n22_a_driver_handbook__1_2 n22_a_driver_handbook__1_3 IP-INF-CAT n22_a_driver_handbook__1->n22_a_driver_handbook__1_3 n22_a_driver_handbook__1_4 PP-SCON n22_a_driver_handbook__1->n22_a_driver_handbook__1_4 n22_a_driver_handbook__1_5 PUNC n22_a_driver_handbook__1->n22_a_driver_handbook__1_5 n22_a_driver_handbook__1_1_1 PRO n22_a_driver_handbook__1_1->n22_a_driver_handbook__1_1_1 n22_a_driver_handbook__1_1_1->n22_a_driver_handbook__1_1_1_1 n22_a_driver_handbook__1_2->n22_a_driver_handbook__1_2_1 n22_a_driver_handbook__1_3_1 VB;_I_ n22_a_driver_handbook__1_3->n22_a_driver_handbook__1_3_1 n22_a_driver_handbook__1_3_2 ADVP-NIM n22_a_driver_handbook__1_3->n22_a_driver_handbook__1_3_2 n22_a_driver_handbook__1_3_1->n22_a_driver_handbook__1_3_1_1 n22_a_driver_handbook__1_3_2_1 ADVR n22_a_driver_handbook__1_3_2->n22_a_driver_handbook__1_3_2_1 n22_a_driver_handbook__1_3_2_1->n22_a_driver_handbook__1_3_2_1_1 n22_a_driver_handbook__1_4_1 P-CONN n22_a_driver_handbook__1_4->n22_a_driver_handbook__1_4_1 n22_a_driver_handbook__1_4_2 IP-ADV n22_a_driver_handbook__1_4->n22_a_driver_handbook__1_4_2 n22_a_driver_handbook__1_4_1->n22_a_driver_handbook__1_4_1_1 n22_a_driver_handbook__1_4_2_1 EX n22_a_driver_handbook__1_4_2->n22_a_driver_handbook__1_4_2_1 n22_a_driver_handbook__1_4_2_2 BEP;_ex_V_ n22_a_driver_handbook__1_4_2->n22_a_driver_handbook__1_4_2_2 n22_a_driver_handbook__1_4_2_3 NP-ESBJ n22_a_driver_handbook__1_4_2->n22_a_driver_handbook__1_4_2_3 n22_a_driver_handbook__1_4_2_1->n22_a_driver_handbook__1_4_2_1_1 n22_a_driver_handbook__1_4_2_2->n22_a_driver_handbook__1_4_2_2_1 n22_a_driver_handbook__1_4_2_3_1 NLYR n22_a_driver_handbook__1_4_2_3->n22_a_driver_handbook__1_4_2_3_1 n22_a_driver_handbook__1_4_2_3_1_1 NLYR n22_a_driver_handbook__1_4_2_3_1->n22_a_driver_handbook__1_4_2_3_1_1 n22_a_driver_handbook__1_4_2_3_1_2 CONJP n22_a_driver_handbook__1_4_2_3_1->n22_a_driver_handbook__1_4_2_3_1_2 n22_a_driver_handbook__1_4_2_3_1_1_1 ADJP n22_a_driver_handbook__1_4_2_3_1_1->n22_a_driver_handbook__1_4_2_3_1_1_1 n22_a_driver_handbook__1_4_2_3_1_1_2 N n22_a_driver_handbook__1_4_2_3_1_1->n22_a_driver_handbook__1_4_2_3_1_1_2 n22_a_driver_handbook__1_4_2_3_1_1_1_1 ADJ n22_a_driver_handbook__1_4_2_3_1_1_1->n22_a_driver_handbook__1_4_2_3_1_1_1_1 n22_a_driver_handbook__1_4_2_3_1_1_1_1->n22_a_driver_handbook__1_4_2_3_1_1_1_1_1 n22_a_driver_handbook__1_4_2_3_1_1_2->n22_a_driver_handbook__1_4_2_3_1_1_2_1 n22_a_driver_handbook__1_4_2_3_1_2_1 CONJ n22_a_driver_handbook__1_4_2_3_1_2->n22_a_driver_handbook__1_4_2_3_1_2_1 n22_a_driver_handbook__1_4_2_3_1_2_2 NLYR n22_a_driver_handbook__1_4_2_3_1_2->n22_a_driver_handbook__1_4_2_3_1_2_2 n22_a_driver_handbook__1_4_2_3_1_2_1->n22_a_driver_handbook__1_4_2_3_1_2_1_1 n22_a_driver_handbook__1_4_2_3_1_2_2_1 ADJP n22_a_driver_handbook__1_4_2_3_1_2_2->n22_a_driver_handbook__1_4_2_3_1_2_2_1 n22_a_driver_handbook__1_4_2_3_1_2_2_2 N n22_a_driver_handbook__1_4_2_3_1_2_2->n22_a_driver_handbook__1_4_2_3_1_2_2_2 n22_a_driver_handbook__1_4_2_3_1_2_2_1_1 ADJ n22_a_driver_handbook__1_4_2_3_1_2_2_1->n22_a_driver_handbook__1_4_2_3_1_2_2_1_1 n22_a_driver_handbook__1_4_2_3_1_2_2_1_1->n22_a_driver_handbook__1_4_2_3_1_2_2_1_1_1 n22_a_driver_handbook__1_4_2_3_1_2_2_2->n22_a_driver_handbook__1_4_2_3_1_2_2_2_1 n22_a_driver_handbook__1_5->n22_a_driver_handbook__1_5_1 
( (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))