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_0007__posted posted z_000_12_a_driver_handbook_20 r_0012_0007__posted->z_000_12_a_driver_handbook_20 [arg0] z_000_12_a_driver_handbook_15 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] r_0012_0002__may_r_0012_0003__drive may drive r_0012_0002__may_r_0012_0003__drive->z_000_12_a_driver_handbook_15 [nim] 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] r_0012_0001__You You r_0012_0002__may_r_0012_0003__drive->r_0012_0001__You [arg0] 
fof(formula,axiom,
    ? [R_0012_0001__YOU,R_0012_0004__70_R_0012_0005__MPH,Z_000_12_A_DRIVER_HANDBOOK_15,R_0012_0002__MAY_R_0012_0003__DRIVE,R_0012_0006__WHERE,Z_000_12_A_DRIVER_HANDBOOK_20,R_0012_0007__POSTED] :
      ( r_0012_0001__You(R_0012_0001__YOU)
      & r_0012_0004__70_r_0012_0005__mph(R_0012_0004__70_R_0012_0005__MPH)
      & r_0012_0006__where(R_0012_0006__WHERE)
      & z_000_12_a_driver_handbook_15(Z_000_12_A_DRIVER_HANDBOOK_15)
      & z_000_12_a_driver_handbook_20(Z_000_12_A_DRIVER_HANDBOOK_20)
      & r_0012_0007__posted(R_0012_0007__POSTED)
      & has_arg0(R_0012_0007__POSTED,Z_000_12_A_DRIVER_HANDBOOK_20)
      & has_arg1(R_0012_0007__POSTED,Z_000_12_A_DRIVER_HANDBOOK_15)
      & has_nim17(R_0012_0007__POSTED,R_0012_0006__WHERE)
      & r_0012_0002__may_r_0012_0003__drive(R_0012_0002__MAY_R_0012_0003__DRIVE)
      & has_nim15(R_0012_0002__MAY_R_0012_0003__DRIVE,Z_000_12_A_DRIVER_HANDBOOK_15)
      & has_arg1(R_0012_0002__MAY_R_0012_0003__DRIVE,R_0012_0004__70_R_0012_0005__MPH)
      & has_arg0(R_0012_0002__MAY_R_0012_0003__DRIVE,R_0012_0001__YOU) ) ).


n12_a_driver_handbook n12_a_driver_handbook__1_1_1_1 You n12_a_driver_handbook__1_2_1 may n12_a_driver_handbook__1_3_1_1 drive n12_a_driver_handbook__1_3_2_1_1 70 n12_a_driver_handbook__1_3_2_2_1 mph n12_a_driver_handbook__1_3_3_1_1_1_1 where n12_a_driver_handbook__1_3_3_1_2_1 * n12_a_driver_handbook__1_3_3_1_3_1 posted n12_a_driver_handbook__1_4_1 . n12_a_driver_handbook__1 IP-MAT n12_a_driver_handbook__1_1 NP-SBJ n12_a_driver_handbook__1->n12_a_driver_handbook__1_1 n12_a_driver_handbook__1_2 MD;_cat_Vi_ n12_a_driver_handbook__1->n12_a_driver_handbook__1_2 n12_a_driver_handbook__1_3 IP-INF-CAT n12_a_driver_handbook__1->n12_a_driver_handbook__1_3 n12_a_driver_handbook__1_4 PUNC n12_a_driver_handbook__1->n12_a_driver_handbook__1_4 n12_a_driver_handbook__1_1_1 PRO n12_a_driver_handbook__1_1->n12_a_driver_handbook__1_1_1 n12_a_driver_handbook__1_1_1->n12_a_driver_handbook__1_1_1_1 n12_a_driver_handbook__1_2->n12_a_driver_handbook__1_2_1 n12_a_driver_handbook__1_3_1 VB;_Tn_ n12_a_driver_handbook__1_3->n12_a_driver_handbook__1_3_1 n12_a_driver_handbook__1_3_2 NP-OB1 n12_a_driver_handbook__1_3->n12_a_driver_handbook__1_3_2 n12_a_driver_handbook__1_3_3 NP-NIM n12_a_driver_handbook__1_3->n12_a_driver_handbook__1_3_3 n12_a_driver_handbook__1_3_1->n12_a_driver_handbook__1_3_1_1 n12_a_driver_handbook__1_3_2_1 NUM n12_a_driver_handbook__1_3_2->n12_a_driver_handbook__1_3_2_1 n12_a_driver_handbook__1_3_2_2 N n12_a_driver_handbook__1_3_2->n12_a_driver_handbook__1_3_2_2 n12_a_driver_handbook__1_3_2_1->n12_a_driver_handbook__1_3_2_1_1 n12_a_driver_handbook__1_3_2_2->n12_a_driver_handbook__1_3_2_2_1 n12_a_driver_handbook__1_3_3_1 IP-PPL n12_a_driver_handbook__1_3_3->n12_a_driver_handbook__1_3_3_1 n12_a_driver_handbook__1_3_3_1_1 ADVP-NIM n12_a_driver_handbook__1_3_3_1->n12_a_driver_handbook__1_3_3_1_1 n12_a_driver_handbook__1_3_3_1_2 NP-LGS n12_a_driver_handbook__1_3_3_1->n12_a_driver_handbook__1_3_3_1_2 n12_a_driver_handbook__1_3_3_1_3 VVN;_Tn_ n12_a_driver_handbook__1_3_3_1->n12_a_driver_handbook__1_3_3_1_3 n12_a_driver_handbook__1_3_3_1_1_1 WADV n12_a_driver_handbook__1_3_3_1_1->n12_a_driver_handbook__1_3_3_1_1_1 n12_a_driver_handbook__1_3_3_1_1_1->n12_a_driver_handbook__1_3_3_1_1_1_1 n12_a_driver_handbook__1_3_3_1_2->n12_a_driver_handbook__1_3_3_1_2_1 n12_a_driver_handbook__1_3_3_1_3->n12_a_driver_handbook__1_3_3_1_3_1 n12_a_driver_handbook__1_4->n12_a_driver_handbook__1_4_1 
( (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))