( (IP-MAT (NP-SBJ (D The;{the})
                  (N choice;{choice})
                  (PP (P-ROLE of;{of})
                      (CP-QUE (IP-INF (ADVP-NIM (WADV where;{where}))
                                      (TO to;{to})
                                      (VB;_Tn_ buy;{buy})
                                      (NP-OB1 (NP-GEN (PRO;_genm_ my;{my}))
                                              (ADJP (ADJ next;{next}))
                                              (N home;{home}))))))
          (VBD;_Ln_ became;{become})
          (NP-PRD (Q no;{no})
                  (N problem;{problem}))
          (PUNC .))
  (ID 9_a_alresford))

arc(r_0009_0001__The_r_0009_0002__choice,r_0009_0006__buy,r_0009_0003__of).
arc(r_0009_0006__buy,r_0009_0004__where,nim).
arc(r_0009_0006__buy,r_0009_0009__home,arg1).
arc(r_0009_0006__buy,z_0009_5004,arg0).
arc(r_0009_0009__home,r_0009_0007__my,gen).
arc(r_0009_0009__home,r_0009_0008__next,attrib).
arc(r_0009_0010__became,r_0009_0001__The_r_0009_0002__choice,arg0).
arc(r_0009_0010__became,r_0009_0012__problem,prd).
arc(r_0009_0011__no__quant,r_0009_0010__became,scope).
arc(r_0009_0011__no__quant,r_0009_0012__problem,restriction).

fof(formula,axiom,
    ! [R_0009_0012__PROBLEM] :
      ( r_0009_0012__problem(R_0009_0012__PROBLEM)
     => ? [R_0009_0004__WHERE,R_0009_0007__MY,R_0009_0008__NEXT,R_0009_0009__HOME,Z_0009_5004,R_0009_0006__BUY,R_0009_0001__THE_R_0009_0002__CHOICE,R_0009_0010__BECAME] :
          ( r_0009_0004__where(R_0009_0004__WHERE)
          & r_0009_0007__my(R_0009_0007__MY)
          & r_0009_0008__next(R_0009_0008__NEXT)
          & z_0009_5004(Z_0009_5004)
          & r_0009_0010__became(R_0009_0010__BECAME)
          & has_prd(R_0009_0010__BECAME,R_0009_0012__PROBLEM)
          & has_arg0(R_0009_0010__BECAME,R_0009_0001__THE_R_0009_0002__CHOICE)
          & r_0009_0001__The_r_0009_0002__choice(R_0009_0001__THE_R_0009_0002__CHOICE)
          & has_r_0009_0003__of(R_0009_0001__THE_R_0009_0002__CHOICE,R_0009_0006__BUY)
          & r_0009_0006__buy(R_0009_0006__BUY)
          & has_arg0(R_0009_0006__BUY,Z_0009_5004)
          & has_arg1(R_0009_0006__BUY,R_0009_0009__HOME)
          & r_0009_0009__home(R_0009_0009__HOME)
          & has_attrib(R_0009_0009__HOME,R_0009_0008__NEXT)
          & has_gen(R_0009_0009__HOME,R_0009_0007__MY)
          & has_nim(R_0009_0006__BUY,R_0009_0004__WHERE) ) ) ).