1_a_lob_g01
A Scottish knight — Sir John Mercer — was imprisoned in England.
( (IP-MAT (NP-SBJ (D A;{a})
(ADJP (ADJ Scottish;{scottish}))
(N knight;{knight})
(PUNC <mdash>)
(PRN (NP;{MERCER} (N Sir;{sir})
(NPR John;{John})
(NPR Mercer;{Mercer})))
(PUNC <mdash>))
(BED;_cat_VePASS_ was;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn_ imprisoned;{imprison})
(PP-NIM (P-ROLE in;{in})
(NP (NPR England;{England}))))
(PUNC .))
(ID 1_a_lob_g01))
arc(r_0001_0001__A_r_0001_0003__knight,r_0001_0002__Scottish,attrib).
arc(r_0001_0009__was,r_0001_0010__imprisoned,scope).
arc(r_0001_0010__imprisoned,r_0001_0001__A_r_0001_0003__knight,arg1).
arc(r_0001_0010__imprisoned,r_0001_0012__England,r_0001_0011__in__nim).
arc(r_0001_0010__imprisoned,z_0001_5006___star_,arg0).
arc(z_0001_5003,r_0001_0001__A_r_0001_0003__knight,arg0).
arc(z_0001_5003,r_0001_0005__Sir_r_0001_0006__John_r_0001_0007__Mercer,prd).
fof(formula,axiom,
? [R_0001_0002__SCOTTISH,R_0001_0001__A_R_0001_0003__KNIGHT,R_0001_0012__ENGLAND,Z_0001_5006___STAR_,R_0001_0009__WAS_R_0001_0010__IMPRISONED,R_0001_0005__SIR_R_0001_0006__JOHN_R_0001_0007__MERCER,Z_0001_5003] :
( r_0001_0002__Scottish(R_0001_0002__SCOTTISH)
& r_0001_0005__Sir_r_0001_0006__John_r_0001_0007__Mercer(R_0001_0005__SIR_R_0001_0006__JOHN_R_0001_0007__MERCER)
& r_0001_0012__England(R_0001_0012__ENGLAND)
& z_0001_5006___star_(Z_0001_5006___STAR_)
& z_0001_5003(Z_0001_5003)
& has_prd(Z_0001_5003,R_0001_0005__SIR_R_0001_0006__JOHN_R_0001_0007__MERCER)
& has_arg0(Z_0001_5003,R_0001_0001__A_R_0001_0003__KNIGHT)
& r_0001_0001__A_r_0001_0003__knight(R_0001_0001__A_R_0001_0003__KNIGHT)
& has_attrib(R_0001_0001__A_R_0001_0003__KNIGHT,R_0001_0002__SCOTTISH)
& r_0001_0009__was_r_0001_0010__imprisoned(R_0001_0009__WAS_R_0001_0010__IMPRISONED)
& has_arg0(R_0001_0009__WAS_R_0001_0010__IMPRISONED,Z_0001_5006___STAR_)
& has_r_0001_0011__in__nim(R_0001_0009__WAS_R_0001_0010__IMPRISONED,R_0001_0012__ENGLAND)
& has_arg1(R_0001_0009__WAS_R_0001_0010__IMPRISONED,R_0001_0001__A_R_0001_0003__KNIGHT) ) ).