17_a_paulfellows
Then we've got our ace games programmer out of semi-retirement where he'd been out writing games for the beeb with no market for them, Tim.

n17_a_paulfellows n17_a_paulfellows__1_1_1_1 Then n17_a_paulfellows__1_2_1_1 we n17_a_paulfellows__1_3_1 've n17_a_paulfellows__1_4_1_1 got n17_a_paulfellows__1_4_2_1_1_1 our n17_a_paulfellows__1_4_2_2_1 ace n17_a_paulfellows__1_4_2_3_1 games n17_a_paulfellows__1_4_2_4_1 programmer n17_a_paulfellows__1_4_2_5_1 *ICH*-152 n17_a_paulfellows__1_4_3_1_1 out_of n17_a_paulfellows__1_4_3_2_1_1 semi-retirement n17_a_paulfellows__1_4_3_2_2_1_1_1 where n17_a_paulfellows__1_4_3_2_2_2_1_1 he n17_a_paulfellows__1_4_3_2_2_3_1 'd n17_a_paulfellows__1_4_3_2_2_4_1_1 been n17_a_paulfellows__1_4_3_2_2_4_2_1_1_1 out n17_a_paulfellows__1_4_3_2_2_4_2_2_1 writing n17_a_paulfellows__1_4_3_2_2_4_2_3_1_1 games n17_a_paulfellows__1_4_3_2_2_4_2_3_2_1_1 for n17_a_paulfellows__1_4_3_2_2_4_2_3_2_2_1_1 the n17_a_paulfellows__1_4_3_2_2_4_2_3_2_2_2_1 beeb n17_a_paulfellows__1_4_3_2_2_4_2_4_1_1 with n17_a_paulfellows__1_4_3_2_2_4_2_4_2_1_1 no n17_a_paulfellows__1_4_3_2_2_4_2_4_2_2_1 market n17_a_paulfellows__1_4_3_2_2_4_2_4_2_3_1_1 for n17_a_paulfellows__1_4_3_2_2_4_2_4_2_3_2_1_1 them n17_a_paulfellows__1_4_4_1 , n17_a_paulfellows__1_4_5_1_1_1 Tim n17_a_paulfellows__1_5_1 . n17_a_paulfellows__1 IP-MAT n17_a_paulfellows__1_1 ADVP-NIM n17_a_paulfellows__1->n17_a_paulfellows__1_1 n17_a_paulfellows__1_2 NP-SBJ n17_a_paulfellows__1->n17_a_paulfellows__1_2 n17_a_paulfellows__1_3 HVP;_cat_Ve_ n17_a_paulfellows__1->n17_a_paulfellows__1_3 n17_a_paulfellows__1_4 IP-PPL-CAT n17_a_paulfellows__1->n17_a_paulfellows__1_4 n17_a_paulfellows__1_5 PUNC n17_a_paulfellows__1->n17_a_paulfellows__1_5 n17_a_paulfellows__1_1_1 ADV n17_a_paulfellows__1_1->n17_a_paulfellows__1_1_1 n17_a_paulfellows__1_1_1->n17_a_paulfellows__1_1_1_1 n17_a_paulfellows__1_2_1 PRO n17_a_paulfellows__1_2->n17_a_paulfellows__1_2_1 n17_a_paulfellows__1_2_1->n17_a_paulfellows__1_2_1_1 n17_a_paulfellows__1_3->n17_a_paulfellows__1_3_1 n17_a_paulfellows__1_4_1 VVN;__ n17_a_paulfellows__1_4->n17_a_paulfellows__1_4_1 n17_a_paulfellows__1_4_2 NP-OB1 n17_a_paulfellows__1_4->n17_a_paulfellows__1_4_2 n17_a_paulfellows__1_4_3 PP-NIM n17_a_paulfellows__1_4->n17_a_paulfellows__1_4_3 n17_a_paulfellows__1_4_4 PUNC n17_a_paulfellows__1_4->n17_a_paulfellows__1_4_4 n17_a_paulfellows__1_4_5 PRN-EPD-152 n17_a_paulfellows__1_4->n17_a_paulfellows__1_4_5 n17_a_paulfellows__1_4_1->n17_a_paulfellows__1_4_1_1 n17_a_paulfellows__1_4_2_1 NP-GEN n17_a_paulfellows__1_4_2->n17_a_paulfellows__1_4_2_1 n17_a_paulfellows__1_4_2_2 N n17_a_paulfellows__1_4_2->n17_a_paulfellows__1_4_2_2 n17_a_paulfellows__1_4_2_3 NS n17_a_paulfellows__1_4_2->n17_a_paulfellows__1_4_2_3 n17_a_paulfellows__1_4_2_4 N n17_a_paulfellows__1_4_2->n17_a_paulfellows__1_4_2_4 n17_a_paulfellows__1_4_2_5 PRN n17_a_paulfellows__1_4_2->n17_a_paulfellows__1_4_2_5 n17_a_paulfellows__1_4_2_1_1 PRO;_genm_ n17_a_paulfellows__1_4_2_1->n17_a_paulfellows__1_4_2_1_1 n17_a_paulfellows__1_4_2_1_1->n17_a_paulfellows__1_4_2_1_1_1 n17_a_paulfellows__1_4_2_2->n17_a_paulfellows__1_4_2_2_1 n17_a_paulfellows__1_4_2_3->n17_a_paulfellows__1_4_2_3_1 n17_a_paulfellows__1_4_2_4->n17_a_paulfellows__1_4_2_4_1 n17_a_paulfellows__1_4_2_5->n17_a_paulfellows__1_4_2_5_1 n17_a_paulfellows__1_4_3_1 P-ROLE n17_a_paulfellows__1_4_3->n17_a_paulfellows__1_4_3_1 n17_a_paulfellows__1_4_3_2 NP n17_a_paulfellows__1_4_3->n17_a_paulfellows__1_4_3_2 n17_a_paulfellows__1_4_3_1->n17_a_paulfellows__1_4_3_1_1 n17_a_paulfellows__1_4_3_2_1 N n17_a_paulfellows__1_4_3_2->n17_a_paulfellows__1_4_3_2_1 n17_a_paulfellows__1_4_3_2_2 IP-REL n17_a_paulfellows__1_4_3_2->n17_a_paulfellows__1_4_3_2_2 n17_a_paulfellows__1_4_3_2_1->n17_a_paulfellows__1_4_3_2_1_1 n17_a_paulfellows__1_4_3_2_2_1 ADVP-NIM n17_a_paulfellows__1_4_3_2_2->n17_a_paulfellows__1_4_3_2_2_1 n17_a_paulfellows__1_4_3_2_2_2 NP-SBJ n17_a_paulfellows__1_4_3_2_2->n17_a_paulfellows__1_4_3_2_2_2 n17_a_paulfellows__1_4_3_2_2_3 HVD;_cat_Ve_ n17_a_paulfellows__1_4_3_2_2->n17_a_paulfellows__1_4_3_2_2_3 n17_a_paulfellows__1_4_3_2_2_4 IP-PPL-CAT n17_a_paulfellows__1_4_3_2_2->n17_a_paulfellows__1_4_3_2_2_4 n17_a_paulfellows__1_4_3_2_2_1_1 RADV n17_a_paulfellows__1_4_3_2_2_1->n17_a_paulfellows__1_4_3_2_2_1_1 n17_a_paulfellows__1_4_3_2_2_1_1->n17_a_paulfellows__1_4_3_2_2_1_1_1 n17_a_paulfellows__1_4_3_2_2_2_1 PRO n17_a_paulfellows__1_4_3_2_2_2->n17_a_paulfellows__1_4_3_2_2_2_1 n17_a_paulfellows__1_4_3_2_2_2_1->n17_a_paulfellows__1_4_3_2_2_2_1_1 n17_a_paulfellows__1_4_3_2_2_3->n17_a_paulfellows__1_4_3_2_2_3_1 n17_a_paulfellows__1_4_3_2_2_4_1 BEN;_cat_Vg_ n17_a_paulfellows__1_4_3_2_2_4->n17_a_paulfellows__1_4_3_2_2_4_1 n17_a_paulfellows__1_4_3_2_2_4_2 IP-PPL-CAT n17_a_paulfellows__1_4_3_2_2_4->n17_a_paulfellows__1_4_3_2_2_4_2 n17_a_paulfellows__1_4_3_2_2_4_1->n17_a_paulfellows__1_4_3_2_2_4_1_1 n17_a_paulfellows__1_4_3_2_2_4_2_1 ADVP-NIM n17_a_paulfellows__1_4_3_2_2_4_2->n17_a_paulfellows__1_4_3_2_2_4_2_1 n17_a_paulfellows__1_4_3_2_2_4_2_2 VAG;_Tn_ n17_a_paulfellows__1_4_3_2_2_4_2->n17_a_paulfellows__1_4_3_2_2_4_2_2 n17_a_paulfellows__1_4_3_2_2_4_2_3 NP-OB1 n17_a_paulfellows__1_4_3_2_2_4_2->n17_a_paulfellows__1_4_3_2_2_4_2_3 n17_a_paulfellows__1_4_3_2_2_4_2_4 PP-NIM n17_a_paulfellows__1_4_3_2_2_4_2->n17_a_paulfellows__1_4_3_2_2_4_2_4 n17_a_paulfellows__1_4_3_2_2_4_2_1_1 ADV n17_a_paulfellows__1_4_3_2_2_4_2_1->n17_a_paulfellows__1_4_3_2_2_4_2_1_1 n17_a_paulfellows__1_4_3_2_2_4_2_1_1->n17_a_paulfellows__1_4_3_2_2_4_2_1_1_1 n17_a_paulfellows__1_4_3_2_2_4_2_2->n17_a_paulfellows__1_4_3_2_2_4_2_2_1 n17_a_paulfellows__1_4_3_2_2_4_2_3_1 NS n17_a_paulfellows__1_4_3_2_2_4_2_3->n17_a_paulfellows__1_4_3_2_2_4_2_3_1 n17_a_paulfellows__1_4_3_2_2_4_2_3_2 PP n17_a_paulfellows__1_4_3_2_2_4_2_3->n17_a_paulfellows__1_4_3_2_2_4_2_3_2 n17_a_paulfellows__1_4_3_2_2_4_2_3_1->n17_a_paulfellows__1_4_3_2_2_4_2_3_1_1 n17_a_paulfellows__1_4_3_2_2_4_2_3_2_1 P-ROLE n17_a_paulfellows__1_4_3_2_2_4_2_3_2->n17_a_paulfellows__1_4_3_2_2_4_2_3_2_1 n17_a_paulfellows__1_4_3_2_2_4_2_3_2_2 NP n17_a_paulfellows__1_4_3_2_2_4_2_3_2->n17_a_paulfellows__1_4_3_2_2_4_2_3_2_2 n17_a_paulfellows__1_4_3_2_2_4_2_3_2_1->n17_a_paulfellows__1_4_3_2_2_4_2_3_2_1_1 n17_a_paulfellows__1_4_3_2_2_4_2_3_2_2_1 D n17_a_paulfellows__1_4_3_2_2_4_2_3_2_2->n17_a_paulfellows__1_4_3_2_2_4_2_3_2_2_1 n17_a_paulfellows__1_4_3_2_2_4_2_3_2_2_2 N n17_a_paulfellows__1_4_3_2_2_4_2_3_2_2->n17_a_paulfellows__1_4_3_2_2_4_2_3_2_2_2 n17_a_paulfellows__1_4_3_2_2_4_2_3_2_2_1->n17_a_paulfellows__1_4_3_2_2_4_2_3_2_2_1_1 n17_a_paulfellows__1_4_3_2_2_4_2_3_2_2_2->n17_a_paulfellows__1_4_3_2_2_4_2_3_2_2_2_1 n17_a_paulfellows__1_4_3_2_2_4_2_4_1 P-ROLE n17_a_paulfellows__1_4_3_2_2_4_2_4->n17_a_paulfellows__1_4_3_2_2_4_2_4_1 n17_a_paulfellows__1_4_3_2_2_4_2_4_2 NP n17_a_paulfellows__1_4_3_2_2_4_2_4->n17_a_paulfellows__1_4_3_2_2_4_2_4_2 n17_a_paulfellows__1_4_3_2_2_4_2_4_1->n17_a_paulfellows__1_4_3_2_2_4_2_4_1_1 n17_a_paulfellows__1_4_3_2_2_4_2_4_2_1 Q n17_a_paulfellows__1_4_3_2_2_4_2_4_2->n17_a_paulfellows__1_4_3_2_2_4_2_4_2_1 n17_a_paulfellows__1_4_3_2_2_4_2_4_2_2 N n17_a_paulfellows__1_4_3_2_2_4_2_4_2->n17_a_paulfellows__1_4_3_2_2_4_2_4_2_2 n17_a_paulfellows__1_4_3_2_2_4_2_4_2_3 PP n17_a_paulfellows__1_4_3_2_2_4_2_4_2->n17_a_paulfellows__1_4_3_2_2_4_2_4_2_3 n17_a_paulfellows__1_4_3_2_2_4_2_4_2_1->n17_a_paulfellows__1_4_3_2_2_4_2_4_2_1_1 n17_a_paulfellows__1_4_3_2_2_4_2_4_2_2->n17_a_paulfellows__1_4_3_2_2_4_2_4_2_2_1 n17_a_paulfellows__1_4_3_2_2_4_2_4_2_3_1 P-ROLE n17_a_paulfellows__1_4_3_2_2_4_2_4_2_3->n17_a_paulfellows__1_4_3_2_2_4_2_4_2_3_1 n17_a_paulfellows__1_4_3_2_2_4_2_4_2_3_2 NP n17_a_paulfellows__1_4_3_2_2_4_2_4_2_3->n17_a_paulfellows__1_4_3_2_2_4_2_4_2_3_2 n17_a_paulfellows__1_4_3_2_2_4_2_4_2_3_1->n17_a_paulfellows__1_4_3_2_2_4_2_4_2_3_1_1 n17_a_paulfellows__1_4_3_2_2_4_2_4_2_3_2_1 PRO n17_a_paulfellows__1_4_3_2_2_4_2_4_2_3_2->n17_a_paulfellows__1_4_3_2_2_4_2_4_2_3_2_1 n17_a_paulfellows__1_4_3_2_2_4_2_4_2_3_2_1->n17_a_paulfellows__1_4_3_2_2_4_2_4_2_3_2_1_1 n17_a_paulfellows__1_4_4->n17_a_paulfellows__1_4_4_1 n17_a_paulfellows__1_4_5_1 NP n17_a_paulfellows__1_4_5->n17_a_paulfellows__1_4_5_1 n17_a_paulfellows__1_4_5_1_1 NPR n17_a_paulfellows__1_4_5_1->n17_a_paulfellows__1_4_5_1_1 n17_a_paulfellows__1_4_5_1_1->n17_a_paulfellows__1_4_5_1_1_1 n17_a_paulfellows__1_5->n17_a_paulfellows__1_5_1
( (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})
                              (PRN *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 ,)
                      (PRN-EPD-152 (NP;{TIM} (NPR Tim;{Tim}))))
          (PUNC .))
  (ID 17_a_paulfellows))



