53_a_lob_g01
A rich merchant from Genoa had been murdered, and John de Kyrkby, a Londoner, was one of those charged with the crime.
( (IP-MAT (ILYR (ILYR (NP-SBJ (D A;{a})
(ADJP (ADJ rich;{rich}))
(N merchant;{merchant})
(PP (P-ROLE from;{from})
(NP (NPR Genoa;{Genoa}))))
(HVD;_cat_Ve_ had;{have})
(IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;__ murdered;{murder}))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (NP-SBJ (NPR John;{John})
(NPR de;{de})
(NPR Kyrkby;{Kyrkby})
(PUNC ,)
(PRN (NP (D a;{a})
(N Londoner;{londoner}))))
(PUNC ,)
(BED;_Ln_ was;{be})
(NP-PRD (NUM one;{one})
(PP (P-ROLE of;{of})
(NP (D;_nphd_ those;{those})
(IP-PPL (VVN;__ charged;{charge})
(PP-CLR (P-ROLE with;{with})
(NP (D the;{the})
(N crime;{crime}))))))))))
(PUNC .))
(ID 53_a_lob_g01))
arc(r_0053_0001__A_r_0053_0003__merchant,r_0053_0002__rich,attrib).
arc(r_0053_0001__A_r_0053_0003__merchant,r_0053_0005__Genoa,r_0053_0004__from).
arc(r_0053_0006__had,r_0053_0007__been,scope).
arc(r_0053_0007__been,r_0053_0008__murdered,scope).
arc(r_0053_0008__murdered,r_0053_0001__A_r_0053_0003__merchant,arg1).
arc(r_0053_0008__murdered,z_0053_5005___star_,arg0).
arc(r_0053_0010__and,r_0053_0006__had,conj1).
arc(r_0053_0010__and,r_0053_0018__was,conj2).
arc(r_0053_0018__was,r_0053_0011__John_r_0053_0012__de_r_0053_0013__Kyrkby,arg0).
arc(r_0053_0018__was,r_0053_0019__one,prd).
arc(r_0053_0019__one,r_0053_0021__those,r_0053_0020__of).
arc(r_0053_0022__charged,r_0053_0021__those,inv_arg0).
arc(r_0053_0022__charged,r_0053_0024__the_r_0053_0025__crime,r_0053_0023__with__clr).
arc(z_0053_5010,r_0053_0011__John_r_0053_0012__de_r_0053_0013__Kyrkby,arg0).
arc(z_0053_5010,r_0053_0015__a_r_0053_0016__Londoner,prd).
fof(formula,axiom,
? [R_0053_0002__RICH,R_0053_0005__GENOA,R_0053_0001__A_R_0053_0003__MERCHANT,Z_0053_5005___STAR_,R_0053_0006__HAD_R_0053_0007__BEEN_R_0053_0008__MURDERED,R_0053_0011__JOHN_R_0053_0012__DE_R_0053_0013__KYRKBY,R_0053_0024__THE_R_0053_0025__CRIME,R_0053_0022__CHARGED,R_0053_0021__THOSE,R_0053_0019__ONE,R_0053_0018__WAS,R_0053_0010__AND,R_0053_0015__A_R_0053_0016__LONDONER,Z_0053_5010] :
( r_0053_0002__rich(R_0053_0002__RICH)
& r_0053_0005__Genoa(R_0053_0005__GENOA)
& r_0053_0011__John_r_0053_0012__de_r_0053_0013__Kyrkby(R_0053_0011__JOHN_R_0053_0012__DE_R_0053_0013__KYRKBY)
& r_0053_0015__a_r_0053_0016__Londoner(R_0053_0015__A_R_0053_0016__LONDONER)
& r_0053_0024__the_r_0053_0025__crime(R_0053_0024__THE_R_0053_0025__CRIME)
& z_0053_5005___star_(Z_0053_5005___STAR_)
& z_0053_5010(Z_0053_5010)
& has_prd(Z_0053_5010,R_0053_0015__A_R_0053_0016__LONDONER)
& has_arg0(Z_0053_5010,R_0053_0011__JOHN_R_0053_0012__DE_R_0053_0013__KYRKBY)
& r_0053_0010__and(R_0053_0010__AND)
& has_conj2(R_0053_0010__AND,R_0053_0018__WAS)
& r_0053_0018__was(R_0053_0018__WAS)
& has_prd(R_0053_0018__WAS,R_0053_0019__ONE)
& r_0053_0019__one(R_0053_0019__ONE)
& has_r_0053_0020__of(R_0053_0019__ONE,R_0053_0021__THOSE)
& r_0053_0021__those(R_0053_0021__THOSE)
& has_inv_arg0(R_0053_0021__THOSE,R_0053_0022__CHARGED)
& r_0053_0022__charged(R_0053_0022__CHARGED)
& has_r_0053_0023__with__clr(R_0053_0022__CHARGED,R_0053_0024__THE_R_0053_0025__CRIME)
& has_arg0(R_0053_0018__WAS,R_0053_0011__JOHN_R_0053_0012__DE_R_0053_0013__KYRKBY)
& has_conj1(R_0053_0010__AND,R_0053_0006__HAD_R_0053_0007__BEEN_R_0053_0008__MURDERED)
& r_0053_0006__had_r_0053_0007__been_r_0053_0008__murdered(R_0053_0006__HAD_R_0053_0007__BEEN_R_0053_0008__MURDERED)
& has_arg0(R_0053_0006__HAD_R_0053_0007__BEEN_R_0053_0008__MURDERED,Z_0053_5005___STAR_)
& has_arg1(R_0053_0006__HAD_R_0053_0007__BEEN_R_0053_0008__MURDERED,R_0053_0001__A_R_0053_0003__MERCHANT)
& r_0053_0001__A_r_0053_0003__merchant(R_0053_0001__A_R_0053_0003__MERCHANT)
& has_r_0053_0004__from(R_0053_0001__A_R_0053_0003__MERCHANT,R_0053_0005__GENOA)
& has_attrib(R_0053_0001__A_R_0053_0003__MERCHANT,R_0053_0002__RICH) ) ).