Context                Previous, Next                Top


12_a_driver_handbook
You may drive 70 mph where posted.

%3 r_0012_0002__may may r_0012_0003__drive drive r_0012_0002__may->r_0012_0003__drive [scope] r_0012_0001__You You r_0012_0003__drive->r_0012_0001__You [arg0] r_0012_0004__70_r_0012_0005__mph 70 mph r_0012_0003__drive->r_0012_0004__70_r_0012_0005__mph [arg1] z_000_12_a_driver_handbook_15 r_0012_0003__drive->z_000_12_a_driver_handbook_15 [nim] r_0012_0007__posted posted r_0012_0007__posted->z_000_12_a_driver_handbook_15 [arg1] r_0012_0006__where where r_0012_0007__posted->r_0012_0006__where [nim] z_000_12_a_driver_handbook_20 r_0012_0007__posted->z_000_12_a_driver_handbook_20 [arg0] 
arc(r_0012_0002__may, r_0012_0003__drive, scope).
arc(r_0012_0003__drive, r_0012_0001__You, arg0).
arc(r_0012_0003__drive, r_0012_0004__70_r_0012_0005__mph, arg1).
arc(r_0012_0003__drive, z_000_12_a_driver_handbook_15, nim15).
arc(r_0012_0007__posted, r_0012_0006__where, nim17).
arc(r_0012_0007__posted, z_000_12_a_driver_handbook_15, arg1).
arc(r_0012_0007__posted, z_000_12_a_driver_handbook_20, arg0).


%3 r_0012_0002__may_r_0012_0003__drive may drive r_0012_0001__You You r_0012_0002__may_r_0012_0003__drive->r_0012_0001__You [arg0] r_0012_0004__70_r_0012_0005__mph 70 mph r_0012_0002__may_r_0012_0003__drive->r_0012_0004__70_r_0012_0005__mph [arg1] z_000_12_a_driver_handbook_15 r_0012_0002__may_r_0012_0003__drive->z_000_12_a_driver_handbook_15 [nim] r_0012_0007__posted posted r_0012_0007__posted->z_000_12_a_driver_handbook_15 [arg1] r_0012_0006__where where r_0012_0007__posted->r_0012_0006__where [nim] z_000_12_a_driver_handbook_20 r_0012_0007__posted->z_000_12_a_driver_handbook_20 [arg0] 
fof(formula,axiom,
    ? [R_12_2_MAY_DRIVE,R_12_1_YOU,R_12_4_70_MPH,R_12_7_POSTED,Z_12_A_DRIVER_HANDBOOK_20,Z_12_A_DRIVER_HANDBOOK_15,R_12_6_WHERE] :
      ( you(R_12_1_YOU)
      & 70_mph(R_12_4_70_MPH)
      & where(R_12_6_WHERE)
      & may_drive(R_12_2_MAY_DRIVE,R_12_1_YOU,R_12_4_70_MPH)
      & nim15(R_12_2_MAY_DRIVE,Z_12_A_DRIVER_HANDBOOK_15)
      & posted(R_12_7_POSTED,Z_12_A_DRIVER_HANDBOOK_20,Z_12_A_DRIVER_HANDBOOK_15)
      & nim17(R_12_7_POSTED,R_12_6_WHERE) ) ).


n12_a_driver_handbook n12_a_driver_handbook_4 You n12_a_driver_handbook_6 may n12_a_driver_handbook_9 drive n12_a_driver_handbook_12 70 n12_a_driver_handbook_14 mph n12_a_driver_handbook_19 where n12_a_driver_handbook_21 * n12_a_driver_handbook_23 posted n12_a_driver_handbook_25 . n12_a_driver_handbook_1 IP-MAT n12_a_driver_handbook_2 NP-SBJ n12_a_driver_handbook_1->n12_a_driver_handbook_2 n12_a_driver_handbook_5 MD;_cat_Vi_ n12_a_driver_handbook_1->n12_a_driver_handbook_5 n12_a_driver_handbook_7 IP-INF-CAT n12_a_driver_handbook_1->n12_a_driver_handbook_7 n12_a_driver_handbook_24 PUNC n12_a_driver_handbook_1->n12_a_driver_handbook_24 n12_a_driver_handbook_3 PRO n12_a_driver_handbook_2->n12_a_driver_handbook_3 n12_a_driver_handbook_3->n12_a_driver_handbook_4 n12_a_driver_handbook_5->n12_a_driver_handbook_6 n12_a_driver_handbook_8 VB;_Tn_ n12_a_driver_handbook_7->n12_a_driver_handbook_8 n12_a_driver_handbook_10 NP-OB1 n12_a_driver_handbook_7->n12_a_driver_handbook_10 n12_a_driver_handbook_15 NP-NIM n12_a_driver_handbook_7->n12_a_driver_handbook_15 n12_a_driver_handbook_8->n12_a_driver_handbook_9 n12_a_driver_handbook_11 NUM n12_a_driver_handbook_10->n12_a_driver_handbook_11 n12_a_driver_handbook_13 N n12_a_driver_handbook_10->n12_a_driver_handbook_13 n12_a_driver_handbook_11->n12_a_driver_handbook_12 n12_a_driver_handbook_13->n12_a_driver_handbook_14 n12_a_driver_handbook_16 IP-PPL n12_a_driver_handbook_15->n12_a_driver_handbook_16 n12_a_driver_handbook_17 ADVP-NIM n12_a_driver_handbook_16->n12_a_driver_handbook_17 n12_a_driver_handbook_20 NP-LGS n12_a_driver_handbook_16->n12_a_driver_handbook_20 n12_a_driver_handbook_22 VVN;_Tn_ n12_a_driver_handbook_16->n12_a_driver_handbook_22 n12_a_driver_handbook_18 WADV n12_a_driver_handbook_17->n12_a_driver_handbook_18 n12_a_driver_handbook_18->n12_a_driver_handbook_19 n12_a_driver_handbook_20->n12_a_driver_handbook_21 n12_a_driver_handbook_22->n12_a_driver_handbook_23 n12_a_driver_handbook_24->n12_a_driver_handbook_25 
( (IP-MAT (NP-SBJ (PRO You;{you}))
          (MD;_cat_Vi_ may;{may})
          (IP-INF-CAT (VB;_Tn_ drive;{drive})
                      (NP-OB1 (NUM 70)
                              (N mph;{mph}))
                      (NP-NIM (IP-PPL (ADVP-NIM (WADV where;{where}))
                                      (NP-LGS *)
                                      (VVN;_Tn_ posted;{post}))))
          (PUNC .))
  (ID 12_a_driver_handbook))