%3 z_0017_5018 r_0017_0027__Tim Tim z_0017_5018->r_0017_0027__Tim [prd] r_0017_0006__ace_r_0017_0007__games_r_0017_0008__programmer ace games programmer z_0017_5018->r_0017_0006__ace_r_0017_0007__games_r_0017_0008__programmer [arg0] r_0017_0002__we we r_0017_0006__ace_r_0017_0007__games_r_0017_0008__programmer->r_0017_0002__we [gen] r_0017_0023__market market r_0017_0025__them them r_0017_0023__market->r_0017_0025__them for r_0017_0022__no__quant no [quant] r_0017_0022__no__quant->r_0017_0023__market [restriction] r_0017_0013___apos_d 'd r_0017_0022__no__quant->r_0017_0013___apos_d [scope] r_0017_0014__been been r_0017_0013___apos_d->r_0017_0014__been [scope] r_0017_0010__semi__hyphen__retirement semi-retirement r_0017_0013___apos_d->r_0017_0010__semi__hyphen__retirement [nim] r_0017_0017__games games r_0017_0019__the_r_0017_0020__beeb the beeb r_0017_0017__games->r_0017_0019__the_r_0017_0020__beeb for r_0017_0016__writing writing r_0017_0016__writing->r_0017_0023__market with [nim] r_0017_0016__writing->r_0017_0017__games [arg1] r_0017_0015__out out r_0017_0016__writing->r_0017_0015__out [nim] r_0017_0012__he he r_0017_0016__writing->r_0017_0012__he [arg0] r_0017_0014__been->r_0017_0016__writing [scope] r_0017_0004__got got r_0017_0004__got->r_0017_0006__ace_r_0017_0007__games_r_0017_0008__programmer [arg1] r_0017_0004__got->r_0017_0010__semi__hyphen__retirement out_of [nim] r_0017_0004__got->r_0017_0002__we [arg0] r_0017_0003___apos_ve 've r_0017_0003___apos_ve->r_0017_0004__got [scope] r_0017_0001__Then Then r_0017_0003___apos_ve->r_0017_0001__Then [nim]
arc(r_0017_0003___apos_ve,r_0017_0001__Then,nim).
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__nim).
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,nim).
arc(r_0017_0013___apos_d,r_0017_0014__been,scope).
arc(r_0017_0014__been,r_0017_0016__writing,scope).
arc(r_0017_0016__writing,r_0017_0012__he,arg0).
arc(r_0017_0016__writing,r_0017_0015__out,nim).
arc(r_0017_0016__writing,r_0017_0017__games,arg1).
arc(r_0017_0016__writing,r_0017_0023__market,r_0017_0021__with__nim).
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_0013___apos_d,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_0017_5018,r_0017_0006__ace_r_0017_0007__games_r_0017_0008__programmer,arg0).
arc(z_0017_5018,r_0017_0027__Tim,prd).



