( (IP-MAT (NP-SBJ (D A;{a})
                  (ADJP (ADJ major;{major}))
                  (N overhaul;{overhaul}))
          (BEP;_La_ is;{be})
          (ADVP-NIM (ADV now;{now}))
          (ADJP-PRD (ADJ underway;{underway}))
          (PP-SCON (IP-INF (TO to;{to})
                           (VB;_Cn.a_ make;{make})
                           (NP-OB1 (D the;{the})
                                   (N site;{site}))
                           (ADJP-PRD (ADVP (ADVP (ADV even;{even}))
                                           (ADVR more;{more}))
                                     (NP (N user;{user}))
                                     (PUNC <hyphen>)
                                     (ADJ friendly;{friendly}))
                           (PP-NIM (P-ROLE by;{by})
                                   (NP (D the;{the})
                                       (N end;{end})
                                       (PP (P-ROLE of;{of})
                                           (NP (D this;{this})
                                               (N year;{year})))))))
          (PUNC .))
  (ID 11_a_ninjal_mission))

arc(r_0011_0001__A_r_0011_0003__overhaul,r_0011_0002__major,attrib).
arc(r_0011_0004__is,r_0011_0001__A_r_0011_0003__overhaul,arg0).
arc(r_0011_0004__is,r_0011_0005__now,nim).
arc(r_0011_0004__is,r_0011_0006__underway,prd).
arc(r_0011_0008__make,r_0011_0001__A_r_0011_0003__overhaul,arg0).
arc(r_0011_0008__make,r_0011_0009__the_r_0011_0010__site,arg1).
arc(r_0011_0008__make,r_0011_0015__friendly,prd).
arc(r_0011_0008__make,r_0011_0017__the_r_0011_0018__end,r_0011_0016__by__nim).
arc(r_0011_0012__more,r_0011_0011__even,qual).
arc(r_0011_0015__friendly,r_0011_0012__more,qual).
arc(r_0011_0015__friendly,r_0011_0013__user,nim).
arc(r_0011_0017__the_r_0011_0018__end,r_0011_0020__this_r_0011_0021__year,r_0011_0019__of).
arc(z_0011_5003,r_0011_0004__is,scope).
arc(z_0011_5003,r_0011_0008__make,restriction).

fof(formula,axiom,
    ? [R_0011_0002__MAJOR,R_0011_0001__A_R_0011_0003__OVERHAUL,R_0011_0005__NOW,R_0011_0006__UNDERWAY,R_0011_0004__IS,R_0011_0009__THE_R_0011_0010__SITE,R_0011_0011__EVEN,R_0011_0012__MORE,R_0011_0013__USER,R_0011_0015__FRIENDLY,R_0011_0020__THIS_R_0011_0021__YEAR,R_0011_0017__THE_R_0011_0018__END,R_0011_0008__MAKE,Z_0011_5003] :
      ( r_0011_0002__major(R_0011_0002__MAJOR)
      & r_0011_0005__now(R_0011_0005__NOW)
      & r_0011_0006__underway(R_0011_0006__UNDERWAY)
      & r_0011_0009__the_r_0011_0010__site(R_0011_0009__THE_R_0011_0010__SITE)
      & r_0011_0011__even(R_0011_0011__EVEN)
      & r_0011_0013__user(R_0011_0013__USER)
      & r_0011_0020__this_r_0011_0021__year(R_0011_0020__THIS_R_0011_0021__YEAR)
      & z_0011_5003(Z_0011_5003)
      & has_conj1(Z_0011_5003,R_0011_0008__MAKE)
      & r_0011_0008__make(R_0011_0008__MAKE)
      & has_r_0011_0016__by__nim(R_0011_0008__MAKE,R_0011_0017__THE_R_0011_0018__END)
      & r_0011_0017__the_r_0011_0018__end(R_0011_0017__THE_R_0011_0018__END)
      & has_r_0011_0019__of(R_0011_0017__THE_R_0011_0018__END,R_0011_0020__THIS_R_0011_0021__YEAR)
      & has_prd(R_0011_0008__MAKE,R_0011_0015__FRIENDLY)
      & r_0011_0015__friendly(R_0011_0015__FRIENDLY)
      & has_nim(R_0011_0015__FRIENDLY,R_0011_0013__USER)
      & has_qual(R_0011_0015__FRIENDLY,R_0011_0012__MORE)
      & r_0011_0012__more(R_0011_0012__MORE)
      & has_qual(R_0011_0012__MORE,R_0011_0011__EVEN)
      & has_arg1(R_0011_0008__MAKE,R_0011_0009__THE_R_0011_0010__SITE)
      & has_arg0(R_0011_0008__MAKE,R_0011_0001__A_R_0011_0003__OVERHAUL)
      & r_0011_0001__A_r_0011_0003__overhaul(R_0011_0001__A_R_0011_0003__OVERHAUL)
      & has_attrib(R_0011_0001__A_R_0011_0003__OVERHAUL,R_0011_0002__MAJOR)
      & has_conj2(Z_0011_5003,R_0011_0004__IS)
      & r_0011_0004__is(R_0011_0004__IS)
      & has_prd(R_0011_0004__IS,R_0011_0006__UNDERWAY)
      & has_nim(R_0011_0004__IS,R_0011_0005__NOW)
      & has_arg0(R_0011_0004__IS,R_0011_0001__A_R_0011_0003__OVERHAUL) ) ).