11_a_ted_talk_11
I have an interest in education.
( (IP-MAT (NP-SBJ (PRO I;{I}))
(HVP;_Tn_ have;{have})
(NP-OB1 (D an;{an})
(N interest;{interest})
(PP (P-ROLE in;{in})
(NP (N education;{education}))))
(PUNC .))
(ID 11_a_ted_talk_11))
arc(r_0011_0002__have,r_0011_0001__I,arg0).
arc(r_0011_0002__have,r_0011_0003__an_r_0011_0004__interest,arg1).
arc(r_0011_0003__an_r_0011_0004__interest,r_0011_0006__education,r_0011_0005__in).
fof(formula,axiom,
? [R_0011_0001__I,R_0011_0006__EDUCATION,R_0011_0003__AN_R_0011_0004__INTEREST,R_0011_0002__HAVE] :
( r_0011_0001__I(R_0011_0001__I)
& r_0011_0006__education(R_0011_0006__EDUCATION)
& r_0011_0002__have(R_0011_0002__HAVE)
& has_arg1(R_0011_0002__HAVE,R_0011_0003__AN_R_0011_0004__INTEREST)
& r_0011_0003__an_r_0011_0004__interest(R_0011_0003__AN_R_0011_0004__INTEREST)
& has_r_0011_0005__in(R_0011_0003__AN_R_0011_0004__INTEREST,R_0011_0006__EDUCATION)
& has_arg0(R_0011_0002__HAVE,R_0011_0001__I) ) ).