( (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;_Tn_ write;{write})
                                  (NP-OB1;{STORY} (D a;{a})
                                                  (N story;{story}))
                                  (PP-NIM (P-ROLE for;{for})
                                          (NP (D the;{the})
                                              (N college;{college})
                                              (N magazine;{magazine})))))
          (PUNC .))
  (ID 23_a_fce_0100_2000_12))

arc(r_0023_0003__teacher,r_0023_0001__Your,gen).
arc(r_0023_0003__teacher,r_0023_0002__English,attrib).
arc(r_0023_0004__has,r_0023_0005__asked,scope).
arc(r_0023_0005__asked,r_0023_0001__Your,arg2).
arc(r_0023_0005__asked,r_0023_0003__teacher,arg0).
arc(r_0023_0005__asked,r_0023_0008__write,arg1).
arc(r_0023_0008__write,r_0023_0001__Your,arg0).
arc(r_0023_0008__write,r_0023_0009__a_r_0023_0010__story,arg1).
arc(r_0023_0008__write,r_0023_0012__the_r_0023_0013__college_r_0023_0014__magazine,r_0023_0011__for__nim).

fof(formula,axiom,
    ? [R_0023_0001__YOUR,R_0023_0002__ENGLISH,R_0023_0003__TEACHER,R_0023_0009__A_R_0023_0010__STORY,R_0023_0012__THE_R_0023_0013__COLLEGE_R_0023_0014__MAGAZINE,R_0023_0008__WRITE,R_0023_0004__HAS_R_0023_0005__ASKED] :
      ( r_0023_0001__Your(R_0023_0001__YOUR)
      & r_0023_0002__English(R_0023_0002__ENGLISH)
      & r_0023_0009__a_r_0023_0010__story(R_0023_0009__A_R_0023_0010__STORY)
      & r_0023_0012__the_r_0023_0013__college_r_0023_0014__magazine(R_0023_0012__THE_R_0023_0013__COLLEGE_R_0023_0014__MAGAZINE)
      & r_0023_0004__has_r_0023_0005__asked(R_0023_0004__HAS_R_0023_0005__ASKED)
      & has_arg1(R_0023_0004__HAS_R_0023_0005__ASKED,R_0023_0008__WRITE)
      & r_0023_0008__write(R_0023_0008__WRITE)
      & has_r_0023_0011__for__nim(R_0023_0008__WRITE,R_0023_0012__THE_R_0023_0013__COLLEGE_R_0023_0014__MAGAZINE)
      & has_arg1(R_0023_0008__WRITE,R_0023_0009__A_R_0023_0010__STORY)
      & has_arg0(R_0023_0008__WRITE,R_0023_0001__YOUR)
      & has_arg0(R_0023_0004__HAS_R_0023_0005__ASKED,R_0023_0003__TEACHER)
      & r_0023_0003__teacher(R_0023_0003__TEACHER)
      & has_attrib(R_0023_0003__TEACHER,R_0023_0002__ENGLISH)
      & has_gen(R_0023_0003__TEACHER,R_0023_0001__YOUR)
      & has_arg2(R_0023_0004__HAS_R_0023_0005__ASKED,R_0023_0001__YOUR) ) ).