137_a_ted_talk_11
Did I miss a meeting?
arc(r_0137_0001__Did_r_0137_0003__miss, r_0137_0002__I, arg0).
arc(r_0137_0001__Did_r_0137_0003__miss, r_0137_0004__a_r_0137_0005__meeting, arg1).
fof(formula,axiom,
? [R_0137_0002__I,R_0137_0004__A_R_0137_0005__MEETING,R_0137_0001__DID_R_0137_0003__MISS] :
( r_0137_0002__I(R_0137_0002__I)
& r_0137_0004__a_r_0137_0005__meeting(R_0137_0004__A_R_0137_0005__MEETING)
& r_0137_0001__Did_r_0137_0003__miss(R_0137_0001__DID_R_0137_0003__MISS)
& has_arg1(R_0137_0001__DID_R_0137_0003__MISS,R_0137_0004__A_R_0137_0005__MEETING)
& has_arg0(R_0137_0001__DID_R_0137_0003__MISS,R_0137_0002__I) ) ).
( (CP-QUE-MAT (IP-SUB (DOD Did;{do})
(NP-SBJ (PRO I;{I}))
(VB;_Tn_ miss;{miss})
(NP-OB1 (D a;{a})
(N meeting;{meeting})))
(PUNC ?))
(ID 137_a_ted_talk_11))