( (IP-MAT (NP-SBJ (NP-GEN (PRO;_genm_ Your;{your}))
                  (ADJP (ADJ English;{english}))
                  (N teacher;{teacher}))
          (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;_Dn.pr_ write;{write[for]})
                                  (NP-OB1 (D a;{a})
                                          (N story;{story}))
                                  (PP-OB2 (P-ROLE for;{for})
                                          (NP (D the;{the})
                                              (N school;{school})
                                              (N magazine;{magazine})))))
          (PUNC .))
  (ID 16_a_fce_0101_2000_06))

arc(r_0016_0003__teacher,r_0016_0001__Your,gen).
arc(r_0016_0003__teacher,r_0016_0002__English,attrib).
arc(r_0016_0004__has,r_0016_0005__asked,scope).
arc(r_0016_0005__asked,r_0016_0001__Your,arg2).
arc(r_0016_0005__asked,r_0016_0003__teacher,arg0).
arc(r_0016_0005__asked,r_0016_0008__write_r_0016_0011__for,arg1).
arc(r_0016_0008__write_r_0016_0011__for,r_0016_0001__Your,arg0).
arc(r_0016_0008__write_r_0016_0011__for,r_0016_0009__a_r_0016_0010__story,arg1).
arc(r_0016_0008__write_r_0016_0011__for,r_0016_0012__the_r_0016_0013__school_r_0016_0014__magazine,arg2).

fof(formula,axiom,
    ? [R_0016_0001__YOUR,R_0016_0002__ENGLISH,R_0016_0003__TEACHER,R_0016_0009__A_R_0016_0010__STORY,R_0016_0012__THE_R_0016_0013__SCHOOL_R_0016_0014__MAGAZINE,R_0016_0008__WRITE_R_0016_0011__FOR,R_0016_0004__HAS_R_0016_0005__ASKED] :
      ( r_0016_0001__Your(R_0016_0001__YOUR)
      & r_0016_0002__English(R_0016_0002__ENGLISH)
      & r_0016_0009__a_r_0016_0010__story(R_0016_0009__A_R_0016_0010__STORY)
      & r_0016_0012__the_r_0016_0013__school_r_0016_0014__magazine(R_0016_0012__THE_R_0016_0013__SCHOOL_R_0016_0014__MAGAZINE)
      & r_0016_0004__has_r_0016_0005__asked(R_0016_0004__HAS_R_0016_0005__ASKED)
      & has_arg1(R_0016_0004__HAS_R_0016_0005__ASKED,R_0016_0008__WRITE_R_0016_0011__FOR)
      & r_0016_0008__write_r_0016_0011__for(R_0016_0008__WRITE_R_0016_0011__FOR)
      & has_arg2(R_0016_0008__WRITE_R_0016_0011__FOR,R_0016_0012__THE_R_0016_0013__SCHOOL_R_0016_0014__MAGAZINE)
      & has_arg1(R_0016_0008__WRITE_R_0016_0011__FOR,R_0016_0009__A_R_0016_0010__STORY)
      & has_arg0(R_0016_0008__WRITE_R_0016_0011__FOR,R_0016_0001__YOUR)
      & has_arg0(R_0016_0004__HAS_R_0016_0005__ASKED,R_0016_0003__TEACHER)
      & r_0016_0003__teacher(R_0016_0003__TEACHER)
      & has_attrib(R_0016_0003__TEACHER,R_0016_0002__ENGLISH)
      & has_gen(R_0016_0003__TEACHER,R_0016_0001__YOUR)
      & has_arg2(R_0016_0004__HAS_R_0016_0005__ASKED,R_0016_0001__YOUR) ) ).