43_a_lob_a01
Deep south smears Jack's negro.
( (IP-MAT (NP-SBJ (ADJP (ADJ Deep;{deep}))
(N south;{south}))
(VBP;_Tn_ smears;{smear})
(NP-OB1 (NP-GEN (NPR Jack;{Jack})
(GENM <apos>s))
(N negro;{negro}))
(PUNC .))
(ID 43_a_lob_a01))
arc(r_0043_0002__south,r_0043_0001__Deep,attrib).
arc(r_0043_0003__smears,r_0043_0002__south,arg0).
arc(r_0043_0003__smears,r_0043_0006__negro,arg1).
arc(r_0043_0006__negro,r_0043_0004__Jack,gen).
fof(formula,axiom,
? [R_0043_0001__DEEP,R_0043_0002__SOUTH,R_0043_0004__JACK,R_0043_0006__NEGRO,R_0043_0003__SMEARS] :
( r_0043_0001__Deep(R_0043_0001__DEEP)
& r_0043_0004__Jack(R_0043_0004__JACK)
& r_0043_0003__smears(R_0043_0003__SMEARS)
& has_arg1(R_0043_0003__SMEARS,R_0043_0006__NEGRO)
& r_0043_0006__negro(R_0043_0006__NEGRO)
& has_gen(R_0043_0006__NEGRO,R_0043_0004__JACK)
& has_arg0(R_0043_0003__SMEARS,R_0043_0002__SOUTH)
& r_0043_0002__south(R_0043_0002__SOUTH)
& has_attrib(R_0043_0002__SOUTH,R_0043_0001__DEEP) ) ).