( (IP-MAT (NP-SBJ (NP-GEN (PRO;_genm_ My;{my}))
                  (N instructor;{instructor}))
          (VBD;_Tn_ played;{play})
          (NP-OB1 (D a;{a})
                  (N role;{role})
                  (PP (P-ROLE like;{like})
                      (NP (Q no;{no})
                          (ADJP (ADJ other;{other}))
                          (N instructor;{instructor})
                          (IP-REL (NP-SBJ (PRO I;{I}))
                                  (HVP;_cat_Ve_ <apos>ve;{have})
                                  (IP-PPL-CAT (NP-OB1 *T*)
                                              (ADVP-NIM (ADV ever;{ever}))
                                              (HVN;_Tn_ had;{have})))))))
  (ID 31_a_goodwill))

arc(r_0031_0002__instructor,r_0031_0001__My,gen).
arc(r_0031_0003__played,r_0031_0002__instructor,arg0).
arc(r_0031_0003__played,r_0031_0004__a_r_0031_0005__role,arg1).
arc(r_0031_0004__a_r_0031_0005__role,r_0031_0009__instructor,r_0031_0006__like).
arc(r_0031_0007__no__quant,r_0031_0004__a_r_0031_0005__role,scope).
arc(r_0031_0007__no__quant,r_0031_0009__instructor,restriction).
arc(r_0031_0009__instructor,r_0031_0008__other,attrib).
arc(r_0031_0011___apos_ve,r_0031_0013__had,scope).
arc(r_0031_0013__had,r_0031_0001__My,arg0).
arc(r_0031_0013__had,r_0031_0009__instructor,arg1).
arc(r_0031_0013__had,r_0031_0012__ever,nim).

fof(formula,axiom,
    ! [R_0031_0009__INSTRUCTOR,R_0031_0001__MY,R_0031_0008__OTHER,R_0031_0012__EVER,R_0031_0011___APOS_VE_R_0031_0013__HAD] :
      ( ( r_0031_0001__My(R_0031_0001__MY)
        & r_0031_0008__other(R_0031_0008__OTHER)
        & r_0031_0012__ever(R_0031_0012__EVER)
        & r_0031_0011___apos_ve_r_0031_0013__had(R_0031_0011___APOS_VE_R_0031_0013__HAD)
        & has_nim(R_0031_0011___APOS_VE_R_0031_0013__HAD,R_0031_0012__EVER)
        & has_arg1(R_0031_0011___APOS_VE_R_0031_0013__HAD,R_0031_0009__INSTRUCTOR)
        & r_0031_0009__instructor(R_0031_0009__INSTRUCTOR)
        & has_attrib(R_0031_0009__INSTRUCTOR,R_0031_0008__OTHER)
        & has_arg0(R_0031_0011___APOS_VE_R_0031_0013__HAD,R_0031_0001__MY) )
     => ? [R_0031_0002__INSTRUCTOR,R_0031_0004__A_R_0031_0005__ROLE,R_0031_0003__PLAYED] :
          ( r_0031_0003__played(R_0031_0003__PLAYED)
          & has_arg1(R_0031_0003__PLAYED,R_0031_0004__A_R_0031_0005__ROLE)
          & r_0031_0004__a_r_0031_0005__role(R_0031_0004__A_R_0031_0005__ROLE)
          & has_r_0031_0006__like(R_0031_0004__A_R_0031_0005__ROLE,R_0031_0009__INSTRUCTOR)
          & has_arg0(R_0031_0003__PLAYED,R_0031_0002__INSTRUCTOR)
          & r_0031_0002__instructor(R_0031_0002__INSTRUCTOR)
          & has_gen(R_0031_0002__INSTRUCTOR,R_0031_0001__MY) ) ) ).