( (IP-MAT (NP-SBJ (NP-GEN (PRO;_genm_ Your;{your}))
                  (N teacher;{teacher}))
          (HVP;_cat_Ve_ has;{have})
          (IP-PPL-CAT (ADVP-NIM (ADV now;{now}))
                      (VVN;_Dn.t_ asked;{ask})
                      (NP-OB2 (PRO you;{you}))
                      (IP-INF-OB1 (TO to;{to})
                                  (VB;_Tn_ write;{write})
                                  (NP-OB1 (D a;{a})
                                          (N composition;{composition}))
                                  (PUNC ,)
                                  (PP-SCON (IP-PPL2 (VAG;_Tn_ giving;{give})
                                                    (NP-OB1 (NP-GEN (PRO;_genm_ your;{your}))
                                                            (NS opinions;{opinion})
                                                            (PP (P-ROLE on;{on})
                                                                (NP (D the;{the})
                                                                    (ADJP (ADJ following;{following}))
                                                                    (N statement;{statement}))))))))
          (PUNC .))
  (ID 17_a_fce_0102_2001_06))

arc(r_0017_0002__teacher,r_0017_0001__Your,gen).
arc(r_0017_0003__has,r_0017_0005__asked,scope).
arc(r_0017_0005__asked,r_0017_0001__Your,arg2).
arc(r_0017_0005__asked,r_0017_0002__teacher,arg0).
arc(r_0017_0005__asked,r_0017_0004__now,nim).
arc(r_0017_0005__asked,z_0017_5006,arg1).
arc(r_0017_0008__write,r_0017_0001__Your,arg0).
arc(r_0017_0008__write,r_0017_0009__a_r_0017_0010__composition,arg1).
arc(r_0017_0012__giving,r_0017_0001__Your,arg0).
arc(r_0017_0012__giving,r_0017_0014__opinions,arg1).
arc(r_0017_0014__opinions,r_0017_0001__Your,gen).
arc(r_0017_0014__opinions,r_0017_0016__the_r_0017_0018__statement,r_0017_0015__on).
arc(r_0017_0016__the_r_0017_0018__statement,r_0017_0017__following,attrib).
arc(z_0017_5006,r_0017_0008__write,scope).
arc(z_0017_5006,r_0017_0012__giving,restriction).

fof(formula,axiom,
    ? [R_0017_0001__YOUR,R_0017_0002__TEACHER,R_0017_0004__NOW,R_0017_0009__A_R_0017_0010__COMPOSITION,R_0017_0008__WRITE,R_0017_0017__FOLLOWING,R_0017_0016__THE_R_0017_0018__STATEMENT,R_0017_0014__OPINIONS,R_0017_0012__GIVING,Z_0017_5006,R_0017_0003__HAS_R_0017_0005__ASKED] :
      ( r_0017_0001__Your(R_0017_0001__YOUR)
      & r_0017_0004__now(R_0017_0004__NOW)
      & r_0017_0009__a_r_0017_0010__composition(R_0017_0009__A_R_0017_0010__COMPOSITION)
      & r_0017_0017__following(R_0017_0017__FOLLOWING)
      & r_0017_0003__has_r_0017_0005__asked(R_0017_0003__HAS_R_0017_0005__ASKED)
      & has_arg1(R_0017_0003__HAS_R_0017_0005__ASKED,Z_0017_5006)
      & z_0017_5006(Z_0017_5006)
      & has_conj1(Z_0017_5006,R_0017_0012__GIVING)
      & r_0017_0012__giving(R_0017_0012__GIVING)
      & has_arg1(R_0017_0012__GIVING,R_0017_0014__OPINIONS)
      & r_0017_0014__opinions(R_0017_0014__OPINIONS)
      & has_r_0017_0015__on(R_0017_0014__OPINIONS,R_0017_0016__THE_R_0017_0018__STATEMENT)
      & r_0017_0016__the_r_0017_0018__statement(R_0017_0016__THE_R_0017_0018__STATEMENT)
      & has_attrib(R_0017_0016__THE_R_0017_0018__STATEMENT,R_0017_0017__FOLLOWING)
      & has_gen(R_0017_0014__OPINIONS,R_0017_0001__YOUR)
      & has_arg0(R_0017_0012__GIVING,R_0017_0001__YOUR)
      & has_conj2(Z_0017_5006,R_0017_0008__WRITE)
      & r_0017_0008__write(R_0017_0008__WRITE)
      & has_arg1(R_0017_0008__WRITE,R_0017_0009__A_R_0017_0010__COMPOSITION)
      & has_arg0(R_0017_0008__WRITE,R_0017_0001__YOUR)
      & has_nim(R_0017_0003__HAS_R_0017_0005__ASKED,R_0017_0004__NOW)
      & has_arg0(R_0017_0003__HAS_R_0017_0005__ASKED,R_0017_0002__TEACHER)
      & r_0017_0002__teacher(R_0017_0002__TEACHER)
      & has_gen(R_0017_0002__TEACHER,R_0017_0001__YOUR)
      & has_arg2(R_0017_0003__HAS_R_0017_0005__ASKED,R_0017_0001__YOUR) ) ).