( (IP-MAT (NP-SBJ;{FRIEND} (NP-GEN (PRO;_genm_ Your;{your}))
                           (N pen;{pen})
                           (N friend;{friend}))
          (HVP;_cat_Ve_ has;{have})
          (IP-PPL-CAT (VVN;_I_ written;{write}))
          (PP-SCON (IP-INF (TO to;{to})
                           (VB;_Dn.w_ ask;{ask})
                           (NP-OB2 (PRO you;{you}))
                           (CP-QUE-OB1 (IP-SUB (WQ whether;{whether})
                                               (NP-SBJ;{BOOK} (D the;{the})
                                                              (N book;{book})
                                                              (IP-REL (NP-SBJ (PRO you;{you}))
                                                                      (HVP;_cat_Ve_ have;{have})
                                                                      (IP-PPL-CAT (NP-OB1 *T*)
                                                                                  (VVN;_Tn_ read;{read}))))
                                               (MD;_cat_Vi_ would;{will})
                                               (IP-INF-CAT (BE;_Ln_ be;{be})
                                                           (NP-PRD (D a;{a})
                                                                   (ADJP (ADJ suitable;{suitable}))
                                                                   (N present;{present})
                                                                   (PP (P-ROLE for;{for})
                                                                       (NP (NP-GEN (NP-GEN;{FRIEND} (PRO;_genm_ her;{her}))
                                                                                   (N cousin;{cousin})
                                                                                   (GENM <apos>s))
                                                                           (ADJP (ADJ fifteenth;{fifteenth}))
                                                                           (N birthday;{birthday})))))))))
          (PUNC .))
  (ID 31_a_fce_0100_2000_12))

arc(r_0031_0002__pen_r_0031_0003__friend,r_0031_0001__Your,gen).
arc(r_0031_0004__has,r_0031_0005__written,scope).
arc(r_0031_0005__written,r_0031_0002__pen_r_0031_0003__friend,arg0).
arc(r_0031_0007__ask,r_0031_0001__Your,arg2).
arc(r_0031_0007__ask,r_0031_0002__pen_r_0031_0003__friend,arg0).
arc(r_0031_0007__ask,r_0031_0009__whether,arg1).
arc(r_0031_0009__whether,r_0031_0015__would,keep_scope).
arc(r_0031_0013__have,r_0031_0014__read,scope).
arc(r_0031_0014__read,r_0031_0001__Your,arg0).
arc(r_0031_0014__read,r_0031_0010__the_r_0031_0011__book,inv_arg1).
arc(r_0031_0015__would,r_0031_0016__be,scope).
arc(r_0031_0016__be,r_0031_0010__the_r_0031_0011__book,arg0).
arc(r_0031_0016__be,r_0031_0017__a_r_0031_0019__present,prd).
arc(r_0031_0017__a_r_0031_0019__present,r_0031_0018__suitable,attrib).
arc(r_0031_0017__a_r_0031_0019__present,r_0031_0025__birthday,r_0031_0020__for).
arc(r_0031_0022__cousin,r_0031_0002__pen_r_0031_0003__friend,gen).
arc(r_0031_0025__birthday,r_0031_0022__cousin,gen).
arc(r_0031_0025__birthday,r_0031_0024__fifteenth,attrib).
arc(z_0031_5002,r_0031_0004__has,scope).
arc(z_0031_5002,r_0031_0007__ask,restriction).

fof(formula,axiom,
    ? [R_0031_0001__YOUR,R_0031_0002__PEN_R_0031_0003__FRIEND,R_0031_0004__HAS_R_0031_0005__WRITTEN,R_0031_0013__HAVE_R_0031_0014__READ,R_0031_0010__THE_R_0031_0011__BOOK,R_0031_0018__SUITABLE,R_0031_0022__COUSIN,R_0031_0024__FIFTEENTH,R_0031_0025__BIRTHDAY,R_0031_0017__A_R_0031_0019__PRESENT,R_0031_0015__WOULD_R_0031_0016__BE,R_0031_0009__WHETHER,R_0031_0007__ASK,Z_0031_5002] :
      ( r_0031_0001__Your(R_0031_0001__YOUR)
      & r_0031_0018__suitable(R_0031_0018__SUITABLE)
      & r_0031_0024__fifteenth(R_0031_0024__FIFTEENTH)
      & z_0031_5002(Z_0031_5002)
      & has_conj1(Z_0031_5002,R_0031_0007__ASK)
      & r_0031_0007__ask(R_0031_0007__ASK)
      & has_arg1(R_0031_0007__ASK,R_0031_0009__WHETHER)
      & r_0031_0009__whether(R_0031_0009__WHETHER)
      & has_keep_scope(R_0031_0009__WHETHER,R_0031_0015__WOULD_R_0031_0016__BE)
      & r_0031_0015__would_r_0031_0016__be(R_0031_0015__WOULD_R_0031_0016__BE)
      & has_prd(R_0031_0015__WOULD_R_0031_0016__BE,R_0031_0017__A_R_0031_0019__PRESENT)
      & r_0031_0017__a_r_0031_0019__present(R_0031_0017__A_R_0031_0019__PRESENT)
      & has_r_0031_0020__for(R_0031_0017__A_R_0031_0019__PRESENT,R_0031_0025__BIRTHDAY)
      & r_0031_0025__birthday(R_0031_0025__BIRTHDAY)
      & has_attrib(R_0031_0025__BIRTHDAY,R_0031_0024__FIFTEENTH)
      & has_gen(R_0031_0025__BIRTHDAY,R_0031_0022__COUSIN)
      & r_0031_0022__cousin(R_0031_0022__COUSIN)
      & has_gen(R_0031_0022__COUSIN,R_0031_0002__PEN_R_0031_0003__FRIEND)
      & r_0031_0002__pen_r_0031_0003__friend(R_0031_0002__PEN_R_0031_0003__FRIEND)
      & has_gen(R_0031_0002__PEN_R_0031_0003__FRIEND,R_0031_0001__YOUR)
      & has_attrib(R_0031_0017__A_R_0031_0019__PRESENT,R_0031_0018__SUITABLE)
      & has_arg0(R_0031_0015__WOULD_R_0031_0016__BE,R_0031_0010__THE_R_0031_0011__BOOK)
      & r_0031_0010__the_r_0031_0011__book(R_0031_0010__THE_R_0031_0011__BOOK)
      & has_inv_arg1(R_0031_0010__THE_R_0031_0011__BOOK,R_0031_0013__HAVE_R_0031_0014__READ)
      & r_0031_0013__have_r_0031_0014__read(R_0031_0013__HAVE_R_0031_0014__READ)
      & has_arg0(R_0031_0013__HAVE_R_0031_0014__READ,R_0031_0001__YOUR)
      & has_arg0(R_0031_0007__ASK,R_0031_0002__PEN_R_0031_0003__FRIEND)
      & has_arg2(R_0031_0007__ASK,R_0031_0001__YOUR)
      & has_conj2(Z_0031_5002,R_0031_0004__HAS_R_0031_0005__WRITTEN)
      & r_0031_0004__has_r_0031_0005__written(R_0031_0004__HAS_R_0031_0005__WRITTEN)
      & has_arg0(R_0031_0004__HAS_R_0031_0005__WRITTEN,R_0031_0002__PEN_R_0031_0003__FRIEND) ) ).