( (IP-MAT (NP-SBJ (NP-GEN (PRO;_genm_ Your;{your}))
                  (N pen;{pen})
                  (N friend;{friend}))
          (HVP;_cat_Ve_ has;{have})
          (IP-PPL-CAT (VVN;_Dn.t_ asked;{ask})
                      (NP-OB2 (PRO you;{you}))
                      (IP-INF-OB1 (TO to;{to})
                                  (VB;_Tn_ recommend;{recommend})
                                  (NP-OB1 (D;_nphd_ something;{something})
                                          (ADJP (ADJ suitable;{suitable}))
                                          (IP-INF-REL (NP-OB1 *T*)
                                                      (TO to;{to})
                                                      (VB;_Tn_ read;{read})
                                                      (PP-NIM (P-ROLE on;{on})
                                                              (NP (N holiday;{holiday})))))))
          (PUNC .))
  (ID 31_a_fce_0102_2001_12))

arc(r_0031_0002__pen_r_0031_0003__friend,r_0031_0001__Your,gen).
arc(r_0031_0004__has,r_0031_0005__asked,scope).
arc(r_0031_0005__asked,r_0031_0001__Your,arg2).
arc(r_0031_0005__asked,r_0031_0002__pen_r_0031_0003__friend,arg0).
arc(r_0031_0005__asked,r_0031_0008__recommend,arg1).
arc(r_0031_0008__recommend,r_0031_0001__Your,arg0).
arc(r_0031_0008__recommend,r_0031_0009__something,arg1).
arc(r_0031_0009__something,r_0031_0010__suitable,attrib).
arc(r_0031_0012__read,r_0031_0009__something,inv_arg1).
arc(r_0031_0012__read,r_0031_0014__holiday,r_0031_0013__on__nim).
arc(r_0031_0012__read,z_0031_5007,arg0).

fof(formula,axiom,
    ? [R_0031_0001__YOUR,R_0031_0002__PEN_R_0031_0003__FRIEND,R_0031_0010__SUITABLE,R_0031_0014__HOLIDAY,Z_0031_5007,R_0031_0012__READ,R_0031_0009__SOMETHING,R_0031_0008__RECOMMEND,R_0031_0004__HAS_R_0031_0005__ASKED] :
      ( r_0031_0001__Your(R_0031_0001__YOUR)
      & r_0031_0010__suitable(R_0031_0010__SUITABLE)
      & r_0031_0014__holiday(R_0031_0014__HOLIDAY)
      & z_0031_5007(Z_0031_5007)
      & r_0031_0004__has_r_0031_0005__asked(R_0031_0004__HAS_R_0031_0005__ASKED)
      & has_arg1(R_0031_0004__HAS_R_0031_0005__ASKED,R_0031_0008__RECOMMEND)
      & r_0031_0008__recommend(R_0031_0008__RECOMMEND)
      & has_arg1(R_0031_0008__RECOMMEND,R_0031_0009__SOMETHING)
      & r_0031_0009__something(R_0031_0009__SOMETHING)
      & has_inv_arg1(R_0031_0009__SOMETHING,R_0031_0012__READ)
      & r_0031_0012__read(R_0031_0012__READ)
      & has_arg0(R_0031_0012__READ,Z_0031_5007)
      & has_r_0031_0013__on__nim(R_0031_0012__READ,R_0031_0014__HOLIDAY)
      & has_attrib(R_0031_0009__SOMETHING,R_0031_0010__SUITABLE)
      & has_arg0(R_0031_0008__RECOMMEND,R_0031_0001__YOUR)
      & has_arg0(R_0031_0004__HAS_R_0031_0005__ASKED,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_arg2(R_0031_0004__HAS_R_0031_0005__ASKED,R_0031_0001__YOUR) ) ).