46_a_lob_a01
The negro is Mr Robert Weaver of New York.
( (IP-MAT (NP-SBJ;{WEAVER} (D The;{the})
(N negro;{negro}))
(BEP;_Ln_ is;{be})
(NP-PRD (N Mr;{mr})
(NPR Robert;{Robert})
(NPR Weaver;{Weaver})
(PP (P-ROLE of;{of})
(NP (NPR New;{New})
(NPR York;{York}))))
(PUNC .))
(ID 46_a_lob_a01))
arc(r_0046_0003__is,r_0046_0001__The_r_0046_0002__negro,arg0).
arc(r_0046_0003__is,r_0046_0004__Mr_r_0046_0005__Robert_r_0046_0006__Weaver,prd).
arc(r_0046_0004__Mr_r_0046_0005__Robert_r_0046_0006__Weaver,r_0046_0008__New_r_0046_0009__York,r_0046_0007__of).
fof(formula,axiom,
? [R_0046_0001__THE_R_0046_0002__NEGRO,R_0046_0008__NEW_R_0046_0009__YORK,R_0046_0004__MR_R_0046_0005__ROBERT_R_0046_0006__WEAVER,R_0046_0003__IS] :
( r_0046_0001__The_r_0046_0002__negro(R_0046_0001__THE_R_0046_0002__NEGRO)
& r_0046_0008__New_r_0046_0009__York(R_0046_0008__NEW_R_0046_0009__YORK)
& r_0046_0003__is(R_0046_0003__IS)
& has_prd(R_0046_0003__IS,R_0046_0004__MR_R_0046_0005__ROBERT_R_0046_0006__WEAVER)
& r_0046_0004__Mr_r_0046_0005__Robert_r_0046_0006__Weaver(R_0046_0004__MR_R_0046_0005__ROBERT_R_0046_0006__WEAVER)
& has_r_0046_0007__of(R_0046_0004__MR_R_0046_0005__ROBERT_R_0046_0006__WEAVER,R_0046_0008__NEW_R_0046_0009__YORK)
& has_arg0(R_0046_0003__IS,R_0046_0001__THE_R_0046_0002__NEGRO) ) ).