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, emb23).
arc(r_0035_0005__a_r_0035_0007__book, r_0035_0004__such, attrib10).
arc(r_0035_0005__a_r_0035_0007__book, r_0035_0006__marvellous, attrib17).
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_0011__to_r_0035_0012__read, arg1).
arc(r_0035_0011__to_r_0035_0012__read, r_0035_0002__This, arg1).
arc(r_0035_0011__to_r_0035_0012__read, r_0035_0008__you, arg0).
arc(r_0035_0011__to_r_0035_0012__read, r_0035_0014__again, nim40).

fof(formula,axiom,
    ? [R_0035_0002__THIS,R_0035_0008__YOU,R_0035_0014__AGAIN,R_0035_0011__TO_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_attrib17(R_0035_0005__A_R_0035_0007__BOOK,R_0035_0006__MARVELLOUS)
      & has_attrib10(R_0035_0005__A_R_0035_0007__BOOK,R_0035_0004__SUCH)
      & r_0035_0004__such(R_0035_0004__SUCH)
      & has_emb23(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_0011__TO_R_0035_0012__READ)
      & r_0035_0011__to_r_0035_0012__read(R_0035_0011__TO_R_0035_0012__READ)
      & has_nim40(R_0035_0011__TO_R_0035_0012__READ,R_0035_0014__AGAIN)
      & has_arg0(R_0035_0011__TO_R_0035_0012__READ,R_0035_0008__YOU)
      & has_arg1(R_0035_0011__TO_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) ) ).

( (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))