( (CP-QUE-MAT (IP-SUB (NP-122 (WPRO What;{what}))
                      (MD;_cat_Vi_ will;{will})
                      (NP-SBJ (NS clothes;{clothes}))
                      (IP-INF-CAT (BE;_Ipr_ be;{be[like]})
                                  (PP-CLR (P-ROLE like;{like})
                                          (NP *ICH*-122))
                                  (NP-NIM (NUM 100)
                                          (NS years;{year})
                                          (PP (P-ROLE from;{from})
                                              (ADVP (ADV now;{now}))))))
              (PUNC ?))
  (ID 18_a_fce_0102_2000_06))

arc(r_0018_0002__will,r_0018_0004__be_r_0018_0005__like,scope).
arc(r_0018_0004__be_r_0018_0005__like,r_0018_0001__What,arg1).
arc(r_0018_0004__be_r_0018_0005__like,r_0018_0003__clothes,arg0).
arc(r_0018_0004__be_r_0018_0005__like,r_0018_0006__100_r_0018_0007__years,nim).
arc(r_0018_0006__100_r_0018_0007__years,r_0018_0009__now,r_0018_0008__from).

fof(formula,axiom,
    ? [R_0018_0001__WHAT,R_0018_0003__CLOTHES,R_0018_0009__NOW,R_0018_0006__100_R_0018_0007__YEARS,R_0018_0002__WILL_R_0018_0004__BE_R_0018_0005__LIKE] :
      ( r_0018_0001__What(R_0018_0001__WHAT)
      & r_0018_0003__clothes(R_0018_0003__CLOTHES)
      & r_0018_0009__now(R_0018_0009__NOW)
      & r_0018_0002__will_r_0018_0004__be_r_0018_0005__like(R_0018_0002__WILL_R_0018_0004__BE_R_0018_0005__LIKE)
      & has_nim(R_0018_0002__WILL_R_0018_0004__BE_R_0018_0005__LIKE,R_0018_0006__100_R_0018_0007__YEARS)
      & r_0018_0006__100_r_0018_0007__years(R_0018_0006__100_R_0018_0007__YEARS)
      & has_r_0018_0008__from(R_0018_0006__100_R_0018_0007__YEARS,R_0018_0009__NOW)
      & has_arg0(R_0018_0002__WILL_R_0018_0004__BE_R_0018_0005__LIKE,R_0018_0003__CLOTHES)
      & has_arg1(R_0018_0002__WILL_R_0018_0004__BE_R_0018_0005__LIKE,R_0018_0001__WHAT) ) ).