TSPC 31_a_fce_0102_2001

31_a_fce_0102_2001_12
Your pen friend has asked you to recommend something suitable to read on holiday.

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_0007__to_r_0031_0008__recommend, arg1).
arc(r_0031_0007__to_r_0031_0008__recommend, r_0031_0001__Your, arg0).
arc(r_0031_0007__to_r_0031_0008__recommend, r_0031_0009__something, arg1).
arc(r_0031_0009__something, r_0031_0010__suitable, attrib26).
arc(r_0031_0011__to_r_0031_0012__read, r_0031_0009__something, arg1).
arc(r_0031_0011__to_r_0031_0012__read, r_0031_0014__holiday, r_0031_0013__on_nim39).
arc(r_0031_0011__to_r_0031_0012__read, z_000_31_a_fce_0102_2001_12_29, arg0).

fof(formula,axiom,
    ? [R_0031_0001__YOUR,R_0031_0002__PEN_R_0031_0003__FRIEND,R_0031_0010__SUITABLE,R_0031_0009__SOMETHING,R_0031_0007__TO_R_0031_0008__RECOMMEND,R_0031_0004__HAS_R_0031_0005__ASKED,R_0031_0014__HOLIDAY,Z_000_31_A_FCE_0102_2001_12_29,R_0031_0011__TO_R_0031_0012__READ] :
      ( 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_000_31_a_fce_0102_2001_12_29(Z_000_31_A_FCE_0102_2001_12_29)
      & r_0031_0011__to_r_0031_0012__read(R_0031_0011__TO_R_0031_0012__READ)
      & has_arg0(R_0031_0011__TO_R_0031_0012__READ,Z_000_31_A_FCE_0102_2001_12_29)
      & has_r_0031_0013__on_nim39(R_0031_0011__TO_R_0031_0012__READ,R_0031_0014__HOLIDAY)
      & has_arg1(R_0031_0011__TO_R_0031_0012__READ,R_0031_0009__SOMETHING)
      & r_0031_0009__something(R_0031_0009__SOMETHING)
      & has_attrib26(R_0031_0009__SOMETHING,R_0031_0010__SUITABLE)
      & 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_0007__TO_R_0031_0008__RECOMMEND)
      & r_0031_0007__to_r_0031_0008__recommend(R_0031_0007__TO_R_0031_0008__RECOMMEND)
      & has_arg1(R_0031_0007__TO_R_0031_0008__RECOMMEND,R_0031_0009__SOMETHING)
      & has_arg0(R_0031_0007__TO_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) ) ).

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