31_a_goodwill
My instructor played a role like no other instructor I've ever had
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_31_11__APOS_VE_HAD,R_31_1_MY,R_31_9_INSTRUCTOR,R_31_8_OTHER,R_31_12_EVER] :
( ( my(R_31_1_MY)
& other(R_31_8_OTHER)
& ever(R_31_12_EVER)
& _apos_ve_had(R_31_11__APOS_VE_HAD,R_31_1_MY,R_31_9_INSTRUCTOR)
& instructor(R_31_9_INSTRUCTOR)
& attrib21(R_31_9_INSTRUCTOR,R_31_8_OTHER)
& nim35(R_31_11__APOS_VE_HAD,R_31_12_EVER) )
=> ? [R_31_3_PLAYED,R_31_2_INSTRUCTOR,R_31_4_A_ROLE] :
( played(R_31_3_PLAYED,R_31_2_INSTRUCTOR,R_31_4_A_ROLE)
& instructor(R_31_2_INSTRUCTOR)
& gen(R_31_2_INSTRUCTOR,R_31_1_MY)
& a_role(R_31_4_A_ROLE)
& like(R_31_4_A_ROLE,R_31_9_INSTRUCTOR) ) ) ).
( (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))