130_a_lob_n02
I knowin' him well, Missie.
( (IP-MAT (NP-SBJ;{HUBERT} (PRO I;{I}))
(IP-PPL-CAT (VAG;_Tn_ knowin<apos>;{know})
(NP-OB1;{PIERS} (PRO him;{he}))
(ADVP-NIM (ADV well;{well})))
(PUNC ,)
(NP-VOC;{BERYL} (N Missie;{missie}))
(PUNC .))
(ID 130_a_lob_n02))
arc(r_0130_0002__knowin_apos_,r_0130_0001__I,arg0).
arc(r_0130_0002__knowin_apos_,r_0130_0003__him,arg1).
arc(r_0130_0002__knowin_apos_,r_0130_0004__well,nim).
arc(z_0130_5005,r_0130_0002__knowin_apos_,scope).
arc(z_0130_5005,r_0130_0006__Missie,voc).
fof(formula,axiom,
? [R_0130_0001__I,R_0130_0003__HIM,R_0130_0004__WELL,R_0130_0006__MISSIE,Z_0130_5005_R_0130_0002__KNOWIN_APOS_] :
( r_0130_0001__I(R_0130_0001__I)
& r_0130_0003__him(R_0130_0003__HIM)
& r_0130_0004__well(R_0130_0004__WELL)
& r_0130_0006__Missie(R_0130_0006__MISSIE)
& z_0130_5005_r_0130_0002__knowin_apos_(Z_0130_5005_R_0130_0002__KNOWIN_APOS_)
& has_voc(Z_0130_5005_R_0130_0002__KNOWIN_APOS_,R_0130_0006__MISSIE)
& has_nim(Z_0130_5005_R_0130_0002__KNOWIN_APOS_,R_0130_0004__WELL)
& has_arg1(Z_0130_5005_R_0130_0002__KNOWIN_APOS_,R_0130_0003__HIM)
& has_arg0(Z_0130_5005_R_0130_0002__KNOWIN_APOS_,R_0130_0001__I) ) ).