48_a_ted_talk_11
The teacher was fascinated.

n48_a_ted_talk_11 n48_a_ted_talk_11__1_1_1_1 The n48_a_ted_talk_11__1_1_2_1 teacher n48_a_ted_talk_11__1_2_1 was n48_a_ted_talk_11__1_3_1_1 * n48_a_ted_talk_11__1_3_2_1 fascinated n48_a_ted_talk_11__1_4_1 . n48_a_ted_talk_11__1 IP-MAT n48_a_ted_talk_11__1_1 NP-SBJ n48_a_ted_talk_11__1->n48_a_ted_talk_11__1_1 n48_a_ted_talk_11__1_2 BED;_cat_VePASS_ n48_a_ted_talk_11__1->n48_a_ted_talk_11__1_2 n48_a_ted_talk_11__1_3 IP-PPL-CAT n48_a_ted_talk_11__1->n48_a_ted_talk_11__1_3 n48_a_ted_talk_11__1_4 PUNC n48_a_ted_talk_11__1->n48_a_ted_talk_11__1_4 n48_a_ted_talk_11__1_1_1 D n48_a_ted_talk_11__1_1->n48_a_ted_talk_11__1_1_1 n48_a_ted_talk_11__1_1_2 N n48_a_ted_talk_11__1_1->n48_a_ted_talk_11__1_1_2 n48_a_ted_talk_11__1_1_1->n48_a_ted_talk_11__1_1_1_1 n48_a_ted_talk_11__1_1_2->n48_a_ted_talk_11__1_1_2_1 n48_a_ted_talk_11__1_2->n48_a_ted_talk_11__1_2_1 n48_a_ted_talk_11__1_3_1 NP-LGS n48_a_ted_talk_11__1_3->n48_a_ted_talk_11__1_3_1 n48_a_ted_talk_11__1_3_2 VVN;_Tn_ n48_a_ted_talk_11__1_3->n48_a_ted_talk_11__1_3_2 n48_a_ted_talk_11__1_3_1->n48_a_ted_talk_11__1_3_1_1 n48_a_ted_talk_11__1_3_2->n48_a_ted_talk_11__1_3_2_1 n48_a_ted_talk_11__1_4->n48_a_ted_talk_11__1_4_1
( (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))



%3 r_0048_0004__fascinated fascinated z_0048_5003___star_ * r_0048_0004__fascinated->z_0048_5003___star_ [arg0] r_0048_0001__The_r_0048_0002__teacher The teacher r_0048_0004__fascinated->r_0048_0001__The_r_0048_0002__teacher [arg1] r_0048_0003__was was r_0048_0003__was->r_0048_0004__fascinated [scope]
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_0048_5003___star_,arg0).



%3 r_0048_0003__was_r_0048_0004__fascinated was fascinated r_0048_0001__The_r_0048_0002__teacher The teacher r_0048_0003__was_r_0048_0004__fascinated->r_0048_0001__The_r_0048_0002__teacher [arg1] z_0048_5003___star_ * r_0048_0003__was_r_0048_0004__fascinated->z_0048_5003___star_ [arg0]
fof(formula,axiom,
    ? [R_0048_0001__THE_R_0048_0002__TEACHER,Z_0048_5003___STAR_,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_0048_5003___star_(Z_0048_5003___STAR_)
      & 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_0048_5003___STAR_)
      & has_arg1(R_0048_0003__WAS_R_0048_0004__FASCINATED,R_0048_0001__THE_R_0048_0002__TEACHER) ) ).