( (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-REL (ADVP-NIM (RADV where;{where}))
                                      (IP-PPL-CAT (NP-LGS *)
                                                  (VVN;_Tn_ posted;{post})))))
          (PUNC .))
  (ID 12_a_driver_handbook))

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,r_0012_0006__where,nim).
arc(r_0012_0007__posted,z_0012_5005,arg1).
arc(r_0012_0007__posted,z_0012_5007___star_,arg0).
arc(z_0012_5009,r_0012_0006__where,nim).
arc(z_0012_5009,r_0012_0007__posted,scope).

fof(formula,axiom,
    ? [R_0012_0001__YOU,R_0012_0004__70_R_0012_0005__MPH,R_0012_0006__WHERE,R_0012_0002__MAY_R_0012_0003__DRIVE,Z_0012_5005,Z_0012_5007___STAR_,Z_0012_5009_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_0012_5005(Z_0012_5005)
      & z_0012_5007___star_(Z_0012_5007___STAR_)
      & z_0012_5009_r_0012_0007__posted(Z_0012_5009_R_0012_0007__POSTED)
      & has_nim(Z_0012_5009_R_0012_0007__POSTED,R_0012_0006__WHERE)
      & has_arg0(Z_0012_5009_R_0012_0007__POSTED,Z_0012_5007___STAR_)
      & has_arg1(Z_0012_5009_R_0012_0007__POSTED,Z_0012_5005)
      & r_0012_0002__may_r_0012_0003__drive(R_0012_0002__MAY_R_0012_0003__DRIVE)
      & has_nim(R_0012_0002__MAY_R_0012_0003__DRIVE,R_0012_0006__WHERE)
      & 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) ) ).