%3 r_0017_0003___apos_ve_r_0017_0004__got 've got r_0017_0001__Then Then r_0017_0003___apos_ve_r_0017_0004__got->r_0017_0001__Then [nim] r_0017_0002__we we r_0017_0003___apos_ve_r_0017_0004__got->r_0017_0002__we [arg0] r_0017_0006__ace_r_0017_0007__games_r_0017_0008__programmer ace games programmer r_0017_0003___apos_ve_r_0017_0004__got->r_0017_0006__ace_r_0017_0007__games_r_0017_0008__programmer [arg1] r_0017_0010__semi__hyphen__retirement semi-retirement r_0017_0003___apos_ve_r_0017_0004__got->r_0017_0010__semi__hyphen__retirement out_of [nim] r_0017_0006__ace_r_0017_0007__games_r_0017_0008__programmer->r_0017_0002__we [gen] r_0017_0013___apos_d_r_0017_0014__been_r_0017_0016__writing 'd been writing r_0017_0013___apos_d_r_0017_0014__been_r_0017_0016__writing->r_0017_0010__semi__hyphen__retirement [nim] r_0017_0012__he he r_0017_0013___apos_d_r_0017_0014__been_r_0017_0016__writing->r_0017_0012__he [arg0] r_0017_0015__out out r_0017_0013___apos_d_r_0017_0014__been_r_0017_0016__writing->r_0017_0015__out [nim] r_0017_0017__games games r_0017_0013___apos_d_r_0017_0014__been_r_0017_0016__writing->r_0017_0017__games [arg1] r_0017_0023__market market r_0017_0013___apos_d_r_0017_0014__been_r_0017_0016__writing->r_0017_0023__market with [nim] r_0017_0019__the_r_0017_0020__beeb the beeb r_0017_0017__games->r_0017_0019__the_r_0017_0020__beeb for r_0017_0025__them them r_0017_0023__market->r_0017_0025__them for r_0017_0022__no__quant no [quant] r_0017_0022__no__quant->r_0017_0013___apos_d_r_0017_0014__been_r_0017_0016__writing [scope] r_0017_0022__no__quant->r_0017_0023__market [restriction] z_0017_5018 z_0017_5018->r_0017_0006__ace_r_0017_0007__games_r_0017_0008__programmer [arg0] r_0017_0027__Tim Tim z_0017_5018->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_0017_5018] :
      ( 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)
      & z_0017_5018(Z_0017_5018)
      & has_prd(Z_0017_5018,R_0017_0027__TIM)
      & has_arg0(Z_0017_5018,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_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_0013___APOS_D_R_0017_0014__BEEN_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_0013___apos_d_r_0017_0014__been_r_0017_0016__writing(R_0017_0013___APOS_D_R_0017_0014__BEEN_R_0017_0016__WRITING)
              & has_r_0017_0021__with__nim(R_0017_0013___APOS_D_R_0017_0014__BEEN_R_0017_0016__WRITING,R_0017_0023__MARKET)
              & has_arg1(R_0017_0013___APOS_D_R_0017_0014__BEEN_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_nim(R_0017_0013___APOS_D_R_0017_0014__BEEN_R_0017_0016__WRITING,R_0017_0015__OUT)
              & has_arg0(R_0017_0013___APOS_D_R_0017_0014__BEEN_R_0017_0016__WRITING,R_0017_0012__HE)
              & has_nim(R_0017_0013___APOS_D_R_0017_0014__BEEN_R_0017_0016__WRITING,R_0017_0010__SEMI__HYPHEN__RETIREMENT) ) )
      & r_0017_0003___apos_ve_r_0017_0004__got(R_0017_0003___APOS_VE_R_0017_0004__GOT)
      & has_r_0017_0009__out_of__nim(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_nim(R_0017_0003___APOS_VE_R_0017_0004__GOT,R_0017_0001__THEN) ) ).