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, attrib21).
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, nim35).

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_nim35(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_attrib21(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) ) ) ).

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