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_0009_0002__THAT,R_0009_0005__HIM,R_0009_0003___APOS_S_R_0009_0004__FIXED] :
      ( r_0009_0002__That(R_0009_0002__THAT)
      & r_0009_0005__him(R_0009_0005__HIM)
      & r_0009_0003___apos_s_r_0009_0004__fixed(R_0009_0003___APOS_S_R_0009_0004__FIXED)
      & has_arg1(R_0009_0003___APOS_S_R_0009_0004__FIXED,R_0009_0005__HIM)
      & has_arg0(R_0009_0003___APOS_S_R_0009_0004__FIXED,R_0009_0002__THAT) ) ).

( (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))