( (IP-MAT (NP-SBJ (D An;{an})
                  (N overhaul;{overhaul}))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ recommended;{recommend}))
          (NP-NIM (Q every;{every})
                  (NLYR (NUM three;{three})
                        (PP (P-ROLE to;{to})
                            (NP (NUM four;{four}))))
                  (NS years;{year}))
          (PUNC .))
  (ID 73_a_seiko_9r65))

arc(r_0073_0003__is,r_0073_0004__recommended,scope).
arc(r_0073_0003__is,r_0073_0009__years,nim).
arc(r_0073_0004__recommended,r_0073_0001__An_r_0073_0002__overhaul,arg1).
arc(r_0073_0004__recommended,z_0073_5007___star_,arg0).
arc(r_0073_0005__every__quant,r_0073_0003__is,scope).
arc(r_0073_0005__every__quant,r_0073_0009__years,restriction).
arc(r_0073_0006__three,r_0073_0008__four,r_0073_0007__to).
arc(r_0073_0009__years,r_0073_0006__three,nim).

fof(formula,axiom,
    ! [R_0073_0009__YEARS,R_0073_0008__FOUR,R_0073_0006__THREE] :
      ( ( r_0073_0008__four(R_0073_0008__FOUR)
        & r_0073_0009__years(R_0073_0009__YEARS)
        & has_nim(R_0073_0009__YEARS,R_0073_0006__THREE)
        & r_0073_0006__three(R_0073_0006__THREE)
        & has_r_0073_0007__to(R_0073_0006__THREE,R_0073_0008__FOUR) )
     => ? [R_0073_0001__AN_R_0073_0002__OVERHAUL,Z_0073_5007___STAR_,R_0073_0003__IS_R_0073_0004__RECOMMENDED] :
          ( r_0073_0001__An_r_0073_0002__overhaul(R_0073_0001__AN_R_0073_0002__OVERHAUL)
          & z_0073_5007___star_(Z_0073_5007___STAR_)
          & r_0073_0003__is_r_0073_0004__recommended(R_0073_0003__IS_R_0073_0004__RECOMMENDED)
          & has_arg0(R_0073_0003__IS_R_0073_0004__RECOMMENDED,Z_0073_5007___STAR_)
          & has_arg1(R_0073_0003__IS_R_0073_0004__RECOMMENDED,R_0073_0001__AN_R_0073_0002__OVERHAUL)
          & has_nim(R_0073_0003__IS_R_0073_0004__RECOMMENDED,R_0073_0009__YEARS) ) ) ).