arc(r_0017_0003___apos_ve, r_0017_0001__Then, nim2).
arc(r_0017_0003___apos_ve, r_0017_0004__got, scope).
arc(r_0017_0004__got, r_0017_0002__we, arg0).
arc(r_0017_0004__got, r_0017_0006__ace_r_0017_0007__games_r_0017_0008__programmer, arg1).
arc(r_0017_0004__got, r_0017_0010__semi__hyphen__retirement, r_0017_0009__out_of_nim28).
arc(r_0017_0006__ace_r_0017_0007__games_r_0017_0008__programmer, r_0017_0002__we, gen).
arc(r_0017_0013___apos_d, r_0017_0010__semi__hyphen__retirement, nim32).
arc(r_0017_0013___apos_d, r_0017_0014__been, scope).
arc(r_0017_0014__been, r_0017_0022__no_quant, scope).
arc(r_0017_0016__writing, r_0017_0012__he, arg0).
arc(r_0017_0016__writing, r_0017_0015__out, nim44).
arc(r_0017_0016__writing, r_0017_0017__games, arg1).
arc(r_0017_0016__writing, r_0017_0023__market, r_0017_0021__with_nim63).
arc(r_0017_0017__games, r_0017_0019__the_r_0017_0020__beeb, r_0017_0018__for).
arc(r_0017_0022__no_quant, r_0017_0016__writing, scope).
arc(r_0017_0022__no_quant, r_0017_0023__market, restriction).
arc(r_0017_0023__market, r_0017_0025__them, r_0017_0024__for).
arc(z_000_17_a_paulfellows_76, r_0017_0006__ace_r_0017_0007__games_r_0017_0008__programmer, arg0).
arc(z_000_17_a_paulfellows_76, r_0017_0027__Tim, prd).

fof(formula,axiom,
    ? [R_0017_0001__THEN,R_0017_0002__WE,R_0017_0006__ACE_R_0017_0007__GAMES_R_0017_0008__PROGRAMMER,R_0017_0010__SEMI__HYPHEN__RETIREMENT,R_0017_0003___APOS_VE_R_0017_0004__GOT,R_0017_0027__TIM,Z_000_17_A_PAULFELLOWS_76,R_0017_0013___APOS_D_R_0017_0014__BEEN] :
      ( r_0017_0001__Then(R_0017_0001__THEN)
      & r_0017_0002__we(R_0017_0002__WE)
      & r_0017_0010__semi__hyphen__retirement(R_0017_0010__SEMI__HYPHEN__RETIREMENT)
      & r_0017_0027__Tim(R_0017_0027__TIM)
      & r_0017_0013___apos_d_r_0017_0014__been(R_0017_0013___APOS_D_R_0017_0014__BEEN)
      & ! [R_0017_0023__MARKET,R_0017_0025__THEM] :
          ( ( r_0017_0025__them(R_0017_0025__THEM)
            & r_0017_0023__market(R_0017_0023__MARKET)
            & has_r_0017_0024__for(R_0017_0023__MARKET,R_0017_0025__THEM) )
         => ? [R_0017_0012__HE,R_0017_0015__OUT,R_0017_0019__THE_R_0017_0020__BEEB,R_0017_0017__GAMES,R_0017_0016__WRITING] :
              ( r_0017_0012__he(R_0017_0012__HE)
              & r_0017_0015__out(R_0017_0015__OUT)
              & r_0017_0019__the_r_0017_0020__beeb(R_0017_0019__THE_R_0017_0020__BEEB)
              & r_0017_0016__writing(R_0017_0016__WRITING)
              & has_r_0017_0021__with_nim63(R_0017_0016__WRITING,R_0017_0023__MARKET)
              & has_arg1(R_0017_0016__WRITING,R_0017_0017__GAMES)
              & r_0017_0017__games(R_0017_0017__GAMES)
              & has_r_0017_0018__for(R_0017_0017__GAMES,R_0017_0019__THE_R_0017_0020__BEEB)
              & has_nim44(R_0017_0016__WRITING,R_0017_0015__OUT)
              & has_arg0(R_0017_0016__WRITING,R_0017_0012__HE) ) )
      & has_nim32(R_0017_0013___APOS_D_R_0017_0014__BEEN,R_0017_0010__SEMI__HYPHEN__RETIREMENT)
      & z_000_17_a_paulfellows_76(Z_000_17_A_PAULFELLOWS_76)
      & has_prd(Z_000_17_A_PAULFELLOWS_76,R_0017_0027__TIM)
      & has_arg0(Z_000_17_A_PAULFELLOWS_76,R_0017_0006__ACE_R_0017_0007__GAMES_R_0017_0008__PROGRAMMER)
      & r_0017_0006__ace_r_0017_0007__games_r_0017_0008__programmer(R_0017_0006__ACE_R_0017_0007__GAMES_R_0017_0008__PROGRAMMER)
      & has_gen(R_0017_0006__ACE_R_0017_0007__GAMES_R_0017_0008__PROGRAMMER,R_0017_0002__WE)
      & r_0017_0003___apos_ve_r_0017_0004__got(R_0017_0003___APOS_VE_R_0017_0004__GOT)
      & has_r_0017_0009__out_of_nim28(R_0017_0003___APOS_VE_R_0017_0004__GOT,R_0017_0010__SEMI__HYPHEN__RETIREMENT)
      & has_arg1(R_0017_0003___APOS_VE_R_0017_0004__GOT,R_0017_0006__ACE_R_0017_0007__GAMES_R_0017_0008__PROGRAMMER)
      & has_arg0(R_0017_0003___APOS_VE_R_0017_0004__GOT,R_0017_0002__WE)
      & has_nim2(R_0017_0003___APOS_VE_R_0017_0004__GOT,R_0017_0001__THEN) ) ).

( (IP-MAT (ADVP-NIM (ADV Then;{then}))
          (NP-SBJ (PRO we;{we}))
          (HVP;_cat_Ve_ <apos>ve;{have})
          (IP-PPL-CAT (VVN;__ got;{get})
                      (NP-OB1 (NP-GEN (PRO;_genm_ our;{our}))
                              (N ace;{ace})
                              (NS games;{game})
                              (N programmer;{programmer})
                              (IP-PPL *ICH*-152))
                      (PP-NIM (P-ROLE out_of;{out_of})
                              (NP (N semi_<hyphen>_retirement;{semi_retirement})
                                  (IP-REL (ADVP-NIM (RADV where;{where}))
                                          (NP-SBJ;{TIM} (PRO he;{he}))
                                          (HVD;_cat_Ve_ <apos>d;{have})
                                          (IP-PPL-CAT (BEN;_cat_Vg_ been;{be})
                                                      (IP-PPL-CAT (ADVP-NIM (ADV out;{out}))
                                                                  (VAG;_Tn_ writing;{write})
                                                                  (NP-OB1;{GAMES} (NS games;{game})
                                                                                  (PP (P-ROLE for;{for})
                                                                                      (NP (D the;{the})
                                                                                          (N beeb;{beeb}))))
                                                                  (PP-NIM (P-ROLE with;{with})
                                                                          (NP (Q no;{no})
                                                                              (N market;{market})
                                                                              (PP (P-ROLE for;{for})
                                                                                  (NP;{GAMES} (PRO them;{they}))))))))))
                      (PUNC ,)
                      (IP-PPL-EPD-152 (NP-PRD;{TIM} (NPR Tim;{Tim}))))
          (PUNC .))
  (ID 17_a_paulfellows))