Context                Previous, Next                Top


6_a_driver_handbook
This law means you may never drive faster than is safe for current conditions.

%3 r_0006_0003__means means r_0006_0001__This_r_0006_0002__law This law r_0006_0003__means->r_0006_0001__This_r_0006_0002__law [arg0] r_0006_0005__may may r_0006_0003__means->r_0006_0005__may [arg1] r_0006_0007__drive drive r_0006_0005__may->r_0006_0007__drive [scope] r_0006_0004__you you r_0006_0007__drive->r_0006_0004__you [arg0] r_0006_0006__never never r_0006_0007__drive->r_0006_0006__never [nim] r_0006_0008__faster faster r_0006_0007__drive->r_0006_0008__faster [nim] z_000_6_a_driver_handbook_28 r_0006_0008__faster->z_000_6_a_driver_handbook_28 than r_0006_0010__is is r_0006_0010__is->z_000_6_a_driver_handbook_28 [arg0] r_0006_0011__safe safe r_0006_0010__is->r_0006_0011__safe [prd] r_0006_0014__conditions conditions r_0006_0011__safe->r_0006_0014__conditions for r_0006_0013__current current r_0006_0014__conditions->r_0006_0013__current [attrib] 
arc(r_0006_0003__means, r_0006_0001__This_r_0006_0002__law, arg0).
arc(r_0006_0003__means, r_0006_0005__may, arg1).
arc(r_0006_0005__may, r_0006_0007__drive, scope).
arc(r_0006_0007__drive, r_0006_0004__you, arg0).
arc(r_0006_0007__drive, r_0006_0006__never, nim17).
arc(r_0006_0007__drive, r_0006_0008__faster, nim22).
arc(r_0006_0008__faster, z_000_6_a_driver_handbook_28, r_0006_0009__than).
arc(r_0006_0010__is, r_0006_0011__safe, prd).
arc(r_0006_0010__is, z_000_6_a_driver_handbook_28, arg0).
arc(r_0006_0011__safe, r_0006_0014__conditions, r_0006_0012__for).
arc(r_0006_0014__conditions, r_0006_0013__current, attrib41).


%3 r_0006_0014__conditions conditions r_0006_0013__current current r_0006_0014__conditions->r_0006_0013__current [attrib] r_0006_0011__safe safe r_0006_0011__safe->r_0006_0014__conditions for r_0006_0010__is is r_0006_0010__is->r_0006_0011__safe [prd] z_000_6_a_driver_handbook_28 r_0006_0010__is->z_000_6_a_driver_handbook_28 [arg0] r_0006_0008__faster faster r_0006_0008__faster->z_000_6_a_driver_handbook_28 than r_0006_0005__may_r_0006_0007__drive may drive r_0006_0005__may_r_0006_0007__drive->r_0006_0008__faster [nim] r_0006_0006__never never r_0006_0005__may_r_0006_0007__drive->r_0006_0006__never [nim] r_0006_0004__you you r_0006_0005__may_r_0006_0007__drive->r_0006_0004__you [arg0] r_0006_0003__means means r_0006_0003__means->r_0006_0005__may_r_0006_0007__drive [arg1] r_0006_0001__This_r_0006_0002__law This law r_0006_0003__means->r_0006_0001__This_r_0006_0002__law [arg0] 
fof(formula,axiom,
    ? [R_6_3_MEANS,R_6_1_THIS_LAW,R_6_5_MAY_DRIVE,R_6_4_YOU,R_6_6_NEVER,R_6_8_FASTER,R_6_10_IS,Z_6_A_DRIVER_HANDBOOK_28,R_6_11_SAFE,R_6_14_CONDITIONS,R_6_13_CURRENT] :
      ( this_law(R_6_1_THIS_LAW)
      & you(R_6_4_YOU)
      & never(R_6_6_NEVER)
      & current(R_6_13_CURRENT)
      & means(R_6_3_MEANS,R_6_1_THIS_LAW,R_6_5_MAY_DRIVE)
      & may_drive(R_6_5_MAY_DRIVE,R_6_4_YOU)
      & nim17(R_6_5_MAY_DRIVE,R_6_6_NEVER)
      & nim22(R_6_5_MAY_DRIVE,R_6_8_FASTER)
      & faster(R_6_8_FASTER)
      & than(R_6_8_FASTER,Z_6_A_DRIVER_HANDBOOK_28)
      & is(R_6_10_IS,Z_6_A_DRIVER_HANDBOOK_28,R_6_11_SAFE)
      & safe(R_6_11_SAFE)
      & for(R_6_11_SAFE,R_6_14_CONDITIONS)
      & conditions(R_6_14_CONDITIONS)
      & attrib41(R_6_14_CONDITIONS,R_6_13_CURRENT) ) ).


