( (IP-MAT;{STATEMENT2} (PULQ <lquo>)
                       (NP-SBJ;{BOOK} (D;_nphd_ This;{this}))
                       (BEP;_Ln_ is;{be})
                       (NP-PRD (ADJP (ADJ;_such_ such;{such})
                                     (CP-THT *ICH*-139))
                               (D a;{a})
                               (ADJP (ADJ marvellous;{marvellous}))
                               (N book;{book})
                               (CP-THT-EPD-139 (IP-SUB (NP-SBJ (PRO you;{you}))
                                                       (MD;_cat_Vi_ will;{will})
                                                       (IP-INF-CAT (VB;_Tt_ want;{want})
                                                                   (IP-INF-OB1 (TO to;{to})
                                                                               (VB;_Tn_ read;{read})
                                                                               (NP-OB1;{BOOK} (PRO it;{it}))
                                                                               (ADVP-NIM (ADV again;{again})))))))
                       (PUNC .)
                       (PURQ <rquo>))
  (ID 35_a_fce_0100_2000_06))

arc(r_0035_0003__is,r_0035_0002__This,arg0).
arc(r_0035_0003__is,r_0035_0005__a_r_0035_0007__book,prd).
arc(r_0035_0004__such,r_0035_0009__will,emb).
arc(r_0035_0005__a_r_0035_0007__book,r_0035_0004__such,attrib).
arc(r_0035_0005__a_r_0035_0007__book,r_0035_0006__marvellous,attrib).
arc(r_0035_0009__will,r_0035_0010__want,scope).
arc(r_0035_0010__want,r_0035_0008__you,arg0).
arc(r_0035_0010__want,r_0035_0012__read,arg1).
arc(r_0035_0012__read,r_0035_0002__This,arg1).
arc(r_0035_0012__read,r_0035_0008__you,arg0).
arc(r_0035_0012__read,r_0035_0014__again,nim).

fof(formula,axiom,
    ? [R_0035_0002__THIS,R_0035_0008__YOU,R_0035_0014__AGAIN,R_0035_0012__READ,R_0035_0009__WILL_R_0035_0010__WANT,R_0035_0004__SUCH,R_0035_0006__MARVELLOUS,R_0035_0005__A_R_0035_0007__BOOK,R_0035_0003__IS] :
      ( r_0035_0002__This(R_0035_0002__THIS)
      & r_0035_0006__marvellous(R_0035_0006__MARVELLOUS)
      & r_0035_0008__you(R_0035_0008__YOU)
      & r_0035_0014__again(R_0035_0014__AGAIN)
      & r_0035_0003__is(R_0035_0003__IS)
      & has_prd(R_0035_0003__IS,R_0035_0005__A_R_0035_0007__BOOK)
      & r_0035_0005__a_r_0035_0007__book(R_0035_0005__A_R_0035_0007__BOOK)
      & has_attrib(R_0035_0005__A_R_0035_0007__BOOK,R_0035_0006__MARVELLOUS)
      & has_attrib(R_0035_0005__A_R_0035_0007__BOOK,R_0035_0004__SUCH)
      & r_0035_0004__such(R_0035_0004__SUCH)
      & has_emb(R_0035_0004__SUCH,R_0035_0009__WILL_R_0035_0010__WANT)
      & r_0035_0009__will_r_0035_0010__want(R_0035_0009__WILL_R_0035_0010__WANT)
      & has_arg1(R_0035_0009__WILL_R_0035_0010__WANT,R_0035_0012__READ)
      & r_0035_0012__read(R_0035_0012__READ)
      & has_nim(R_0035_0012__READ,R_0035_0014__AGAIN)
      & has_arg0(R_0035_0012__READ,R_0035_0008__YOU)
      & has_arg1(R_0035_0012__READ,R_0035_0002__THIS)
      & has_arg0(R_0035_0009__WILL_R_0035_0010__WANT,R_0035_0008__YOU)
      & has_arg0(R_0035_0003__IS,R_0035_0002__THIS) ) ).