23_a_lob_a02
From William Forrest Accra, Monday.
( (FRAG (PP (P-ROLE From;{from})
(NP (NPR William;{William})
(NPR Forrest;{Forrest})
(NPR Accra;{Accra})))
(PUNC ,)
(NP-NIM (NPR Monday;{Monday}))
(PUNC .))
(ID 23_a_lob_a02))
arc(z_0023_5001,r_0023_0002__William_r_0023_0003__Forrest_r_0023_0004__Accra,r_0023_0001__From).
arc(z_0023_5001,r_0023_0006__Monday,nim).
fof(formula,axiom,
? [R_0023_0002__WILLIAM_R_0023_0003__FORREST_R_0023_0004__ACCRA,R_0023_0006__MONDAY,Z_0023_5001] :
( r_0023_0002__William_r_0023_0003__Forrest_r_0023_0004__Accra(R_0023_0002__WILLIAM_R_0023_0003__FORREST_R_0023_0004__ACCRA)
& r_0023_0006__Monday(R_0023_0006__MONDAY)
& z_0023_5001(Z_0023_5001)
& has_nim(Z_0023_5001,R_0023_0006__MONDAY)
& has_r_0023_0001__From(Z_0023_5001,R_0023_0002__WILLIAM_R_0023_0003__FORREST_R_0023_0004__ACCRA) ) ).