n6_a_driver_handbook n6_a_driver_handbook__1_1_1_1 This n6_a_driver_handbook__1_1_2_1 law n6_a_driver_handbook__1_2_1 means n6_a_driver_handbook__1_3_1_1_1_1 you n6_a_driver_handbook__1_3_1_2_1 may n6_a_driver_handbook__1_3_1_3_1_1_1 never n6_a_driver_handbook__1_3_1_3_2_1 drive n6_a_driver_handbook__1_3_1_3_3_1_1 faster n6_a_driver_handbook__1_3_1_3_3_2_1_1 than n6_a_driver_handbook__1_3_1_3_3_2_2_1_1_1 *T* n6_a_driver_handbook__1_3_1_3_3_2_2_1_2_1 is n6_a_driver_handbook__1_3_1_3_3_2_2_1_3_1_1 safe n6_a_driver_handbook__1_3_1_3_3_2_2_1_3_2_1_1 for n6_a_driver_handbook__1_3_1_3_3_2_2_1_3_2_2_1_1_1 current n6_a_driver_handbook__1_3_1_3_3_2_2_1_3_2_2_2_1 conditions n6_a_driver_handbook__1_4_1 . n6_a_driver_handbook__1 IP-MAT n6_a_driver_handbook__1_1 NP-SBJ n6_a_driver_handbook__1->n6_a_driver_handbook__1_1 n6_a_driver_handbook__1_2 VBP;_Tf_ n6_a_driver_handbook__1->n6_a_driver_handbook__1_2 n6_a_driver_handbook__1_3 CP-THT-OB1 n6_a_driver_handbook__1->n6_a_driver_handbook__1_3 n6_a_driver_handbook__1_4 PUNC n6_a_driver_handbook__1->n6_a_driver_handbook__1_4 n6_a_driver_handbook__1_1_1 D n6_a_driver_handbook__1_1->n6_a_driver_handbook__1_1_1 n6_a_driver_handbook__1_1_2 N n6_a_driver_handbook__1_1->n6_a_driver_handbook__1_1_2 n6_a_driver_handbook__1_1_1->n6_a_driver_handbook__1_1_1_1 n6_a_driver_handbook__1_1_2->n6_a_driver_handbook__1_1_2_1 n6_a_driver_handbook__1_2->n6_a_driver_handbook__1_2_1 n6_a_driver_handbook__1_3_1 IP-SUB n6_a_driver_handbook__1_3->n6_a_driver_handbook__1_3_1 n6_a_driver_handbook__1_3_1_1 NP-SBJ n6_a_driver_handbook__1_3_1->n6_a_driver_handbook__1_3_1_1 n6_a_driver_handbook__1_3_1_2 MD;_cat_Vi_ n6_a_driver_handbook__1_3_1->n6_a_driver_handbook__1_3_1_2 n6_a_driver_handbook__1_3_1_3 IP-INF-CAT n6_a_driver_handbook__1_3_1->n6_a_driver_handbook__1_3_1_3 n6_a_driver_handbook__1_3_1_1_1 PRO n6_a_driver_handbook__1_3_1_1->n6_a_driver_handbook__1_3_1_1_1 n6_a_driver_handbook__1_3_1_1_1->n6_a_driver_handbook__1_3_1_1_1_1 n6_a_driver_handbook__1_3_1_2->n6_a_driver_handbook__1_3_1_2_1 n6_a_driver_handbook__1_3_1_3_1 ADVP-NIM n6_a_driver_handbook__1_3_1_3->n6_a_driver_handbook__1_3_1_3_1 n6_a_driver_handbook__1_3_1_3_2 VB;_I_ n6_a_driver_handbook__1_3_1_3->n6_a_driver_handbook__1_3_1_3_2 n6_a_driver_handbook__1_3_1_3_3 ADVP-NIM n6_a_driver_handbook__1_3_1_3->n6_a_driver_handbook__1_3_1_3_3 n6_a_driver_handbook__1_3_1_3_1_1 ADV n6_a_driver_handbook__1_3_1_3_1->n6_a_driver_handbook__1_3_1_3_1_1 n6_a_driver_handbook__1_3_1_3_1_1->n6_a_driver_handbook__1_3_1_3_1_1_1 n6_a_driver_handbook__1_3_1_3_2->n6_a_driver_handbook__1_3_1_3_2_1 n6_a_driver_handbook__1_3_1_3_3_1 ADVR n6_a_driver_handbook__1_3_1_3_3->n6_a_driver_handbook__1_3_1_3_3_1 n6_a_driver_handbook__1_3_1_3_3_2 PP n6_a_driver_handbook__1_3_1_3_3->n6_a_driver_handbook__1_3_1_3_3_2 n6_a_driver_handbook__1_3_1_3_3_1->n6_a_driver_handbook__1_3_1_3_3_1_1 n6_a_driver_handbook__1_3_1_3_3_2_1 P-ROLE n6_a_driver_handbook__1_3_1_3_3_2->n6_a_driver_handbook__1_3_1_3_3_2_1 n6_a_driver_handbook__1_3_1_3_3_2_2 NP n6_a_driver_handbook__1_3_1_3_3_2->n6_a_driver_handbook__1_3_1_3_3_2_2 n6_a_driver_handbook__1_3_1_3_3_2_1->n6_a_driver_handbook__1_3_1_3_3_2_1_1 n6_a_driver_handbook__1_3_1_3_3_2_2_1 IP-REL n6_a_driver_handbook__1_3_1_3_3_2_2->n6_a_driver_handbook__1_3_1_3_3_2_2_1 n6_a_driver_handbook__1_3_1_3_3_2_2_1_1 NP-SBJ n6_a_driver_handbook__1_3_1_3_3_2_2_1->n6_a_driver_handbook__1_3_1_3_3_2_2_1_1 n6_a_driver_handbook__1_3_1_3_3_2_2_1_2 BEP;_La_ n6_a_driver_handbook__1_3_1_3_3_2_2_1->n6_a_driver_handbook__1_3_1_3_3_2_2_1_2 n6_a_driver_handbook__1_3_1_3_3_2_2_1_3 ADJP-PRD n6_a_driver_handbook__1_3_1_3_3_2_2_1->n6_a_driver_handbook__1_3_1_3_3_2_2_1_3 n6_a_driver_handbook__1_3_1_3_3_2_2_1_1->n6_a_driver_handbook__1_3_1_3_3_2_2_1_1_1 n6_a_driver_handbook__1_3_1_3_3_2_2_1_2->n6_a_driver_handbook__1_3_1_3_3_2_2_1_2_1 n6_a_driver_handbook__1_3_1_3_3_2_2_1_3_1 ADJ n6_a_driver_handbook__1_3_1_3_3_2_2_1_3->n6_a_driver_handbook__1_3_1_3_3_2_2_1_3_1 n6_a_driver_handbook__1_3_1_3_3_2_2_1_3_2 PP n6_a_driver_handbook__1_3_1_3_3_2_2_1_3->n6_a_driver_handbook__1_3_1_3_3_2_2_1_3_2 n6_a_driver_handbook__1_3_1_3_3_2_2_1_3_1->n6_a_driver_handbook__1_3_1_3_3_2_2_1_3_1_1 n6_a_driver_handbook__1_3_1_3_3_2_2_1_3_2_1 P-ROLE n6_a_driver_handbook__1_3_1_3_3_2_2_1_3_2->n6_a_driver_handbook__1_3_1_3_3_2_2_1_3_2_1 n6_a_driver_handbook__1_3_1_3_3_2_2_1_3_2_2 NP n6_a_driver_handbook__1_3_1_3_3_2_2_1_3_2->n6_a_driver_handbook__1_3_1_3_3_2_2_1_3_2_2 n6_a_driver_handbook__1_3_1_3_3_2_2_1_3_2_1->n6_a_driver_handbook__1_3_1_3_3_2_2_1_3_2_1_1 n6_a_driver_handbook__1_3_1_3_3_2_2_1_3_2_2_1 ADJP n6_a_driver_handbook__1_3_1_3_3_2_2_1_3_2_2->n6_a_driver_handbook__1_3_1_3_3_2_2_1_3_2_2_1 n6_a_driver_handbook__1_3_1_3_3_2_2_1_3_2_2_2 NS n6_a_driver_handbook__1_3_1_3_3_2_2_1_3_2_2->n6_a_driver_handbook__1_3_1_3_3_2_2_1_3_2_2_2 n6_a_driver_handbook__1_3_1_3_3_2_2_1_3_2_2_1_1 ADJ n6_a_driver_handbook__1_3_1_3_3_2_2_1_3_2_2_1->n6_a_driver_handbook__1_3_1_3_3_2_2_1_3_2_2_1_1 n6_a_driver_handbook__1_3_1_3_3_2_2_1_3_2_2_1_1->n6_a_driver_handbook__1_3_1_3_3_2_2_1_3_2_2_1_1_1 n6_a_driver_handbook__1_3_1_3_3_2_2_1_3_2_2_2->n6_a_driver_handbook__1_3_1_3_3_2_2_1_3_2_2_2_1 n6_a_driver_handbook__1_4->n6_a_driver_handbook__1_4_1 
( (IP-MAT (NP-SBJ;{BSL} (D This;{this})
                        (N law;{law}))
          (VBP;_Tf_ means;{mean})
          (CP-THT-OB1 (IP-SUB (NP-SBJ (PRO you;{you}))
                              (MD;_cat_Vi_ may;{may})
                              (IP-INF-CAT (ADVP-NIM (ADV never;{never}))
                                          (VB;_I_ drive;{drive})
                                          (ADVP-NIM (ADVR faster;{fast})
                                                    (PP (P-ROLE than;{than})
                                                        (NP (IP-REL (NP-SBJ *T*)
                                                                    (BEP;_La_ is;{be})
                                                                    (ADJP-PRD (ADJ safe;{safe})
                                                                              (PP (P-ROLE for;{for})
                                                                                  (NP (ADJP (ADJ current;{current}))
                                                                                      (NS conditions;{condition})))))))))))
          (PUNC .))
  (ID 6_a_driver_handbook))