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,
? [Z_130_A_LOB_N02_1_KNOWIN_APOS_,R_130_1_I,R_130_3_HIM,R_130_4_WELL,R_130_6_MISSIE] :
( i(R_130_1_I)
& him(R_130_3_HIM)
& well(R_130_4_WELL)
& missie(R_130_6_MISSIE)
& z_130_a_lob_n02_1_knowin_apos_(Z_130_A_LOB_N02_1_KNOWIN_APOS_,R_130_1_I,R_130_3_HIM)
& nim11(Z_130_A_LOB_N02_1_KNOWIN_APOS_,R_130_4_WELL)
& nim16(Z_130_A_LOB_N02_1_KNOWIN_APOS_,R_130_6_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))