103_a_ted_talk_11
He was in somebody's English class, wasn't he?
( (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))
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).
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) ) ).