41_a_lob_a01
Deep south smears Jack's negro.
arc(r_0041_0002__south, r_0041_0001__Deep, attrib3).
arc(r_0041_0003__smears, r_0041_0002__south, arg0).
arc(r_0041_0003__smears, r_0041_0006__negro, arg1).
arc(r_0041_0006__negro, r_0041_0004__Jack_r_0041_0005___apos_s, gen).
fof(formula,axiom,
? [R_0041_0001__DEEP,R_0041_0002__SOUTH,R_0041_0004__JACK_R_0041_0005___APOS_S,R_0041_0006__NEGRO,R_0041_0003__SMEARS] :
( r_0041_0001__Deep(R_0041_0001__DEEP)
& r_0041_0004__Jack_r_0041_0005___apos_s(R_0041_0004__JACK_R_0041_0005___APOS_S)
& r_0041_0003__smears(R_0041_0003__SMEARS)
& has_arg1(R_0041_0003__SMEARS,R_0041_0006__NEGRO)
& r_0041_0006__negro(R_0041_0006__NEGRO)
& has_gen(R_0041_0006__NEGRO,R_0041_0004__JACK_R_0041_0005___APOS_S)
& has_arg0(R_0041_0003__SMEARS,R_0041_0002__SOUTH)
& r_0041_0002__south(R_0041_0002__SOUTH)
& has_attrib3(R_0041_0002__SOUTH,R_0041_0001__DEEP) ) ).
( (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 41_a_lob_a01))