103_a_ted_talk_11
He was in somebody's English class, wasn't he?

n103_a_ted_talk_11 n103_a_ted_talk_11__1_1_1_1 He n103_a_ted_talk_11__1_2_1 was n103_a_ted_talk_11__1_3_1_1 in n103_a_ted_talk_11__1_3_2_1_1_1 somebody n103_a_ted_talk_11__1_3_2_1_2_1 's n103_a_ted_talk_11__1_3_2_2_1_1 English n103_a_ted_talk_11__1_3_2_3_1 class n103_a_ted_talk_11__1_4_1 , n103_a_ted_talk_11__1_5_1_1_1 was n103_a_ted_talk_11__1_5_1_2_1 n't n103_a_ted_talk_11__1_5_1_3_1_1 he n103_a_ted_talk_11__1_6_1 ? n103_a_ted_talk_11__1 IP-MAT n103_a_ted_talk_11__1_1 NP-SBJ n103_a_ted_talk_11__1->n103_a_ted_talk_11__1_1 n103_a_ted_talk_11__1_2 BED;_Ipr_ n103_a_ted_talk_11__1->n103_a_ted_talk_11__1_2 n103_a_ted_talk_11__1_3 PP-CLR n103_a_ted_talk_11__1->n103_a_ted_talk_11__1_3 n103_a_ted_talk_11__1_4 PUNC n103_a_ted_talk_11__1->n103_a_ted_talk_11__1_4 n103_a_ted_talk_11__1_5 CP-QUE-TAG n103_a_ted_talk_11__1->n103_a_ted_talk_11__1_5 n103_a_ted_talk_11__1_6 PUNC n103_a_ted_talk_11__1->n103_a_ted_talk_11__1_6 n103_a_ted_talk_11__1_1_1 PRO n103_a_ted_talk_11__1_1->n103_a_ted_talk_11__1_1_1 n103_a_ted_talk_11__1_1_1->n103_a_ted_talk_11__1_1_1_1 n103_a_ted_talk_11__1_2->n103_a_ted_talk_11__1_2_1 n103_a_ted_talk_11__1_3_1 P-ROLE n103_a_ted_talk_11__1_3->n103_a_ted_talk_11__1_3_1 n103_a_ted_talk_11__1_3_2 NP n103_a_ted_talk_11__1_3->n103_a_ted_talk_11__1_3_2 n103_a_ted_talk_11__1_3_1->n103_a_ted_talk_11__1_3_1_1 n103_a_ted_talk_11__1_3_2_1 NP-GEN n103_a_ted_talk_11__1_3_2->n103_a_ted_talk_11__1_3_2_1 n103_a_ted_talk_11__1_3_2_2 ADJP n103_a_ted_talk_11__1_3_2->n103_a_ted_talk_11__1_3_2_2 n103_a_ted_talk_11__1_3_2_3 N n103_a_ted_talk_11__1_3_2->n103_a_ted_talk_11__1_3_2_3 n103_a_ted_talk_11__1_3_2_1_1 D;_nphd_ n103_a_ted_talk_11__1_3_2_1->n103_a_ted_talk_11__1_3_2_1_1 n103_a_ted_talk_11__1_3_2_1_2 GENM n103_a_ted_talk_11__1_3_2_1->n103_a_ted_talk_11__1_3_2_1_2 n103_a_ted_talk_11__1_3_2_1_1->n103_a_ted_talk_11__1_3_2_1_1_1 n103_a_ted_talk_11__1_3_2_1_2->n103_a_ted_talk_11__1_3_2_1_2_1 n103_a_ted_talk_11__1_3_2_2_1 ADJ n103_a_ted_talk_11__1_3_2_2->n103_a_ted_talk_11__1_3_2_2_1 n103_a_ted_talk_11__1_3_2_2_1->n103_a_ted_talk_11__1_3_2_2_1_1 n103_a_ted_talk_11__1_3_2_3->n103_a_ted_talk_11__1_3_2_3_1 n103_a_ted_talk_11__1_4->n103_a_ted_talk_11__1_4_1 n103_a_ted_talk_11__1_5_1 IP-SUB n103_a_ted_talk_11__1_5->n103_a_ted_talk_11__1_5_1 n103_a_ted_talk_11__1_5_1_1 BED;_La_ n103_a_ted_talk_11__1_5_1->n103_a_ted_talk_11__1_5_1_1 n103_a_ted_talk_11__1_5_1_2 NEG;_clitic_ n103_a_ted_talk_11__1_5_1->n103_a_ted_talk_11__1_5_1_2 n103_a_ted_talk_11__1_5_1_3 NP-SBJ n103_a_ted_talk_11__1_5_1->n103_a_ted_talk_11__1_5_1_3 n103_a_ted_talk_11__1_5_1_1->n103_a_ted_talk_11__1_5_1_1_1 n103_a_ted_talk_11__1_5_1_2->n103_a_ted_talk_11__1_5_1_2_1 n103_a_ted_talk_11__1_5_1_3_1 PRO n103_a_ted_talk_11__1_5_1_3->n103_a_ted_talk_11__1_5_1_3_1 n103_a_ted_talk_11__1_5_1_3_1->n103_a_ted_talk_11__1_5_1_3_1_1 n103_a_ted_talk_11__1_6->n103_a_ted_talk_11__1_6_1
( (IP-MAT (NP-SBJ;{SHAKESPEARE} (PRO He;{he}))
          (BED;_Ipr_ was;{be[in]})
          (PP-CLR (P-ROLE in;{in})
                  (NP (NP-GEN (D;_nphd_ somebody;{somebody})
                              (GENM <apos>s))
                      (ADJP (ADJ English;{english}))
                      (N class;{class})))
          (PUNC ,)
          (CP-QUE-TAG (IP-SUB (BED;_La_ was;{be})
                              (NEG;_clitic_ n<apos>t;{not})
                              (NP-SBJ;{SHAKESPEARE} (PRO he;{he}))))
          (PUNC ?))
  (ID 103_a_ted_talk_11))



