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

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