arc(r_0009_0001__The_r_0009_0002__choice, r_0009_0005__to_r_0009_0006__buy, r_0009_0003__of).
arc(r_0009_0005__to_r_0009_0006__buy, r_0009_0004__where, nim12).
arc(r_0009_0005__to_r_0009_0006__buy, r_0009_0009__home, arg1).
arc(r_0009_0005__to_r_0009_0006__buy, z_000_9_a_alresford_11, arg0).
arc(r_0009_0009__home, r_0009_0007__my, gen).
arc(r_0009_0009__home, r_0009_0008__next, attrib23).
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_000_9_A_ALRESFORD_11,R_0009_0005__TO_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_000_9_a_alresford_11(Z_000_9_A_ALRESFORD_11)
          & 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_0005__TO_R_0009_0006__BUY)
          & r_0009_0005__to_r_0009_0006__buy(R_0009_0005__TO_R_0009_0006__BUY)
          & has_arg0(R_0009_0005__TO_R_0009_0006__BUY,Z_000_9_A_ALRESFORD_11)
          & has_arg1(R_0009_0005__TO_R_0009_0006__BUY,R_0009_0009__HOME)
          & r_0009_0009__home(R_0009_0009__HOME)
          & has_attrib23(R_0009_0009__HOME,R_0009_0008__NEXT)
          & has_gen(R_0009_0009__HOME,R_0009_0007__MY)
          & has_nim12(R_0009_0005__TO_R_0009_0006__BUY,R_0009_0004__WHERE) ) ) ).

( (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))