%3 r_0103_0010__n_apos_t n't r_0103_0009__was was r_0103_0010__n_apos_t->r_0103_0009__was [keep_scope] r_0103_0001__He He r_0103_0009__was->r_0103_0001__He [arg0] r_0103_0007__class class r_0103_0006__English English r_0103_0007__class->r_0103_0006__English [attrib] r_0103_0004__somebody somebody r_0103_0007__class->r_0103_0004__somebody [gen] r_0103_0002__was_r_0103_0003__in was in r_0103_0002__was_r_0103_0003__in->r_0103_0010__n_apos_t tag r_0103_0002__was_r_0103_0003__in->r_0103_0001__He [arg0] r_0103_0002__was_r_0103_0003__in->r_0103_0007__class [arg1]
arc(r_0103_0002__was_r_0103_0003__in,r_0103_0001__He,arg0).
arc(r_0103_0002__was_r_0103_0003__in,r_0103_0007__class,arg1).
arc(r_0103_0002__was_r_0103_0003__in,r_0103_0010__n_apos_t,tag).
arc(r_0103_0007__class,r_0103_0004__somebody,gen).
arc(r_0103_0007__class,r_0103_0006__English,attrib).
arc(r_0103_0009__was,r_0103_0001__He,arg0).
arc(r_0103_0010__n_apos_t,r_0103_0009__was,keep_scope).



%3 r_0103_0002__was_r_0103_0003__in was in r_0103_0001__He He r_0103_0002__was_r_0103_0003__in->r_0103_0001__He [arg0] r_0103_0007__class class r_0103_0002__was_r_0103_0003__in->r_0103_0007__class [arg1] r_0103_0010__n_apos_t n't r_0103_0002__was_r_0103_0003__in->r_0103_0010__n_apos_t tag r_0103_0004__somebody somebody r_0103_0007__class->r_0103_0004__somebody [gen] r_0103_0006__English English r_0103_0007__class->r_0103_0006__English [attrib] r_0103_0009__was was r_0103_0010__n_apos_t->r_0103_0009__was [keep_scope] r_0103_0009__was->r_0103_0001__He [arg0]
fof(formula,axiom,
    ? [R_0103_0001__HE,R_0103_0004__SOMEBODY,R_0103_0006__ENGLISH,R_0103_0007__CLASS,R_0103_0002__WAS_R_0103_0003__IN] :
      ( r_0103_0001__He(R_0103_0001__HE)
      & r_0103_0004__somebody(R_0103_0004__SOMEBODY)
      & r_0103_0006__English(R_0103_0006__ENGLISH)
      & r_0103_0002__was_r_0103_0003__in(R_0103_0002__WAS_R_0103_0003__IN)
      & has_tag(R_0103_0002__WAS_R_0103_0003__IN,R_0103_0010__N_APOS_T)
      & ~ ? [R_0103_0009__WAS] :
            ( r_0103_0009__was(R_0103_0009__WAS)
            & has_arg0(R_0103_0009__WAS,R_0103_0001__HE) )
      & has_arg1(R_0103_0002__WAS_R_0103_0003__IN,R_0103_0007__CLASS)
      & r_0103_0007__class(R_0103_0007__CLASS)
      & has_attrib(R_0103_0007__CLASS,R_0103_0006__ENGLISH)
      & has_gen(R_0103_0007__CLASS,R_0103_0004__SOMEBODY)
      & has_arg0(R_0103_0002__WAS_R_0103_0003__IN,R_0103_0001__HE) ) ).