( (IP-MAT (NP-SBJ (NP-GEN (PRO;_genm_ Your;{your}))
                  (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 (NP-GEN (D the;{the})
                                                      (N school;{school})
                                                      (GENM <apos>s))
                                              (NPR English;{English})
                                              (NPR language;{language})
                                              (N magazine;{magazine})))))
          (PUNC .))
  (ID 13_a_fce_0102_2000_06))

arc(r_0013_0002__teacher,r_0013_0001__Your,gen).
arc(r_0013_0003__has,r_0013_0004__asked,scope).
arc(r_0013_0004__asked,r_0013_0001__Your,arg2).
arc(r_0013_0004__asked,r_0013_0002__teacher,arg0).
arc(r_0013_0004__asked,r_0013_0007__write_r_0013_0010__for,arg1).
arc(r_0013_0007__write_r_0013_0010__for,r_0013_0001__Your,arg0).
arc(r_0013_0007__write_r_0013_0010__for,r_0013_0008__a_r_0013_0009__story,arg1).
arc(r_0013_0007__write_r_0013_0010__for,r_0013_0014__English_r_0013_0015__language_r_0013_0016__magazine,arg2).
arc(r_0013_0014__English_r_0013_0015__language_r_0013_0016__magazine,r_0013_0011__the_r_0013_0012__school,gen).

fof(formula,axiom,
    ? [R_0013_0001__YOUR,R_0013_0002__TEACHER,R_0013_0008__A_R_0013_0009__STORY,R_0013_0011__THE_R_0013_0012__SCHOOL,R_0013_0014__ENGLISH_R_0013_0015__LANGUAGE_R_0013_0016__MAGAZINE,R_0013_0007__WRITE_R_0013_0010__FOR,R_0013_0003__HAS_R_0013_0004__ASKED] :
      ( r_0013_0001__Your(R_0013_0001__YOUR)
      & r_0013_0008__a_r_0013_0009__story(R_0013_0008__A_R_0013_0009__STORY)
      & r_0013_0011__the_r_0013_0012__school(R_0013_0011__THE_R_0013_0012__SCHOOL)
      & r_0013_0003__has_r_0013_0004__asked(R_0013_0003__HAS_R_0013_0004__ASKED)
      & has_arg1(R_0013_0003__HAS_R_0013_0004__ASKED,R_0013_0007__WRITE_R_0013_0010__FOR)
      & r_0013_0007__write_r_0013_0010__for(R_0013_0007__WRITE_R_0013_0010__FOR)
      & has_arg2(R_0013_0007__WRITE_R_0013_0010__FOR,R_0013_0014__ENGLISH_R_0013_0015__LANGUAGE_R_0013_0016__MAGAZINE)
      & r_0013_0014__English_r_0013_0015__language_r_0013_0016__magazine(R_0013_0014__ENGLISH_R_0013_0015__LANGUAGE_R_0013_0016__MAGAZINE)
      & has_gen(R_0013_0014__ENGLISH_R_0013_0015__LANGUAGE_R_0013_0016__MAGAZINE,R_0013_0011__THE_R_0013_0012__SCHOOL)
      & has_arg1(R_0013_0007__WRITE_R_0013_0010__FOR,R_0013_0008__A_R_0013_0009__STORY)
      & has_arg0(R_0013_0007__WRITE_R_0013_0010__FOR,R_0013_0001__YOUR)
      & has_arg0(R_0013_0003__HAS_R_0013_0004__ASKED,R_0013_0002__TEACHER)
      & r_0013_0002__teacher(R_0013_0002__TEACHER)
      & has_gen(R_0013_0002__TEACHER,R_0013_0001__YOUR)
      & has_arg2(R_0013_0003__HAS_R_0013_0004__ASKED,R_0013_0001__YOUR) ) ).