130_a_lob_n02
I knowin' him well, Missie.
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, nim11).
arc(z_000_130_a_lob_n02_1, r_0130_0002__knowin_apos_, scope).
arc(z_000_130_a_lob_n02_1, r_0130_0006__Missie, nim16).
fof(formula,axiom,
? [R_0130_0001__I,R_0130_0003__HIM,R_0130_0004__WELL,R_0130_0006__MISSIE,Z_000_130_A_LOB_N02_1_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_000_130_a_lob_n02_1_r_0130_0002__knowin_apos_(Z_000_130_A_LOB_N02_1_R_0130_0002__KNOWIN_APOS_)
& has_nim16(Z_000_130_A_LOB_N02_1_R_0130_0002__KNOWIN_APOS_,R_0130_0006__MISSIE)
& has_nim11(Z_000_130_A_LOB_N02_1_R_0130_0002__KNOWIN_APOS_,R_0130_0004__WELL)
& has_arg1(Z_000_130_A_LOB_N02_1_R_0130_0002__KNOWIN_APOS_,R_0130_0003__HIM)
& has_arg0(Z_000_130_A_LOB_N02_1_R_0130_0002__KNOWIN_APOS_,R_0130_0001__I) ) ).
( (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))