54_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.
arc(r_0054_0001__A_r_0054_0003__merchant, r_0054_0002__rich, attrib7).
arc(r_0054_0001__A_r_0054_0003__merchant, r_0054_0005__Genoa, r_0054_0004__from).
arc(r_0054_0006__had, r_0054_0007__been, scope).
arc(r_0054_0007__been, r_0054_0008__murdered, scope).
arc(r_0054_0008__murdered, r_0054_0001__A_r_0054_0003__merchant, arg1).
arc(r_0054_0008__murdered, z_000_54_a_lob_g01_24, arg0).
arc(r_0054_0010__and, r_0054_0006__had, conj1).
arc(r_0054_0010__and, r_0054_0018__was, conj2).
arc(r_0054_0018__was, r_0054_0011__John_r_0054_0012__de_r_0054_0013__Kyrkby, arg0).
arc(r_0054_0018__was, r_0054_0019__one, prd).
arc(r_0054_0019__one, r_0054_0021__those, r_0054_0020__of).
arc(r_0054_0022__charged, r_0054_0021__those, arg0).
arc(r_0054_0022__charged, r_0054_0024__the_r_0054_0025__crime, r_0054_0023__with_clr68).
arc(z_000_54_a_lob_g01_43, r_0054_0011__John_r_0054_0012__de_r_0054_0013__Kyrkby, arg0).
arc(z_000_54_a_lob_g01_43, r_0054_0015__a_r_0054_0016__Londoner, prd).
fof(formula,axiom,
? [R_0054_0002__RICH,R_0054_0005__GENOA,R_0054_0001__A_R_0054_0003__MERCHANT,Z_000_54_A_LOB_G01_24,R_0054_0006__HAD_R_0054_0007__BEEN_R_0054_0008__MURDERED,R_0054_0011__JOHN_R_0054_0012__DE_R_0054_0013__KYRKBY,R_0054_0021__THOSE,R_0054_0019__ONE,R_0054_0018__WAS,R_0054_0010__AND,R_0054_0024__THE_R_0054_0025__CRIME,R_0054_0022__CHARGED,R_0054_0015__A_R_0054_0016__LONDONER,Z_000_54_A_LOB_G01_43] :
( r_0054_0002__rich(R_0054_0002__RICH)
& r_0054_0005__Genoa(R_0054_0005__GENOA)
& r_0054_0011__John_r_0054_0012__de_r_0054_0013__Kyrkby(R_0054_0011__JOHN_R_0054_0012__DE_R_0054_0013__KYRKBY)
& r_0054_0015__a_r_0054_0016__Londoner(R_0054_0015__A_R_0054_0016__LONDONER)
& r_0054_0021__those(R_0054_0021__THOSE)
& r_0054_0024__the_r_0054_0025__crime(R_0054_0024__THE_R_0054_0025__CRIME)
& z_000_54_a_lob_g01_24(Z_000_54_A_LOB_G01_24)
& z_000_54_a_lob_g01_43(Z_000_54_A_LOB_G01_43)
& has_prd(Z_000_54_A_LOB_G01_43,R_0054_0015__A_R_0054_0016__LONDONER)
& has_arg0(Z_000_54_A_LOB_G01_43,R_0054_0011__JOHN_R_0054_0012__DE_R_0054_0013__KYRKBY)
& r_0054_0022__charged(R_0054_0022__CHARGED)
& has_r_0054_0023__with_clr68(R_0054_0022__CHARGED,R_0054_0024__THE_R_0054_0025__CRIME)
& has_arg0(R_0054_0022__CHARGED,R_0054_0021__THOSE)
& r_0054_0010__and(R_0054_0010__AND)
& has_conj2(R_0054_0010__AND,R_0054_0018__WAS)
& r_0054_0018__was(R_0054_0018__WAS)
& has_prd(R_0054_0018__WAS,R_0054_0019__ONE)
& r_0054_0019__one(R_0054_0019__ONE)
& has_r_0054_0020__of(R_0054_0019__ONE,R_0054_0021__THOSE)
& has_arg0(R_0054_0018__WAS,R_0054_0011__JOHN_R_0054_0012__DE_R_0054_0013__KYRKBY)
& has_conj1(R_0054_0010__AND,R_0054_0006__HAD_R_0054_0007__BEEN_R_0054_0008__MURDERED)
& r_0054_0006__had_r_0054_0007__been_r_0054_0008__murdered(R_0054_0006__HAD_R_0054_0007__BEEN_R_0054_0008__MURDERED)
& has_arg0(R_0054_0006__HAD_R_0054_0007__BEEN_R_0054_0008__MURDERED,Z_000_54_A_LOB_G01_24)
& has_arg1(R_0054_0006__HAD_R_0054_0007__BEEN_R_0054_0008__MURDERED,R_0054_0001__A_R_0054_0003__MERCHANT)
& r_0054_0001__A_r_0054_0003__merchant(R_0054_0001__A_R_0054_0003__MERCHANT)
& has_r_0054_0004__from(R_0054_0001__A_R_0054_0003__MERCHANT,R_0054_0005__GENOA)
& has_attrib7(R_0054_0001__A_R_0054_0003__MERCHANT,R_0054_0002__RICH) ) ).
( (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 ,)
(IP-PPL (NP-PRD (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 54_a_lob_g01))