48_a_ted_talk_11
The teacher was fascinated.
arc(r_0048_0003__was, r_0048_0004__fascinated, scope).
arc(r_0048_0004__fascinated, r_0048_0001__The_r_0048_0002__teacher, arg1).
arc(r_0048_0004__fascinated, z_000_48_a_ted_talk_11_10, arg0).
fof(formula,axiom,
? [R_0048_0001__THE_R_0048_0002__TEACHER,Z_000_48_A_TED_TALK_11_10,R_0048_0003__WAS_R_0048_0004__FASCINATED] :
( r_0048_0001__The_r_0048_0002__teacher(R_0048_0001__THE_R_0048_0002__TEACHER)
& z_000_48_a_ted_talk_11_10(Z_000_48_A_TED_TALK_11_10)
& r_0048_0003__was_r_0048_0004__fascinated(R_0048_0003__WAS_R_0048_0004__FASCINATED)
& has_arg0(R_0048_0003__WAS_R_0048_0004__FASCINATED,Z_000_48_A_TED_TALK_11_10)
& has_arg1(R_0048_0003__WAS_R_0048_0004__FASCINATED,R_0048_0001__THE_R_0048_0002__TEACHER) ) ).
( (IP-MAT (NP-SBJ;{TEACHER} (D The;{the})
(N teacher;{teacher}))
(BED;_cat_VePASS_ was;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn_ fascinated;{fascinate}))
(PUNC .))
(ID 48_a_ted_talk_11))