62_a_paulfellows
But Neil came along and said “I've finished writing these games”, that was his best game ever ‘Planetoid’, defender, a great game.
( (IP-MAT (CONJ;_cl_ But;{but})
(NP-SBJ;{NEIL} (NPR Neil;{Neil}))
(ILYR (ILYR (VBD;__ came;{come})
(ADVP-NIM (ADV along;{along})))
(CONJP (CONJ and;{and})
(ILYR (VBD;_Tr_ said;{say})
(PULQ <ldquo>)
(utterance-OB1 (IP-MAT (NP-SBJ (PRO I;{I}))
(HVP;_cat_Ve_ <apos>ve;{have})
(IP-PPL-CAT (VVN;__ finished;{finish})
(IP-PPL-OB1 (VAG;__ writing;{write})
(NP-OB1 (D these;{these})
(NS games;{game}))))))
(PURQ <rdquo>)
(PUNC ,)
(PRN (IP-MAT (NP-SBJ (D;_nphd_ that;{that}))
(BED;_Ln_ was;{be})
(NP-PRD (NP-GEN;{NEIL} (PRO;_genm_ his;{his}))
(ADJP (ADJS best;{good}))
(N game;{game})
(ADVP (ADV ever;{ever}))
(PRN (NP (PULQ <lsquo>)
(NPR Planetoid;{Planetoid})
(PURQ <rsquo>)
(PUNC ,)
(N defender;{defender})
(PUNC ,)
(PRN (NP (D a;{a})
(ADJP (ADJ great;{great}))
(N game;{game})))))))))))
(PUNC .))
(ID 62_a_paulfellows))
arc(r_0062_0003__came,r_0062_0002__Neil,arg0).
arc(r_0062_0003__came,r_0062_0004__along,nim).
arc(r_0062_0005__and,r_0062_0003__came,conj1).
arc(r_0062_0005__and,r_0062_0006__said,conj2).
arc(r_0062_0006__said,r_0062_0002__Neil,arg0).
arc(r_0062_0006__said,r_0062_0017__was,prn).
arc(r_0062_0006__said,z_0062_5004__utterance,arg1).
arc(r_0062_0009___apos_ve,r_0062_0010__finished,scope).
arc(r_0062_0010__finished,r_0062_0008__I,arg0).
arc(r_0062_0010__finished,r_0062_0011__writing,arg1).
arc(r_0062_0011__writing,r_0062_0008__I,arg0).
arc(r_0062_0011__writing,r_0062_0012__these_r_0062_0013__games,arg1).
arc(r_0062_0017__was,r_0062_0016__that,arg0).
arc(r_0062_0017__was,r_0062_0020__game,prd).
arc(r_0062_0020__game,r_0062_0002__Neil,gen).
arc(r_0062_0020__game,r_0062_0019__best,attrib).
arc(r_0062_0020__game,r_0062_0021__ever,qual).
arc(r_0062_0028__a_r_0062_0030__game,r_0062_0029__great,attrib).
arc(z_0062_5004__utterance,r_0062_0009___apos_ve,part1).
arc(z_0062_5020,r_0062_0023__Planetoid_r_0062_0026__defender,arg0).
arc(z_0062_5020,r_0062_0028__a_r_0062_0030__game,prd).
arc(z_0062_5022,r_0062_0020__game,arg0).
arc(z_0062_5022,r_0062_0023__Planetoid_r_0062_0026__defender,prd).
fof(formula,axiom,
? [R_0062_0002__NEIL,R_0062_0004__ALONG,R_0062_0003__CAME,R_0062_0016__THAT,R_0062_0019__BEST,R_0062_0021__EVER,R_0062_0020__GAME,R_0062_0017__WAS,R_0062_0008__I,R_0062_0012__THESE_R_0062_0013__GAMES,R_0062_0011__WRITING,R_0062_0009___APOS_VE_R_0062_0010__FINISHED,Z_0062_5004__UTTERANCE,R_0062_0006__SAID,R_0062_0005__AND,R_0062_0023__PLANETOID_R_0062_0026__DEFENDER,R_0062_0029__GREAT,R_0062_0028__A_R_0062_0030__GAME,Z_0062_5020,Z_0062_5022] :
( r_0062_0002__Neil(R_0062_0002__NEIL)
& r_0062_0004__along(R_0062_0004__ALONG)
& r_0062_0008__I(R_0062_0008__I)
& r_0062_0012__these_r_0062_0013__games(R_0062_0012__THESE_R_0062_0013__GAMES)
& r_0062_0016__that(R_0062_0016__THAT)
& r_0062_0019__best(R_0062_0019__BEST)
& r_0062_0021__ever(R_0062_0021__EVER)
& r_0062_0023__Planetoid_r_0062_0026__defender(R_0062_0023__PLANETOID_R_0062_0026__DEFENDER)
& r_0062_0029__great(R_0062_0029__GREAT)
& z_0062_5022(Z_0062_5022)
& has_prd(Z_0062_5022,R_0062_0023__PLANETOID_R_0062_0026__DEFENDER)
& has_arg0(Z_0062_5022,R_0062_0020__GAME)
& r_0062_0020__game(R_0062_0020__GAME)
& has_qual(R_0062_0020__GAME,R_0062_0021__EVER)
& has_attrib(R_0062_0020__GAME,R_0062_0019__BEST)
& has_gen(R_0062_0020__GAME,R_0062_0002__NEIL)
& z_0062_5020(Z_0062_5020)
& has_prd(Z_0062_5020,R_0062_0028__A_R_0062_0030__GAME)
& r_0062_0028__a_r_0062_0030__game(R_0062_0028__A_R_0062_0030__GAME)
& has_attrib(R_0062_0028__A_R_0062_0030__GAME,R_0062_0029__GREAT)
& has_arg0(Z_0062_5020,R_0062_0023__PLANETOID_R_0062_0026__DEFENDER)
& r_0062_0005__and(R_0062_0005__AND)
& has_conj2(R_0062_0005__AND,R_0062_0006__SAID)
& r_0062_0006__said(R_0062_0006__SAID)
& has_arg1(R_0062_0006__SAID,Z_0062_5004__UTTERANCE)
& z_0062_5004__utterance(Z_0062_5004__UTTERANCE)
& has_part1(Z_0062_5004__UTTERANCE,R_0062_0009___APOS_VE_R_0062_0010__FINISHED)
& r_0062_0009___apos_ve_r_0062_0010__finished(R_0062_0009___APOS_VE_R_0062_0010__FINISHED)
& has_arg1(R_0062_0009___APOS_VE_R_0062_0010__FINISHED,R_0062_0011__WRITING)
& r_0062_0011__writing(R_0062_0011__WRITING)
& has_arg1(R_0062_0011__WRITING,R_0062_0012__THESE_R_0062_0013__GAMES)
& has_arg0(R_0062_0011__WRITING,R_0062_0008__I)
& has_arg0(R_0062_0009___APOS_VE_R_0062_0010__FINISHED,R_0062_0008__I)
& has_prn(R_0062_0006__SAID,R_0062_0017__WAS)
& r_0062_0017__was(R_0062_0017__WAS)
& has_prd(R_0062_0017__WAS,R_0062_0020__GAME)
& has_arg0(R_0062_0017__WAS,R_0062_0016__THAT)
& has_arg0(R_0062_0006__SAID,R_0062_0002__NEIL)
& has_conj1(R_0062_0005__AND,R_0062_0003__CAME)
& r_0062_0003__came(R_0062_0003__CAME)
& has_nim(R_0062_0003__CAME,R_0062_0004__ALONG)
& has_arg0(R_0062_0003__CAME,R_0062_0002__NEIL) ) ).