( (IP-MAT (NP-SBJ (PRO You;{you}))
          (HVP;_cat_Ve_ have;{have})
          (IP-PPL-CAT (VVN;_Tt_ decided;{decide})
                      (IP-INF-OB1 (TO to;{to})
                                  (VB;_Tn_ write;{write})
                                  (NP-OB1 (D a;{a})
                                          (N story;{story})
                                          (PP (P-ROLE from;{from})
                                              (NP (NP-GEN (PRO;_genm_ your;{your}))
                                                  (N country;{country}))))))
          (PUNC .))
  (ID 23_a_fce_0102_2000_12))

arc(r_0023_0002__have,r_0023_0003__decided,scope).
arc(r_0023_0003__decided,r_0023_0001__You,arg0).
arc(r_0023_0003__decided,r_0023_0005__write,arg1).
arc(r_0023_0005__write,r_0023_0001__You,arg0).
arc(r_0023_0005__write,r_0023_0006__a_r_0023_0007__story,arg1).
arc(r_0023_0006__a_r_0023_0007__story,r_0023_0010__country,r_0023_0008__from).
arc(r_0023_0010__country,r_0023_0001__You,gen).

fof(formula,axiom,
    ? [R_0023_0001__YOU,R_0023_0010__COUNTRY,R_0023_0006__A_R_0023_0007__STORY,R_0023_0005__WRITE,R_0023_0002__HAVE_R_0023_0003__DECIDED] :
      ( r_0023_0001__You(R_0023_0001__YOU)
      & r_0023_0002__have_r_0023_0003__decided(R_0023_0002__HAVE_R_0023_0003__DECIDED)
      & has_arg1(R_0023_0002__HAVE_R_0023_0003__DECIDED,R_0023_0005__WRITE)
      & r_0023_0005__write(R_0023_0005__WRITE)
      & has_arg1(R_0023_0005__WRITE,R_0023_0006__A_R_0023_0007__STORY)
      & r_0023_0006__a_r_0023_0007__story(R_0023_0006__A_R_0023_0007__STORY)
      & has_r_0023_0008__from(R_0023_0006__A_R_0023_0007__STORY,R_0023_0010__COUNTRY)
      & r_0023_0010__country(R_0023_0010__COUNTRY)
      & has_gen(R_0023_0010__COUNTRY,R_0023_0001__YOU)
      & has_arg0(R_0023_0005__WRITE,R_0023_0001__YOU)
      & has_arg0(R_0023_0002__HAVE_R_0023_0003__DECIDED,R_0023_0001__YOU) ) ).