17_a_paulfellows
%3
r_0017_0003___apos_ve
've
r_0017_0001__Then
Then
r_0017_0003___apos_ve->r_0017_0001__Then
[nim]
r_0017_0004__got
got
r_0017_0003___apos_ve->r_0017_0004__got
[scope]
r_0017_0002__we
we
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_0004__got->r_0017_0006__ace_r_0017_0007__games_r_0017_0008__programmer
[arg1]
r_0017_0010__semi__hyphen__retirement
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
'd
r_0017_0013___apos_d->r_0017_0010__semi__hyphen__retirement
[nim]
r_0017_0014__been
been
r_0017_0013___apos_d->r_0017_0014__been
[scope]
r_0017_0022__no_quant
no [quant]
r_0017_0014__been->r_0017_0022__no_quant
[scope]
r_0017_0016__writing
writing
r_0017_0022__no_quant->r_0017_0016__writing
[scope]
r_0017_0023__market
market
r_0017_0022__no_quant->r_0017_0023__market
[restriction]
r_0017_0015__out
out
r_0017_0016__writing->r_0017_0015__out
[nim]
r_0017_0017__games
games
r_0017_0016__writing->r_0017_0017__games
[arg1]
r_0017_0016__writing->r_0017_0023__market
with [nim]
r_0017_0027__Tim
Tim
r_0017_0016__writing->r_0017_0027__Tim
[arg0]
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_0023__market->r_0017_0017__games
for
z_000_17_a_paulfellows_76
z_000_17_a_paulfellows_76->r_0017_0006__ace_r_0017_0007__games_r_0017_0008__programmer
[arg0]
z_000_17_a_paulfellows_76->r_0017_0027__Tim
[prd]
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_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_0016__writing, r_0017_0027__Tim, arg0).
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_0017__games, 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).
%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
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
'd been
r_0017_0013___apos_d_r_0017_0014__been->r_0017_0010__semi__hyphen__retirement
[nim]
r_0017_0022__no_quant
no [quant]
r_0017_0013___apos_d_r_0017_0014__been->r_0017_0022__no_quant
[keep_scope]
r_0017_0016__writing
writing
r_0017_0022__no_quant->r_0017_0016__writing
[scope]
r_0017_0023__market
market
r_0017_0022__no_quant->r_0017_0023__market
[restriction]
r_0017_0015__out
out
r_0017_0016__writing->r_0017_0015__out
[nim]
r_0017_0017__games
games
r_0017_0016__writing->r_0017_0017__games
[arg1]
r_0017_0016__writing->r_0017_0023__market
with [nim]
r_0017_0027__Tim
Tim
r_0017_0016__writing->r_0017_0027__Tim
[arg0]
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_0023__market->r_0017_0017__games
for
z_000_17_a_paulfellows_76
z_000_17_a_paulfellows_76->r_0017_0006__ace_r_0017_0007__games_r_0017_0008__programmer
[arg0]
z_000_17_a_paulfellows_76->r_0017_0027__Tim
[prd]
fof(formula,axiom,
? [R_17_3__APOS_VE_GOT,R_17_1_THEN,R_17_10_SEMI_HYPHEN_RETIREMENT,Z_17_A_PAULFELLOWS_76,R_17_6_ACE_GAMES_PROGRAMMER,R_17_2_WE,R_17_27_TIM] :
( then(R_17_1_THEN)
& semi_hyphen_retirement(R_17_10_SEMI_HYPHEN_RETIREMENT)
& we(R_17_2_WE)
& tim(R_17_27_TIM)
& _apos_ve_got(R_17_3__APOS_VE_GOT,R_17_2_WE,R_17_6_ACE_GAMES_PROGRAMMER)
& ace_games_programmer(R_17_6_ACE_GAMES_PROGRAMMER)
& gen(R_17_6_ACE_GAMES_PROGRAMMER,R_17_2_WE)
& nim2(R_17_3__APOS_VE_GOT,R_17_1_THEN)
& out_of_nim28(R_17_3__APOS_VE_GOT,R_17_10_SEMI_HYPHEN_RETIREMENT)
& ! [R_17_23_MARKET,R_17_17_GAMES,R_17_19_THE_BEEB] :
( ( the_beeb(R_17_19_THE_BEEB)
& market(R_17_23_MARKET)
& for(R_17_23_MARKET,R_17_17_GAMES)
& games(R_17_17_GAMES)
& for(R_17_17_GAMES,R_17_19_THE_BEEB) )
=> ? [R_17_16_WRITING,R_17_15_OUT] :
( out(R_17_15_OUT)
& writing(R_17_16_WRITING,R_17_27_TIM,R_17_17_GAMES)
& nim44(R_17_16_WRITING,R_17_15_OUT)
& with_nim63(R_17_16_WRITING,R_17_23_MARKET) ) )
& z_17_a_paulfellows_76(Z_17_A_PAULFELLOWS_76,R_17_6_ACE_GAMES_PROGRAMMER,R_17_27_TIM) ) ).
n17_a_paulfellows
n17_a_paulfellows_4
Then
n17_a_paulfellows_7
we
n17_a_paulfellows_9
've
n17_a_paulfellows_12
got
n17_a_paulfellows_16
our
n17_a_paulfellows_18
ace
n17_a_paulfellows_20
games
n17_a_paulfellows_22
programmer
n17_a_paulfellows_24
*ICH*-152
n17_a_paulfellows_27
out_of
n17_a_paulfellows_30
semi-retirement
n17_a_paulfellows_34
where
n17_a_paulfellows_37
he
n17_a_paulfellows_39
'd
n17_a_paulfellows_42
been
n17_a_paulfellows_46
out
n17_a_paulfellows_48
writing
n17_a_paulfellows_51
games
n17_a_paulfellows_54
for
n17_a_paulfellows_57
the
n17_a_paulfellows_59
beeb
n17_a_paulfellows_62
with
n17_a_paulfellows_65
no
n17_a_paulfellows_67
market
n17_a_paulfellows_70
for
n17_a_paulfellows_73
them
n17_a_paulfellows_75
,
n17_a_paulfellows_79
Tim
n17_a_paulfellows_81
.
n17_a_paulfellows_1
IP-MAT
n17_a_paulfellows_2
ADVP-NIM
n17_a_paulfellows_1->n17_a_paulfellows_2
n17_a_paulfellows_5
NP-SBJ
n17_a_paulfellows_1->n17_a_paulfellows_5
n17_a_paulfellows_8
HVP;_cat_Ve_
n17_a_paulfellows_1->n17_a_paulfellows_8
n17_a_paulfellows_10
IP-PPL-CAT
n17_a_paulfellows_1->n17_a_paulfellows_10
n17_a_paulfellows_80
PUNC
n17_a_paulfellows_1->n17_a_paulfellows_80
n17_a_paulfellows_3
ADV
n17_a_paulfellows_2->n17_a_paulfellows_3
n17_a_paulfellows_3->n17_a_paulfellows_4
n17_a_paulfellows_6
PRO
n17_a_paulfellows_5->n17_a_paulfellows_6
n17_a_paulfellows_6->n17_a_paulfellows_7
n17_a_paulfellows_8->n17_a_paulfellows_9
n17_a_paulfellows_11
VVN;__
n17_a_paulfellows_10->n17_a_paulfellows_11
n17_a_paulfellows_13
NP-OB1
n17_a_paulfellows_10->n17_a_paulfellows_13
n17_a_paulfellows_25
PP-NIM
n17_a_paulfellows_10->n17_a_paulfellows_25
n17_a_paulfellows_74
PUNC
n17_a_paulfellows_10->n17_a_paulfellows_74
n17_a_paulfellows_76
IP-PPL-EPD-152
n17_a_paulfellows_10->n17_a_paulfellows_76
n17_a_paulfellows_11->n17_a_paulfellows_12
n17_a_paulfellows_14
NP-GEN
n17_a_paulfellows_13->n17_a_paulfellows_14
n17_a_paulfellows_17
N
n17_a_paulfellows_13->n17_a_paulfellows_17
n17_a_paulfellows_19
NS
n17_a_paulfellows_13->n17_a_paulfellows_19
n17_a_paulfellows_21
N
n17_a_paulfellows_13->n17_a_paulfellows_21
n17_a_paulfellows_23
IP-PPL
n17_a_paulfellows_13->n17_a_paulfellows_23
n17_a_paulfellows_15
PRO;_genm_
n17_a_paulfellows_14->n17_a_paulfellows_15
n17_a_paulfellows_15->n17_a_paulfellows_16
n17_a_paulfellows_17->n17_a_paulfellows_18
n17_a_paulfellows_19->n17_a_paulfellows_20
n17_a_paulfellows_21->n17_a_paulfellows_22
n17_a_paulfellows_23->n17_a_paulfellows_24
n17_a_paulfellows_26
P-ROLE
n17_a_paulfellows_25->n17_a_paulfellows_26
n17_a_paulfellows_28
NP
n17_a_paulfellows_25->n17_a_paulfellows_28
n17_a_paulfellows_26->n17_a_paulfellows_27
n17_a_paulfellows_29
N
n17_a_paulfellows_28->n17_a_paulfellows_29
n17_a_paulfellows_31
IP-REL
n17_a_paulfellows_28->n17_a_paulfellows_31
n17_a_paulfellows_29->n17_a_paulfellows_30
n17_a_paulfellows_32
ADVP-NIM
n17_a_paulfellows_31->n17_a_paulfellows_32
n17_a_paulfellows_35
NP-SBJ
n17_a_paulfellows_31->n17_a_paulfellows_35
n17_a_paulfellows_38
HVD;_cat_Ve_
n17_a_paulfellows_31->n17_a_paulfellows_38
n17_a_paulfellows_40
IP-PPL-CAT
n17_a_paulfellows_31->n17_a_paulfellows_40
n17_a_paulfellows_33
RADV
n17_a_paulfellows_32->n17_a_paulfellows_33
n17_a_paulfellows_33->n17_a_paulfellows_34
n17_a_paulfellows_36
PRO
n17_a_paulfellows_35->n17_a_paulfellows_36
n17_a_paulfellows_36->n17_a_paulfellows_37
n17_a_paulfellows_38->n17_a_paulfellows_39
n17_a_paulfellows_41
BEN;_cat_Vg_
n17_a_paulfellows_40->n17_a_paulfellows_41
n17_a_paulfellows_43
IP-PPL-CAT
n17_a_paulfellows_40->n17_a_paulfellows_43
n17_a_paulfellows_41->n17_a_paulfellows_42
n17_a_paulfellows_44
ADVP-NIM
n17_a_paulfellows_43->n17_a_paulfellows_44
n17_a_paulfellows_47
VAG;_Tn_
n17_a_paulfellows_43->n17_a_paulfellows_47
n17_a_paulfellows_49
NP-OB1
n17_a_paulfellows_43->n17_a_paulfellows_49
n17_a_paulfellows_60
PP-NIM
n17_a_paulfellows_43->n17_a_paulfellows_60
n17_a_paulfellows_45
ADV
n17_a_paulfellows_44->n17_a_paulfellows_45
n17_a_paulfellows_45->n17_a_paulfellows_46
n17_a_paulfellows_47->n17_a_paulfellows_48
n17_a_paulfellows_50
NS
n17_a_paulfellows_49->n17_a_paulfellows_50
n17_a_paulfellows_52
PP
n17_a_paulfellows_49->n17_a_paulfellows_52
n17_a_paulfellows_50->n17_a_paulfellows_51
n17_a_paulfellows_53
P-ROLE
n17_a_paulfellows_52->n17_a_paulfellows_53
n17_a_paulfellows_55
NP
n17_a_paulfellows_52->n17_a_paulfellows_55
n17_a_paulfellows_53->n17_a_paulfellows_54
n17_a_paulfellows_56
D
n17_a_paulfellows_55->n17_a_paulfellows_56
n17_a_paulfellows_58
N
n17_a_paulfellows_55->n17_a_paulfellows_58
n17_a_paulfellows_56->n17_a_paulfellows_57
n17_a_paulfellows_58->n17_a_paulfellows_59
n17_a_paulfellows_61
P-ROLE
n17_a_paulfellows_60->n17_a_paulfellows_61
n17_a_paulfellows_63
NP
n17_a_paulfellows_60->n17_a_paulfellows_63
n17_a_paulfellows_61->n17_a_paulfellows_62
n17_a_paulfellows_64
Q
n17_a_paulfellows_63->n17_a_paulfellows_64
n17_a_paulfellows_66
N
n17_a_paulfellows_63->n17_a_paulfellows_66
n17_a_paulfellows_68
PP
n17_a_paulfellows_63->n17_a_paulfellows_68
n17_a_paulfellows_64->n17_a_paulfellows_65
n17_a_paulfellows_66->n17_a_paulfellows_67
n17_a_paulfellows_69
P-ROLE
n17_a_paulfellows_68->n17_a_paulfellows_69
n17_a_paulfellows_71
NP
n17_a_paulfellows_68->n17_a_paulfellows_71
n17_a_paulfellows_69->n17_a_paulfellows_70
n17_a_paulfellows_72
PRO
n17_a_paulfellows_71->n17_a_paulfellows_72
n17_a_paulfellows_72->n17_a_paulfellows_73
n17_a_paulfellows_74->n17_a_paulfellows_75
n17_a_paulfellows_77
NP-PRD
n17_a_paulfellows_76->n17_a_paulfellows_77
n17_a_paulfellows_78
NPR
n17_a_paulfellows_77->n17_a_paulfellows_78
n17_a_paulfellows_78->n17_a_paulfellows_79
n17_a_paulfellows_80->n17_a_paulfellows_81
( (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))