9_a_genieus
‘That's fixed him!
arc(r_0009_0003___apos_s, r_0009_0004__fixed, scope).
arc(r_0009_0004__fixed, r_0009_0002__That, arg0).
arc(r_0009_0004__fixed, r_0009_0005__him, arg1).
fof(formula,axiom,
? [R_9_3__APOS_S_FIXED,R_9_2_THAT,R_9_5_HIM] :
( that(R_9_2_THAT)
& him(R_9_5_HIM)
& _apos_s_fixed(R_9_3__APOS_S_FIXED,R_9_2_THAT,R_9_5_HIM) ) ).
( (IP-MAT (PULQ <lsquo>)
(NP-SBJ (D That;{that}))
(HVP;_cat_Ve_ <apos>s;{have})
(IP-PPL-CAT (VVN;_Tn_ fixed;{fix})
(NP-OB1 (PRO him;{he})))
(PUNC !))
(ID 9_a_genieus))